pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433160372qf_shidlia_sat/btree-01.smt28318797COMSPEN201922337qf_shls_sat325903complete0.0109050.0109379113176.0starexec-unknownsat
433160357qf_shidlia_sat/btree-02.smt28318782COMSPEN201922337qf_shls_sat325903complete0.0110210.011068113176.0starexec-unknownunsat
433160362qf_shidlia_sat/btree-03.smt28318787COMSPEN201922337qf_shls_sat325903complete0.010440.0104419113176.0starexec-unknownsat
433160385qf_shidlia_sat/dll-sat-01.smt28318810COMSPEN201922337qf_shls_sat325903complete0.0281970.0282341113176.0satsat
433160365qf_shidlia_sat/dll-sat-02.smt28318790COMSPEN201922337qf_shls_sat325903complete0.0280220.0283681113176.0unsatunsat
433160360qf_shidlia_sat/dll-sat-03.smt28318785COMSPEN201922337qf_shls_sat325903complete0.0280260.0280569113176.0unsatunsat
433160373qf_shidlia_sat/dll-sat-04.smt28318798COMSPEN201922337qf_shls_sat325903complete0.0291810.02925113176.0satsat
433160384qf_shidlia_sat/dll-sat-05.smt28318809COMSPEN201922337qf_shls_sat325903complete0.0299250.0299649113176.0unsatunsat
433160364qf_shidlia_sat/dll-sat-06.smt28318789COMSPEN201922337qf_shls_sat325903complete0.0390670.039144113176.0satsat
433160359qf_shidlia_sat/dll-sat-07.smt28318784COMSPEN201922337qf_shls_sat325903complete0.0504690.0504929113176.0unsatunsat
433160377qf_shidlia_sat/dll-sat-08.smt28318802COMSPEN201922337qf_shls_sat325903complete0.0504070.0504939113176.0unsatunsat
433160380qf_shidlia_sat/dll-sat-09.smt28318805COMSPEN201922337qf_shls_sat325903complete0.0537320.0538239113176.0satsat
433160378qf_shidlia_sat/dll-sat-10.smt28318803COMSPEN201922337qf_shls_sat325903complete0.0579090.057971113176.0unsatunsat
433160381qf_shidlia_sat/dll-sat-11.smt28318806COMSPEN201922337qf_shls_sat325903complete0.0573230.0573739113176.0satsat
433160369qf_shidlia_sat/dll-sat-12.smt28318794COMSPEN201922337qf_shls_sat325903complete0.0503580.0503961113176.0satsat
433160356qf_shidlia_sat/dll-sat-13.smt28318781COMSPEN201922337qf_shls_sat325903complete0.0511340.05119113176.0satsat
433160363qf_shidlia_sat/els-01.smt28318788COMSPEN201922337qf_shls_sat325903complete0.0099380.00999498113176.0starexec-unknownsat
433160383qf_shidlia_sat/els-02.smt28318808COMSPEN201922337qf_shls_sat325903complete0.0100730.010124113176.0starexec-unknownunsat
433160371qf_shidlia_sat/els-03.smt28318796COMSPEN201922337qf_shls_sat325903complete0.0107780.0108461113176.0starexec-unknownunsat
433160361qf_shidlia_sat/els-04.smt28318786COMSPEN201922337qf_shls_sat325903complete0.0102950.0103439113176.0starexec-unknownunsat
433160382qf_shidlia_sat/ls-08.smt28318807COMSPEN201922337qf_shls_sat325903complete0.0093730.00944113176.0starexec-unknownsat
433160370qf_shidlia_sat/ls-09.smt28318795COMSPEN201922337qf_shls_sat325903complete0.009760.009822113176.0starexec-unknownunsat
433160375qf_shidlia_sat/ls-sat-01.smt28318800COMSPEN201922337qf_shls_sat325903complete0.0255810.0256551113176.0satsat
433160354qf_shidlia_sat/ls-sat-02.smt28318779COMSPEN201922337qf_shls_sat325903complete0.0258440.0259361113176.0unsatunsat
433160367qf_shidlia_sat/ls-sat-03.smt28318792COMSPEN201922337qf_shls_sat325903complete0.0302380.030331113176.0satsat
433160379qf_shidlia_sat/ls-sat-04.smt28318804COMSPEN201922337qf_shls_sat325903complete0.0282160.028299113176.0unsatunsat
433160376qf_shidlia_sat/ls-sat-05.smt28318801COMSPEN201922337qf_shls_sat325903complete0.0320470.0321381113176.0unsatunsat
433160355qf_shidlia_sat/ls-sat-06.smt28318780COMSPEN201922337qf_shls_sat325903complete0.0327930.032858113176.0satsat
433160368qf_shidlia_sat/ls-sat-07.smt28318793COMSPEN201922337qf_shls_sat325903complete0.0283660.0284071113176.0unsatunsat
433160366qf_shidlia_sat/lss-01.smt28318791COMSPEN201922337qf_shls_sat325903complete0.0118230.011855113176.0starexec-unknownsat
433160386qf_shidlia_sat/lss-02.smt28318811COMSPEN201922337qf_shls_sat325903complete0.0131080.013191113176.0starexec-unknownunsat
433160374qf_shidlia_sat/lss-03.smt28318799COMSPEN201922337qf_shls_sat325903complete0.0121020.0121571113176.0starexec-unknownunsat
433160358qf_shidlia_sat/lss-04.smt28318783COMSPEN201922337qf_shls_sat325903complete0.0118410.011874113176.0starexec-unknownunsat