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ô(µ/ý`Ð�>¾\lûóR@ñœÜÃçï}µUûÇÿ†35�«B \GI@¶suþÁf¹ Yb–zÂAU]#´Mu榧m¦×ƒf£‘[l7‹ÅD , 7‚Œ5&î!Ü]°À4* , ‘š`ɹ 6»‹Ï€ëNï!ŠØ–[ÿsNݧ×EPgJ"Ò}¾~&%vÓ(Hõ$õȪsáHjµiËØt9ŠqÐEõvÝ 'h�jnØ›Úg醉Ghé9# 4¼@¡š &2…ç�ýJ×/F%ÌN0ºƒtléZ ¶æÿB·`*ž�6'tq£*ŠªûO›xµþˆû¡]´ïäöS}ÇéB̶85oêR‡ê•v(ÞIèH“ªe-178=š{u_Ždºf”Ð;^ÔC]1Jº÷W£C\)qÒ·2h²cËÞ‹"“3t¨ÂsT¥ ȶ鹞}ÙP5ëÑ>~Ásx»"[ˆ/•&ÐND8�`èNSºì«ùÌLd¿§,{àe²‰)—^¡Ç‘öD¼gÏÝö3É¢YŽ“ì�é*_6Ç÷#‡N�¿¢HN¶OŒxƒõ�8*2¿òAÚÜJ†w’\­ŽeZ´—ì´U0dËŠ2,†1¿$û7�‰ªÃt&eÎ`&¨°zÇgò¸¿óÁ#idƒ�N:VLfVõ5ÇöDU=î¸â]WÚ�¶6úÂäpÑ4 ÉAjQÙÿ‡›Y–®ÿd$f"\ÝÓðKüã²Ã<Iÿp`l¤kf'‚D âJ ëÔ»„=8bêeP)N==eàžôXnåðo¨jowã¤�Ÿ£+ëa(Að‰¨ØQÑŽyÑär#‘ã½À¶‰¶ö.ª¨em–—{˜¬?m†›‹ O©Z?#­i µS�eyËV-ûü_Rš  5o¼!RxÀûE†Ê-î- wƄΗ¨ï[:Öê¸Gí¥BÙx}�¦~‰{ÖÊZR ²H¤æKpH­°-݇Oj(±Âžñ”ü`†L©Â<ÿ/ã¹ãÓ}Êr—í™ òªMp�d…ØÏé®Ì,^™–!:ûê.؇AçWýŒ'_8©’±ÆgV1î„h3²~FC©ÁÆÕZ"-1¢@¸%+êÊ{D‹²ªrez䨋ë¢ÏU85i}g)dÁEÉË/ø.y;}a]컥·éBÜÆ~ÓÖÄ%@™MNex\T, DR*ãBWšrȇñŒ. 86¤™Áz§ h€@7ÍZAé,1ÁZÄJ~Eð$’�/pÖ®¯XAª¿jòÛÞPÍrSd›WðŽ�•e›ùݪ“]t n¯(F‚VäºÄ_Óí“{D2Œfdå+Ч ´éÜ@é-ƒ5{}#žÀ=åY=3›¢\v›ö.sGÿaq ,§ÎÕ.|Á¶GÌÃ3zoëNp°ì4y@ƈKó7Qu�!xJY˜ƒíwO‰1¢-Y�¯»�IR0qóño×bM^6„AY~>ýÚ-~ü¨. í”ûèÃh XnÝ×°÷Y ›»Û%ú:.ú�ãuòã¤bÏÐ)-í�ý’ÿs>ÕfàU Q(ßÃUQ,7Üž:fxYÁµQ,wåÆxÿ×~[PSŠf$ë9M¾£¹ìÇ¿cÐ+®ŸÎ ˆÏr{†eãke”ÚtI‚I¶v}>~'øß _\'Jˆ»Œ‘}Tï®»(2´¹Àgµ§ÝL*Ýt½to™PNƒÿHf5òqã,avXó:p²,Ó;’ž�¤˜nÅâ'#izóQTÕÃCf¹ ±†¬¶'\7lL¿R41™k1´ 7ýiÂ$…P\ýËØ¢(¨<ŸÔP’ LG—]€™¹;Z²Ì?A¤+¤¦hÿú®>�S ]›¥“••ãܧ%O Ò‘çŸÌI>Pb‡Þ“?™‰×æ¿'0¯U‹–3°> ú,Wú&ÀÒÙ7dÑ`¢­ �R&6¯˜²3biø³br;n#O­£�}r!ñ·ÔEq,À4ù®[1ëE׿*Üåfôœ+C`»hev>%+ …p(“â5˜ÙvŸ\ÙAç~_Qº ¤÷aÝrÆÀ^00< 1 ¨ßõ¬;š²4´xƒà')zñ‹"ñ‡´æ�E,²ÁÕò”7»! ‡½ê¸(F…c±4š°ÃAÓÀ’— æCk²ð˜¹‡öGjvUî^‰Ë¿ 2Œq<:5ûs§e»â¿AÁ-]jUk\·c¤FÛ©èP38ׄ=Þ’œ멉8‰gÐ3ü^Æ3ïôéfU¯2S6ò•Bÿ®Öjž`e­R—6Þ}%§^.çK¸¸q¹þ6Ý[!f+/ÅsKZ¾U<+"ÍÔ“‚gm~|Zì¼m$ºßeSãtçLå„GçÓ[Ÿ�iQ¶&ÏG EУC8Œœ½”I¶´`=-’¦,ô¤¦hÿú®”‹]ø®d(¤¦hÿú®”‹]ø®d(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>Šð8ï‰ðg…³§`}܉KiUŒ=5Ǩïì�q¬2.;a‡šw°;¶Zc!­\¾'Hꢫr½sx…qT“¿Uc8A Q.šß×ÂîXå£ZÊ€ò ô<Ô,UyßB H£ö~{ƒÌÒQ*K-¢òv±"$ÏMô: _/ƒ}·ÜÌ“lYHj$x¶XÊ2ð«CAvõÆ)âW8*ïuu¡ƒ¯**ªtq°BÝ�kB(Ö™úÔ9ÞÖ1Ný ã³S0 - ^7F/�"ðrYëVJçŠxsâñ}Ã_êpR‘S+ú¡ LˆÃZT`>¨Våh~­ŒN£GÎR[´yZ7V¯î–+‰Ï\N)Â1îØ«@V£t¶ŽAç·5qiéœÉ¡Qr^›Uó_.GëïÀà! †]™øÓ4ø†d»U¯ïû骪.…½^ÙlÞ¹ØÌMq�[ÓüæOwþNz�jÕØÑ$I«RµrJÈ.´zÏAþâÓ«Zn~ã�ÙºDHjß÷aÈWÖ×¥�ú[FmO\x'F-úm,,(®SŸ‘ÂHÝ�xúƒ6ªOAyùnÄþμf ó_³Ÿ!¹Þ“ôÇbë”ã§*õ÷+ ë r “,¿x[ŒÎƇw*ìR@¥:®ta†›-ÕÆlhL/ëÉñ|ø½é÷ž¬[öQ}×)w¾é·�<ØI-|bþŸy`(´™ë(G< 4(ò([=ùߪ T0C“ ±E% Úf3ŸÚµ›I„Îñ×.øWp êÃæ‹Vê)3ÎGƒt!M>¾÷à#5ëíºNT�!/WHaÀFD‰Ûo“ïlÏ2  X]ué(Ú c"¤F4ôs´ÜoCà¹ÈwQr±ßk›øú›qõD¯ôyšP�#ÅíÅYtÉv¤;u) õR&’½8›_Å2LÓ"{ŒÜF±+/Ê,Gô·ÝF ½‚“ŽAN¼”òOøù1 ÈUhžB//mÑ3�oʤH�¯j'öe�„6µ[fÎyhfØø1/�½äïÅV J¤5û"mc_Ëÿ¦ìÆÃéõ§{S6MüÅË€Ó/û¾î`Ûaå;íâ÷ÄT+ÙGÏS>vE`08nq/ ÝgRsÐèâä*¼:]9ôóÆZSX“_ºo‚hd>k¦B^‰CÏ%ëÓ.fk½¸, Rv~ÖŸz —*ˆjRÒHXE«´5tDX6 !Ï æ,jáAœ 5\§ýnO¶3ð½Ä¢š>Ú Óvi:‰–�Â1yÁ-Œp‚Ú„$Ч¸…d>HÓZЪdü™(´ú¿Þ0ö: Ú›÷)C3K7Ì�™G.³¹ª½ UÃsÞˆ€4õ{¸åzÃÕtwÑ ˆ¼ÌL%é¾G˜2I�=2œÅ¾…?A3[€ˆU‹¬_r°eßCÀÐs…@jk–.m†€îÿXüQ°Z/Öž”2JÚW)ÝCÁÌ §"(OÕwº{#e³Þ³X›}›Ûîr¾ÞÑ#±kľ´Bz""—,"ðIøþ“Lˆ À|¢þ)¶i)-ÝÅ8Æ6ˆU3ªR$ÅebQR =U ¡È =`0 IsVÓt¯ªßaòýa£üuE [™ ¶§Y o“b£÷É4ÁÜ}‘­zw•#üõS@uΈFT†ôËykü!WE øAL £�1OE”* :�õÁ=QŽô=��}y\»9Mt¨Ù1ÂE *—¨BÎà— ¤¨��Y¬r˜X›˜ºÞ >láôc¶‘>2GDŸéGÆçú`P´ø6ëóš"&¥|bùø !gf84ë¿ãr$…ÅÚ¤árCÙŒˆzqJŸ])}ôf JtO6cK—.Ç%Âý?êwƒ‘«‰ŽÝE~*e-;ÛÓ°-�,ðœä¬@.ç[Éâ=©NUÞKi¥¦q cÔ>•«ö]’¦,ô‰Péü3;Ò¡ƒ¯**ªt(‰Péü3;Ò¡ƒ¯**ªt(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùàÐLŒ(µ/ý`0õ $ë"wPˆ N•ÿõ;-sª©°x÷·~bþ à‰Ú%�~CÀ¼uÓ4àr̉h„ûrk‹_½†·Â,W¥˜×|/Ê›¦þ ©â‡†�RXb}!ÇW¼lÑ7ÈBç]£b*ë’”dÞºaž´`¯…Ÿ¡^¥$_@R6~'4ˆ"S{ñG˜stvºúctž;)éM #äuZnØYyÇäÈt¤=<1¾fåI›µjÜpÓÝ�7öå€ü´Úù`6³¤½PEÛ¦m™€Å¨X~ÐC:öçÊbLÑH*…âL’…ÙÜŠ»‘&mŽ0@­{Óh¨£`É-©Ô?n_ø3sõ—wÚ‘¡·bõM „’¦,ô¥ÿÿÿÿÿÿÿÿ(¥ÿÿÿÿÿÿÿÿ(µ/ý` IôA   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`Fa,bcd,efgh-i6.jklmn op'-'Cqr stuvwx5yz`{|}~u{g€�‚ƒ„…†),t‡ˆ‰.Š‹FŒ�Ž,��h‘R’“”•–—˜C™š/™ ›œ�žŸ ¡¢]£¤¥=¦m§¨©ª«¬‘­®¯°±²A³`´µ¶·¸Œ¹º»H¼½¾¿ÀÁÂÃÄyÅNT,ô((µ/ý ' Èô@@ø0BL (µ/ý Á‚@J@á?…@S@L^,ô…@(…@(µ/ý &1ôªl\NT,ô((µ/ý ' Èôÿûÿÿýÿ¿ÿþÿïÿÿÿÿÿÿ@øÐØLŠ(µ/ý`(ö÷°E°\IÜxS‘?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_E`+abc+ defg,h5-ijklmno&,&Bpqrstuvw4xy_z{|}~tzf€�‚ƒ„…(+s†‡ˆ-‰ŠE‹Œ�+Ž�g�Q‘’“”•–—B˜™.˜š›œ�žŸ ¡\¢£¤<¥l¦§¨©ª«�¬­®¯°±@²_³´µ¶·‹¸¹ºG»¼½¾¿ÀÁÂÃxÄ"L(µ/ý A(,ô((µ/ý Yôô0BL(µ/ý ÁfigS07_nonoise_euler(,ô6(figS07_nonoise_eulerfigS07_nonoise_euler(µ/ý Yôô(:L(µ/ý ¡a40193c8aa57f338(,ô6(a40193c8aa57f338a40193c8aa57f338(µ/ý Yôô0L(µ/ý y N012500-b00(,ô6( N012500-b00 N012500-b00(µ/ý Yôô"L(µ/ý A(,ô((µ/ý Yôô"L(µ/ý AÔ0(,ôÔ0Ô0(Ô0Ô0(µ/ý Yôô"L(µ/ý AÌU(,ôÌUÌU(ÌUÌU(µ/ý 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(ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4(,ô6((ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4(ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4(µ/ý Yôô L(µ/ý 9gpu(,ô6(gpugpu(µ/ý Yôô¨°L(µ/ý T}BÅ`KÜW¤íóh›«Û$x.b£Zô`†-gqñO©É?æÒÝ2}¸øÃ—J þBæ¡wilQîZ ãh‹ñêèš`B£O1(,ô6(Pdev:claude/memcomputing-a100-sop-ed6077@ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4Pdev:claude/memcomputing-a100-sop-ed6077@ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4(µ/ý Yôô0L(µ/ý y 2.5.1+cu124(,ô6( 2.5.1+cu124 2.5.1+cu124(µ/ý Yôô&8L(µ/ý ™NVIDIA TITAN Xp(,ô6(NVIDIA TITAN XpNVIDIA TITAN Xp(µ/ý Yôô"L(µ/ý Aüq†hKq@(,ôüq†hKq@üq†hKq@(üq†hKq@üq†hKq@(µ/ý 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 ôØ$€%&¾+&è ¤¦hÿú®”‹]ø®d(¤¦hÿú®”‹]ø®d,<)&ô&5 init_seed ôØ$€%&¾P&è0‰Péü3;Ò¡ƒ¯**ªt(‰Péü3;Ò¡ƒ¯**ªt,<)&ô&5 tts_steps ô˜œ &Ú\&èU¥ÿÿÿÿÿÿÿÿ(¥ÿÿÿÿÿÿÿÿ,<)&ô&%censored ô–œ&„b<(<)&ô&5 final_unsat ôøœ&þc& c…@(…@,<)&ô&%solution_verified ô–œ&¼e<(<)&ô& 5tts_time ôš¶&Òu&Øf똙™™¹m@Ì™™™™™O@ (똙™™¹m@Ì™™™™™O@,<)& ê&5schema_version ôÂæ&Ì{&Ž{(,<)&ô& 5campaign ôêŽ&Ò}&ô|6(figS07_nonoise_eulerfigS07_nonoise_euler,<�N&ô& 5 config_hash ôÒö&Ø&‚6(a40193c8aa57f338a40193c8aa57f338,<À>&ô& 5shard_id ô´Ø&Ä�&ø€6( N012500-b00 N012500-b00,<ü*&ô&5 shard_index ôÂæ&Žƒ&Ђ(,<)&ô&5n_vars ôÂæ&ô„&¶„Ô0Ô0(Ô0Ô0,<)&ô&5 n_clauses ôÂæ&Ú†&œ†ÌUÌU(ÌUÌU,<)&ô& 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((ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4(ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4,< œ&ô& 5image ô„¨&ü¤&À¤6(gpugpu,<Ü &ô& 5 code_source ôÖð&¸§&è¥6(Pdev:claude/memcomputing-a100-sop-ed6077@ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4Pdev:claude/memcomputing-a100-sop-ed6077@ddf3f70c4d5b50e268baddd9024dc7a79dd5b5b4,<À¸&ô& 5 torch_version ô´Ø&¤«&ت6( 2.5.1+cu124 2.5.1+cu124,<ü*&ô& 5gpu_name ôÌð&„­&°¬6(NVIDIA TITAN XpNVIDIA TITAN Xp,<Ì:&ô& 5 wall_seconds ôÂæ&Þ®& ®üq†hKq@üq†hKq@(üq†hKq@üq†hKq@,<)&ô&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