pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433164960qf_shlid_entl/dll-vc01.smt28318278SLEEK20564default304221complete0.1177430.112372113176.0unsatunsat
433164918qf_shlid_entl/dll-vc02.smt28318236SLEEK20564default304221complete0.1194410.114612113176.0unsatunsat
433164942qf_shlid_entl/dll-vc03.smt28318260SLEEK20564default304221complete0.1336540.12804113176.0unsatunsat
433164966qf_shlid_entl/dll-vc04.smt28318284SLEEK20564default304221complete0.1529980.146197113176.0satsat
433164962qf_shlid_entl/dll-vc05.smt28318280SLEEK20564default304221complete0.1534360.146977113176.0satunsat
433164923qf_shlid_entl/dll-vc06.smt28318241SLEEK20564default304221complete0.2203670.212598113176.0satsat
433164947qf_shlid_entl/dll-vc07.smt28318265SLEEK20564default304221complete0.1637780.156523113176.0satunsat
433164971qf_shlid_entl/dll-vc08.smt28318289SLEEK20564default304221complete0.3144840.304715113176.0satsat
433164953qf_shlid_entl/dll-vc09.smt28318271SLEEK20564default304221complete0.17950.173239113176.0unsatunsat
433164969qf_shlid_entl/dll-vc10.smt28318287SLEEK20564default304221complete0.3242140.314129113176.0satsat
433164950qf_shlid_entl/dll-vc11.smt28318268SLEEK20564default304221complete0.1565210.149815113176.0satunsat
433164925qf_shlid_entl/dll-vc12.smt28318243SLEEK20564default304221complete0.2311260.22257113176.0satsat
433164933qf_shlid_entl/dll-vc13.smt28318251SLEEK20564default304221complete0.1577380.151202113176.0satsat
433164975qf_shlid_entl/dll-vc14.smt28318293SLEEK20564default304221complete0.160510.15372113176.0satsat
433164957qf_shlid_entl/dll-vc15.smt28318275SLEEK20564default304221complete0.1093750.104257113176.0unsatunsat
433164930qf_shlid_entl/dll-vc16.smt28318248SLEEK20564default304221complete0.7860360.769891252988.0satsat
433164939qf_shlid_entl/dll-vc17.smt28318257SLEEK20564default304221complete0.2198760.21201113176.0satunsat
433164951qf_shlid_entl/lss-vc01.smt28318269SLEEK20564default304221complete0.0750290.0702501113176.0unsatunsat
433164927qf_shlid_entl/lss-vc02.smt28318245SLEEK20564default304221complete0.1171360.111508113176.0unsatunsat
433164936qf_shlid_entl/lss-vc03.smt28318254SLEEK20564default304221complete0.1363180.130133113176.0unsatunsat
433164928qf_shlid_entl/nll-vc01.smt28318246SLEEK20564default304221complete0.975440.968871253592.0unsatunsat
433164955qf_shlid_entl/nll-vc02.smt28318273SLEEK20564default304221complete0.9878070.980609253620.0unsatunsat
433164972qf_shlid_entl/nll-vc03.smt28318290SLEEK20564default304221complete1.084221.07487253600.0unsatunsat
433164940qf_shlid_entl/nll-vc04.smt28318258SLEEK20564default304221complete1.627341.61001253752.0unsatunsat
433164932qf_shlid_entl/nll-vc05.smt28318250SLEEK20564default304221complete1.120411.10915253608.0unsatunsat
433164959qf_shlid_entl/nll-vc06.smt28318277SLEEK20564default304221complete1.151861.14419253748.0unsatsat
433164976qf_shlid_entl/nll-vc07.smt28318294SLEEK20564default304221complete1.151011.13944253752.0unsatunsat
433164944qf_shlid_entl/nll-vc08.smt28318262SLEEK20564default304221complete1.888991.86882256664.0unsatunsat
433164920qf_shlid_entl/nll-vc09.smt28318238SLEEK20564default304221complete1.2381.22502253748.0unsatunsat
433164945qf_shlid_entl/nll-vc10.smt28318263SLEEK20564default304221complete1.579771.56227255776.0unsatunsat
433164921qf_shlid_entl/nll-vc11.smt28318239SLEEK20564default304221complete1.288291.2741254336.0unsatunsat
433164961qf_shlid_entl/nll-vc12.smt28318279SLEEK20564default304221complete0.9908760.98449253604.0unsatunsat
433164965qf_shlid_entl/nll-vc13.smt28318283SLEEK20564default304221complete1.077091.06831253748.0satsat
433164948qf_shlid_entl/nll-vc14.smt28318266SLEEK20564default304221complete1.287851.27296253748.0satsat
433164924qf_shlid_entl/nll-vc15.smt28318242SLEEK20564default304221complete1.077971.06884253584.0satsat
433164963qf_shlid_entl/nll-vc16.smt28318281SLEEK20564default304221complete1.221571.21147253752.0satsat
433164968qf_shlid_entl/nll-vc17.smt28318286SLEEK20564default304221complete3.358333.32567263788.0satsat
433164934qf_shlid_entl/nll-vc18.smt28318252SLEEK20564default304221complete3.555853.51428258856.0satsat
433164926qf_shlid_entl/nll-vc19.smt28318244SLEEK20564default304221complete4.882894.83246268036.0satsat
433164937qf_shlid_entl/skl2-vc01.smt28318255SLEEK20564default304221complete0.9866140.979976253900.0unsatunsat
433164973qf_shlid_entl/skl2-vc02.smt28318291SLEEK20564default304221complete0.9946020.987825253896.0unsatunsat
433164954qf_shlid_entl/skl2-vc03.smt28318272SLEEK20564default304221complete59.623759.3236327312.0satunsat
433164931qf_shlid_entl/skl2-vc04.smt28318249SLEEK20564default304221complete2.037951.06929254056.0unsatunsat
433164941qf_shlid_entl/skl2-vc05.smt28318259SLEEK20564default304221complete2.722342.68701256088.0satsat
433164977qf_shlid_entl/skl2-vc06.smt28318295SLEEK20564default304221complete4.468754.40042259164.0satsat
433164958qf_shlid_entl/skl2-vc07.smt28318276SLEEK20564default304221complete208.135205.79506172.0unsatsat
433164935qf_shlid_entl/skl3-vc01.smt28318253SLEEK20564default304221complete4.920224.91129256692.0unsatunsat
433164970qf_shlid_entl/skl3-vc02.smt28318288SLEEK20564default304221complete81.867981.5706301888.0satsat
433164952qf_shlid_entl/skl3-vc03.smt28318270SLEEK20564default304221complete1150.571149.82354132.0unsatunsat
433164929qf_shlid_entl/skl3-vc04.smt28318247SLEEK20564default304221timeout (cpu)2400.022396.54811616.0starexec-unknownunsat
433164938qf_shlid_entl/skl3-vc05.smt28318256SLEEK20564default304221timeout (cpu)2400.062399.63730572.0starexec-unknownunsat
433164974qf_shlid_entl/skl3-vc06.smt28318292SLEEK20564default304221timeout (cpu)2400.022399.52738168.0starexec-unknownunsat
433164956qf_shlid_entl/skl3-vc07.smt28318274SLEEK20564default304221timeout (cpu)2400.022394.42901964.0starexec-unknownunsat
433164922qf_shlid_entl/skl3-vc08.smt28318240SLEEK20564default304221timeout (cpu)2400.072396.9635672.0starexec-unknownunsat
433164946qf_shlid_entl/skl3-vc09.smt28318264SLEEK20564default304221timeout (cpu)2400.012396.43868964.0starexec-unknownunsat
433164919qf_shlid_entl/skl3-vc10.smt28318237SLEEK20564default304221complete5.242475.22925256688.0unsatunsat
433164943qf_shlid_entl/skl3-vc11.smt28318261SLEEK20564default304221timeout (cpu)2400.02396.02813636.0starexec-unknownsat
433164964qf_shlid_entl/skl3-vc12.smt28318282SLEEK20564default304221timeout (cpu)2400.062399.24639996.0starexec-unknownsat
433164967qf_shlid_entl/sll-vc01.smt28318285SLEEK20564default304221complete0.0765270.072331113176.0satsat
433164949qf_shlid_entl/sll-vc02.smt28318267SLEEK20564default304221complete0.075750.0717161113176.0satsat