PAR1ÐìLô(µ/ý`èe†>Š |Ù EÀ€2�…†Ÿ�¿4þfüÉø‹ñãïÅŸ‹¿,þVü©øKñ‡âïÄŸ‰¿$þFü‰ø ñâï߇¿þ6üiøËð‡á¿ þ&üIø‹ðáïÁŸƒ¿ þü)øKð‡àïÀŸ�¿þü ø ðàïûû{·÷z§÷y—tþæüÉù‹óçïÍŸ›¿6lþÖü©ùKó‡æïÌŸ™¿2dþÆü‰ù óæïËŸ—¿.\þ¶üiùËò‡åïÊŸ•¿*Tþ¦üIù‹òåïÉŸ“¿&Lþ–ü)ùKò‡äïÈŸ‘¿"Dþ†ü ù òäïÇŸ�¿<þvüéøËñ‡ãïÆ߬?Y±þ`ý½úsõ×ê�Õߪ?U©þPý�ú3õWê�Ôߨ?Q¡þ@ý}úóô×é�Óߦ?M™þ0ý]ú³ôWé�Òߤ?I‘þ ý=úsô×è�Ñߢ?E‰þýú3ôWè�Ðß ?A�þýýùóó×ç�Ïßž?=yþðüÝù³óW'ñþàý½ûs÷×î�Ýߺ?uéþÐý�û3÷Wî�Ü߸?qáþÀý}ûóö×í�Ûß¶?mÙþ°ý]û³öWí�Úß´?iÑþ ý=ûsö×ì�Ùß²?eÉþ�ýû3öWì�Øß°?aÁþ€ýýúóõ×ë�×ß®?]¹þpýÝú³õWë�Ö’¦,ôóú(óú(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>Ðù¹ûZQ[”#¬´3>pRÌð�ìŒ_hŽöøØbߺTÍê3O1_ùÿ#V(ÔæÙµgç91YÈl‹OßX™C•¢cñ™V‰pZX ‘ ^a›–o°‰É\4i­Tá_’¾f Þ…1 3n´õn%¥8}aþ?@kÚ9¯¥5)\�ì{Œ©¬E½n˜ _…y_¼çúé¥_Ü$³Fæ|Üz­p·ç"²�\´Aê+„¯bdü½–r[F"®²ßô‹9\ž?!˜gw~)hú´‹¥…°Sâ…Åæ)ͬ ùΧ ãÉó‹óÞfÙÀŠÌ°ýÊÑ?†s®b Ëv'"2gÍ\HÏÿ¶“#vwQ�ΤTÕQN?rfk@÷E#~°?›æ$P”‹Cw „òc�_Àv«sŒ¥‘Jûµ×8Sx&[ucž]& e'£›¢}Ù) ±ƒ ÑOTÕö/®qÑ�D{”k |× HÉìÇycÙcu‘ÁØRSéº`MTìâ~Ñ�úýåì?v÷é#ešV«üÃE­f/oYÃ� [fb%]’Ž\%±ð‡jB~l) žô³ú|飅(<0S›ƒÉhi —nTK‚CKcýh1äKvɵٙtF9˹t]Ú™-Ð-b­m2ÜOpˆNö\öe‡ý׿_é¯VÏF�+oÝs—{Ç7ô/E°"¹Á:!ı£é¾~Z®†¯upØ9ÑWl'G˜Ž $I�Ï¢y;G ô£GÔ6xDÐ7Á?én¾Cß™HLm˜KnS8_U¢3ûçmñ#¢¡Çîeq> Y€ˆ‡�)EßAð•%?WÜPÉ~= ÷ 'þh%vo=)‹™É. Š·;þ=½Ø›Ñ˜©Ì¥âdÄS³wš[¿Þªb¸ß�†ãé§y8“˜.;’yb õ®þÝ¢qÈ«–¡›!1ÿ;§©ÖBä¦ò±\J(uÈæpHòæ¬oÁùï† ‘ JFɼå5÷¿÷à5™\!ó8´ykÜ�;Ôöˆëxøzrq祪¨yËÚ¿ó ib4Lìlx( Fe*ÿƒO @¼ r€K…<´£› OÙ ¾µ n`="õšNùBZçp¬’ò"à;¸�CYÈ ×HÝUrù°²‘ `km¸7ž¦g ‰À+F�‹QI@¸ÅQÜ´娴{@úeü—„+l1nE*ÄT}òUïš�YPöÖÐJâàIŸ:Œ M¶ÌM …Á~†D8Z¶qGüÜO;-´Z9ÝTžäçuD'SÏõÓsç�·iÝC‹7�Ô�#hÇîèØÿø™ùÑÿhƽvËÐ"—Ú¾xK$êz¥F!Ôä”ÕVfª¤íþ©Ç%ª—©s¤C_Pºç_EöÜþhÄm Dò|ºµÇ^�¸åbHä }¤l‚M ü×CeCzIAøDk‚5.FãÅ�xýI#Oú�Ϲtmåàoðxu³,m3ŒxŪ�^Ä5þ¹å+k”PFr1n†JfFý*ë«KG ÛDpU®N„€ëxW=êd\ã˯.�R10xÃæ%§X£ÏX“~‘?wFå7…ðgh-#É—m‘BNÓµÐ@î×¾Ü1n6¨mØ3ðÊ�*a‹“cæotËœa�m\”Apka?å‚ê�|¯J²ˉ �$¶L)ìÔ®pQc;'åmëU¶‹jzö\Ǭ/�³øÛçМĹ¡Ø_ˆ“àW4{ œL+™ ç îá�&lÚŠûÇà^7›:§sÆ*õA¡f�ÆŒ6…Cߤë@¹BÅ?=Wš¡%pµ†&f öb¦Ùó€P†°¶ýgH<ˆò•YsKKG~3‚#:�ìÉExì—\vùæòžos¹¨ÌÎE�J¸Ê>ê��ÒøcmÏMô'òÉp ¶œß=7rëÎëL\ª)³J�¿1a%ù6=Y"HØMÊܪ+³Xñf8H.U.çõR•Ø4æG“Ž ŸAp¡*YÁ)œ«ËHy»¡D \i2K±¯c´X¦dTñî.Iö RœToo~» ¯â°B,*LAø` ñþA»v*6Ó½øT\ÔXm©ßtK2á©Ç5íg*`2iK%¶Q<‡–šÍ¶gqê¡R'êªhbLŽ‹£©–”(nñEýî¥{OrÚ¦ nA’0!۳ɞÀmùÏ­=ÿ°­œ02¡ Ú!½T�#C?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>Í–…+q{>wšìÿÚ:LH°sãdg9H\âãóŸú Vˆ=Ûd“N®HÊ{Àê>fª%³K¥QÎr¶VšB8$é@tq*0µ$ô¼Âz‚g€6P„µ®G¥+?£LÐ(èT@ ’w‹î=˜äbû“;~‘Å»(äe=‡$p0Êd0fR¾•Ú´’YGRó1PXu|mô5Uæ ,àçßeÅQUóÎñO‚g” Ì«T Ä¶´p„Œ&Vø¦,9ÀS¶¼G>ìYe=âà´¡# \jÿfl3:aG.ÙI嶉ù¶ÿ}‚äD¦(ÉK&u)á¹?)]w]gÞ(#©×ÅWºe-ÕièVͦo>m‡Ú4<Á•DCg +!®zJQpkÖÍyKžnI]ó[íèN©z‰:a H…„^A¬YýB9ý$í 9ÀÛ¿eÊ©\ô†³¸rÚWË·Øït¡Y·i¤ºÊy¼îÖ§¥ chn¥pS„)×ZWò�:æ¢~{_ÖÀ@0aûkq³JV%•þÄô{›¿Y.}£¸h%`¥S}OˆSYfrÁ'5î¾zÁiùÞm]q t2a.ð™7—Õ¥™³êPUŒª¸–˜�*r=e€/šŒ´ æYeQÕ55©/: >ص‚ñ§‹6'9^q¹H»Ínµ‹]A{‡gs *žE3ªœMÜØRVÛí¦³[?ªnëÿÐî—#Ÿq7‡¸b…Ú¨h»¼æ¾²‘c}n²-Sª¿˜ñ‘ÉÕüDo‹e[>â¥2kQ|þÿ¸<¸™—�¬µ…¤_2D­¢—¹òï¦n<ÅêÚj¼ºy È–�Å7C ©¸^5[––t uHëŒÌ}‚u»hŸ€¡�Ã_ìTh.ü6 O¹äß/­IûÛ9F碔þÌÖG>zƒê�h©a4+$=¿ÀôH-á;B»€'Êv¸ M)ÅÕ:ö öSu2`ÏÛ¶2lyjk. Æ»¸Åâb–6Ü:º! hózé)Š5ØciËŸ,B–^hB!’xDS>v "‘7 •KVl@¯ØáT µôÝ'4î™·ÿ¹,�|…s\…iYs÷a6¬éZt~!r¶‰&iû>h!”½(Kªë��W‡6`Æbu¯ íÍHÙ²êðíHi…ßå1OBoøÚ!n8c*Ô3A2¯ëO(�^6çYÁ9Žê=awD¶*hà%\ª@â®ÂOqüø Z²”€¼„Y3�ÙsUmu Ú+**ð15ÍJBÝñ £Çº£GÖåŸSþAPq;ôñ&çÞØƒjÍŽÙ7~×”°§†FM•”¨h,ô|�©P¹Ù޾aùvZÃS}n]ýkÕN˜2)ÿQ~cu–·.G¦œPNŠÿ£ê]Žä<ûi¹å: H$¡ßJøšqÊú·u¬¤³_°öÁNkÔÞ1ÿOÙHJ>±8(ÈeÝÇlÆj¯Xœ·ëaoK›„kóî½m ¥¦¹ì÷À`èE‹»ÞŠOþñ—ôZ’.OíQ·d$%] ›±ty]µ�` ´çµ27 9ªÁaÜ$51¶ þ¹ƒÞ £”=�;;#ðNähÉJo¡ ­ Ú›öZC£œÇ`t? ÙT›%³s/òaG¿K;6­?Ýúè1¦,Òw‡+&;ÀlH,çf8»BöðÑß�tVÎÿ\¡à ¯H°�ªÌðâeð®�h·üBVÉÈ>ö\7 SèJÃyFÈv„Vmé¢3>†×,øÍ±Ëø¶Sû�Ž Ól1ÍS“γL:»”íæ»·ˆ¯cg)Ž>b�$OG@ `,3÷{VªÁµár¼@�{ì]�éQT€Í=9( = $šb! % ‡'1É¢ÉiiòŠ"øV#=«wŠQ}"4…#q ûÔ\�yBî6Ø-4�ê)>H»-Ó$™Ã\aþBïaYáò&%K,‚Ÿ)¢^p¨ë_š‹Éÿ“¾;Ö2•TÃi&Wâ ·dø²MöF"ûF5*F!žýIFº|¾ÍRãkZ.®ˆ¾wV~E«FJÑTm èÒ5€Ÿ|K_šÝ⑵ZÆúœÐ()’ÙØÓ1Öàì“lÇ0|s%A‹=Ÿ}e„Mvô�.» ¼w_�™v²n¸xŒÂï@)/%éY¼ûç=úæ]e8™x>Ê'[=ÍJ“Z­i»�A•ÎHüû¨j'à%å–?ÇYpüû�?YRB�œ~Š1P5 Þ]íb²ãYDj�¨îV]L„Ui =Jq%j9ýþÊP6º�¹—ûb®ÛnEc!BQÁ)2-­šv%C Yër`VɃí}''éÒµ“f’ö¯èc±â -f8ºQQ–¯/¯‚}SN¸Ãt÷†S.W5ššòc5O™¡Á4»q[%+ËevaŠ�úx‚jc¤Œ8?Çì["�ø§Ã.dvI‚ô‹9«S÷!ײLÃ!  ½ )öØ*4R¾E‚yUcÿ¡éQhÿ?rH1ÒùuÔc OÔˆ±)ßUŸz/}µ€éP’в "oùF¢§Ü+—Pæ%1ÂâÆÄj’¦,ô)ÅÕ:ö öähÉJo¡ ()ÅÕ:ö öähÉJo¡ (µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ØL”(µ/ý`P ÆÕTCÀØ,tÀu ¹yŒ%q¥XÇBLÌ“&ŠíÈbceq»M϶|–Çgž£×Õ• c¾©†Â0¿E¿ÆA#BM¦$wBCB@>ì9ÐÀ¨�XÖ­ø4»“(ªåí=˸†UéœÇ·(‚ïQVM0-�®)oaæ’T*êCÁÀ5p׎Ã…¦±˜Mƒ19 »hò›‡²$A‡ŠÒ ™-ÐJ¤#õ„chÑ‹î6ä›RÙaþ HëŠ_/ûx†¥ÉR^3Îw¾ ·sÎ9çpë\N@äR+CÐà‘B¬ �¯”Ðc‘‘C‡ñ�˜Õ•¸‡*CøÈž€Šèß[.· ï.C&iâm6ð ÞـɨX~ÐCöGôT]_ (séçóØG7|´ÐŒèºÕ”\\ïq¯Et" «2”Å5(à @-º†P¶d¾ * ¶L»A ’¦,ôHÿÿÿÿÿÿÿÿ(Hÿÿÿÿÿÿÿÿ(µ/ý` IôA  !"#$%&'()*++,-./01234567/.89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ab_cde$fghO5ijklm3nopqrstuvwxy?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a^bcd#efgN4hijkl2mnopqrstuvwx;yzB{|s}~€�‚ƒ„6…†‡ˆ‰Š‹Œ�Žo��‘�’&“”+;•–—V˜™š›œ�žŸ> |¡¢,k£¤¥¦§¨©ª«TU¬­® ¯°±.²³´µ¶·¸¹#´º»¼½¾¿ÀÁÂjÃÄs0ÅÆÇÈ"L(µ/ý A(,ô((µ/ý Yôô0BL(µ/ý ÁfigS07_nonoise_euler(,ô6(figS07_nonoise_eulerfigS07_nonoise_euler(µ/ý Yôô(:L(µ/ý ¡43166ad96a3ce3f6(,ô6(43166ad96a3ce3f643166ad96a3ce3f6(µ/ý Yôô0L(µ/ý y N017500-b01(,ô6( N017500-b01 N017500-b01(µ/ý Yôô"L(µ/ý A(,ô((µ/ý Yôô"L(µ/ý A\D(,ô\D\D(\D\D(µ/ý 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(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ôô<NL(µ/ý ñNVIDIA GeForce RTX 2080 Ti(,ô6(NVIDIA GeForce RTX 2080 TiNVIDIA GeForce RTX 2080 Ti(µ/ý Yôô"L(µ/ý AÉê`‰¬x@(,ôÉê`‰¬x@Éê`‰¬x@(Éê`‰¬x@Éê`‰¬x@(µ/ý 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 ôØ$€%&ö-& …½27Hø½Ø›Ñ˜©Ì(…½27Hø½Ø›Ñ˜©Ì,<)&ô&5 init_seed ôØ$€%&öR& 3)ÅÕ:ö öähÉJo¡ ()ÅÕ:ö öähÉJo¡ ,<)&ô&5 tts_steps ôؤ &š_& XHÿÿÿÿÿÿÿÿ(Hÿÿÿÿÿÿÿÿ,<)&ô&%censored ô–¨&Äd<(<)&ô&5 final_unsat ô”¸&Úf&ìeŽZ(ŽZ,<)&ô&%solution_verified ô–¨&¤h<(<)&ô& 5tts_time ôâì&ôx&Ìiïefffæp@´™™™™P@(ïefffæp@´™™™™P@,<)&æ&5schema_version ôÂæ&ö~&¸~(,<)&ô& 5campaign ôêŽ&ü€&ž€6(figS07_nonoise_eulerfigS07_nonoise_euler,<�N&ô& 5 config_hash ôÒö&‚ƒ&¬‚6(43166ad96a3ce3f643166ad96a3ce3f6,<À>&ô& 5shard_id ô´Ø&î„&¢„6( N017500-b01 N017500-b01,<ü*&ô&5 shard_index ôÂæ&¸†&ú…(,<)&ô&5n_vars ôÂæ&žˆ&à‡\D\D(\D\D,<)&ô&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((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 GeForce RTX 2080 TiNVIDIA GeForce RTX 2080 Ti,<Èe&ô& 5 wall_seconds ôÂæ&ʲ&Œ²Éê`‰¬x@Éê`‰¬x@(Éê`‰¬x@Éê`‰¬x@,<)&ô&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ü%FPAR1