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ô(µ/ý`Ð�>ñ 2e©@b‰z¬f—K«å·™kJ^KBkáq›øc´pÿÕYv‹>ôf€ÊÔWB`Ü‹Ày<€Çåæ ÔvæŒ6ëAvÃQ[?‰N€Ä\X¾ê°�[Æ�¦#‚Ÿtÿkþ Ñ6#Up¬¸ùÈ$e1ËKòª£r�¿]¿À3þܰY|c·²,E€(Í�¦2RŒ¥7Ó¼6®ÐÁÀULEÑ”ó¶€Îvñ,“ ù´\ë.ÓGv1/¯£w¬£§ðÚˆ£Qv.šž!“B{+Øà -™1”~;|+ÓC¹ñ}šJ /dÜ‘ ç(7,Ç.1k�M™-=Ô%4måšûöP÷5K�u¬Ù‡l2B#µ\@-6›výÏe#z©²Kp£\ þd$JHýNÒ N‘47;ß'ê Ù!ælý™›$9õM ÃÖ :;×MúßqB‰­b•³È °ÇR4o¸˜OÙ+/~ ¢^Ô‰—×"c_|}“/Ô¬�B!|qoÌ¥K°øˆ©ÐÆhJ¿¥ „^Ô?Óc\˜¦Ây`[žSŸÔ?tïc@wô…©zr;–Ö0àõÒlp:$)èÙG«]tVß@DJz†T¤½~Ã+é1Ó%?Âÿû«pYjòû“݇ÊYh4ÖŠOÀ›`ðSLYáKi=d?ñÀ™Õ-(¦£d2>‰w[RÂ÷štFQÇÒ„î-`38ÕÙ¹xÏ|Öò¨3Œ›@2X À²L|õˆ&r“ÝåxKy: ÏUI–Ìjž 6îÏj‡è*~}¿(•Zày'sÞÍ*[Ϙ"¤ý®#«p|tLôSQno[p{Á®®¥mRû)–)vKÒ­ó§Ͼ[Ñ“Lw;F|L>  ÂAÕû€VxœžÉ3VZ¸ÏVåpys)ün¥Üß7-`ãØY`TŸoìosC8)?Íì)Bfqÿk�4NàSº4&omZ�œ—¥UWzán$�IÁq4G®¼ºP�$.¾™øf|k,ZÄQ+Tû7Ž×ÊÓ99É],âºÐöt<Î % RuFsJ‡†Î_†4¬+%:Îשa¯elY2Éõ*×ä;½¯f‡qHðí¾ª©šoYŠÕÿc’)ƒI¯>tõKU¯»õqL8ܨúl na7{,¼´÷¡2[g�þ\ש[s°ì5´;à9•Å™5ò<`QÂçk®c<ŒÃÑ ‚}”e[fo2ÀHu}¢ÃL»4ûvðLO98’VÆ¥´k¡ä:Qd�û½eÚ ¤ÝÌÖ‚Áî:lHðwôYfè÷Â+™Á› @›.úa}í\â.,÷žyU«Ù"RŸ^–Ms\Ê,1Ç—ƒ§Ö$YnTg�{éÑ�¥@rC~HŒ¢bEtå/I8N4x÷#xÈE  WÉY4ej 57ˆâ_üP 鬶R§y?sf¤)TL€ÀÅ�%Ï3d1`(~£“ØÎyƒK§Å5-óÆ(·ãîµ&ÇbDvŸ|öÔoÿ´ònDïNVp¡çE(’°w`…‚±\”äÌOL5 _ɬNË…@®ÌitU’¦,ôÔ‰—×"c_ê0"Ln_(Ô‰—×"c_ê0"Ln_(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>Ålû’æ�Ú"•ý-�„PŽ ÈK‡àjídÍ©6+Õÿ$b»íÈ9äØ&xXÃÿÅ+ˆæÊ×a µJG¨‡¸JýWÿËÎ?JC8!�ùÃ\5oG•]Ú̘kk]žm¸nÕ‘”³²qŠ´_��®Æ¬Ð{‘#ÓdôŸƒ�Õ^±‰7rÇ<—8bm[,'ý,ÛAu*eßý¹9ó¹¬ LDCè`¢íƒ‡þqPdS¢#y`gXIÚ**—;œK;‡ez2’óLLTКZŒ‰ÆSÚjÿñH~£bô@Oúkß½×4 Ò­šg²&f&1rjÝN9ŸÆÃÑ�ãkÖYz�ô�¯6?”zHº`}Þ˜…_+/qìä´N4®‰ò©)}B„Ý(SP°ósØ\&ü’CL¶1sql$Úˆgø.ìŒøf¹';ý7šiUãb×Ó¢q¿ Š}ºœ†çÎîV÷Ý#§A›)(=:gg˹Ÿ…!ß='½ p¹Cf5Û…¡›ä(MÒŠ®)! +°O}9 ;ò׈œ§ñ)^hYª’u¾4ßUÉv+t{²Z:$Ô 9Jº$Ê–ÙX%¬Üœ_C�&_”åÒ錖}›uá&]¹Â5ä0h² äìhÀ~š§­Ý4MI²UÔÎ;+Öpt?GXʽ�Ö¹ŒM:¡a ýÅ() ¢(3t ü®+ó½ë)óä cÚ"ïJ6 oJ‰øØKîy˜Àt|BÆä,ë» kG_£{]¦˜ízR’k¥ »Xx�è <ïx‹ì¶ÙÃÂqpM¥/Ô©0PE^©ê]³wiŠè ™rño!ºúg šJ#}ŽìLç@BèMUdd qN�?§µ!l ]Á†›§ðV°yr¨Ë"n€}ÀæßwMiªÚ¥rÎvœ¿œÝ6 ÆmÂ?eíÖvL¼éš‚üŠk¸‰ÝÝܵ\#+¶Î ×d‡î6õz}óSöO½ª;¥îœß¶yüc­„^f˜#I°²¦ÀL&Öõ vf¦!1QØÂw“Và“2ùþ¯<$*Ø÷Ù¥¾Þ¹¼°9K£^1“-jÅ–}E[ÆbÛz–Ö& ¤«ôÔz´cHƒýÎ�ÓèÂq%ëô×@^C} ’‘8)¼F“ôÎ#ÕJ¬*Þ_BÌÜ0ö†þ+»œÞ< iß×(„ŽÑUž*@û¯T$ ò¨Éì˜*�^:à]ÈäC�bUÍÕÓI¬ 0€ã×=ç{â^¬D]Œk Ý·é8 ¦!=�Åì[:Þ¸÷ïVÀ}çÂhè6Ï…ÄÔF*° bKú�ò$v·nßð@“y–šð'ç:@õC‘޼xtË\r1$vn ªgĺêi4ßX ÔCEƒ®B3Ow|8ªA‚R¹õ…9§“ÔçîŸG&íO‹ÆüGã ²SËÖ X\YÒ¡kK¤Es-ht‚ê-`NÚIGñf×®‰‘ tß?ž¥s¹YqÌ-R‹÷ÜègïIVj|ˆ�¨å=ìŒWh1SJ^$Ýf× |eždþ^ÞJÜB(2|`8¨=duÖ‘¬Ê¡þ\«$dÜÅÚ;2ö£½F4\l‘W:|Ane\ÒÁÕ€¹J+ש,D;Xæù²ò+o? úðÞ/K“’Cªs}ûB¤ï6k ÒKV[ÿØUC³þÜåËk’¦,ôÄ�=+IŒ2’óLL(Ä�=+IŒ2’óLL(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù�ÂL’(µ/ý`H½ Ä7«ÿ‘´Nàþ<Zèð½"u�¸s ‰°yãJ5ê¥]NÉ'Ã`©Ó‚êXC@}ºÕ¼=Ï/$-V_ÓcôWi*ÄeúCˆ�åW'&Uo¨\ÊU�©ŽøÈœn�Š0ŠAùwë`Ì_¡¾Fç­ÒÖZ£ÌF�£ª¥îô2k¦3|§ )DOq–­„¢óÙ{ñI@{)q™cGwM¶ãò 8,Œ ;‹Ù!Û?‚p{íò‡ÿplMïã*Ovžlõ+³EâÌœ˜² 0Ë€k€È¨h~ð•ô…�Ø¡¹&iä4ÖÕ†ò>lðRùaV^(z#(Êh þý]öÂR^�е=3=Ìœ—Í=�ÀL’¦,ôãÿÿÿÿÿÿÿÿ(ãÿÿÿÿÿÿÿÿ(µ/ý` IôA   !"#$%&'()*+,-./0123456789:;<=$>?@ABCDEFGHIJKLMNOPQR0STUVWXYZ%[\]^_`abcde0fgh)@ijZklmnopqrstuvwxyz{|}~€�‚ƒ„]…‚†‡ˆ‰Š‹Œ�ŽU��Ž‘’“”•–u<—˜™š›œ�F?žŸ ¡¢£¤ ¥¦§¨©Uª‹«¬­®S¯°±²i®V³F´µ}¶·¸¹º»¼½b¾¿À„Á\¥ÂÃÄÅ4Æ%%)NÇȇN8,ô((µ/ý '�Xô b*L(µ/ý aÕ ß &8,ôß (ß (µ/ý ™ôbòN8,ô((µ/ý '�`ôûÿýÿ@ñŽ€ÖL�(µ/ý`@ vó§E°Q<Ñ­Ó±* ^ÎüJ±©AÜ�Ïr¢ ÙÁ‚ß"è€\…ۃíÿYûö¿ýOJžˆoU«©5wÊK3t£a°føEX;Ž——ò›b±Íî.›hl[J)UßÌÂÌ8Ž£ÒàS­µ^YÇZüPk­ZV1¨µV*ÓæœsÊLÚÝ�3ÌgqJ­µV\¢”R³¤”RbX‡D)¥6–íî:X¦d ÝÝ]3Í Á­Õîn›mµÖZ¡:zG)¥ôÅÓœs~¿vw÷Î!Ïî.�gP”Rºä——m³ZkU"–u(¥4Ç¡†[<0#ã�ÖA˜èÊ8ŽcœA+ó\sÎYà¢ÖE=»»RnéXâÈâmމ¼Œ«ò #×n ¾ùÖ›sNÏFÜj’RÊ ïÌ9'‰qnæ]CsÐdÙ²óḻ#1Áè±ë`Ì9'ЮÞ_ƒ¿ ”RŠã¸,ÄbÔ)”üêp«Â\KÚ]§Þj­õË·#)eƒ±kN¦*(¥´Ã¶C§š ÎN1bYÏh"׆C(š™Å-¿ˆ뜋ý5}B³˜p‡+FÕZ«”©�mO[ƒ<^]Xµc¡.§nüsæ®9§›Çqë|–]½o…ÂÅ¡nÞ€wFǬ“ ¥”–‰ù¶f˜\tÝZ7Ç<Œ£òO‚s¦™xFâ"0 v1YÌ°ë „³øE€SiãzsÎÉc‘ú3RJy`[ÐAH«–VæWÑá�C.ëb, óÍÁ%v×€^UxƳ»Ng(ʾA˜6cÖîjÔZ«Ò2K9Ø`�g{vO›�ë1…1çô‰zˆÈ±×~Ž-)íj:¢�Xœ3�ÉB=Û ¼’s*µ,É*Ø/(J)2/Â8Ž#™A ¯’¾E7a‰”RR€™¨!#M1œ2S@Bb˜»ÛÚ³£™�¯•–·oëîÜÄÀì&Æ›˜�f™× ³åâ=ìkžLfÀ·>n§Y»KŽÀ »Øñ0Úñ–Hj�îEè3Û<ð|[šá;¬fÎ¥É&ŽÈiþ.³ƒY7Ñ}ÿ?k9ÿ�ì:¾ùˆˆc_"›˜5iÆ»9³Š |žyoÑz¡µÔñ·€�aÿ-Yê?´á.Û¶(㧃}†ñìf¤t»>ÌÝàǫŷeL¡›Ü̬v Ff4=pט·…ÎÁ±Røjä^\ZÊYܯ^&ŽõB†·èA1p—ñ9c_ß:~0®n§ËÈ3µ[Í3Ž¢,ôŸÿÿÿÿßh@ÂÌÌÌÌL@@(Ÿÿÿÿÿßh@ÂÌÌÌÌL@@(µ/ý`9 ûbþò?   !"#$%&'()*+,-./0123456789:;<#=>?@ABCDEFGHIJKLMNOPQ/RSTUVWXY$Z[\]^_`abcd/efg(?hiYjklmnopqrstuvwxyz{|}~€�‚ƒ\„�…†‡ˆ‰Š‹Œ�TŽ���‘’“”•t;–—˜™š›œE>�žŸ ¡¢£ ¤¥¦§¨T©Šª«¬­R®¯°±h­U²E³´|µ¶·¸¹º»¼a½¾¿ƒÀ[¤ÁÂÃÄ3Å$$(MÆÇ†"L(µ/ý A(,ô((µ/ý Yôô0BL(µ/ý ÁfigS07_nonoise_euler(,ô6(figS07_nonoise_eulerfigS07_nonoise_euler(µ/ý Yôô(:L(µ/ý ¡266f399491361191(,ô6(266f399491361191266f399491361191(µ/ý Yôô0L(µ/ý y N002500-b00(,ô6( N002500-b00 N002500-b00(µ/ý Yôô"L(µ/ý A(,ô((µ/ý Yôô"L(µ/ý AÄ (,ôÄ Ä (Ä Ä (µ/ý Yôô"L(µ/ý A\D(,ô\D\D(\D\D(µ/ý 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ôô&8L(µ/ý ™NVIDIA TITAN Xp(,ô6(NVIDIA TITAN XpNVIDIA TITAN Xp(µ/ý Yôô"L(µ/ý AÐ’öi@(,ôÐ’öi@Ð’öi@(Ð’öi@Ð’öi@(µ/ý 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 ôØ$€%&¾+&è Ô‰—×"c_ê0"Ln_(Ô‰—×"c_ê0"Ln_,<)&ô&5 init_seed ôØ$€%&¾P&è0Ä�=+IŒ2’óLL(Ä�=+IŒ2’óLL,<)&ô&5 tts_steps ôÈŽ &Ì\&èUãÿÿÿÿÿÿÿÿ(ãÿÿÿÿÿÿÿÿ,<)&ô&%censored ô–€&öa<(<)&ô&5 final_unsat ôºÞ&¼c&öbß (ß ,<)&ô&%solution_verified ô–€&Ôd<(<)&ô& 5tts_time ô´ž&Ìt&ÔeŸÿÿÿÿßh@ÂÌÌÌÌL@@(Ÿÿÿÿÿßh@ÂÌÌÌÌL@@,<)&ð&5schema_version ôÂæ&°z&òy(,<)&ô& 5campaign ôêŽ&¶|&Ø{6(figS07_nonoise_eulerfigS07_nonoise_euler,<�N&ô& 5 config_hash ôÒö&¼~&æ}6(266f399491361191266f399491361191,<À>&ô& 5shard_id ô´Ø&¨€&Ü6( N002500-b00 N002500-b00,<ü*&ô&5 shard_index ôÂæ&ò�&´�(,<)&ô&5n_vars ôÂæ&؃&šƒÄ Ä (Ä Ä ,<)&ô&5 n_clauses ôÂæ&¾…&€…\D\D(\D\D,<)&ô& 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 TITAN XpNVIDIA TITAN Xp,<Ì:&ô& 5 wall_seconds ôÂæ&­&„­Ð’öi@Ð’öi@(Ð’öi@Ð’öi@,<)&ô&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