PAR1ÐüLô(µ/ý`襆>Œ |Ù uÀ°¤M‰…†Œ¿.þZü±ø[ñ§â/ÅŠ¿&þJü‘øñ'â/Ĉ¿þ:üqøÛð§á/Æ¿ þ*üQø›ð'á/„¿þü1ø[ð§à/Á‚¿þ üøð'à/Àß÷àïî ÀÞê €Þæ @Þâ ÞÞ ÀÝÚ €]nþÚü±ù[ó§æ/Íš¿3fþÊü‘ùó'æ/̘¿/^þºüqùÛò§å/Ë–¿+VþªüQù›ò'å/Ê”¿'Nþšü1ù[ò§ä/É’¿#FþŠüùò'ä/È�¿>þzüñøÛñ§ã/ÇŽ¿6þjüÑø›ñ'ã/Æ_«?V«þTý¥úCõwêÏÔ_©?R£þDý…úõ÷éÏÓ_§?N›þ4ýeúÃôwéÏÒ_¥?J“þ$ýEúƒô÷èÏÑ_£?F‹þý%úCôwèÏÐ_¡?Bƒþýúô÷çÏÏ_Ÿ?>{þôüåùÃówçÏÎ_�?:sþäüÅùƒó÷&ëþÔý¥ûC÷wîÏÜ_¹?rãþÄý…û÷÷íÏÛ_·?nÛþ´ýeûÃöwíÏÚ_µ?jÓþ¤ýEûƒö÷ìÏÙ_³?fËþ”ý%ûCöwìÏØ_±?bÃþ„ýûö÷ëÏ×_¯?^»þtýåúÃõwëÏÖ_­?Z³þdýÅúƒõ÷êÏÕ’¦,ôíô(íô(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>M܉w°¿,^y¥‡I_Ùo+E""Vó‹«Mþ8L°•>… C:0¶g$5¤ tD‡KMsQ势 ã~+ ýù0$H3×`Úá(Y1Óölí¸ãZÁ@×MÚâ†ôòÖ¥j7*[öfUgø&tϺÿ²=X=w¸ˬT`Þ(×Ù!ŒC!á¤.M"jsöxÚlî5b1èks»Ì.üP.Ëñõ‚üÖ‘OåÒPr«o|ó{ÇéŸîf5ZxéÕ¯ÄÞÞo{z­6¹cs…·f>±|ÁF4™É48×tf§é´yÂÚ�9²J!xïa#&1°9;T"Qc·2¤ØþÜø¡LJ»œµ•s‘I©]ÀV_OŒˆ]DTrÅYÈMbß?›šÃÂÙÜ\’¶/É0^hW$2T~Úùnõ1¢Є™~T4PL~M%x•JêA%ô}îѶ”JN4Tèýˆ¯‡D»\«1ôòMEDðíWkŠ!@ „@-Ø3Óäã±oFùïá¢H5ë¿õ¼="…¤霼Ý2¤`bÇãBsÝú‚TU­T>²¿éKM�c>hBQ?‘:@Ië´çà}“;qK%Œ1`׊ö‰7RÁ ccöuéæÒɶì2n�HH´±Ci¡º·+U­�ïp§,”(ÃæÆ˜~£Ë¥4D]:_}©æHìÕ[\ƒ{žË[Ë0ióô혜ݺtˆ¸i©t­+XoLÛõÜŒ»É—ÒÀFìr9˜F¼oY; àd j Ù¡·Ñg �ÂL‹ö}m·So Ëž7¾ð?j ý¬„Óy€¥ ^¢™ÃW­§wˆƒ,Ñ øÏ_KÁìzë"Gý3P(Gk¨÷[tw¡ï6Ô½îB·;þ/ ¬rHw—ª®W† 1s_VÛrÆ nŽäŸó˜CÅV %b´qÁµgð9<¯> >¤=5®Qk¶ ŸÐa}÷d ñ¶Ôñɸ øÍ =?$W[»oÑÈuÿIܵV|ìt·�=0™‹¶Ÿ^ŽoxõVN~åm‡Êá¢%UZd±†ÉÈj)Ãd°ð�r)×]È#à”¡mÁy�÷Ôw%s;cnKjÔV†q“¶bJÊb2²ÊñZÕ*óá ]»(­“e üò?;ªUã‹�pû×gaÅ<ÑvûÄÿ„°ÙÝ(ü½HšVO%¥w°SïS4vìø„GJ_gËE¼dì]Žð«‡ñW† ÷Í>±g •*^Ž«ì•Wôwbúf×mÐEqú­I­Õ­kÉ�“a2YÀ�³v+ç6w=ŠÌků¯†€*Ï5æñ\Ulæ éßr¨UñáÀC^FêHì£;Ú(X´ê9¿ž(¢S‡¤¥GTsBw�u’dKÑ:c@f:/s`43×à%uDqÌ`ÀüúæÙ�“Ë#λQJÈ =I§2ÉC˜vák©y]âöV Ò«Ù:ƒCGïyä³½i꨺n_—ÙE”R2"Zk D~†°C àI#éï!IÀÆXEK«ú­X)C>� >ƒ„ 0÷ÁMþurEÇŠívƒ«”tíF©þ™W;ãèf ]‡öOÂ-ÊE¿´s á¿TÀ=^-–ög˜6M[IÕÅ—j÷ÏÐéßD»©ôÖ¤NŠ£¾ÄêS¿u`av­ í®ý•\�§vS6ž¨4 ÔO/®_é­Û*q#£Ç†Þ #$õk îœÉh‹èS½q�ptTÍ4í<Vö%¹1ü×Áô«®˜>þÕó|ú'é¤~Ø7/Fmß7,˜&‘t¬ßêœèY{Y 74Ã)k[žAZ¯N?œE„ö(O´�ôkŸu¤çG¯ãcäeE �@ÜÀ WË6ÅÄ»÷§S¦OjØ›Àí.Œ²šWJÉiJuSuÀ¹yÔ€˜;z­Y�¢8²ÅòlªhźÝïÒ]Ô5M“zÂK\Í8qu±;Tö](1ƒX;çgTwÛUjŸ)—0×–…¯u[âÕTëºPVÙóœ�+ )r}`ën*¯CÛ¨n™ØüÒà�%_·4_4â6Ÿ1Ù[Ëví\°ï×m—{¡a°˜B_^ù±êáÞ¹oäËa&ÃëTh8œNs#Ä.ùß?¯Îy^D”NOÞ«ý†¹€•¦«&Ç`@Þ�I¥m†íÜ“ÏðÌÔ¼[ÛpŠí¾ít¬aÁTþ',W(x„/\‡¬Àë-Î{¨eëeŸÖnlÖ²â@˜IN„ÂtãáV=ÆqÄ{ˆ<ëTR?‰âüQY,¨µóþ¦\è·Û}� H‚Ý™ ÍO|NêF¤ Ë[~ü©SÌ fŽ•X’¦,ô¦D˜­é¸¥w°SïS4(¦D˜­é¸¥w°SïS4(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øù ´Lô(µ/ý`Ð�>f0tƸ"º@B„ÕÍ­~]«b˜¥TQzð)&Ýk'°W)®ÌÉzø¾4B”ú�&‡o÷oLVŠ;K°?iÑR$[&“—Tñš/Ùn6ßÅ}#¼·e¤÷=û(¸Í;˜—Qd: ùŒZ2GrƒÆ¿ç¸~`º^øy=ÄxÎ]�mçä}7e—y„š�™DóJœ€ê Ðq,€>w¸�ŠtÛ|§‹šP50ª<Ü/¹9ítgû;L¡8”í /y×£G' ¦,0q°ü©ÊîÅy‚%Õ‚@fìuZåq‰=«³†øá¿Cж7K­<ÈWæW�H!íŒéªt�ÿ,›~Ioý™'`É�ˆd1S Hd“™K‡ËG-ÅVj2í) ÓL˜˜Dœ?Ñö Úi2 gOaPIþ~X½WÀ0 Í0+w+{#ÛO†—Ò¦y×1—@>ªv3­Ôú½Vãi{ ‹ñ�…DZ·9„×tº1GÐÜ”Ÿ†dK«·Jt¾H8’HÎ3œc�šÿ‡•V4)_ACÙJïKÎCEzÕ šçÏ>mÛnfÄÁŒâ•T*Þ³ÛÎ[)+T,�&¶Žn°æ×j’Ìse{à¸Àu<&ÎðÄÒø©;F‰¬êz˜?‰€ú|EêKdõòª{î‡HE?iÉP…z,»¦LÓö^᡾BÌ Á¨Ÿ„Š;[°J í÷jÈS}]Óûk¿+M’\©Å ¶³£^O¶h ##@~S8 4´:w‘úAå '4G¯P__²ƒE‰ 5ÑK]»õÉ\öH'Ñä±÷ÒRWCªã͆6 Û½JEÜÙV$—&vÚ·{8ù¸¤°üZjº]’=Ž'N£Õ¥²Rû&nɸԚïÄNt–ØM^CÎ#ä¹Hr PjÖÚœü<,&=­¬"¬ŽAÄx1l¤,{±;¹äT((ê *2ÅeKç� u2ý<�y<Xî.‘j1�fô6Ò)¥l§Y^`ßû&L‰¿î‹1zŸX ZÁSPL$»7»ÐèfV;Eeù¼n¡'ä(æâZßa•¾t¦Ptôî¸i0Y—Žß' QÁfÚüa¾` Xžf@1ª8ÿï±ý0d”)?™ÈU4 y|êAÁæPìôË!2WTñ—�iAaJ6† <ú_�yœ†©¹bÎEK±|:”Âk o-¨Zr6GâPW)j‚iK=¹TRÔVPj•p%®ž\`é¾Âé»ç×Ô5ZkZMªÀ*ü“ßïH!r>ŠÈƳyRçjj›ïKfÓÉjX/'MPfß:±½Äìî+ï±/²WÀÏ õ¦Qÿ 郔`�Éoy]MTV<_.úˆ¬eNFj ¿â[Á|JLyÅ=¿ßY¶-yD5“ºáÀÇ2®œà²‚ƒ®v–W@¸¬—eµ$µ:c•æRÕÎöˆ�—\g1±ŽÝ”¸)Ñ$fE‡dÕæþIâzÖÈBñ%Wµ\ âBm´é;ïNÀìýð˜Ÿâ!×Kˆ84¸ƒE*b»ãÔXC^I²àü¬d"&Cœµ£Ç^¦d-VÒ ösI<{?ûuBB >†wßó#& Ù¿ºcn^E…‰?BA{c~H¾Æ­O£-gÇRõS¬+Ÿk$ “Ñõkÿ.Í4œsi+‘¡~~GyUÕ2•`Ã_&ï@£iZ ÞFöóÚê\n¢oª~rßÒgÃG’õèÎ%4[ªÇ5çÁ‘$’Ê!Ö¼ û£ï¥t)q›Mpƒ ÂrÚlpïôé ÌJ ¨îk]£ï˜¸!÷Ì•FFd/Œ¨‰¼uC´ÛÖܹ\ÿ{®| mÕCvfŸØòck9j …ü=<~VÚí{?raÃza©Išö—IÙ$G,Ô$ãy¯µ³HS}ÁÜHL÷ÕsÄé~û—×hn‚ SÝÖõçzS Èfj‘ö@ËAš?ëîÎgÝã=!yo€EîKŠÿž›]àB­s§Ç†#á"y>㦓,š>àMˆ“7-õmj]'ÑIJ…y•WsR ^§/½ò(Vch!¯E´ÓD#·Î„Ãõà„/Z�CT�;’(5ã,€q¹>K–ºï%Y— z¡[6‚‚š’öOz/I»Mç}K©¹¿ïÓu+Nuÿ—‚.j63Բɠ’Ôvþè“ÕÊÕ&3ÇX]½oûjk fàd¿ÿì„p8CVû‰sü£iÿþ)IJ/"Ÿžÿžl]–Ð ©’5üß1óa‘<_P7,T¡{5%NÔܤtcWÛ«Þ}1õr2¸Œ«K{ 2Õ‰³Âk*.Æí\ª .¡Â«à˜iÔr’¦,ôq°ü©ÊîfìuZåq‰(q°ü©ÊîfìuZåq‰(µ/ý` IôA  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€�‚ƒ„…†‡ˆ‰Š‹Œ�Ž��‘’“”•–—˜™š›œ�žŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùÀþL¨(µ/ý` ­ ”9›¬‘ ak{Ï^t§Õsƒ®JÌXvR²›¨`}Âïî6w[”Ð>Ú4÷ˆbá†yé8Ñ¥úÙÇ=ù×…g±5¢‚¤<ò$?0ÛaÃh`¹)y9¯å<RöuºPãšñ=Zž‘�3¶zyò =�Å…p‚à�o·�€e‹¿Æl2*w쓨mkÕ žI4!™ÂYOzÉc•ÍØÆ_ÝÓÖÎ'Á땵A*Hì� (uâ1š¶_®6çDX¨¦òOÕÒê¾üT‘ÇË1qt˜œx;¸«dx¼f€Ó¨`~àçõ¥‘×Ê I*ç5­¢%RÏH‡Õæº^U ©A‡$=¾ã2Ô§[ Å�JcU)L÷­iŒ¤NI7]�@ $0S’¦,ô}=(}=(µ/ý` IôA  !"#$%&'()*+,-./0123+456789:;0<=>?@ABCDEF4G(HIJKLMNOPQRSTUVWXYLZK[\]^_`abcdeW fghij"klmnoKpq"rstuvwmxyz{|}~€�‚ƒ„…†w‡ˆ‰Š‹Œ�Ž� �‘’“-”•[^–—˜*™š› œ�žŸ� ¡¢£¤¥¦R/§¨©ª«¬h­®¯°±²³´µˆ¶·¸¹ºc»e¼½¾¿ÀÁ„ÕÄÅÆÇÈÉÊË‹ÌÍÎ[ÏeÐÑÒÓN.,ô((µ/ý 'u@ô àL(µ/ý !(,ô((µ/ý YôôN0,ô((µ/ý '}Hôÿ"àÀÜL¨(µ/ý` %V9»C�žMkü%AÃñŒUL4sl J|Â6ÀK€ÖàÔ/D1P�´Ð–è&"ø»—ô¦¥Â8Ðë‰-‡R×Îù§ƒ\ð@§¨©8¶]9Üâ`š?@ABCDEF4G(HIJKLMNOPQRSTUVWXYLZK[\]^_`abcdeW fghij"klmnoKpq"rstuvwmxyz{|}~€�‚ƒ„…†w‡ˆ‰Š‹Œ�Ž� �‘’“-”•[^–—˜*™š› œ�žŸ� ¡¢£¤¥¦R/§¨©ª«¬h­®¯°±²³´µˆ¶·¸¹ºc»e¼½¾¿ÀÁ„ÕÄÅÆÇÈÉÊË‹ÌÍÎ[ÏeÐÑÒÓ"L(µ/ý A(,ô((µ/ý Yôô,>L(µ/ý ±figS08_nonoise_rk4(,ô6(figS08_nonoise_rk4figS08_nonoise_rk4(µ/ý Yôô(:L(µ/ý ¡44c32853b3f2d917(,ô6(44c32853b3f2d91744c32853b3f2d917(µ/ý Yôô0L(µ/ý y N002500-b02(,ô6( N002500-b02 N002500-b02(µ/ý 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 RTX 2080 Ti(,ô6(NVIDIA GeForce RTX 2080 TiNVIDIA GeForce RTX 2080 Ti(µ/ý Yôô"L(µ/ý A•ŠVÿ2@(,ô•ŠVÿ2@•ŠVÿ2@(•ŠVÿ2@•ŠVÿ2@(µ/ý Yôô"L(µ/ý A€H(,ô€H€H(€H€H(µ/ý 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 ôØ$€%&†.&°¦D˜­é¸¥w°SïS4(¦D˜­é¸¥w°SïS4,<)&ô&5 init_seed ôØ$€%&†S&°3q°ü©ÊîfìuZåq‰(q°ü©ÊîfìuZåq‰,<)&ô&5 tts_steps ôøÊ &Ð_&°X}=(}=,<)&ô&%censored ô–v&úd<(<)&ô&5 final_unsat ôš¾&¦f&ðe(,<)&ô&%solution_verified ô–x&®g<(<)&ô& 5tts_time ôø¨&¤x&¦h~2333Ãt@`fffff(@(~2333Ãt@`fffff(@,<)&ô&5schema_version ôÂæ&Œ~&Î}(,<)&ô& 5campaign ôÞ‚&Ž€&´6(figS08_nonoise_rk4figS08_nonoise_rk4,<¨F&ô& 5 config_hash ôÒö&Œ‚&¶�6(44c32853b3f2d91744c32853b3f2d917,<À>&ô& 5shard_id ô´Ø&øƒ&¬ƒ6( N002500-b02 N002500-b02,<ü*&ô&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 RTX 2080 TiNVIDIA GeForce RTX 2080 Ti,<Èe&ô& 5 wall_seconds ôÂæ&ȱ&б•ŠVÿ2@•ŠVÿ2@(•ŠVÿ2@•ŠVÿ2@,<)&ô&5instance_steps ôÂæ&®³&ð²€H€H(€H€H,<)&ôÌÐô&δ,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