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ô(µ/ý`Ð�>¯2m×4"a¤ ²Ï÷W˜–ó¼£Vé8,x­Þ¸‚81ã*£¡Vl·«é,`|’ O?Y®• ßiB õôöÙ%3€C<Õ‡úu;=‡WVê= bOàÞ+æI£.ñíA:o^®BD´˜•GkUæˆ ‰cô௠MH ©[-Sa@0$©á’cZkFŠ˜  ÷€f1~¹|<§��yq¢íb.±)!ƈê­:&†ÑìUÚ-g« ¨µŠsÃ=èõ¿;g)¨Vêñž��¥Ë(¤öx~¬3@H0²ò}> ZÓ÷/{9öS‰XAã@±þ}•±·öŽH?² Üg«Ç\&Ê>Ò—ÕÎtnÉ]Õ4Ur+âèà5,Òj‘{ª­½\,w}P/9ÂÐÉ(%M cñ™-BU{ãØ�I Çøòøš Nè«R˜,kª!Œâ.q4?J“­zAñGã®àêÍg¥<íFñ>PÚaHÓd!TKû-§6ÿÌ}Ëü%/•æc OB°b  ÇÚPOC? hC|ˆ½x5­,8*K˜Ú,¬ ?Ë.bŽ» !Ó-áÓd ZMKÒà(ýqµ�ÃR»’OH/ˆ±æªzqwFK"’fµ=7°þÓV~Mdû«I\ýXX/"Jp.g*œ›\ž™1aåƒ/uÒù Ÿ{ÚuKgbêmÂ],õ.|#�[CÃ'| ã¿5—¯/ž}$è�#¶ó �Jó »Y熾§H `£¼ieTU�e £òZbì7umÊš)A�&UõºO/•™·‘�dH´“uJº2„Óᔌ{ëÐtš¦£Bg×H±Â®=vŸ²xHy!ÿøæ“±ýFË€©+øäWvœ¤$(@ÊÈBÚ¢ i/æa øÇ‘=Ùr”¿ÎéÙ<„íûûO�0ºž^f,õ«Í®XŠ\”ø˜È@p·jOnÁ —(£p â0¨Ú1#€]#²aT.=nÕHÇúóÛ]¬Š*;š¨Òþ'¾¢�°*ü(‘¢‚fÉSp€3T"²yÔÓ¤NuiŠ%¿Î»¼%Pw¢ßê7|Bg‰‹6*Cö–è2Á`kQrì>šZ!*=Œf(Õ³Yi»4?Kì8̃}côCl‡¢BKTõ¤ æ¯2¬Ço¹þjpk”‚_ÏÉiJÒ=(�î-p Xd{©dìáý•-é]X vÿ­ ‚CÛVàØ4ì$b«þL û¦j`[ab1¢ð›Ä…^3%ƒ°æò® Q9lêJŒè*9ƒŠÂ¢�PhÚíÿˆ)QÁO{¥Á >Íkl¡ìò³ä5ö6®Zü“ã&àè9žŸ-+§Ž$j"�KVR`™�Š_Hå–I„IuþUPú %i®5Ñ}0'3ž›`¡ Û¥4K#D~Ä mçÌW5_Ö}´¢š @­OÜ®ž*Ú;"ÏÆ•òküa6wþ¿=õëçÑÔ[‡i38�ñé]r"ÿO5+lxp­WôÿâÀiÇꙟà�ÚÓø&\k÷©3o6\SÂtc/¥[ Âá_þ¶ñF¼ÍdC_Ýd ª¾l‘LIŸc£GLÓ¬âîº ÜY¼ª­­fxò§ -„p.èíûD†¡n…€˜ Z_2m·ÐÔiÀBV�k¥Mσs>úm{y /^M–3„-ŠU:£µ§5[ût%Q”1°N˜Ó?&Ýj^$v:¦ h-™…ÉûPÜb[ü.�GÀëôdBwóØHˆÿvz�ËÚÏ_OŸ ÈC6|I@BSJ¤”!vÃÇ�SÅœÃoÍsš otqœkQl:’¦,ô»¹¥›õ«Í®XŠ(»¹¥›õ«Í®XŠ(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>\Þ„í ÜS@*7±‘5`U)k÷3ü¢ ±h vÅLq »×SÖ�¡ùOŒÊŠî{5ÕLü#ê¤URsö„-ƒi�\¨˜rù8ÓÙ?!"Ê8¾ô®tí>[|[åå *¾s‹˜5f„oÑ 122�"Ôèf Üc.厙s¥w˜ Ø#r}ùƒt¿A{¿òår v|É+qFx¯'œ"æA(zýáâGÉ{#à)¹©çyâ›ePîÙRW'hƒ*pRïüüò¹¡(“²Õsáë§1ñÊ¢kø†*‚uUI!bkd%x 7m¶ÿw†…_,>sÇÕL« ™Nxö^å»Ï$â—…Ê PM¤˜KÈ÷y÷pÖã:R[zms*Ò§Á¡Ã 7ovÒ^�P½0o¥O\¶ ¼:_•$xsƒ@'ÌÄ`ô¿Þ?]8«x¬Ëh48í“X Áv¯�ê©— 9Ý%E2RÍqþÒ ý†ÉÆ Öä0|qš®kÁ” 06ç>0<"1êfªý8RP(�Š›Ypæ1~â…Xr'íä~ÏXSCXhxK)þ ùä ÊOg×8ëÔ§WÕ�È&á[Qw~“q› Ò9y/ðÕ ª.“´ ÉW8KZ#ÖBS@–׌o…`'þ‚Z[NêV(�­• \°Áý7ñ•ž;qª­}e»"0ÚPëyíý©•ñˆˆzY7O%n¸F2 ácŸOH-ìæš8QºJÌ«bêÇ<„D:%î(⊌d�6l$�[•.Ä.tò;7@Ÿ]É×»GLêÝÅAºlïJæ83¥ ô�]²Ð,|A©ç±¬qņV´õmQ L‚Öí3áPäüI¡ˆæ.ÌÚ§Ó`Èx¡Ù{Ë)ÁE¼:Œ«›©wdãW "Ö/ldOÁSt>§/û‰Qžd’@‡ò˜¦épŠÉЦ�YLC1èZàñ¶Ÿ$ÂÓ T=Í�–Oè-Tã>Æ÷GÒk€,aÓ ;-dekFM+ý׋¡pm|F…8¯ÑÚ4ýxqpççR\†ú&üÃ<â�®µz>�°R�6y|Ž´ŠgEKÎÇn3¦4ΕÈúi“â–ò‹ï†Q¹ð–µ>.{Eÿ|âoôè=]�%Ô%x©‹f¬ ìã ÜZ<Ë`ø·¾5iÞ�t½_@ƒÈ½ËHv³kiÏ‘ÿJ‹7�áºó�e3ˆ‰ŠsÄ/¦ÔØù"ãµi+Nîa ’­%ˆ_©œÃô‘a#ZI¯i�ëHÕ¸uíÝÁÄW)ĶJbÖî£D>(Î&¨œbÈ‚á�Ü«Ø!6Âk‘v>/y•¶á|J«ãeíû7ŸLŒ)=ƒOãž,Ÿüm‚LJŒ(c¨J‡è«¹DN”­×¬ìSz-æ�û¦ayóÍ=pÖCtúMé5 nBTÜÈ DaŸ8@Œ‘úCÌ÷r…¸=qµcXÚƒ�&g DZàµ74¤«�™Ð|Fv(Ý…{½Èy›Îì — ùp €fÿ ­%J=^Xìˆ?P_þì½A%9#á‹P�Kfûê`cóD/9?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù äL¤(µ/ý`�E ö–V=ÀšLcøÀì›%D™ý\µïÓ|Ñè&"hå&Ú[Ž<)�‡ÁBá˜m~§ª>`]kµÃ/@|’«+-e§”dDGFŸ•V×QnÒ75:tGPž æ ŠØKa°ßã@År%EF´Ã?—µç:«MG˜ÅIX Žò ÐdÍ?@AB9CDE?FG&HIJKLMNOPQRSTUVWX Y9Z[\]^U_`abcdefghijklm_no"pq6rstuvwxyz{c|}~€�‚ƒ„=…†‡9/ˆ‰Š(‹Œ�2xŽ�T�‘’R“”•–—~˜™š›œ™�žŸ ¡¢£%¤¥¡U¦§¨©ªk«¬­•®S¯T°±²³´µ¶·¸¹º»¼e½¾9¿À;ÁÂÃÄºÅÆGÇÈÉÊËÌÍÎÏÐÑNL,ô((µ/ý 'í¨ô ‰›Á¸0BL (µ/ý Á�3 33P3Z3L^,ô 3( 3(µ/ý &1ôt4^€NL,ô((µ/ý 'í¨ôÿûßÿÿÿïÿ÷ÿ÷ÿÿ‰›Á¸�ºL¢(µ/ý`ˆ�6:¹C°^¥5¤Æ—¹~²lGÓÉ{}IPY­@ÿ‹B‹\,³*#»åÞ{ï‘ïO!Á.iXÅ2Ú~W'Âù²"ÏàEG¤¨¦sN‡'¬µVêíÊßRJI`×Ï"‘Gª{ïmò¸¡ÖZ_£ ðc±Š×œ“•d¢)RJ™áW“µÖºÙÄЭ'ƒ@æœsÂâU­µ"½9ÍEÍ9'ŽÅâ.¡ksÎ9w,2QJ)‡7!§²7Uk­IeµÖê¤ZVCJ)?Vk­uË¡k­eò¬ ¥”*ùk3çœæ Xk«|¡(¥Tö&¥”ò¡J)ujžy™FcO¥”ÞxæáñçͰ,{Rw´Ã0Å™&ãÏ ¥”Ž‹JEÍ9YZ½cFî*ÌÝötRJ©HæÑBw�î½wj®JÁ¥”Rs)~ùøs ¥”.ꩵÖ1¿¬µÖ¾lpï½t~ýxÃrМ�š¬µU?{¬µÖÌ”gÎɺ QÝÂq¨4çœ={+¬µV̲#Ë <ƒqès¸à$«9'+êï5M‡6îäÔZ+”k�†%-¹÷^«;*S¥9'K΢՜sxD°„]jöB\ë1­p ŠRJ©FrºÕ`И½"RJÉsËÉ5k­­’°ìÅßÓ2 ;sföFìbÚëyûö:pWe¡(·‚§ÙL„tŒË_k­ÅrwB|Z¼Ú«!¥”6Úž}yA)¥ ÞêüíLÄš&â 8]º÷Þ*ƒ÷Þ{Ó”æœsÆ¥”ò¸‹°—à˜–ÃµÖºtQ™?0!yb�Çß‘kRNÚ¦‘x7:ŒºòÇ3çœ@ÁyÅU­UˆœklîÐ<æ˜v`.Ç%¨ÓG;‡¯eP�K·Îü] Öî½Î3${]Ž)Í9g‹Aø3²ç3'5u¦aïÃE66Šò�Ñ\ÐE%¦-™cð䢞C/Ó «àù뤔rÀ1�p…Çé«-íÜrËóÌ“Ÿk¶Œ Ó[f k*l^LkdªàÜ™Àl3»¸IÇ4Éö[Lç æ^ºãÛz‡rdׇÙ<€ o÷,¥·L›—Æ÷nÍs 5DkØðú!<Ô̦õ‡8˜ÇÓÉÇäw^oN%[J¤¸,ôù˜™™™Ùl@„fffffJ@ (ù˜™™™Ùl@„fffffJ@(µ/ý`‘tþ÷4þ^þ€þ?  !"#$%&'()*+,-./0123456789:7;<=>?@ABCD>EF&GHIJKLMNOPQRSTUVW XYZ[\]T^_`abcdefghijkl^mn"op6qrstuvwxyzb{|}~€�‚ƒ<„…†/‡ˆ‰(Š‹Œ2w�ŽS��‘Q’“”•–}—˜™š›˜œ�žŸ ¡¢%£¤ T¥¦§¨©jª«¬”­R®S¯°±²³´µ¶·¸¹º»d¼½¾¿:ÀÁÂùÄÅFÆÇÈÉÊËÌÍÎÏÐ"L(µ/ý A(,ô((µ/ý Yôô0BL(µ/ý ÁfigS07_nonoise_euler(,ô6(figS07_nonoise_eulerfigS07_nonoise_euler(µ/ý Yôô(:L(µ/ý ¡914f1558c57c717a(,ô6(914f1558c57c717a914f1558c57c717a(µ/ý Yôô0L(µ/ý y N010000-b01(,ô6( N010000-b01 N010000-b01(µ/ý Yôô"L(µ/ý A (,ô  (  (µ/ý Yôô"L(µ/ý A'(,ô''(''(µ/ý Yôô"L(µ/ý Ap(,ôpp(pp(µ/ý 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ôô&8L(µ/ý ™NVIDIA TITAN Xp(,ô6(NVIDIA TITAN XpNVIDIA TITAN Xp(µ/ý Yôô"L(µ/ý A$�w·Öp@(,ô$�w·Öp@$�w·Öp@($�w·Öp@$�w·Öp@(µ/ý 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 ôØ$€%&ö-& »¹¥›õ«Í®XŠ(»¹¥›õ«Í®XŠ,<)&ô&5 init_seed ôØ$€%&öR& 3 »×SÖ�¡PˆÏqŸ( »×SÖ�¡PˆÏqŸ,<)&ô&5 tts_steps ôذ &¦_& X‚ÿÿÿÿÿÿÿÿ(‚ÿÿÿÿÿÿÿÿ,<)&ô&%censored ô–”&Ðd<(<)&ô&5 final_unsat ôøœ&Âf&äe 3( 3,<)&ô&%solution_verified ô–”&€h<(<)&ô& 5tts_time ôÚ˜&ðx&”iù˜™™™Ùl@„fffffJ@ (ù˜™™™Ùl@„fffffJ@,<)& ê&5schema_version ôÂæ&ê~&¬~(,<)&ô& 5campaign ôêŽ&ð€&’€6(figS07_nonoise_eulerfigS07_nonoise_euler,<�N&ô& 5 config_hash ôÒö&ö‚& ‚6(914f1558c57c717a914f1558c57c717a,<À>&ô& 5shard_id ô´Ø&â„&–„6( N010000-b01 N010000-b01,<ü*&ô&5 shard_index ôÂæ&¬†&î…  (  ,<)&ô&5n_vars ôÂæ&’ˆ&Ô‡''('',<)&ô&5 n_clauses ôÂæ&ø‰&º‰pp(pp,<)&ô& 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 TITAN XpNVIDIA TITAN Xp,<Ì:&ô& 5 wall_seconds ôÂæ&ü±&¾±$�w·Öp@$�w·Öp@($�w·Öp@$�w·Öp@,<)&ô&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