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²(µ/ý`È] WX@°š.t<£›=mº¨«¹"óïÅÆ�õ2#ðêŸú¹Í£XÀÝIÄq�x3¶ÇOo ß<*²ñžò¿>ùÅwÚ–)ÉIEGQ¬B—L ž¡J¬A•ÖÒYÔ?6 �AeEJ”oy�³‰Ý3�¢lEjFñ 5Œá2_0™ �0g�]?tcÐWv…E} Ëæ±»ýnÞ­sèâÞg6Æ·ÃÜlH78ƒî@“Ï ôÈÊôçáU^þ‡f'{ã¼eM†Ù `€6p‹‰Àõ~òÛ¾àùƒ4ÖXTäL�=<åêÅ0]nˆOQY† Âé ±àäY2ÇÌD?ÎÞ¾^:Æ“4ÆqГfíCÅ=W£Aä ”&D..± Ã,3𪪪{š:@”œ{’�€òñUK¸�‰œÀÆ&Ky²5�-Ì)Mq_Ûì¸�¶ÂU¶‚Oòê@^-ég4ö°âY„�€Ø¨X~à×öyfZÇá7á66bª!$°Bñ(ÕHÇ ê­v$UBÈ?”�†ëÛýyçJiÄ ^Ã3çø!ý¨íd—6òÀJ’¦,ô ,( ,(µ/ý` IôA  !"#$%&'()*+,-./012345678 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ab6ZjBv}ÞuÅÿËwýª@X9>@ä Àã® ¢¤¨óÌ9g‰Wô8 l Ôs�M­µþ·”RMÅ5ç,Úq­èƒ½®Ýj­õëPJ)%…A çè<óSŽyUsΠ⥔ҭ•Àkö&@ÛÎ,Ƭµ_^‚° ŒRJ}¬DTk­]fqï½Ë4,k­´ŒÏœsÒ¦yI)å†C®9çŒz)f­µx®Í9ç¤Ó4,bYk¿ü²ÖÚ*‹[”R*åÚ•”Rr3YøèÌTˆRJç%LûÅõ�Ê: ”Rf:æœE[¶MMÃj­ÕvŽÅ)ûxPJéÒ6ª{d®ºÕZ³ý ÖZë’ÁÛ.h¯ �k³MëQˆRJ�L­î½—Ì!‘e<†Ê2¥”ÂGz ƒµÖ¦82RšŸdŸˆ²h­µ_îåöiÝ{oœq4NjÄ:„µÖÚ/·psï½Z÷¼ÔZk�9Ü{ïíslO(†6JrŒ ×:üDdóp®Îâš•ÀÄë$Œ³ò®ÆTþ9ÊÆN¾Ã*^Õ"ŒgFÆ!ÍDcõ’w£”R.DžÇ©¢ÖZ«–MŒ×š|3°íÅ6×î·!kíW�A0÷nëjƒ¶q'æ)Y6g–B}3ñÎ9'ÔR[”Ò_زçì|:ÌÍCs ªÃ óF)¥ °Ô‘9g‘™{W¬µ¶ë$.ËüÔàñÂ㎛’<+ûj­µÞ˜ªjÎYôcY8“ýs(æÝѾ®{ï…s”Õ;¢s1/U§ÊtMŽCðÖ2yêÀ#Âku© ë"üë°Ó•*>ÖI|›ñ˜g�×`× EìS3çœ 6²‚zóƒwrelö<+s(dÞ)¥ðnÎ4Þb”�²Æ]Y6{œðc¡`£¬‘æ‡Á+ 3MÙ�£ˆžéNÚ2X[…Ò?(óDìÄú9€¤¨` ,f$˜2+Ã0BB”sçü+Â`Ö-lN;>ô¸ÆÛ.ƒˆÙóoØÔ.­â"nÀ‘R €Õƨs–õ7‰Òñi²L·Ùô­”h:çì8ZÆ‘XŒiè¯ÛebÇn¯DÝ¿ˆi2 C¹óð™»m\Œ€MZ•e97åJøÙ-’ÕlÝÆ¦Ö6„œKß$kÁÄ�†µ‹y§MÙâE»ûب©Þ| l´çwy,âdnZÕÆ®n‚‚Ë ¦íí»f=¢WaÒ‡µ6~óðÏ,±<ÎæÚÜ…,éð ‹óž9÷òjAÀìå˜Ý®`s­nÏ¥eSÀ,³ÛÂSé ×åiÍ_ÐûâG'À�iËüRàt¤¦qì\&W=¨’¦,ôû˜™™™Ys@š™™™™™!@(û˜™™™Ys@š™™™™™!@(µ/ý` IôA  !"#$%&'()*+,-./012345678 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abL(µ/ý ±figS08_nonoise_rk4(,ô6(figS08_nonoise_rk4figS08_nonoise_rk4(µ/ý Yôô(:L(µ/ý ¡44c32853b3f2d917(,ô6(44c32853b3f2d91744c32853b3f2d917(µ/ý 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(µ/ý 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@7ln½<@(,ô@7ln½<@@7ln½<@(@7ln½<@@7ln½<@(µ/ý Yôô"L(µ/ý AÀG(,ôÀGÀG(ÀGÀG(µ/ý 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 ô–v&žb<(<)&ô&5 final_unsat ôš¾&Êc&”c(,<)&ô&%solution_verified ô–x&Òd<(<)&ô& 5tts_time ôÈ Ð&ðu&Êeû˜™™™Ys@š™™™™™!@(û˜™™™Ys@š™™™™™!@,<)&ô&5schema_version ôÂæ&Ø{&š{(,<)&ô& 5campaign ôÞ‚&Ú}&€}6(figS08_nonoise_rk4figS08_nonoise_rk4,<¨F&ô& 5 config_hash ôÒö&Ø&‚6(44c32853b3f2d91744c32853b3f2d917,<À>&ô& 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(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 ôÂæ&”¯&Ö®@7ln½<@@7ln½<@(@7ln½<@@7ln½<@,<)&ô&5instance_steps ôÂæ&ú°&¼°ÀGÀG(ÀGÀG,<)&ôìÑô&š²,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