PAR1>L(/` ; pj4+B2v׹:OrNǹ8{nͷ6[jNͧ4;f̗2ObṄ0^w.ZNg,VW*ORNG({N7&[JN'$;F"OBN >x:Np6׸Oh2NǸ`{.ŷX[*NŧP;&ėOH"Nć@w8Ng 0W O(NG {7[ N';ONNoKyr9o' y޼n7oayּj5o'͋Ayμf3oK!yƼb1o' ~y^/onyZ-o'ˋ^yV+oKNyR)o' >yN'oa.yJ%o'ɋAyF#oK!yB!o' x~>oxv:o'Njxn6oKxf2o' x^.oaxV*o'ŋAxN&oK!xF"o' ~x>onx6 o'Ë^x. oKNx& o' >xoa.x o'AxoK!xo' ?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8N@s vCuI2ޠ^T[1 8Hanidha` o|;|"QG}H"= W8t+ sqÔ(}97wCDH,iդfZi$ux[d`os p;T1@*68.cD |w:)KDuaMQ[iH e=tԋ hb%j^6*%v ӵ$ J҅o8ܵѹ^K:qG%a:h0\ CXjkAGҢMw+QdS#1SO2"Sk!m\Ehpg۩dBjMȓ"5\ {ӄ@*FBZU}1{1"})@N]M {%6)3HL_G:J;ЇH$z})LLއ:`u1Y#A6qpu*2zޓU!?+,XQU0IJ1 B*.]WWM9>3xKq0(/f Sg\ Mcahv8iNmDfN wJ+<{dE\(98z)Kl.EN4B# uQk^KU?l4DSL(cisZ k.[*3A1~H]Vo0gz/JbY4 Ez}:A6RIdq ZQeu`Id4@ul:LӘk4WRFSjkIR>;1tvjE?Q8u(%R T7˅%oYsM;7ZIcqkT&ZD{X_ߑ `A.BP:|RS0t'\ُE|ez}5)T%LՀ}HP xIvσf^@Gޘ&gg)pJ=KoTU-s j@|n69 QmO\ d bO4٨.9rCq7 s%1T *ɽtEG ʐvgk2>]< 8GwYUWO|(Z.U\< $HqD&4Y*S}*u8[ԊBw[ɕJm_ݱ"1^48߻h@A3e= 5&6qҘ^>*[um$Z[m0(Z|Whڏy|br/O~a5C>`YqӋ '5ϰ7 PU (tf{X!- M7<:l/g Op)y~pV*eU_u?o0W&-_WЈ1& i=&IyƧG()M`G] ݏW?vM;t R5hoE]=3\/ɴ<ͪ]ϏǙHr~ 3סy]ST.C: ឤ/e3u6Os NZMM(ʏ~Wl\^'m&o 0: #9j!QXXu9'|""isߦXw-nq6p+P8>I"J<>FZs,KWEdwPCX2_Y)%ocȝ]rI24mKV%!9oP]5ƦHJ5*ܤ6&+%;SJ-VTuM`~`NdVE6.< cUGvhE;XkoSD\g=序'$qAomZ,5W&O@gmMz#Q?ߓO3rʆs>JkpϠ g(C1c/P %wdn<4F̟)NorтySPehBœ> YGd\+/}V J(v1zpMtrk̫S.J#z&G/\℟΁/!R9 }`yA!_1" ^`;U@bDCz:0.CuEUo7kœQfX~v~-91 _ .P7W8#I{ Oe]:b>e b .*]Zl<&`Di[}r~`ȳdBzУBrXПh^,~z9'^L=W2ֿ.-H{jg$2 bQxs}#WBmlk/XT=Vjh$ J#r祯QGTi%.f3 |GJ Jf{~t)CW1%?'M5L}C/:a{j*b!.8%Bs]kZld&m`{@_n'pm:@ LUcmPݟ?\dŞ}>$ho2rc k qFVgM XJ^(j_5g(s|+{@2dY h39VK2kh:#CV fH {u+f>Q55ZK-R-{ + ,5{#^%&2 ?fyulu5 Cbe 'm\SQXОgN(گM>Tak%VnU.fFP'Pv; 1D:h $v3axO,ߛG%+dr$C-~]lp5ZbfT*r O g w'OW}I^Y`S]DLd:X=E+ꔐdXx&al=(,]{m@2bH 3 (l\O 8^:;RՉatFR2#%?bnY7x I{a.+ [JDg'CzUn-yA!@qX,y~VW_>cdNU G$Ks.IbUA_mPi!+&PgfW史r>!VW)RQXKEzJ=Ci?qzX-x” $ɥ-tvvkA;/_(S4CAhv)z-Z16Hj=1P.iXM\IOE1yM_VB@\ .9Cߎ9ʨL7#}J`Ā=GUI6"V$`ʏj{_Nӧ8@jx@LuI_BTe[^"E`Kzw8L-vQuMjhBaMJ;9tX/3&d2eiīKÚ-qFZ Wni+ʛD,Nִ{ 4&3k9*Svk \.@;N2]:w<o'ï[^=,g67yCVj*GoS.Ct0'H5so "4jZ 4 BIHC@]`%Y=|C7Vl9~Z+4Y ,E,C.E[GzZ_J*Tdshw:Rj?g[C[%InTsL]e0L2) -ojUZhzЬ5V{+f=B!݂~{oz nec+13 +qbvYo.AoI[U7guZRI1^D;YfaJHcHS55 PM_&/W]qZg;/9HqcXR5usvH`9K (a?$WC:Ym=ULe,7+tMC =πː*9l9'3*xK~&Zc6f."]u/{Rl*o:"#~1: ع1gVU{4]lLKgޱ{jS_$T-An:+qQcP4uYV+240.&SE{c/Bl[ )Yv?9I(N1@ dG0=_ns5v,_mNN=G!(|RP~9@WtNDmXh&J2 ӟdZxsI'\UcyQz3vtbP67סƩ l4/ocLX\jF/sn1JRA9Oz%-9kD2u*3`Nli~_gF5|@&,se'"':Se045uIރЪz`}Dv"l"}I2(Vj+tPEW R > @pbt_0f߷Ďv%F n[/;IƔrH)o[ Ovj/SS}?y@Z~VR2Fho :.*1jg?Hj|B\؆XMtwlyY; Bi3:Yg7\Pt1fmjGY\DVrL9fTO tӰBS!]EDV4}ڊ#JOZ2'f`Em\ &5;_#kyײE+/♞Xv**5bQl+ TPlRnO(ZH꽄8_\uMJ?sjlF6 k!ϲ~[KKMqJUAMm׸Ic{rY4,"#x)vb8 :(@^LBy٧Qا3:V!Jm\*YfZRg3X^a"% TSeq~2- C0<("r<*@y(/]&~jqsza[!ƻO<|`z Cv#D~i7t_ld`;9za1a_REweEof~F9'H\qz'pPVR毊0~0i^$$8ݍn~J;~!U]ǾCuk ҔJԂ)b6{Ca;K֕nC_2d~$v3gF+rTIfiʇK_gmC4;-,_s~,&˨Vz{2'O,7Ȟ_oTC(3ѽXU|9(Qw1lJ2!,Əy]'+G$5!R>ֆ{ -5\6BPќӊds%oՂG_^-+*XLaHPsQ s;-5.UpH,Hj][mXLjcܵ} u_/$d Α˸ V-JIEۭ6 N.H҄x/hjAc*1XR#؛\{ViJØ'A8w"ۂb-*iJ|N^Et^ϑ~@AD\Az[!ձ[i-Mf 8ýMFfvX2 trVAw5oTҗb(.N*}|g/W5>\@V;Cm>6/);rGDݶX$MP~9S+dc!" )nRY`O`YʧQMo)%Uf(dWuo Bޅ^!E]Mt;{gCTdF-9~yl/ KT #0?$(qSLI`^y _6.6(/LI&!; a"&,ZIcqi[}(ZIcqi[}(/`a'  `$ 4D T`dt $` ( , 0 4` 8<@!DaH$L4PD!TTaXd\t`!dahlp!tax|" b!$"4#D"$Tb%d&t'"(b)*+",b-./#0c1$243D#4Tc5d6t7#8c9褣:;#?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8Np@(qrH$ݕS6m_XRCg[{w8wo05wb JDGBSEwl1\XX@oF_Sr*˖ ;:0²a~4!'lJu*XZS5's:[Xm'W T{nV#i(a$>f@g ǔ_$X miHIarTճ'_/-Yd'43.-q.9]vkLG"}l9{+k(dRKy X@Fdge܅4\R35;2\%2*&6#~ &?J(iZ+ gD͓qk%d?e&0~ϧ} *Kmہ!Ñ%P>]ƖU!}Lc2(l@[~ p&EV&4" TIwdE$3Z\@ߞE,:;hD\Y%n-,o|K9Mj#/-S`+=\Q)-pv;wx2_!F}nYgL 􅅝{(tͨxJM2GV~pǘ_[g29 =Gj[t+;-6D3quI  QW4s$lV-A? w~ ..A+WY"{Y, ["@," pGfT 6g^_#ѧDăܔKdA{'12zZ\cpO*#lza[J/~RM73'pT>&J3'AB^L"]hD[h8K s_Cs S|LЁP(I{W[hy,_hBN#&2One-{CLmiN,iI2̤ 0 3&jHhF_$yEB1jS` g|;o/bL@^fEaɎDR!.vɬ+kF绷61}EēnlgLS 4 S˚ o^$0=U*|o߀E3X7 ӜԾcL"(Ä2o[%!*S Sm e^a.{TG`J^_)PE±hu;4B_0)I~7XY0ix:cu}`ԗz 7A+N+N:rV5uv#6F"p&&(̻D@zDz0PPH)5߇}&7l? xZ#Uiˠ3&PƅQT$7$b!4?>$yϫyy/Ε,]BϨ,=/Ud Hf2xmn}?Т^rZh_:Q'bf(p #Bq ]*f{2kGxǜ/c@2$O1Pz!=5X~ߙMNBu n e>9iYQ"2* gwHፚE{)!S+Auem~atg*hOM*^V S}?F=qi$(š7GAtKq)4TK=mX)K\?;(OMNP1o#i(='@'(X!|1)sK/%bem tq]=ʙ-0n[gvV9C؝9zt.!ĚLT/zh@T;::j/ ]iL MI BPQ[h/3bLE<CХ͌-#Yf]$63 vNlRvZ?ZsIGSmZhK<2QU8/e#KA :O]ΪhQx@-/D^._12T{Mz`x~JraK.1mEX9rM RǹWc1eLkFTP+I"6`B" ᘛ+_2d;bw 9qCtwqzsJ*so'O@-3^kEc4gWHR"wW{֐)!O&4B812B̛=q_8ZXq?s9nڂF_3m>J`J.BXu9/zHBt E소=/g]_Ew|R:9T`2*ϥt2 ;RtSzR|&hvl) &*Da_nǶO{opۖfѳDzkh 6ٷ0˖.4<o?;IgFdwF9wϤ\UnCiy]J&b/I+O1tw?f{~&u9p4@%^r,U*#&^2*8lۨdC$Kfa"J@kR%yA^TPn8ʱvwI ysr}k.&O֯Jo)pM2#2n/~eFiOHGBDMk;S-?Yt4{=[Y2 FZoVdUSMXYwB7ܟ,i67+7xU4@N!KqRF+'54Ar)VvbRKbOJdhv!{0v/eh4JM 9śK(#[*G{9/ȁ8A=|vcA";_ kE6GL!|>e>iT\UO(ѯ1H^ǏMhn,c{VvC,'Fm00>ת)(H{AƏ{s|qR/6E?oym$@ΧBp{.?-ZIg " PMKn|qp=m̩a)JBLr/e;NHe5WsLw[s 4x4E e3sNrV,Y@VW ;O ."u{q Id5_}4Q#kC %me ?1i17(LŕP@G&5şVMRnXbEE{ AB: *d$ _s> kqçbWP|<#mPJL*K|Vu۸BGB oMOu>A=UsO͞(ߗ-y}V$~2 vG 0UgMf)%bH$_FyQ|A^g]V@I 5_Duf;DR N˲wz^H[|B759xV_rL /Ђ|{[Fw*'-2sN*XougYz1s53 n4Gt#zFi ^OIQ:G0`֗QsF(z~`ۨ^86 ʼn#;u[P +7ˌ)un%&Y/Ђ @,o8ĀpK>]&gbGrXC$Ƚn!/8}JO󹹍[V|\e?Ġ}FLSs["b Ԫj(c H Vɠ|3+,8aߵuD.OGu8l3aʓ.sNj0+ˡX*6%< wn2Fh "5v uDYȿkMwR᫆ h̯ wB?IoE%Ufطtڵ09[Oeu^ѭ eo(ҫZ]>aUPd*fJ <=ᆕۘ-Հ,Q"+jͣ{&:`rDLo>6_[][nba }$-Hex0FZ% =n4 [N6xCij>;.MH$\U':vAMRv)q >szeQ qF$MAe{(*$oūmD$Ȇ+)(92i8JXt;chPD2+@+@!gPa(s)aa5%T ACS y$fAU<SV%8ܞ E>ɮB&iu y/NF| _|ttq ,X/(.-n2+wPb|OŎHG%mO;n'KQtLNǏcۙF<"3O<#,8/Wr]\Z-%&X^?f3Q>|1h/3li_!+(/b(B=}$2Ls]̊&|ۦ_T& |ĖLek?B?_vY{{\*3n&<< #xl~e4gpn:{_H%|XLJ3ִ2 <:'SuUKCk V5@%FMŨO~sFv`b]E0k`\DT,٣e Kǃ$i5YD D:wWG@-5>r4i{%!?@^~LoA=z|MI+#=ZsX) :/cj͂<Dz>NDjXT6ƉL%Lw[j7`h(MQU2`q XT@0A†$bV:GLz}7{yl_iYmۡ]TR/ґ% d{ L [ֈIjEb7r=ȡ=_wN 3?=YtMV OQNTbg|8]I^$FWVjщ Xb՗*8U B4Bc3 ]sY&sal}&'mV< vXv7㠐J"SsVYm!9nWRWU t-&fӟfWvPl ld+-2ZPtu2o'7HvRb 01^ ^<*\N>P}.%22ʳT/M=}mm`KNbC֖e>3wēyjkp5@-F0mVnjPrԹ[2Rm+E6VZ 1O2VS1Y?ZW~ٖ2Q(Tco1 4a{@r:)9'V7ZV979ܼ^\'zH- T_WScW@*8 c4H%1\2:m|Fd0X, aC3Y`|Y`wKšQR^p*k~}>& f UxM ?փkٮ }1Bch@ L[cZU a)-M'`M-96hSwADmֵGhY3]##~71KWlsvDeU-{*뾦Tb!`qL:$ 2Y%;?x߬99N;2Իu ̑A Μhl&}^3 ~Jwu,5әlnB㖌r0=ѳ'ɥFUQ:wl(L[S4K4/auWU6]=b=5j Ik0̝>YzҎ!%ZV REx8r#\?R=p*l3ST0TIJp.L(yabme$jMºtmj,;Yxou}?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8NvF ҩ@ԙ`vJ ¬yt-ej, ( (/`oC B`NkR܊fR UmQreE{d>f_Dw4.=&!""oe ҵzAHso| (gz!nxJq_08h{qΐBl;K %^tŨ~4#ˍxqZgȁ A |=}ӬZ`㦎Qm"C~n>yZHj#.[ܵ4zG0,VRq.7Ҙ|C[ǠqrWoeʆEq>Zϥ1pԷ[TC K2ENrI}b[Di%jHnyl:#يRCs?݈&4md;P}|@%uZ ch\ugv\1'N=rȕky0Ϛ>@2^T8Ť({!i\C!a䠉tm7*lXzs~#=8B5*:eäewǯ`HWc$?bGncϝh+GQOC`LPc[Tm0b΁2! zYF7q3M T, o8훚)cwg8}OJ&G>iH] G@89;5T-2aeօh_ S3[6|'!_t &JmsKj\cy=%J`Ds8l+{}?8%-WM8- /;4IJT6+WCzuH#aI+6P  N.k>ذ}_+|_<1^o@CB2Ox%ix1gB D<oszaމ'q=/kz(^գzոxBރ8"óz4ގwx[rS!yD^xWވwh޹y7ބ7x-;2o񆞓wt^y>^yEy'V.oc< OdQ#{|wb35 tfqCKKѽbZo8hJc3:hq/P*S,imwƳ~W4'/HPwבdS])c%M`H`P$'oTu u:xX/N2Gcblj{R@x1z@Q L&wo6(9ִ 湘aQЮ`^E,$j rCٔtӢQ^|iit&[&e{K8(ڰ2x p\::6g]aN-٬7UIӪ|+|V{oE.E5:gMap vcgo  ]2v`yO~qxl8qq%ɢ̻hk术<<ZʴUase\hzXeyx$ Eh)dYykл.NB6|!0#YJ%lL'H(d1(OyvùEKOaA5orUY{Q`'cDäID;h6\!͌D0B=v&kh?Ьv:\v =~gC'qt;W. 6h|xKN@n27쾽m!/;#`& g-7ʲOj4a"o| RvwAxCd}M4^d{6x&~EqhoY4Q/m7z~duF=l*j  ,v33333Z@3@(v33333Z@3@(/`Wj9ڡmu/~Vt^kyBբEZo׼U}2xVҟ?Yf{)!9kM?noP?;s}&'J5N @(XD0B .`Ƞa :x"$J8Ä*VhbȘA8rرG?8DH!Dl1r$J0iI(QHBʆV\*[Dp aČB3hҨIBc 6n޼B9sЩcysE>:@P!C Ac%Q*-bĢGA$3YDI ,!RLeҴN<}J#QFzS1ĊTVj+X4ruDM Y̢U-\R:C.UD_JHL(/ lit_fixed_euler_r7(,6(lit_fixed_euler_r7lit_fixed_euler_r7(/ Y(:L(/ e44d2ad4f4652f7b(,6(e44d2ad4f4652f7be44d2ad4f4652f7b(/ Y0L(/ y N003000-b00(,6( N003000-b00 N003000-b00(/ Y"L(/ A(,((/ Y"L(/ A (,  (  (/ Y"L(/ AR(,RR(RR(/ Y"L(/ A@(,@@(@@(/ Y"L(/ A{Gz?(,{Gz?{Gz?({Gz?{Gz?(/ 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(/ AMbP?(,MbP?MbP?(MbP?MbP?(/ Y"L(/ A?(,??(??(/ Y"L(/ AQ?(,Q?Q?(Q?Q?(/ Y L(/ 9all(,6(allall(/ Y(L(/ Yfloat32(,6(float32float32(/ Y&L(/ Qclause(,6(clauseclause(/ YXjL(/ ,a(a160773968342cc629e0785350d76ef4ac3c4581(,6((a160773968342cc629e0785350d76ef4ac3c4581(a160773968342cc629e0785350d76ef4ac3c4581(/ Y L(/ 9gpu(,6(gpugpu(/ YL(/ T}BTED(ȳ5%B@F%ٌ2_GJ+wQ ŵBA4\9֚=#8B(,6(Pdev:claude/memcomputing-a100-sop-ed6077@a160773968342cc629e0785350d76ef4ac3c4581Pdev:claude/memcomputing-a100-sop-ed6077@a160773968342cc629e0785350d76ef4ac3c4581(/ Y0L(/ 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(/ Al@(,l@l@(l@l@(/ Y"L(/ AZ(,ZZ(ZZ(/ 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 S2&&(,<)&&5 instance_seed &&2ZIcqi[}(ZIcqi[},<)&&5 init_seed &&[îtMwR([îtMwR,<)&&5 tts_steps 5&& ( ,<)&&%censored &<(<)&&5 final_unsat &&*(*,<)&&%solution_verified &<(<)&& 5tts_time /&&v33333Z@3@(v33333Z@3@,<)& &5schema_version &&(,<)&& 5campaign &&6(lit_fixed_euler_r7lit_fixed_euler_r7,<&& 5 config_hash &&6(e44d2ad4f4652f7be44d2ad4f4652f7b,<&& 5shard_id &&6( N003000-b00 N003000-b00,<&&5 shard_index &&(,<)&&5n_vars &&ح  (  ,<)&&5 n_clauses &&RR(RR,<)&& 5ratio &&@@(@@,<)&& 5p0 &ȳ&{Gz?{Gz?({Gz?{Gz?,<)&& 5 integrator &&6(eulereuler,<N&& 5dt &&??(??,<)&&5 max_steps &ȸ&''('',<)&& 5alpha &&@@(@@,<)&& 5beta &&ֻ4@4@(4@4@,<)&& 5gamma &&??(??,<)&& 5delta &&??(??,<)&& 5epsilon &&MbP?MbP?(MbP?MbP?,<)&& 5zeta &&??(??,<)&& 5 noise_gamma &&Q?Q?(Q?Q?,<)&& 5 rigidity_tie &&6(allall,<.&& 5dtype &&6(float32float32,<m&& 5xs_dist &&6(clauseclause,<]&& 5git_sha &&6((a160773968342cc629e0785350d76ef4ac3c4581(a160773968342cc629e0785350d76ef4ac3c4581,<&& 5image &&6(gpugpu,<.&& 5 code_source &&6(Pdev:claude/memcomputing-a100-sop-ed6077@a160773968342cc629e0785350d76ef4ac3c4581Pdev:claude/memcomputing-a100-sop-ed6077@a160773968342cc629e0785350d76ef4ac3c4581,< && 5 torch_version &&6( 2.5.1+cu124 2.5.1+cu124,<&& 5gpu_name &&6(NVIDIA GeForce RTX 2080 TiNVIDIA GeForce RTX 2080 Ti,<&& 5 wall_seconds &&l@l@(l@l@,<)&&5instance_steps &&ZZ(ZZ,<)&&,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:schemaB/////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%FPAR1