PAR1Ђ Lô(µ/ý`轆þŒ |Ù À œŒ…†ŸŠ¿(þNü™ø+ñGâoÄŸˆ¿ þ>üyøëðÇáo߆¿ þ.üYø«ðGáoŸ„¿þü9økðÇàoÁŸ‚¿þüø+ðGàoÀŸ€¿ï/À€¿¸w{¨wz˜wyˆwxxwwhwvXwuHwt8wshþÎü™ù+óGæoÌŸ˜¿0`þ¾üyùëòÇåoËŸ–¿,Xþ®üYù«òGåoÊŸ”¿(Pþžü9ùkòÇäoÉŸ’¿$HþŽüù+òGäoÈŸ�¿ @þ~üùøëñÇãoÇŸŽ¿8þnüÙø«ñGãoÆŸŒ¿0þ^ü¹økñÇâoÅß©?S¥þHý�úõêÔß§?O�þ8ýmúÓô—éÓߥ?K•þ(ýMú“ôéÒߣ?G�þý-úSô—èÑß¡?C…þý úôèÐߟ??}þøüíùÓó—çÏß�?;uþèüÍù“óçÎß›?7mþØü­ùSó—&åþÈý�û÷îÜß·?oÝþ¸ýmûÓö—íÛßµ?kÕþ¨ýMû“öíÚß³?gÍþ˜ý-ûSö—ìÙß±?cÅþˆý ûöìØß¯?_½þxýíúÓõ—ë×ß­?[µþhýÍú“õëÖß«?W­þXý­úSõ—êÕ’¦,ôçî(çî(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>Ø„jïpt>:ŽëâÜQIè ù«þKJ�/ùŸÐŒoL:S�–û¶BŠ4À‹Ci cÌ1c±ÎY z+ç)É)r{ø@4[�yS&…6Ï.^¾õ\Ú>slØe †JS¯uz",;¤³Çè_LRœ,‰tãÚg ÆkâÕÓEiZ3Š,p"¼¯X­ïuí;q¸«Ð�ذ,ãô�, #«*9^×&ð!—ü¸mdmd26Þ-!ƒ@èmüw«ïWî�JßfãªüS.q^ˆ¯2SÄEÒm}ˆ"q^÷ 7ÕyIÒt¸ÓCS‘K Ôœ VR‘Ðð È#ï3í‚aòt·¤) ¸*Ï P®‹Ô\›ÒÛÍ�f8 çù1!`5}P·¶^\Ê/ÿc1ïãíSHÔ×Jq*>Ko.'u{P"Íjp{îÂ0HÆuï‚t®b#³Þ¹´�C;n.´þiYÖ³1§;•?(Ãc)íº&–v,îF8Mw:‹^ì*¼hÈTlm7f‹1òVÝê¢ÛùãÛ|Ë5±.Å.` (äî=–ñ§—ÎĤ}nyð·r &Ž”èÛüæmî»�[¶ÞbòS^_�¤,²t�TKH %ã”äc{ûKmŒ-½ØPV‡yÿð+3Õh}ïnU$J S¾R·ª8‰¿n†D²cBí¦Ýh/,Vþ­¬­¡ϲ׭áм%9e:5&mPBëd�¬ìsS”gŠiGµ~¶›d–ùäBh© Rƒ6l:É}Ë$vSH},|Wïm|‘Eúÿ�r�ûtÜ79Ë$OÁÑÈo˜á¶. h„’#RA�©øf4«>y¥g³eS7ùÐÛAiv$½Ò(-�|/c­í†¸|#ª3¾—DÙtÖg9[!kÜ·ÁwéoEàÌXA)4¿:Ûï¸Ë•¥2-Ê-úçWâD.E«ò›X".\…5C‰(†[ !S[}±ùÔ££2 ½c$”…4{]15�7�Ì x€ºŸ%3Dà"L›p¡fœ<@{‰ 7ÌÀ3+2+Ï쇆ƒÄàšyʱ7Ñp!–"ikƒ#+Lý+ºó á<»Ð-sG,½€šnA,×ëùµÊíÐáW†ï<¦¿À�jƒQw.ÄØ„wo€?¨»ø#bp»™o&µÕ8 ¿Q‹Ô-€J~`{ºÐ³2¢•” :�˜û¨�LMT»z7c—?A¨˜8¥¥Dð „qÞXj"o>oŽJÔAw‡¹^yw«HÆb»•W(ì}ÈÙPÅNŽ,B8)/QkSKáà)õJ�p’ñme,1¾o•"O9OU»N49fEì*ˆ/ ßÜ~èCƒ8ÞÇ/ìfÊIrmF°a�ؤQÿçO¨¬Jòœsê‹ÇFf8î¿£:i=I‡O'Ëá.Û}D3Âb3ld‘ÚuÇOô"ã×µÉ7ï?;±—(Òað¹†ÆgRÿ½ÐÈ®uš/è¹8ê¢K6ar镜Ι70%Q± à9B˜ 1Ìã�](KU­%ÉbJ_Ñj93Q0ºÆ°!ײedŠÖľªìX“viºáxfŒ¢+i\BímOŽà‰{ë—[]œ�¡�|Ã*Ö¬ EJÏÙžñJ0ž9þ !oÍmŸdA˜»™ò‰SGoÓÕJ^ÕMâÜ6Ü ƒ÷Éf&3–TóÓóº?ÚHøûí”@TbÍCá±3ªe¡9”6›Q9GÅ£,2@oˆLM}(l.h¼& Ò À<Šv=5É7{§jm1ˆ0ü»'Úàbj&½–)A€ÎÔuÅÜmoð.SF†à¤„ÛeK'l€í#i7šÇL÷E$G¾™#'kòU%TCP $õ™Íª6,:%ã[íÚßèÕÑ‹Ä(À”ÏfÙdh‘[?W¯àRƒ"<+MÖ& Ýf‹Žì+¼(ð¯L.l7Å/Ò­ú7€ jöký*J 1%5R:ÝïŸSß§HÅO]ÂT�Û¶Ñ7t½Ž_襮 Fø}3§×]-o¥ …´EíãL§ÿ×]^:n› ì' ó,*Xý³@ƒ ðû8õ(cQ=õC–¨oöRý¦÷Z‰<èƒ8Bý­:P!X ÞU”]vFª‰÷OÆ%¹a'.Ž:Œ*õfÍ?d¨‚Z^ðJä&Œl0˜Xf›]#Ñ?Ñg³ñ\Îø`.fGŸHŒ]´|‘Ó`0(#¹»3o�- !—�Cà¬ëE�\pÌä›Za×}rêZrBã³Ô'²��z4=µGš1k¬¹«,õ³¥PE4µ–‹íØcÕê9ãý£-±~’‚h‚eÙÁ×v�þ¹s…+ÞøIrñ[n*ßébKq׊[²v‰Édƒ*hÈ,o~::»²¯ê:å&nËö$m0ãf_ùn4¥;˜'"]S3lzc­=§GD¦iJä~À×7ä�·¢¦!áÜ*ÝCÊЙ%DzháÏ# ú�£t/Öf[ýZsHëŒThdZñ_M]î~›ÃÈ¥ì†"jq÷sñ¹ä�@Ô ê»tc<5õÆ�Š*·yh~ñϧªfáSª�U˶[¶o8,žàTw$q’¦,ô�Š*·yh~ÿ�r�ût(�Š*·yh~ÿ�r�ût(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>%±+Õ\ýËýE’Å�³&ce‰€>Õ]Àålõ¶1…8Úï:Ç]Á³•k—nZÀ³5¨ë‰>%¥Ý[ö¾z–FAœ¶<Ÿ:ƒ9åÛ,‘Lz¶Ýp‹D£4àÝS * Z—ÄH_ÊXH!·—}UXFå_Öç¢b�¨Ù¼øŽ,‚× –ÕÝp9Ž!V¸�ó2nšT9ºb‚}àx“D¢ËÍ S|Òž¶¿Y á´Ïy0+ÔvL�/BÏ%–„Ë;!,pCe5ô¢`‘Í“Ðgw. ýjåFdõl?¿¢•Š+dzd!çöóÃ3ó=¯î¯MØâj÷)ÚŒÄt³9ÕÇÐ<|. ,ì ƒöÆZNÑFq]#àÃ:ÃÆíÌ}÷ó/”ËJ{RPw!-Ï Þ1#³4w Iª¿Š¿QѾÖØØ `– u~b&A�Û‡©$F¤Ær2ùyÔ£„¾¼Å„–#ö3ZÙݰÄ+;ºÜ2Ààìx*ËÈ�Àþ ›wXùu>ˆêXÎûLw'Ï×ÒÀ"„%m"ŸZ8°÷ßÙ ˆoúŸìžÙEFá`‘†bÕ˜Û9ºX•PÕΡyYâ0´SêtŸ5ëK^~œÛûN¢’žVÁMkx÷dþ/ôv Kx>Ž˜«ûGót˜0:讃Î>‚Þ¦6j ¾¯‡ú{Tk%T±dý˜ã8(îïÉÑHY@Þ~Îgmmr+ŠW[zK–5õ]ûÝmSÒ~öíýMNfÎ9¸I)&Ÿ}íÅúf” ³È­¡Bì‚Å#Ú®7NïzfŰÈpŠlnø?¶ Â[yä³+ËÎ6ëÀ./üµb„wÁ ç—¶´`u/žd]Ýš1Kƒ[k0wgS¡Ú(¶ì¤¡îú¡ëWÁéo¯Þ1)~¯ÄSDç=6„x$ß ÿÿ,„š¶u>Ú÷P¹*«-ýÛûàt\íï8üZ} M§Bø4pÀü’É,e@/Ý6[»)ë#B¼z�#¾Y®³[©ÖZ&Òß\CçC#yþj)ÖS_c`Üâ•[-2Žk—y2&ùŒ„™ˆß–;OY²�*‹ @ôÐc÷bGu$ñ9MN¼íÂ:½2×¶j$7.ÝTà$Z‡bYy‡nüaeo›u︽[ 1Ech:ûQ„Z´GÜlrç¾ÁwÕpöÅ êe§3´ ™!8LMü*‹50áì2~cª÷%¼‘hy‡¢¿O2Ò.EÃ+%ƒ¼ ¬£¥‚Û%#òâüެé,r¥Šb~�šFl+ØšAE�ì§e¾»ó8Äì€Z�°)RèàbÚ|¼­"ãÑcÚI5¥“f„²}P¾nн>®|1F5£¦Á_|k±ãç7TeÖïá @î /e²ƒÖØo õ3';O ›7.âH Õ‡º¢ø¦-@(>8ú³�OÁEòQÐrÐöfmJ7Ak‘Ö2ãõÒ3IOSËri°Ä“eÜU|t ’¦,ôÁéo¯Þ1)~ Â[yä³+(Áéo¯Þ1)~ Â[yä³+(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùà�L¼(µ/ý`ðõ fY_BÀ˜-t`R(£Ûð¾éP)2úΣÀ,E˜éç�´™þ(W(`Y’׊¬¸] ™éæDU AÕ‹Ô¶l. |m¿™R’;NNLÏêÕq˜¤2{9–qxƱ?±OÁ! ºËHÔ&'oùMx™š8ÌRrŽšªòxzÖEþhQ1€Ö†b#‹¦U)©*ù+“{]óŽ º õÀ£ÆõÁ—$!áO­·t€TGi‡ªùV'è L3Á<„„Vº:d*uê2:„&aY2�èÑs&Q49Ã6(Q9ÕAr“´Yµ'¾±½…Ü©?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmOnopqrstuvwxyz{|u}~€�‚ƒR„…†‡ˆP‰Š‹Œ�Ž\��‘’“”•–—˜ )™š›œ�JžŸ ¡5¢£¤¥¦§¨5©aª«¬­®¯°±²³´µ¶�·¸$¹:º»¼“½6¾¿ÀÁÂŒÃÄÅÆÇÈ™ÉÊËqËÌÍLÎÏÐÑÒÓÔÕÖרÙÚÛÜZÝN.,ô((µ/ý 'u@ô àL(µ/ý !(,ô((µ/ý YôôN0,ô((µ/ý '}Hôÿ"àà¶L¼(µ/ý`ð�"jE� C \MÀ7ŽÞ!íî'g'³€'Ø» ãðWµ é$LFÚ]¨ªêÓ.̼k°»_�¡–\TašˆqjöŒTUAL«òTPŒ±ˆšu²_`©ªÎ¸†a&*Ûv\…gÎ9“~‚mä‹m@?q™sN«gD»»@fšòËÎRCS͉1Ưì)$CAYçç\œÝýª¼;"¥”'¶mÅ£Œ¡¢H)åÐQg®eYJÊM»»‹e©1Æ"oþÐh€…¨0&Ų‰bRH0BC�:ôßC™ôñ|YzûØÁ9w'3gsëO«¶²E‡sFkS<ÕtÒ·ú†Ž¾Â€ö y™ Ë5†O»�‘ûd‡VSKøã -j¬†~ ÐÚC7cS×xß&8釯ì�mec€ÜãŒïݼÌ6…0–þôF; ±‡’²ùMnáŠË“=Ö~Gn�næ1&¿e³ò«íé Û™¼ãÏ£üø{±'íî\]æÃ9p¼WJ:¸†ôÙ¹õ‚©oqlä«‘ëåœz8šÆõܘ Õl«P’¦,ô¤efff–u@º™™™™K@(¤efff–u@º™™™™K@(µ/ý` IôA  !"#$%&'()*+,-./01234256789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmOnopqrstuvwxyz{|u}~€�‚ƒR„…†‡ˆP‰Š‹Œ�Ž\��‘’“”•–—˜ )™š›œ�JžŸ ¡5¢£¤¥¦§¨5©aª«¬­®¯°±²³´µ¶�·¸$¹:º»¼“½6¾¿ÀÁÂŒÃÄÅÆÇÈ™ÉÊËqËÌÍLÎÏÐÑÒÓÔÕÖרÙÚÛÜZÝ"L(µ/ý A(,ô((µ/ý Yôô,>L(µ/ý ±figS08_nonoise_rk4(,ô6(figS08_nonoise_rk4figS08_nonoise_rk4(µ/ý Yôô(:L(µ/ý ¡c086ef0153cc4275(,ô6(c086ef0153cc4275c086ef0153cc4275(µ/ý Yôô0L(µ/ý y N007500-b03(,ô6( N007500-b03 N007500-b03(µ/ý 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(µ/ý 9rk4(,ô6(rk4rk4(µ/ý 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(68f798d0e5ac199020703e3265b26b046c01cf7e(,ô6((68f798d0e5ac199020703e3265b26b046c01cf7e(68f798d0e5ac199020703e3265b26b046c01cf7e(µ/ý Yôô L(µ/ý 9gpu(,ô6(gpugpu(µ/ý Yôô¨°L(µ/ý T}BÅ€êŒ,qÀ¿¥À±f¿m‰áf(ŒÄÒ­mË7giJsú\o®TÙ…úœ”¶”Õ'7�/Aþ²HaPDèÞºv€æ¸+X4�1(,ô6(Pdev:claude/memcomputing-a100-sop-ed6077@68f798d0e5ac199020703e3265b26b046c01cf7ePdev:claude/memcomputing-a100-sop-ed6077@68f798d0e5ac199020703e3265b26b046c01cf7e(µ/ý Yôô0L(µ/ý y 2.5.1+cu124(,ô6( 2.5.1+cu124 2.5.1+cu124(µ/ý Yôô<NL(µ/ý ñNVIDIA GeForce GTX 1080 Ti(,ô6(NVIDIA GeForce GTX 1080 TiNVIDIA GeForce GTX 1080 Ti(µ/ý Yôô"L(µ/ý A€fGå7_@(,ô€fGå7_@€fGå7_@(€fGå7_@€fGå7_@(µ/ý 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 ôØ$€%&Œ.&¶�Š*·yh~ÿ�r�ût(�Š*·yh~ÿ�r�ût,<)&ô&5 init_seed ôØ$€%&ŒS&¶3Áéo¯Þ1)~ Â[yä³+(Áéo¯Þ1)~ Â[yä³+,<)&ô&5 tts_steps ô˜!Ü &è_&¶X¿(¿,<)&ô&%censored ô–v&’e<(<)&ô&5 final_unsat ôš¾&¾f&ˆf(,<)&ô&%solution_verified ô–x&Æg<(<)&ô& 5tts_time ô˜!‚&–z&¾h¤efff–u@º™™™™K@(¤efff–u@º™™™™K@,<)&ô&5schema_version ôÂæ&þ&À(,<)&ô& 5campaign ôÞ‚&€‚&¦�6(figS08_nonoise_rk4figS08_nonoise_rk4,<¨F&ô& 5 config_hash ôÒö&þƒ&¨ƒ6(c086ef0153cc4275c086ef0153cc4275,<À>&ô& 5shard_id ô´Ø&ê…&ž…6( N007500-b03 N007500-b03,<ü*&ô&5 shard_index ôÂæ&´‡&ö†  (  ,<)&ô&5n_vars ôÂæ&š‰&܈LL(LL,<)&ô&5 n_clauses ôÂæ&€‹&ŠÍÍ(ÍÍ,<)&ô& 5ratio ôÂæ&æŒ&¨Œ@@(@@,<)&ô& 5p0 ôÂæ&ÌŽ&ŽŽ{®Gáz´?{®Gáz´?({®Gáz´?{®Gáz´?,<)&ô& 5 integrator ô„¨&°�&ô�6(rk4rk4,<Ü &ô& 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((68f798d0e5ac199020703e3265b26b046c01cf7e(68f798d0e5ac199020703e3265b26b046c01cf7e,< œ&ô& 5image ô„¨&–©&Ú¨6(gpugpu,<Ü &ô& 5 code_source ôÖð&Ò«&‚ª6(Pdev:claude/memcomputing-a100-sop-ed6077@68f798d0e5ac199020703e3265b26b046c01cf7ePdev:claude/memcomputing-a100-sop-ed6077@68f798d0e5ac199020703e3265b26b046c01cf7e,<À¸&ô& 5 torch_version ô´Ø&¾¯&ò®6( 2.5.1+cu124 2.5.1+cu124,<ü*&ô& 5gpu_name ô޲&´±&ʰ6(NVIDIA GeForce GTX 1080 TiNVIDIA GeForce GTX 1080 Ti,<Èe&ô& 5 wall_seconds ôÂæ&º³&ü²€fGå7_@€fGå7_@(€fGå7_@€fGå7_@,<)&ô&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