PAR1дLô(µ/ý`è… †>c ølÿÿŸ»”RJ)S]^_m¼Æi|Æe<ÆaüÅ]¼ÅY|ÅU<ÅQüÄM¼ÄI|ÄE<ÄAüÃ=¼Ã9|Ã5<Ã1üÂ-¼Â)|Â%<Â!üÁ¼Á|Á<ÁüÀ ¼À |À<Àüï~ï;ß÷®÷¼§ó9—ó8‡ó7wó6gó5Wó4Gó37ó2'ó1ó0ó/÷ò.çò-×ò,Çò+·ò*§ò)—ò(‡ò'wò&gò%Wò$Gò#7ò"'ò!ò ò÷ñçñ×ñÇñg]ÖcÖ_ÝÕ[�ÕW]ÕSÕOÝÔK�ÔG]ÔCÔ?ÝÓ;�Ó7]Ó3Ó/ÝÒ+�Ò']Ò#ÒÝÑ�Ñ]ÑÑÝÐ �Ð]ÐÐÿÜÏûœÏ÷\ÏóÏïÜÎë�wxwwowv_wuOwt?ws/wrwqwpÿvoïvnßvmÏvl¿vk¯vjŸvi�vhvgovf_veOvd?vc/vbvav`ÿu_ïu^ßu]Ïu\¿u[¯uZ’¦,ôù(ù(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>&ü>Þ pšˆ5†B¥~‘æÏ» ýã)mÙSΨ}ß!ÞÜ=æ[|&¾QxQƒ>éXRW…›”Ó”ùþ ²J¨°µŽ «…qmøš ƒ®š#wñK‹¾lŒ¦¶|îèEÚMçO¯K=i^R Ø�9jIB UwõnÞ\aZÀgš ÑÄd r_Vkh°ŽÉ¶ÝRUWw`f<ÀÅ}Bcl9W�öOh §œS¾­ Ç X'Ý‚ƒæ@PRßÃv:m}*CO*sœZ&θýšduZà–,^t8ZA±ƒò¢U=$W~æD_óQªÿ6øééJoÇ|ôð•]žEòM™¶ç3Õ÷—Œt-NœË0<(ú?ˆÑ"I/1ŠæÕ1§¥·Œ�| ž{aì ¦±]¼¹M®¨ @hÔ•ÿÙiÝ—"­-¨ŽÉÁ;ügTíIC8 `«™Ð!{lègè«ÓV'|oä*Çiî~ÜI9< ×ËjTå&Zÿµ^ãøqÁ�>¿¶�[õ P2ÓÀâ:„Aê.™\Ü)ƒ—hbv.åÁA³!*]z#_ =ºFÍt†í*Ê'kÄwƒþ®Z*@ ÖÒ2„+RÒuÐ,‹ú/ê—ix©× ÿá;V/ä�nKƒwqg¬†F¦»D5,³Àð­;ª7†qI&òcôó´lt÷a P�ÍÚb÷ ³þ‹n<¸¨oöo%RI4â::Z)«» ºë»vH¹Ù^ìÓ%Ä8ãnÇÇfý�ÂPR£*î§Ú>çO ˜Ñɘjï8  Ò¶y=Ú›,A¢¹%&…ËÞy˜»^VõæüE`Ç쨑ì_¢½‚ÃsèTîŠò$ÔK÷"ÝÛ´YIø´ÙuÏ ‘`¯—.O®$F,íŸôä–Yx£ÂuyÛEùNQ†¢Gg9 `3+û낽'2‚°F™(t}ÅYˆÑÉ÷›ç£q`�NrȧýÌg!¾àT“  §Èn V{šW–ÿUgœà î`­0ÿ½¶e°Çµ±[�­U2ño7ãÝ;ôü(ÍQm¼OŒoU`„tæ‰N÷o£G³¦Yér·æŽ*ûudmì½ìÙKuE)*éMlÂD aÏXÐl/{‡BVq…äO)Xˆص­`§=ª©kE0Dׄ­±,Ü26øø×�úUMáš;æÙI‡\РËà�˜IÄü¸^&K{Z½Lm¨|kW3p+zW™ ‘±!ÉL‹Åœ_¶²ÇžP÷ØT�'IQz…Æ•yH ¡päÊÒä–BX¶²yÀÐëX‹0ã¬C™;*Iýd!EaÕ&^˜W ±0„Hɧó17"ùZDBÙ@P¿*uR/ÌO àoù*myk蹂’Œ>Eû‹Gô®�'éúëFŸ5Iðç,šY 4Ѿâ­â Rƒ@ç„-”%¥ÄI¨lSH«5z‘—%cf<û�:Üs+éÊ0ÎjæCHê£q%<úzˆü¿PdmjŸf< *6ìæÿ¹IÊ}ng?ÇL¯º�h˜§-™Ò7@ÜYL�ÑÓý‡\F$d£Ñã'Ã-ÕÆdøŒ�;H8P9¼¸ Äó%ç¹�q^rÜu%‰®}¾Žnº;_ÍR‡ Ëœî·L=Ët¡ˆ“�&½ÁÕH5LÕš˜Ü²îàR8~—e¿šË”\ÍXSéÑÝëµËI|ªh :¼5èÍ*p]6§Sq¦˜´zĶÃpX´u1&Wršf í)#ÀX«º($E—JœS{Nñ›:–`hs|ô­µ‹ŠkG 32ȉýBO¼)€7”ZaÌù†˜!¶[ vä?¼1»m"Œ±Æ�%§Ã 5[èêÜe=‹+‰[­/Û¹Ö)ò,‘G4~®oW¡ƒänÜB[ç¸Á‚µC\”%çàs?jÝXÈ’?°<{Èú_sDi;“8ù"Ͳ+%eóFHT¤Eñ 'ÿyÚi Ü‘‘D¼.=ÕÀo­Ý‚<ÎìwU4¬s®ë¼®–™Ô Úç¸ZÊ™ˆ½Fòí ;\>‰ê^Ù¯�äÒ¾%†ÿo¾[œ{ÎïÎWZÌvÉoœn©öDŒ=•7¼¬2ÀôZ!CéHïÛåúQ}`Z¶ÞOòŽ|-±•"ÞÓK>fvA¹_4RáLQ¿}VaÛ©å J ÛT P‹Õ5í¹E^öiôrÜ——Y¼´ã#ª^l¦¬È#çä?~ö $Ù QW—kOmìfaÒQ@Þ!ç“Î5"E³”e‰>>�e*BcIØ&VÜ\öx[F„`‘Dß—š:EõÔóÁ®AÑË ž]>ØtŽÌçãEƒ\ñ?]A#ªøpúH÷E0-¨ŠÄT‹ˆŽ²”>¬–Ç](¸=wzˆÝ&8äYïÆV~äâiçÅùo8Wà¸r_MõsC†Ýq ý*2X*к”ka¦"o m¥ƒ¦^¿³“žËÊž)’¦,ô™(t}ÅYˆ+zW™ (™(t}ÅYˆ+zW™ (µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>›�?ßf‹U j2Cv §Ü™Ë‹.ó~V¿SL;#{˜Ër�f9Ǭå¶iw�Áz¡pvY-È µpì"œ0?rMPïÃ(ßêHýضd6kK[tÍæf:a#v3°°œY@ž¼«Éª�vþ8©\5ò§ˆLÂÒEÙQò“™3£§í¤ç?”5Ñ· ¶\iv¤ý5\t&’$­ÿÜ S‡÷` °û;`Ù:M-/S•Õô⤡= lÅUW¬dÚ:ä$ŒÖØ„.™ys9 ¿cNvÈ$I WO)ª['Tˆd°ë¬{¤WÉâgåä6׉M±é1¤Ó£¹üËAIV8§ÅÉ(ï˜cÛë¸a�•вdH7[Ùù…!™Yîô¦%Êè¬TõqÞùIU;y‹af‘òˆ:14õGœ5o~ð5¼�LŒl¿ÂF1V‡@ "B½åá(#hKýêîC΂ײ¥Á‡v¶÷«“Å{®¡MdèÜZ®³No¡ú�â0ãb-2Ÿ‘*/=%J‹x#šÝ�J7?÷*ëG ÿ:LèKüåÐŽÓ­(:¢:)Ó `ÊÒÎBxœ8˜%Éž¨ ×—*òÙ/: ÷¢ÐŠúsÑÒí]†Wˆä¢5¾�^siYx;sòp!ƒ½cŠ!nñÜÔD&jõøqŸl‹¾-cÈrËxLQêú¥êW % lÒÛ_•¯�KÆ9:FGÎßR�–6?\?GztìÇŽ§u,V‰¡ÇS(2Æ·U„Ó-l‘Dõ³ ð!Ý¿�/Öî~HÖœKe¤2ŸÅca…>ylŠê¿Éqpwèj®rx…mi³ŽÏ­4ùç!S\ôæk £�óÎ[ܲpV�Ñ&È‘GúÓ$ÆÈŽêéSÊ9rÜ@’Ó_WlOlhJ _ÒKE²ü${z)¤3›ôiÈ„Ü<0 ù s]ªÓ„`· æ+¹PsyåGÊ2ª2!CHd€�àþ{®â)6ÅvI\ìNízƨ�>üªm½>½ˆì~V/_32ëMN�fƈϴLýÝ2ÂXŸ>„›:UI\gr°ÙoWwŽbàÌ\z¡J›OO$; .FlþÝ`f0ݯAÂñO^�—5\ ËrS¶óQ}:w"×jzæ®øráÖÑJõ™kü®MñU²n�2ŒTâ'J×¼I%˜V©º_­¨/Ç3å Q‹‚ïuÕ·ôñ9À-T NHTùUüPþÁESlœ‘ó_[† Ì`4 ù˜iNÈ¢³€T>ä9X‚90G!x— «ïvžKE¹I±&¢O’LU§ŒS-B7o  j…�©Tyô‡ïÄ~ZýÐŒ\¯ ìvâŽø”*ê‰J&U³ÈxIÈXjRÈÇ•|õýAm¯ÍHq[¶®w"–1dͦQcªü�‡‚-Ì#J27t:És¬Ó¨¦7‰dœ‹Ï !zÀmµ ´]Á×Ìê½>Ö¸øBhåü Ñ¿)� �…5ÍåÐî>^£‘2rl;»!úl÷Oø«¹‹‚�}ôU¯t@Ù5’êš¡Qž¿†¾ä%-*ë¨-± &U.´Rê®T ‘ÿôMAzs÷0éO˜‚m,~ß] «3 #È`T+ä¶ï8,Dƒ™,X¶€¦j¼áÐWË‹¯˜�V ©€3�jÁ»µ[q×I]áÒPmÐ×�Ý}•ä„Iw —!’Û%|5á5¥X§0N ¯;ý5­,8Zßž[63AQ£éü 5Vd»q bÂ]_eȤ$hþ,ÜFËÈ¢%€ÆŸôt¦™S¼Ÿ Vre²R¦f$ö»[¬§o´9{t:Ãr€)*úw.MÎm´ö;ٿȰ)†ÞϤ[_Êe&(ÓB-C@î&逇0Ž[¸ŸVdü‰Â.ñ:<¶.Ò­^v•x„ó¤×à¹wgËZÉV‘{y¤YyÄ¥Ù A˜d¤Â�ã£a��UóQé&âZonb÷œ-² dД `Áˆ3$�W¤&ÜÜ�ðK¤�]ЏdH1e6d»á(ü¼#dÝýs·‚ø[á'úÓ�¼|Š Â§¯†yxNö Ç4K’¦,ôÆÈŽêéSVd»q bÂ(ÆÈŽêéSVd»q bÂ(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùàæLœ(µ/ý`pM „l¿})φ‰"‚SH�‰i�Ç a¬åš9x‹Œó™ã{tášZò/’ü"1ýM_¯ÿÝ–œæèæ¿ïA¶½ç¥0 +ØÕà3Ÿ÷ËàPºAÍ|H!•ƾ¡£Ésƒ™©@ádÏ m“DWε<ÔÙù§ò^³X•v±ñ¿YƒoÄ×GNcÝ?t`®†Ñ²„�ÉnõN^§�Ì 2Ûc4å ·ZüŒJâ…O{j9Ñ?µÿ°-GlûÒ\é leÈ †xÖŲ9ÐÇUIÛE¡ Î+Ù·€Í¨`~à…a õtá2jíËŠÅp‹oMI`�è\8§½£Ž* Žºø]§Ó1kŒ»Ä¡¶+%‚Gul„W®Çå …[…�} �ž’¦,ôxÿÿÿÿÿÿÿÿ(xÿÿÿÿÿÿÿÿ(µ/ý` IôA  !"#$%&'()*+,-./012.3456789:;<=>?@ABCDEFGHIJKLMNOPQRS@@TUVWXYZ[\]^_`aTbcdefghiFjk lm9[nopqrstuvwxy*6z{|}~€�‚ƒ„…†0‡ˆ-‰Š‹Œ�9Ž�O�‘’“”?•–!—˜™š“›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯9°±²³"´µ¶·¸¹�º»¼½¾¿ÀÁ„Âqâ.ÄÅÆ! ÇÈ.ƒ­ÉÊËÌkÍN>,ô((µ/ý 'µpô!€€bp(:L (µ/ý ¡Á&�&�&Z&6H,ôÁ&(Á&(µ/ý Ùô`Þ N>,ô((µ/ý 'µpôÿÞÿÿþ€bpДLš(µ/ý`hæ7³C '�ÀÑ\?@ABCDEFGHIJKLMNOPQR??STUVWXYZ[\]^_`SabcdefghEij kl8Zmnopqrstuvwx*5yz{|}~€�‚ƒ„…/†‡-ˆ‰Š‹Œ8�ŽN��‘’“>”•!–—˜™’š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®8¯°±²"³~´µ¶·¸�¹º»¼½¾¿ÀƒÁp¡ÃÄÅ! ÆÇÁ‚¬ÈÉÊËjÌ"L(µ/ý A(,ô((µ/ý Yôô0BL(µ/ý ÁfigS07_nonoise_euler(,ô6(figS07_nonoise_eulerfigS07_nonoise_euler(µ/ý Yôô(:L(µ/ý ¡3045754500c5cc36(,ô6(3045754500c5cc363045754500c5cc36(µ/ý Yôô0L(µ/ý y N007500-b00(,ô6( N007500-b00 N007500-b00(µ/ý Yôô"L(µ/ý A(,ô((µ/ý Yôô"L(µ/ý AL(,ôLL(LL(µ/ý Yôô"L(µ/ý AÍ(,ôÍÍ(ÍÍ(µ/ý Yôô"L(µ/ý A@(,ô@@(@@(µ/ý Yôô"L(µ/ý A{®Gáz´?(,ô{®Gáz´?{®Gáz´?({®Gáz´?{®Gáz´?(µ/ý Yôô$L(µ/ý Ieuler(,ô6(eulereuler(µ/ý Yôô"L(µ/ý Aš™™™™™É?(,ôš™™™™™É?š™™™™™É?(š™™™™™É?š™™™™™É?(µ/ý Yôô"L(µ/ý A@ (,ô@ @ (@ @ (µ/ý Yôô"L(µ/ý A@(,ô@@(@@(µ/ý Yôô"L(µ/ý A4@(,ô4@4@(4@4@(µ/ý Yôô"L(µ/ý AÐ?(,ôÐ?Ð?(Ð?Ð?(µ/ý Yôô"L(µ/ý Aš™™™™™©?(,ôš™™™™™©?š™™™™™©?(š™™™™™©?š™™™™™©?(µ/ý Yôô"L(µ/ý Aü©ñÒMbP?(,ôü©ñÒMbP?ü©ñÒMbP?(ü©ñÒMbP?ü©ñÒMbP?(µ/ý Yôô"L(µ/ý Aš™™™™™¹?(,ôš™™™™™¹?š™™™™™¹?(š™™™™™¹?š™™™™™¹?(µ/ý Yôô"L(µ/ý A(,ô€(€(µ/ý Yôô L(µ/ý 9all(,ô6(allall(µ/ý Yôô(L(µ/ý Yfloat32(,ô6(float32float32(µ/ý Yôô&L(µ/ý Qclause(,ô6(clauseclause(µ/ý YôôXjL(µ/ý ,a(fc79fc14d97eb4fdb858d4c7cf25c05115900d3e(,ô6((fc79fc14d97eb4fdb858d4c7cf25c05115900d3e(fc79fc14d97eb4fdb858d4c7cf25c05115900d3e(µ/ý Yôô L(µ/ý 9gpu(,ô6(gpugpu(µ/ý Yôô¨°L(µ/ý T}BÅ€·„HD)‘§3ê'JK2ÿ&h=-n4bÒLEÖâyù4R´úÏòM}’?-²‹G»q­`S™A`xŽ5fÎï§Œ¼K)€(,ô6(Pdev:claude/memcomputing-a100-sop-ed6077@fc79fc14d97eb4fdb858d4c7cf25c05115900d3ePdev:claude/memcomputing-a100-sop-ed6077@fc79fc14d97eb4fdb858d4c7cf25c05115900d3e(µ/ý Yôô0L(µ/ý y 2.5.1+cu124(,ô6( 2.5.1+cu124 2.5.1+cu124(µ/ý Yôô.L(µ/ý q NVIDIA A10(,ô6( NVIDIA A10 NVIDIA A10(µ/ý Yôô"L(µ/ý Aà†ô¨]e@(,ôà†ô¨]e@à†ô¨]e@(à†ô¨]e@à†ô¨]e@(µ/ý Yôô"L(µ/ý AÏ(,ôÏÏ(ÏÏ(µ/ý Yôôü&5schemaJ%gid% instance_seed% init_seed% tts_steps%censored% final_unsat%solution_verified %tts_time%schema_version %campaign%L % config_hash%L %shard_id%L% shard_index%n_vars% n_clauses %ratio %p0 % integrator%L %dt% max_steps %alpha %beta %gamma %delta %epsilon %zeta % noise_gamma % rigidity_tie%L %dtype%L %xs_dist%L %git_sha%L %image%L % code_source%L % torch_version%L %gpu_name%L % wall_seconds%instance_stepsôü%&5gid ôèà &Þ&ù(ù,<)&ô&5 instance_seed ôØ$€%&¾+&è ™(t}ÅYˆ+zW™ (™(t}ÅYˆ+zW™ ,<)&ô&5 init_seed ôØ$€%&¾P&è0ÆÈŽêéSVd»q bÂ(ÆÈŽêéSVd»q bÂ,<)&ô&5 tts_steps ô˜² &ð\&èUxÿÿÿÿÿÿÿÿ(xÿÿÿÿÿÿÿÿ,<)&ô&%censored ô–†&šb<(<)&ô&5 final_unsat ôÚþ&öc& cÁ&(Á&,<)&ô&%solution_verified ô–†&že<(<)&ô& 5tts_time ôˆà&Úu&¤fý˜™™™™l@€H@(ý˜™™™™l@€H@,<)&ì&5schema_version ôÂæ&Â{&„{(,<)&ô& 5campaign ôêŽ&È}&ê|6(figS07_nonoise_eulerfigS07_nonoise_euler,<�N&ô& 5 config_hash ôÒö&Î&ø~6(3045754500c5cc363045754500c5cc36,<À>&ô& 5shard_id ô´Ø&º�&î€6( N007500-b00 N007500-b00,<ü*&ô&5 shard_index ôÂæ&„ƒ&Æ‚(,<)&ô&5n_vars ôÂæ&ê„&¬„LL(LL,<)&ô&5 n_clauses ôÂæ&І&’†ÍÍ(ÍÍ,<)&ô& 5ratio ôÂæ&¶ˆ&ø‡@@(@@,<)&ô& 5p0 ôÂæ&œŠ&Þ‰{®Gáz´?{®Gáz´?({®Gáz´?{®Gáz´?,<)&ô& 5 integrator ô�´&„Œ&Ä‹6(eulereuler,<Ä&ô& 5dt ôÂæ&¶�&øŒš™™™™™É?š™™™™™É?(š™™™™™É?š™™™™™É?,<)&ô&5 max_steps ôÂæ&œ�&ÞŽ@ @ (@ @ ,<)&ô& 5alpha ôÂæ&‚‘&Ä�@@(@@,<)&ô& 5beta ôÂæ&è’&ª’4@4@(4@4@,<)&ô& 5gamma ôÂæ&Δ&�”Ð?Ð?(Ð?Ð?,<)&ô& 5delta ôÂæ&´–&ö•š™™™™™©?š™™™™™©?(š™™™™™©?š™™™™™©?,<)&ô& 5epsilon ôÂæ&š˜&Ü—ü©ñÒMbP?ü©ñÒMbP?(ü©ñÒMbP?ü©ñÒMbP?,<)&ô& 5zeta ôÂæ&€š&™š™™™™™¹?š™™™™™¹?(š™™™™™¹?š™™™™™¹?,<)&ô& 5 noise_gamma ôÂæ&æ›&¨›€(€,<)&ô& 5 rigidity_tie ô„¨&Ê�&Ž�6(allall,<Ü &ô& 5dtype ôœÀ&úž&¶ž6(float32float32,<¬&ô& 5xs_dist ô–º&¸ &öŸ6(clauseclause,<¸&ô& 5git_sha ôâ†&¶¢&°¡6((fc79fc14d97eb4fdb858d4c7cf25c05115900d3e(fc79fc14d97eb4fdb858d4c7cf25c05115900d3e,< œ&ô& 5image ô„¨&ò¤&¶¤6(gpugpu,<Ü &ô& 5 code_source ôÖð&®§&Þ¥6(Pdev:claude/memcomputing-a100-sop-ed6077@fc79fc14d97eb4fdb858d4c7cf25c05115900d3ePdev:claude/memcomputing-a100-sop-ed6077@fc79fc14d97eb4fdb858d4c7cf25c05115900d3e,<À¸&ô& 5 torch_version ô´Ø&š«&Ϊ6( 2.5.1+cu124 2.5.1+cu124,<ü*&ô& 5gpu_name ô®Ò&ð¬&¦¬6( NVIDIA A10 NVIDIA A10,<ˆ'&ô& 5 wall_seconds ôÂæ&¶®&ø­à†ô¨]e@à†ô¨]e@(à†ô¨]e@à†ô¨]e@,<)&ô&5instance_steps ôÂæ&œ°&Þ¯ÏÏ(ÏÏ,<)&ôôÎô&¼±,pandasª"{"index_columns": [], "column_indexes": [], "columns": [{"name": "gid", "field_name": "gid", "pandas_type": "int32", "numpy_type": "int32", "metadata": null}, {"name": "instance_seed", "field_name": "instance_seed", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "init_seed", "field_name": "init_seed", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "tts_steps", "field_name": "tts_steps", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "censored", "field_name": "censored", "pandas_type": "bool", "numpy_type": "bool", "metadata": null}, {"name": "final_unsat", "field_name": "final_unsat", "pandas_type": "int32", "numpy_type": "int32", "metadata": null}, {"name": "solution_verified", "field_name": "solution_verified", "pandas_type": "bool", "numpy_type": "bool", "metadata": null}, {"name": "tts_time", "field_name": "tts_time", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "schema_version", "field_name": "schema_version", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "campaign", "field_name": "campaign", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "config_hash", "field_name": "config_hash", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "shard_id", "field_name": "shard_id", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "shard_index", "field_name": "shard_index", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "n_vars", "field_name": "n_vars", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "n_clauses", "field_name": "n_clauses", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "ratio", "field_name": "ratio", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "p0", "field_name": "p0", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "integrator", "field_name": "integrator", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "dt", "field_name": "dt", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "max_steps", "field_name": "max_steps", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "alpha", "field_name": "alpha", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "beta", "field_name": "beta", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "gamma", "field_name": "gamma", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "delta", "field_name": "delta", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "epsilon", "field_name": "epsilon", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "zeta", "field_name": "zeta", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "noise_gamma", "field_name": "noise_gamma", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "rigidity_tie", "field_name": "rigidity_tie", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "dtype", "field_name": "dtype", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "xs_dist", "field_name": "xs_dist", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "git_sha", "field_name": "git_sha", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "image", "field_name": "image", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "code_source", "field_name": "code_source", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "torch_version", "field_name": "torch_version", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "gpu_name", "field_name": "gpu_name", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "wall_seconds", "field_name": "wall_seconds", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "instance_steps", "field_name": "instance_steps", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}], "attributes": {}, "creator": {"library": "pyarrow", "version": "25.0.1"}, "pandas_version": "3.0.5"} ARROW:schemaàB/////wAZAAAQAAAAAAAKAA4ABgAFAAgACgAAAAABBAAQAAAAAAAKAAwAAAAEAAgACgAAAGARAAAEAAAAAQAAAAwAAAAIAAwABAAIAAgAAAA4EQAABAAAACoRAAB7ImluZGV4X2NvbHVtbnMiOiBbXSwgImNvbHVtbl9pbmRleGVzIjogW10sICJjb2x1bW5zIjogW3sibmFtZSI6ICJnaWQiLCAiZmllbGRfbmFtZSI6ICJnaWQiLCAicGFuZGFzX3R5cGUiOiAiaW50MzIiLCAibnVtcHlfdHlwZSI6ICJpbnQzMiIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiaW5zdGFuY2Vfc2VlZCIsICJmaWVsZF9uYW1lIjogImluc3RhbmNlX3NlZWQiLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiaW5pdF9zZWVkIiwgImZpZWxkX25hbWUiOiAiaW5pdF9zZWVkIiwgInBhbmRhc190eXBlIjogImludDY0IiwgIm51bXB5X3R5cGUiOiAiaW50NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInR0c19zdGVwcyIsICJmaWVsZF9uYW1lIjogInR0c19zdGVwcyIsICJwYW5kYXNfdHlwZSI6ICJpbnQ2NCIsICJudW1weV90eXBlIjogImludDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJjZW5zb3JlZCIsICJmaWVsZF9uYW1lIjogImNlbnNvcmVkIiwgInBhbmRhc190eXBlIjogImJvb2wiLCAibnVtcHlfdHlwZSI6ICJib29sIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJmaW5hbF91bnNhdCIsICJmaWVsZF9uYW1lIjogImZpbmFsX3Vuc2F0IiwgInBhbmRhc190eXBlIjogImludDMyIiwgIm51bXB5X3R5cGUiOiAiaW50MzIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInNvbHV0aW9uX3ZlcmlmaWVkIiwgImZpZWxkX25hbWUiOiAic29sdXRpb25fdmVyaWZpZWQiLCAicGFuZGFzX3R5cGUiOiAiYm9vbCIsICJudW1weV90eXBlIjogImJvb2wiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInR0c190aW1lIiwgImZpZWxkX25hbWUiOiAidHRzX3RpbWUiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInNjaGVtYV92ZXJzaW9uIiwgImZpZWxkX25hbWUiOiAic2NoZW1hX3ZlcnNpb24iLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiY2FtcGFpZ24iLCAiZmllbGRfbmFtZSI6ICJjYW1wYWlnbiIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImNvbmZpZ19oYXNoIiwgImZpZWxkX25hbWUiOiAiY29uZmlnX2hhc2giLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJzaGFyZF9pZCIsICJmaWVsZF9uYW1lIjogInNoYXJkX2lkIiwgInBhbmRhc190eXBlIjogIm9iamVjdCIsICJudW1weV90eXBlIjogInN0ciIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAic2hhcmRfaW5kZXgiLCAiZmllbGRfbmFtZSI6ICJzaGFyZF9pbmRleCIsICJwYW5kYXNfdHlwZSI6ICJpbnQ2NCIsICJudW1weV90eXBlIjogImludDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJuX3ZhcnMiLCAiZmllbGRfbmFtZSI6ICJuX3ZhcnMiLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAibl9jbGF1c2VzIiwgImZpZWxkX25hbWUiOiAibl9jbGF1c2VzIiwgInBhbmRhc190eXBlIjogImludDY0IiwgIm51bXB5X3R5cGUiOiAiaW50NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInJhdGlvIiwgImZpZWxkX25hbWUiOiAicmF0aW8iLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInAwIiwgImZpZWxkX25hbWUiOiAicDAiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImludGVncmF0b3IiLCAiZmllbGRfbmFtZSI6ICJpbnRlZ3JhdG9yIiwgInBhbmRhc190eXBlIjogIm9iamVjdCIsICJudW1weV90eXBlIjogInN0ciIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiZHQiLCAiZmllbGRfbmFtZSI6ICJkdCIsICJwYW5kYXNfdHlwZSI6ICJmbG9hdDY0IiwgIm51bXB5X3R5cGUiOiAiZmxvYXQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAibWF4X3N0ZXBzIiwgImZpZWxkX25hbWUiOiAibWF4X3N0ZXBzIiwgInBhbmRhc190eXBlIjogImludDY0IiwgIm51bXB5X3R5cGUiOiAiaW50NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImFscGhhIiwgImZpZWxkX25hbWUiOiAiYWxwaGEiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImJldGEiLCAiZmllbGRfbmFtZSI6ICJiZXRhIiwgInBhbmRhc190eXBlIjogImZsb2F0NjQiLCAibnVtcHlfdHlwZSI6ICJmbG9hdDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJnYW1tYSIsICJmaWVsZF9uYW1lIjogImdhbW1hIiwgInBhbmRhc190eXBlIjogImZsb2F0NjQiLCAibnVtcHlfdHlwZSI6ICJmbG9hdDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJkZWx0YSIsICJmaWVsZF9uYW1lIjogImRlbHRhIiwgInBhbmRhc190eXBlIjogImZsb2F0NjQiLCAibnVtcHlfdHlwZSI6ICJmbG9hdDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJlcHNpbG9uIiwgImZpZWxkX25hbWUiOiAiZXBzaWxvbiIsICJwYW5kYXNfdHlwZSI6ICJmbG9hdDY0IiwgIm51bXB5X3R5cGUiOiAiZmxvYXQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiemV0YSIsICJmaWVsZF9uYW1lIjogInpldGEiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogIm5vaXNlX2dhbW1hIiwgImZpZWxkX25hbWUiOiAibm9pc2VfZ2FtbWEiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInJpZ2lkaXR5X3RpZSIsICJmaWVsZF9uYW1lIjogInJpZ2lkaXR5X3RpZSIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImR0eXBlIiwgImZpZWxkX25hbWUiOiAiZHR5cGUiLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJ4c19kaXN0IiwgImZpZWxkX25hbWUiOiAieHNfZGlzdCIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImdpdF9zaGEiLCAiZmllbGRfbmFtZSI6ICJnaXRfc2hhIiwgInBhbmRhc190eXBlIjogIm9iamVjdCIsICJudW1weV90eXBlIjogInN0ciIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiaW1hZ2UiLCAiZmllbGRfbmFtZSI6ICJpbWFnZSIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImNvZGVfc291cmNlIiwgImZpZWxkX25hbWUiOiAiY29kZV9zb3VyY2UiLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJ0b3JjaF92ZXJzaW9uIiwgImZpZWxkX25hbWUiOiAidG9yY2hfdmVyc2lvbiIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImdwdV9uYW1lIiwgImZpZWxkX25hbWUiOiAiZ3B1X25hbWUiLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJ3YWxsX3NlY29uZHMiLCAiZmllbGRfbmFtZSI6ICJ3YWxsX3NlY29uZHMiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImluc3RhbmNlX3N0ZXBzIiwgImZpZWxkX25hbWUiOiAiaW5zdGFuY2Vfc3RlcHMiLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9XSwgImF0dHJpYnV0ZXMiOiB7fSwgImNyZWF0b3IiOiB7ImxpYnJhcnkiOiAicHlhcnJvdyIsICJ2ZXJzaW9uIjogIjI1LjAuMSJ9LCAicGFuZGFzX3ZlcnNpb24iOiAiMy4wLjUifQAABgAAAHBhbmRhcwAAJQAAADwHAADwBgAAuAYAAIAGAABMBgAAFAYAANwFAACkBQAAaAUAADgFAAAIBQAA2AQAAKAEAABsBAAANAQAAAQEAADYAwAAqAMAAHwDAABEAwAAFAMAAOQCAAC0AgAAhAIAAFQCAAAkAgAA8AEAALwBAACQAQAAZAEAADgBAAAMAQAA3AAAAKgAAAB4AAAAQAAAAAQAAABo+f//AAABAhAAAAAgAAAABAAAAAAAAAAOAAAAaW5zdGFuY2Vfc3RlcHMAAGT5//8AAAABQAAAAKD5//8AAAEDEAAAACAAAAAEAAAAAAAAAAwAAAB3YWxsX3NlY29uZHMAAAAAEvv//wAAAgDU+f//AAABFBAAAAAcAAAABAAAAAAAAAAIAAAAZ3B1X25hbWUAAAAApPr//wD6//8AAAEUEAAAACAAAAAEAAAAAAAAAA0AAAB0b3JjaF92ZXJzaW9uAAAA1Pr//zD6//8AAAEUEAAAABwAAAAEAAAAAAAAAAsAAABjb2RlX3NvdXJjZQAA+///XPr//wAAARQQAAAAGAAAAAQAAAAAAAAABQAAAGltYWdlAAAAKPv//4T6//8AAAEUEAAAABgAAAAEAAAAAAAAAAcAAABnaXRfc2hhAFD7//+s+v//AAABFBAAAAAYAAAABAAAAAAAAAAHAAAAeHNfZGlzdAB4+///1Pr//wAAARQQAAAAGAAAAAQAAAAAAAAABQAAAGR0eXBlAAAAoPv///z6//8AAAEUEAAAACAAAAAEAAAAAAAAAAwAAAByaWdpZGl0eV90aWUAAAAA0Pv//yz7//8AAAEDEAAAABwAAAAEAAAAAAAAAAsAAABub2lzZV9nYW1tYQCa/P//AAACAFz7//8AAAEDEAAAABgAAAAEAAAAAAAAAAQAAAB6ZXRhAAAAAMb8//8AAAIAiPv//wAAAQMQAAAAGAAAAAQAAAAAAAAABwAAAGVwc2lsb24A8vz//wAAAgC0+///AAABAxAAAAAYAAAABAAAAAAAAAAFAAAAZGVsdGEAAAAe/f//AAACAOD7//8AAAEDEAAAABgAAAAEAAAAAAAAAAUAAABnYW1tYQAAAEr9//8AAAIADPz//wAAAQMQAAAAGAAAAAQAAAAAAAAABAAAAGJldGEAAAAAdv3//wAAAgA4/P//AAABAxAAAAAYAAAABAAAAAAAAAAFAAAAYWxwaGEAAACi/f//AAACAGT8//8AAAECEAAAABwAAAAEAAAAAAAAAAkAAABtYXhfc3RlcHMAAABc/P//AAAAAUAAAACY/P//AAABAxAAAAAUAAAABAAAAAAAAAACAAAAZHQAAP79//8AAAIAwPz//wAAARQQAAAAHAAAAAQAAAAAAAAACgAAAGludGVncmF0b3IAAJD9///s/P//AAABAxAAAAAUAAAABAAAAAAAAAACAAAAcDAAAFL+//8AAAIAFP3//wAAAQMQAAAAGAAAAAQAAAAAAAAABQAAAHJhdGlvAAAAfv7//wAAAgBA/f//AAABAhAAAAAcAAAABAAAAAAAAAAJAAAAbl9jbGF1c2VzAAAAOP3//wAAAAFAAAAAdP3//wAAAQIQAAAAGAAAAAQAAAAAAAAABgAAAG5fdmFycwAAaP3//wAAAAFAAAAApP3//wAAAQIQAAAAHAAAAAQAAAAAAAAACwAAAHNoYXJkX2luZGV4AJz9//8AAAABQAAAANj9//8AAAEUEAAAABwAAAAEAAAAAAAAAAgAAABzaGFyZF9pZAAAAACo/v//BP7//wAAARQQAAAAHAAAAAQAAAAAAAAACwAAAGNvbmZpZ19oYXNoANT+//8w/v//AAABFBAAAAAcAAAABAAAAAAAAAAIAAAAY2FtcGFpZ24AAAAAAP///1z+//8AAAECEAAAACAAAAAEAAAAAAAAAA4AAABzY2hlbWFfdmVyc2lvbgAAWP7//wAAAAFAAAAAlP7//wAAAQMQAAAAIAAAAAQAAAAAAAAACAAAAHR0c190aW1lAAAGAAgABgAGAAAAAAACAMj+//8AAAEGEAAAACQAAAAEAAAAAAAAABEAAABzb2x1dGlvbl92ZXJpZmllZAAAAKD////8/v//AAABAhAAAAAcAAAABAAAAAAAAAALAAAAZmluYWxfdW5zYXQA9P7//wAAAAEgAAAAMP///wAAAQYQAAAAIAAAAAQAAAAAAAAACAAAAGNlbnNvcmVkAAAAAAQABAAEAAAAYP///wAAAQIQAAAAHAAAAAQAAAAAAAAACQAAAHR0c19zdGVwcwAAAFj///8AAAABQAAAAJT///8AAAECEAAAABwAAAAEAAAAAAAAAAkAAABpbml0X3NlZWQAAACM////AAAAAUAAAADI////AAABAhAAAAAgAAAABAAAAAAAAAANAAAAaW5zdGFuY2Vfc2VlZAAAAMT///8AAAABQAAAABAAFAAIAAYABwAMAAAAEAAQAAAAAAABAhAAAAAcAAAABAAAAAAAAAADAAAAZ2lkAAgADAAIAAcACAAAAAAAAAEgAAAA parquet-cpp-arrow version 25.0.1ü%àEPAR1