pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430511452qf_shidlia_sat/btree-01.smt28318797COMSPEN20429default303314complete0.0053960.009192010.0starexec-unknownsat
430511437qf_shidlia_sat/btree-02.smt28318782COMSPEN20429default303314complete0.0055680.0111630.0starexec-unknownunsat
430511442qf_shidlia_sat/btree-03.smt28318787COMSPEN20429default303314complete0.0059250.02144210.0starexec-unknownsat
430511465qf_shidlia_sat/dll-sat-01.smt28318810COMSPEN20429default303314complete0.0054480.008591030.0starexec-unknownsat
430511445qf_shidlia_sat/dll-sat-02.smt28318790COMSPEN20429default303314complete0.0055230.00936090.0starexec-unknownunsat
430511440qf_shidlia_sat/dll-sat-03.smt28318785COMSPEN20429default303314complete0.0053120.009243890.0starexec-unknownunsat
430511453qf_shidlia_sat/dll-sat-04.smt28318798COMSPEN20429default303314complete0.005590.009268930.0starexec-unknownsat
430511464qf_shidlia_sat/dll-sat-05.smt28318809COMSPEN20429default303314complete0.0052350.00879710.0starexec-unknownunsat
430511444qf_shidlia_sat/dll-sat-06.smt28318789COMSPEN20429default303314complete0.0058370.009027980.0starexec-unknownsat
430511439qf_shidlia_sat/dll-sat-07.smt28318784COMSPEN20429default303314complete0.0054430.008960980.0starexec-unknownunsat
430511457qf_shidlia_sat/dll-sat-08.smt28318802COMSPEN20429default303314complete0.0057080.009336940.0starexec-unknownunsat
430511460qf_shidlia_sat/dll-sat-09.smt28318805COMSPEN20429default303314complete0.0055160.01224110.0starexec-unknownsat
430511458qf_shidlia_sat/dll-sat-10.smt28318803COMSPEN20429default303314complete0.005580.009602990.0starexec-unknownunsat
430511461qf_shidlia_sat/dll-sat-11.smt28318806COMSPEN20429default303314complete0.0057050.009238890.0starexec-unknownsat
430511449qf_shidlia_sat/dll-sat-12.smt28318794COMSPEN20429default303314complete0.005380.008860.0starexec-unknownsat
430511436qf_shidlia_sat/dll-sat-13.smt28318781COMSPEN20429default303314complete0.0055320.01283390.0starexec-unknownsat
430511443qf_shidlia_sat/els-01.smt28318788COMSPEN20429default303314complete0.005940.00908610.0starexec-unknownsat
430511463qf_shidlia_sat/els-02.smt28318808COMSPEN20429default303314complete0.0059480.01180310.0starexec-unknownunsat
430511451qf_shidlia_sat/els-03.smt28318796COMSPEN20429default303314complete0.005320.008846960.0starexec-unknownunsat
430511441qf_shidlia_sat/els-04.smt28318786COMSPEN20429default303314complete0.0055920.008947050.0starexec-unknownunsat
430511462qf_shidlia_sat/ls-08.smt28318807COMSPEN20429default303314complete0.0058330.009141090.0starexec-unknownsat
430511450qf_shidlia_sat/ls-09.smt28318795COMSPEN20429default303314complete0.0052750.008925010.0starexec-unknownunsat
430511455qf_shidlia_sat/ls-sat-01.smt28318800COMSPEN20429default303314complete0.0053740.008727020.0starexec-unknownsat
430511434qf_shidlia_sat/ls-sat-02.smt28318779COMSPEN20429default303314complete0.0054340.00941690.0starexec-unknownunsat
430511447qf_shidlia_sat/ls-sat-03.smt28318792COMSPEN20429default303314complete0.0057540.009632040.0starexec-unknownsat
430511459qf_shidlia_sat/ls-sat-04.smt28318804COMSPEN20429default303314complete0.0054210.00893790.0starexec-unknownunsat
430511456qf_shidlia_sat/ls-sat-05.smt28318801COMSPEN20429default303314complete0.0055020.008761980.0starexec-unknownunsat
430511435qf_shidlia_sat/ls-sat-06.smt28318780COMSPEN20429default303314complete0.0052620.009042110.0starexec-unknownsat
430511448qf_shidlia_sat/ls-sat-07.smt28318793COMSPEN20429default303314complete0.0057140.009480970.0starexec-unknownunsat
430511446qf_shidlia_sat/lss-01.smt28318791COMSPEN20429default303314complete0.005310.009079020.0starexec-unknownsat
430511466qf_shidlia_sat/lss-02.smt28318811COMSPEN20429default303314complete0.0053480.008583960.0starexec-unknownunsat
430511454qf_shidlia_sat/lss-03.smt28318799COMSPEN20429default303314complete0.0056860.009265910.0starexec-unknownunsat
430511438qf_shidlia_sat/lss-04.smt28318783COMSPEN20429default303314complete0.0055140.008856970.0starexec-unknownunsat