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ô(µ/ý`Ð�>§6pßP#�ÄåJ;¨¢WË¢},#MÈC�)zjÄ4Îi µ7Àl@â¼ õ vA×ñŽvš 1›µ{IQo¾}÷…È­Nc¨å�'Q›m�R©‰±ÆFxÊ‹ŽYëT•«¢©èCäVpŠítdhO! Ff×Ý%ƒ1µÓvÄè \®¡Z ƾ®<ï—ý;ʆé.‹Š€yX«(WØtœ›-ü��S4æQËÝ«ÇEš«D ‘ì)FÈy\’zij Ñ­7‘f UWDá®,‰<9¶‰¢^±ÛN«aê:G鯘]RÑýÙ K‘LŠƒç׿�<š �×4bÑ2Ã2ïÜ}¥]–��7kÎ™ÐØc¸:4™ö Ç ­{ƒ7Êj[šµŠ@ ��D¯^m~ŒP$8�~ÒKî5¦þA2Ì�,}þcÑâ£=û$³žÊ)aƒÇÅŸ'> KRm³]y,]dO!—lhÇ¥‘q~Ý•;r2̽¾:ÝxôÏ+OgÙM¾t‡NÉ_Sb מ*ÛØ¾w‘=2j*ñ§rn5.ÖtŽ‚Mòß(Žp¸ÇÈ-¬ òR/üöÊßw�C¤zWöÒH Š›Nå’t„ 6ÙÀó~Ó¡xô6‡ÌCÒ¯!Y«2KÒ�N ©ö%g{)eîì]0Ðëw%Û¦ü,¸½U } |�Å×mÐ%ä©A½Œ7š5òb€bU´.ëi;¬#ˆŽ8ö’Hùø"E%œ‚àzNTw¹ûä)êÐéézqtT½|Á0i¢ vPœ _@çšÂøÝo=¿[ÃM%�; Ä©bd½“†M†�ðÆ$Àf4�ßÈ@©3Mä,RsdCn¸Íý§n Ÿû /ö‚� ¶Ü+ô ¢3ú-º­8T]K²Ó_a:VÒôD/«ÙEHd+°K”‹¿z2Ap‰[TT:Ì>«/€JCîÍë^JÁÌ˵,5:sg·fz¢[Uþ»}�rb–é%•X3®çW¾þcQÎDÞ_F.™Ç°Gõ‚w`YÃ"@­9^hÖqŒ¢ÖÂRàÚ{÷I$Òl)}r¿U‘òâ¾'kS$­%*6¶Â0Í‚ p#¦›H?¯§g­!jÉAdäáš›Î]Å’3/vÛUÚyjý¯%Ì+T*ÄñVõDôšëàÛFûoã;ä](™…uúìe~'Æt&…Œ–M$,[õ8¤Á ^«+=�׃áÇþmw ù[B&=ñŒÄQ1s÷Hþ} OÎ$ûÕ‰ƒNN ÄE+3À>LÖSãt?+„7¹ÜŠï‘{×ÕMòå¦DGÿH3b5cOÓ‹ÀüƒØÕÐ×ëS‹YÄ'�–O7ù[¬bÀø? 4›ÊP=y4®à |Ú3œËB_@n�ÝœÁ%¤%LÀdÙqóž±ÿYc?Ä›UýÊðEd-²y}#džoê\~U‹÷²I·móµæQ£8;e•)�N¹°o6a¾±ŽÄ4¡zTs CR)h/渼5kOvnb::¾«$HvÎWa4·O0m�}¤áSVL®ÉwÎ %3¾ý²¿ÒÙ«m¹ 4 öÝ>ÐŲÔ/3Fš|5o[š_Ay š°l2Üî6µ4˜�"Ï?¬yÆG1bĹ F6Õæðå¼Ò"Ì A ~ ‘j]¿Þȧ„׸©sm•åTÍM”pŠmCùYqê¸× ŠgˆÚê÷O4™ÞfÈ@n°Q÷xRwh˜&S ˜=Ïv–`¯BÞT� ÅFg¦Ü"\‘¾Eã@u‰as4ý É?_lã[Ô>ÚmuPOJǺà(P%~|9kW.ajÆ3ýáXÛ™|0AŠ�52H´ÊSMßÇʸ¥JŠéÿ�8qâ8a`1çgçî/Y€'_B°Žl]_Êu‘‰Z’¦,ô€�íËÒE`5Æp˜(€�íËÒE`5Æp˜(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>°E|×,»(´Ë€›\˜[SMH�„+øY$© =1ê:½¿w`àzRm~:u ˜¡l/" K¡Ô#ÅM!HÅ-<úcf,õ1ò1¨fÓT?Ø´¸X“ø£¯ÙD¶Æq\XO^…qIC›�½[ tûQÆj¾ˆ’4±#"¡·ká·ºâ¨æÇÍ4 YîÌXØá[‘é¬[‡¹è\´x =µ‰·7t�OãO§BdÊQùž)& Nàj�û:eí€p+|á.F˜бüå0 F.7îF¶3±LðÌPöoÞŠ`¸2žè*Äí¤MÎpi3®Ý1ü^7 5¿ôðhCÁ†“va¬|Tlv¿§›O,\êñ'؆A˜ñ ì¶4n!6É Ä©Q-;¥Ê’]è1Æj'8_ÙéóOÎ*Èÿ.|®ààÃp†h‘¨Ùb×ÖM ¿h9eqRÞÂíÃv+;j–x »�Eu’Ä&ìªoìñš_P´*Zt Vëÿ cŸ�ÏZQ +yI}œBà¯<¼Ð»ÑØLd¤H¡•,CðG$D«²~Z4k7fÔÈ„`FPTæÁò±Š"ú¨AQ¡}IéèkÙ¼}°�Þ tKüKÔ‰‰QÐÔAâvÈk?oÞl9wt bMÓ� ÑÖì _ ·ýŒ9Pܦmhß__RÄÉ`9¶p.ð“,„Ò�®yªxñ9„N ˜£fÛÊm*¬˜|Ð(ãÕÖy#C“¶—{Õ2%ÍÇñ| 31¾9ü).:(ýí¦BvÔTŸ+Ù£Ð&Ôc'Ö~ª™[->ð¥äçMcĉtÞˆxCxD)‹xp Ç̰'¸õ›Ý0دë,0mv2)2±”M‚#NARy/„1‚D`‡‡ ûÚd1K;HQé …½³^>ç?8À ŒF’:ÍÆÉм_¯9~pvÅi«  ];ÊE ã¾@Yi¯�'ø…6�Á`7<"h½ºôd*p,¦¿™˜ èUÁU¼Ø€]åu¬AáŽl‹+ÓØ9ó„ZOÄõº×zz—I¶+ð¥d4aZØJËÆ’šv2€� )¨Ћ¨ ý `2¢c¿\ê;²žW$I}�®™e÷ 'áwgéÖhe>�)]ñÕX;’û½ð|º° @ãß:¹nt6�öÏ¢ô zfÉtö#8SÑÁ&G‹:°rh>¶áá„åå`ž ¦&hD‡çg|b@þ>Æx®·°¸­yzÏȧ¹5]5ý£ƒËCs q a öÜ~Õ‹Má¶ùswòÊÚi±æA¤²`aüŠlg]weGhð×à‡îíŠeù’ü+ÿ|¸ „- Å17š•ôb`}-çP™qUìL: “ûΟ¿'–RQ³T€�÷7�@¦ ÀdvÉšûWšÜ{x7€Úì[}¾žÙ=Kh<ë[ÕÜ=ºÆ&Ù4Èõ‘"£W~»¶îÅ€Oº7´!Óȵðzñ,Z!]‰ön$# 11ØyySÄûÌ1z†3Â'W©bþ¦gâð‹ë8!Z�qH~m¯:cDá1GÐׯ¢—KÛ&_.S@|!Qc›TÊ *ªº7§–3’ Ãà4ãª*{ï`:îð�¹s³ `¬Ò ?;½¸F` ´"n04iijçó€‘gWY+ŠúÈå3³y l’  55ò,ë81 {dõŠÊ·\8}¬Ca–ªxø0±ÿÿ½X+¥øÝTQfùĘAj�' ÎÊ3•0U¤ð¼Þ5u*oͶÞ>”lOô?1 !nR±Qª]�Húj–ËÿÁ“+œx;G#<F¿J•‘@rKڄ棄AV›&=NðÞ>üÍAã¸ø=ae*ª,r¿ê1Lo\mò¥�v˜œbW’(—‡‰ËL—Ú}pÓã�u¸T’��¢BN=¹ã�î\‰JuvTŽäâøQHj€@ªgDw�·9}ÓQÛûΤ*Dt]}ƵT¸ WJ„�ÛCäù=F3e­Ó‡Sc¯“&jvžb»�#%yq™�‰œ¶É­:ßNÆöâ5GOs`õ/ i:n0tœßùJ:öàˆžtkª†’¡BÙEoØÁ•¼2g&aÊô­ªèæ2þ‚ú²´u(:ãÓQgbÉšõ‰®4A¿n £íNIP·— #+øŠR%ˆj$F'Tº3pòßB½ö®BºC p �8MÌ ëøR¥³�_y~&(@",D¾°‚Ÿ‹fkÎOSÑ„'½³�ÜÀjË$fån`7n¡¤š‹c~àÇÇš~OµGð(£}÷àq1’¦,ô q a öÜ~œx;G#<( q a öÜ~œx;G#<(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù°šLÆ(µ/ý`6_A°©1ðŽGf”�4tÖûWløÌ$pÖHLwqÑUÒ Â1‘µŠJ˜¤®$ ¹®™7 @zÀÐnÚêR·Ø­ÛFR¦ieMLOŽ›ãHLko™çkä3ñR©#ñÈøÂ¬èMüã4úô¦8¦Jp\§nsYÆ! Àª_ê—{˜+ùh*uZpŸžq« mI«§Gy+§¨Í þ .þ©™³ºå¯FªÝDG|U5¾IX<â'ÏYƇêd‡­|DÒÇâ�º ñ ”£(Î:ÉsÑ…HŒž3|gUš²hs…#:ÔúŽ•Úó+^™8—YÇ $)Ë>w*ÂDÄæy6Ò�¹Dƒž7¿!c6Ð/Œ…~T¦ ?1ÜBU\C9\�m2'àÉ;�Lš5žO(Baub™wð‹C0®âÒk8é9H³œ†¦9Ϥƒå0’OqOKP¸I¸�¢Dª2¨Í]±w6ŽP)qCª >ÄinArúsœLpÃ:#€â¨H~à×øWçJ>Š–#ª-)>àªÆLظOŸH …}j^» p$°½WàŒš€Éa>¤ÀJ’¦,ô–Å(–Å(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghij9klmnopqrPstuvwxyz{|}~Q€�‚ƒ„…†‡ˆ‰dŠiu‹eŒB�Ž��‘’“”•–—˜™šG›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­a®¯°z±²J³´µ¶·©¸¹º»¼½¾¿ÀÁÂÃÄÅÆ¥Çȴɦ¨ÊËÌÍÎÏÐÑÒÓÔÕ-ÖרÙÚÛÜÀÝÞßà� áâN.,ô((µ/ý 'u@ô àL(µ/ý !(,ô((µ/ý YôôN0,ô((µ/ý '}Hôÿ"à°’LÆ(µ/ý`ý# I$>�î&�xœ"8@"\)ÑMÀT0ÕtÀ»Ó�ŠRæøhm[[[Û&ô~ŠüV…^~Áã"¯X ßΠ¦tËÓÒBWÖ·ßFì.–žgITÕós¼Í9§”¿1ã¼\c¡ªžÖßîî68ÖcÎ9¯ŒÃ2TíW�Ý] Žö „&øK²Lë˜ÖœsN¹G–ªªÖ¹+GÇÍ9g”ãœqq „.-ì朳Ë)¥œqU”9çôp\‚ºê ¨ªWi„º†Ë ª à˜¥ªÞÖq BèbsŒ€ªj€e¤”Ç0UUM°T‘_ITU!üÒ!t Z¶fwÂ*¥”òÉ*GUUÃQÁœsZ9âØÝm 0ÀqÃcxžõÙÝ5pîJJ)›~Ú‚ÂÛ˜þTL«ògæ×–9çƒ�ºøæaFÿ¨Ö ´ãÖc�^lÚÙÿ&îÐkw÷î¿mù1@àÕγ£¹"gÂf‡mk÷¯ÝÄ›�ÀŠÙ°½­·–Ñ}å¯á¦�x°™—cá[qùSûÌÞktözè¸Ù¦Œ´K½=¨Íö™v<«Ø ³z çQÝx?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghij9klmnopqrPstuvwxyz{|}~Q€�‚ƒ„…†‡ˆ‰dŠiu‹eŒB�Ž��‘’“”•–—˜™šG›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­a®¯°z±²J³´µ¶·©¸¹º»¼½¾¿ÀÁÂÃÄÅÆ¥Çȴɦ¨ÊËÌÍÎÏÐÑÒÓÔÕ-ÖרÙÚÛÜÀÝÞßà� áâ"L(µ/ý A(,ô((µ/ý Yôô,>L(µ/ý ±figS08_nonoise_rk4(,ô6(figS08_nonoise_rk4figS08_nonoise_rk4(µ/ý Yôô(:L(µ/ý ¡b7668d0cae381983(,ô6(b7668d0cae381983b7668d0cae381983(µ/ý Yôô0L(µ/ý y N020000-b01(,ô6( N020000-b01 N020000-b01(µ/ý Yôô"L(µ/ý A(,ô((µ/ý Yôô"L(µ/ý A N(,ô N N( N N(µ/ý 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˜Œ­Ž{@(,ô˜Œ­Ž{@˜Œ­Ž{@(˜Œ­Ž{@˜Œ­Ž{@(µ/ý 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 ôØ$€%&ö-& €�íËÒE`5Æp˜(€�íËÒE`5Æp˜,<)&ô&5 init_seed ôØ$€%&öR& 3 q a öÜ~œx;G#<( q a öÜ~œx;G#<,<)&ô&5 tts_steps ôè!æ &Ü_& X–Å(–Å,<)&ô&%censored ô–v&†e<(<)&ô&5 final_unsat ôš¾&²f&üe(,<)&ô&%solution_verified ô–x&ºg<(<)&ô& 5tts_time ôè!Þ&æz&²hyefffFx@›ffff¦V@(yefffFx@›ffff¦V@,<)&ô&5schema_version ôÂæ&΀&�€(,<)&ô& 5campaign ôÞ‚&Ђ&ö�6(figS08_nonoise_rk4figS08_nonoise_rk4,<¨F&ô& 5 config_hash ôÒö&΄&øƒ6(b7668d0cae381983b7668d0cae381983,<À>&ô& 5shard_id ô´Ø&º†&î…6( N020000-b01 N020000-b01,<ü*&ô&5 shard_index ôÂæ&„ˆ&Ƈ(,<)&ô&5n_vars ôÂæ&ê‰&¬‰ N N( N N,<)&ô&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 ôÂæ&Š´&̳˜Œ­Ž{@˜Œ­Ž{@(˜Œ­Ž{@˜Œ­Ž{@,<)&ô&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