pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433329613qf_shlid_entl/dll-vc01.smt28318278SPEN19.222729qf_shlid326785complete0.0365280.035599113176.0starexec-unknownunsat
433329571qf_shlid_entl/dll-vc02.smt28318236SPEN19.222729qf_shlid326785complete0.038440.036464113176.0starexec-unknownunsat
433329595qf_shlid_entl/dll-vc03.smt28318260SPEN19.222729qf_shlid326785complete0.0345010.033181113176.0starexec-unknownunsat
433329619qf_shlid_entl/dll-vc04.smt28318284SPEN19.222729qf_shlid326785complete0.0344070.0331369113176.0starexec-unknownsat
433329615qf_shlid_entl/dll-vc05.smt28318280SPEN19.222729qf_shlid326785complete0.0266040.025459113176.0unsatunsat
433329576qf_shlid_entl/dll-vc06.smt28318241SPEN19.222729qf_shlid326785complete0.0354230.034163113176.0starexec-unknownsat
433329600qf_shlid_entl/dll-vc07.smt28318265SPEN19.222729qf_shlid326785complete0.0350070.033732113176.0starexec-unknownunsat
433329624qf_shlid_entl/dll-vc08.smt28318289SPEN19.222729qf_shlid326785complete0.0357060.0344039113176.0starexec-unknownsat
433329606qf_shlid_entl/dll-vc09.smt28318271SPEN19.222729qf_shlid326785complete0.0348220.033641113176.0starexec-unknownunsat
433329622qf_shlid_entl/dll-vc10.smt28318287SPEN19.222729qf_shlid326785complete0.0335480.032277113176.0satsat
433329603qf_shlid_entl/dll-vc11.smt28318268SPEN19.222729qf_shlid326785complete0.0263410.0251749113176.0unsatunsat
433329578qf_shlid_entl/dll-vc12.smt28318243SPEN19.222729qf_shlid326785complete0.0347360.033497113176.0starexec-unknownsat
433329586qf_shlid_entl/dll-vc13.smt28318251SPEN19.222729qf_shlid326785complete0.0353650.0341119113176.0starexec-unknownsat
433329628qf_shlid_entl/dll-vc14.smt28318293SPEN19.222729qf_shlid326785complete0.0343120.032973113176.0satsat
433329610qf_shlid_entl/dll-vc15.smt28318275SPEN19.222729qf_shlid326785complete0.0342750.0329719113176.0starexec-unknownunsat
433329583qf_shlid_entl/dll-vc16.smt28318248SPEN19.222729qf_shlid326785complete0.0387630.0374509113176.0starexec-unknownsat
433329592qf_shlid_entl/dll-vc17.smt28318257SPEN19.222729qf_shlid326785complete0.0365910.035376113176.0starexec-unknownunsat
433329604qf_shlid_entl/lss-vc01.smt28318269SPEN19.222729qf_shlid326785complete0.0072410.009751980.0starexec-unknownunsat
433329580qf_shlid_entl/lss-vc02.smt28318245SPEN19.222729qf_shlid326785complete0.007310.0173230.0starexec-unknownunsat
433329589qf_shlid_entl/lss-vc03.smt28318254SPEN19.222729qf_shlid326785complete0.0073580.0113590.0starexec-unknownunsat
433329581qf_shlid_entl/nll-vc01.smt28318246SPEN19.222729qf_shlid326785complete0.0345430.033303113176.0unsatunsat
433329608qf_shlid_entl/nll-vc02.smt28318273SPEN19.222729qf_shlid326785complete0.0348660.033606113176.0unsatunsat
433329625qf_shlid_entl/nll-vc03.smt28318290SPEN19.222729qf_shlid326785complete0.0352180.0339129113176.0unsatunsat
433329593qf_shlid_entl/nll-vc04.smt28318258SPEN19.222729qf_shlid326785complete0.0365680.0352849113176.0unsatunsat
433329585qf_shlid_entl/nll-vc05.smt28318250SPEN19.222729qf_shlid326785complete0.0340410.0327909113176.0unsatunsat
433329612qf_shlid_entl/nll-vc06.smt28318277SPEN19.222729qf_shlid326785complete0.0354740.0342001113176.0satsat
433329629qf_shlid_entl/nll-vc07.smt28318294SPEN19.222729qf_shlid326785complete0.0362810.0428441113176.0unsatunsat
433329597qf_shlid_entl/nll-vc08.smt28318262SPEN19.222729qf_shlid326785complete0.0351410.033879113176.0unsatunsat
433329573qf_shlid_entl/nll-vc09.smt28318238SPEN19.222729qf_shlid326785complete0.0356110.0343321113176.0unsatunsat
433329598qf_shlid_entl/nll-vc10.smt28318263SPEN19.222729qf_shlid326785complete0.0342980.033082113176.0unsatunsat
433329574qf_shlid_entl/nll-vc11.smt28318239SPEN19.222729qf_shlid326785complete0.0342890.033084113176.0unsatunsat
433329614qf_shlid_entl/nll-vc12.smt28318279SPEN19.222729qf_shlid326785complete0.035110.033824113176.0unsatunsat
433329618qf_shlid_entl/nll-vc13.smt28318283SPEN19.222729qf_shlid326785complete0.0342860.0552421113176.0satsat
433329601qf_shlid_entl/nll-vc14.smt28318266SPEN19.222729qf_shlid326785complete0.0341380.0328341113176.0satsat
433329577qf_shlid_entl/nll-vc15.smt28318242SPEN19.222729qf_shlid326785complete0.0367860.0354191113176.0satsat
433329616qf_shlid_entl/nll-vc16.smt28318281SPEN19.222729qf_shlid326785complete0.035470.034238113176.0satsat
433329621qf_shlid_entl/nll-vc17.smt28318286SPEN19.222729qf_shlid326785complete0.0380780.0368499113176.0satsat
433329587qf_shlid_entl/nll-vc18.smt28318252SPEN19.222729qf_shlid326785complete0.0376950.03641113176.0satsat
433329579qf_shlid_entl/nll-vc19.smt28318244SPEN19.222729qf_shlid326785complete0.0369930.035766113176.0satsat
433329590qf_shlid_entl/skl2-vc01.smt28318255SPEN19.222729qf_shlid326785complete0.0357620.0344331113176.0satunsat
433329626qf_shlid_entl/skl2-vc02.smt28318291SPEN19.222729qf_shlid326785complete0.0366560.035312113176.0satunsat
433329607qf_shlid_entl/skl2-vc03.smt28318272SPEN19.222729qf_shlid326785complete0.0388210.037581113176.0satunsat
433329584qf_shlid_entl/skl2-vc04.smt28318249SPEN19.222729qf_shlid326785complete0.035090.033794113176.0satunsat
433329594qf_shlid_entl/skl2-vc05.smt28318259SPEN19.222729qf_shlid326785complete0.0391150.037811113176.0starexec-unknownsat
433329630qf_shlid_entl/skl2-vc06.smt28318295SPEN19.222729qf_shlid326785complete0.0375950.0363369113176.0starexec-unknownsat
433329611qf_shlid_entl/skl2-vc07.smt28318276SPEN19.222729qf_shlid326785complete0.0393130.038145113176.0starexec-unknownsat
433329588qf_shlid_entl/skl3-vc01.smt28318253SPEN19.222729qf_shlid326785complete0.0353020.03406113176.0satunsat
433329623qf_shlid_entl/skl3-vc02.smt28318288SPEN19.222729qf_shlid326785complete0.0352290.0340549113176.0satsat
433329605qf_shlid_entl/skl3-vc03.smt28318270SPEN19.222729qf_shlid326785complete0.0376170.036332113176.0satunsat
433329582qf_shlid_entl/skl3-vc04.smt28318247SPEN19.222729qf_shlid326785complete0.0654520.06423113176.0satunsat
433329591qf_shlid_entl/skl3-vc05.smt28318256SPEN19.222729qf_shlid326785complete0.0698140.068564113176.0satunsat
433329627qf_shlid_entl/skl3-vc06.smt28318292SPEN19.222729qf_shlid326785complete0.0698030.068671113176.0satunsat
433329609qf_shlid_entl/skl3-vc07.smt28318274SPEN19.222729qf_shlid326785complete0.058150.056914113176.0satunsat
433329575qf_shlid_entl/skl3-vc08.smt28318240SPEN19.222729qf_shlid326785complete0.0594680.058134113176.0satunsat
433329599qf_shlid_entl/skl3-vc09.smt28318264SPEN19.222729qf_shlid326785complete0.0599930.058789113176.0satunsat
433329572qf_shlid_entl/skl3-vc10.smt28318237SPEN19.222729qf_shlid326785complete0.0369790.0357021113176.0satunsat
433329596qf_shlid_entl/skl3-vc11.smt28318261SPEN19.222729qf_shlid326785complete0.0911270.0898561113176.0starexec-unknownsat
433329617qf_shlid_entl/skl3-vc12.smt28318282SPEN19.222729qf_shlid326785complete0.1225260.121264113176.0satsat
433329620qf_shlid_entl/sll-vc01.smt28318285SPEN19.222729qf_shlid326785complete0.1907490.189657113176.0satsat
433329602qf_shlid_entl/sll-vc02.smt28318267SPEN19.222729qf_shlid326785complete0.1723910.171086113176.0satsat