pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430235260qf_shls_sat/spaguetti-10-e01.tptp.smt28317077SLSAT1137quiet1901complete0.0335060.0335181113176.0unsatunsat
430235268qf_shls_sat/spaguetti-10-e02.tptp.smt28317085SLSAT1137quiet1901complete0.0213260.0212641113176.0satsat
430235264qf_shls_sat/spaguetti-10-e03.tptp.smt28317081SLSAT1137quiet1901complete0.0561250.0560781113176.0unsatunsat
430235275qf_shls_sat/spaguetti-10-e04.tptp.smt28317092SLSAT1137quiet1901complete0.2517020.251656113176.0unsatunsat
430235272qf_shls_sat/spaguetti-10-e05.tptp.smt28317089SLSAT1137quiet1901complete0.0359030.0358649113176.0satsat
430235281qf_shls_sat/spaguetti-10-e06.tptp.smt28317098SLSAT1137quiet1901complete0.0103110.0147670.0satsat
430235278qf_shls_sat/spaguetti-10-e07.tptp.smt28317095SLSAT1137quiet1901complete0.0495770.0495209113176.0satsat
430235234qf_shls_sat/spaguetti-10-e08.tptp.smt28317051SLSAT1137quiet1901complete0.116350.116302113176.0unsatunsat
430235239qf_shls_sat/spaguetti-10-e09.tptp.smt28317056SLSAT1137quiet1901complete0.0214110.021357113176.0unsatunsat
430235297qf_shls_sat/spaguetti-10-e10.tptp.smt28317114SLSAT1137quiet1901complete0.0158310.0157959113176.0satsat
430235300qf_shls_sat/spaguetti-11-e01.tptp.smt28317117SLSAT1137quiet1901complete0.0570760.057015113176.0unsatunsat
430235298qf_shls_sat/spaguetti-11-e02.tptp.smt28317115SLSAT1137quiet1901complete0.0135420.0134721113176.0satsat
430235294qf_shls_sat/spaguetti-11-e03.tptp.smt28317111SLSAT1137quiet1901complete0.0152380.0168480.0satsat
430235293qf_shls_sat/spaguetti-11-e04.tptp.smt28317110SLSAT1137quiet1901complete6.093076.0933163976.0unsatunsat
430235290qf_shls_sat/spaguetti-11-e05.tptp.smt28317107SLSAT1137quiet1901complete0.0316250.0315529113176.0satsat
430235287qf_shls_sat/spaguetti-11-e06.tptp.smt28317104SLSAT1137quiet1901complete1.146391.14639163576.0satsat
430235284qf_shls_sat/spaguetti-11-e07.tptp.smt28317101SLSAT1137quiet1901complete0.2427320.242657113176.0unsatunsat
430235335qf_shls_sat/spaguetti-11-e08.tptp.smt28317152SLSAT1137quiet1901complete0.0124760.012379113176.0satsat
430235340qf_shls_sat/spaguetti-11-e09.tptp.smt28317157SLSAT1137quiet1901complete1.219961.2201163576.0unsatunsat
430235267qf_shls_sat/spaguetti-11-e10.tptp.smt28317084SLSAT1137quiet1901complete0.1149510.114902113176.0satsat
430235254qf_shls_sat/spaguetti-12-e01.tptp.smt28317071SLSAT1137quiet1901complete0.2290630.228969113176.0unsatunsat
430235252qf_shls_sat/spaguetti-12-e02.tptp.smt28317069SLSAT1137quiet1901complete27.166627.1846175060.0unsatunsat
430235248qf_shls_sat/spaguetti-12-e03.tptp.smt28317065SLSAT1137quiet1901complete0.2114380.211387113176.0unsatunsat
430235247qf_shls_sat/spaguetti-12-e04.tptp.smt28317064SLSAT1137quiet1901complete1.146491.14642163576.0unsatunsat
430235243qf_shls_sat/spaguetti-12-e05.tptp.smt28317060SLSAT1137quiet1901complete0.0309480.030881113176.0satsat
430235237qf_shls_sat/spaguetti-12-e06.tptp.smt28317054SLSAT1137quiet1901complete0.5581790.558124113176.0unsatunsat
430235233qf_shls_sat/spaguetti-12-e07.tptp.smt28317050SLSAT1137quiet1901complete0.5070340.506977113176.0unsatunsat
430235277qf_shls_sat/spaguetti-12-e08.tptp.smt28317094SLSAT1137quiet1901complete0.2600450.259977113176.0satsat
430235280qf_shls_sat/spaguetti-12-e09.tptp.smt28317097SLSAT1137quiet1901complete0.0091630.00907894113176.0satsat
430235317qf_shls_sat/spaguetti-12-e10.tptp.smt28317134SLSAT1137quiet1901complete0.0347680.034695113176.0satsat
430235306qf_shls_sat/spaguetti-13-e01.tptp.smt28317123SLSAT1137quiet1901complete0.6313620.631316154048.0unsatunsat
430235319qf_shls_sat/spaguetti-13-e02.tptp.smt28317136SLSAT1137quiet1901complete0.0219430.0219001113176.0satsat
430235314qf_shls_sat/spaguetti-13-e03.tptp.smt28317131SLSAT1137quiet1901complete0.5375060.537443154048.0unsatunsat
430235330qf_shls_sat/spaguetti-13-e04.tptp.smt28317147SLSAT1137quiet1901complete2.857162.85725163576.0unsatunsat
430235325qf_shls_sat/spaguetti-13-e05.tptp.smt28317142SLSAT1137quiet1901complete12.705312.7113165132.0unsatunsat
430235338qf_shls_sat/spaguetti-13-e06.tptp.smt28317155SLSAT1137quiet1901complete0.131070.131015113176.0unsatunsat
430235334qf_shls_sat/spaguetti-13-e07.tptp.smt28317151SLSAT1137quiet1901timeout (wallclock)600.019600.044740296.0starexec-unknownunsat
430235283qf_shls_sat/spaguetti-13-e08.tptp.smt28317100SLSAT1137quiet1901complete0.1253490.125291113176.0satsat
430235286qf_shls_sat/spaguetti-13-e09.tptp.smt28317103SLSAT1137quiet1901complete29.196829.1984175060.0unsatunsat
430235251qf_shls_sat/spaguetti-13-e10.tptp.smt28317068SLSAT1137quiet1901complete0.011490.0114201113176.0satsat
430235296qf_shls_sat/spaguetti-14-e01.tptp.smt28317113SLSAT1137quiet1901complete0.5618370.561796153648.0satsat
430235304qf_shls_sat/spaguetti-14-e02.tptp.smt28317121SLSAT1137quiet1901complete0.5834110.58339153648.0unsatunsat
430235303qf_shls_sat/spaguetti-14-e03.tptp.smt28317120SLSAT1137quiet1901complete0.5891030.58923153648.0unsatunsat
430235285qf_shls_sat/spaguetti-14-e04.tptp.smt28317102SLSAT1137quiet1901complete1.362891.36282163576.0satsat
430235282qf_shls_sat/spaguetti-14-e05.tptp.smt28317099SLSAT1137quiet1901complete2.927062.92716163576.0unsatunsat
430235292qf_shls_sat/spaguetti-14-e06.tptp.smt28317109SLSAT1137quiet1901complete0.2782360.278184113176.0unsatunsat
430235289qf_shls_sat/spaguetti-14-e07.tptp.smt28317106SLSAT1137quiet1901complete0.0390870.039043113176.0satsat
430235323qf_shls_sat/spaguetti-14-e08.tptp.smt28317140SLSAT1137quiet1901complete334.4334.43324428.0unsatunsat
430235329qf_shls_sat/spaguetti-14-e09.tptp.smt28317146SLSAT1137quiet1901complete3.243063.2435164600.0unsatunsat
430235261qf_shls_sat/spaguetti-14-e10.tptp.smt28317078SLSAT1137quiet1901complete0.6157150.615636153648.0unsatunsat
430235266qf_shls_sat/spaguetti-15-e01.tptp.smt28317083SLSAT1137quiet1901complete0.6413810.641352154048.0satsat
430235263qf_shls_sat/spaguetti-15-e02.tptp.smt28317080SLSAT1137quiet1901complete14.106914.1074165756.0unsatunsat
430235262qf_shls_sat/spaguetti-15-e03.tptp.smt28317079SLSAT1137quiet1901complete0.3558030.355749113176.0satsat
430235279qf_shls_sat/spaguetti-15-e04.tptp.smt28317096SLSAT1137quiet1901complete0.0355840.0355391113176.0satsat
430235276qf_shls_sat/spaguetti-15-e05.tptp.smt28317093SLSAT1137quiet1901complete3.2363.23606163976.0unsatunsat
430235274qf_shls_sat/spaguetti-15-e06.tptp.smt28317091SLSAT1137quiet1901complete0.1459890.145906113176.0satsat
430235271qf_shls_sat/spaguetti-15-e07.tptp.smt28317088SLSAT1137quiet1901complete0.287660.287599113176.0satsat
430235241qf_shls_sat/spaguetti-15-e08.tptp.smt28317058SLSAT1137quiet1901complete3.637463.6376164072.0unsatunsat
430235246qf_shls_sat/spaguetti-15-e09.tptp.smt28317063SLSAT1137quiet1901complete0.7012570.701199154048.0unsatunsat
430235301qf_shls_sat/spaguetti-15-e10.tptp.smt28317118SLSAT1137quiet1901complete0.2824790.282437113176.0satsat
430235315qf_shls_sat/spaguetti-16-e01.tptp.smt28317132SLSAT1137quiet1901complete0.3922060.392145113176.0unsatunsat
430235313qf_shls_sat/spaguetti-16-e02.tptp.smt28317130SLSAT1137quiet1901complete0.687030.686982153648.0unsatunsat
430235310qf_shls_sat/spaguetti-16-e03.tptp.smt28317127SLSAT1137quiet1901complete0.0810.0809511113176.0satsat
430235336qf_shls_sat/spaguetti-16-e04.tptp.smt28317153SLSAT1137quiet1901complete1.812571.81252163576.0satsat
430235332qf_shls_sat/spaguetti-16-e05.tptp.smt28317149SLSAT1137quiet1901complete0.0851350.0850899113176.0unsatunsat
430235327qf_shls_sat/spaguetti-16-e06.tptp.smt28317144SLSAT1137quiet1901complete0.170370.170319113176.0satsat
430235322qf_shls_sat/spaguetti-16-e07.tptp.smt28317139SLSAT1137quiet1901complete1.968471.96845163576.0unsatunsat
430235288qf_shls_sat/spaguetti-16-e08.tptp.smt28317105SLSAT1137quiet1901complete8.238588.23897163976.0unsatunsat
430235291qf_shls_sat/spaguetti-16-e09.tptp.smt28317108SLSAT1137quiet1901complete0.0435830.043471113176.0satsat
430235255qf_shls_sat/spaguetti-16-e10.tptp.smt28317072SLSAT1137quiet1901complete0.3750710.375044113176.0satsat
430235250qf_shls_sat/spaguetti-17-e01.tptp.smt28317067SLSAT1137quiet1901complete1.669091.66921163576.0satsat
430235258qf_shls_sat/spaguetti-17-e02.tptp.smt28317075SLSAT1137quiet1901complete40.975140.9802174644.0satsat
430235256qf_shls_sat/spaguetti-17-e03.tptp.smt28317073SLSAT1137quiet1901complete8.368878.36884163976.0unsatunsat
430235236qf_shls_sat/spaguetti-17-e04.tptp.smt28317053SLSAT1137quiet1901complete0.0095450.0094779113176.0satsat
430235232qf_shls_sat/spaguetti-17-e05.tptp.smt28317049SLSAT1137quiet1901complete7.463887.4666163976.0satsat
430235244qf_shls_sat/spaguetti-17-e06.tptp.smt28317061SLSAT1137quiet1901complete17.796517.7966165132.0unsatunsat
430235240qf_shls_sat/spaguetti-17-e07.tptp.smt28317057SLSAT1137quiet1901complete1.733431.73357163576.0unsatunsat
430235270qf_shls_sat/spaguetti-17-e08.tptp.smt28317087SLSAT1137quiet1901complete41.230841.2344175060.0unsatunsat
430235273qf_shls_sat/spaguetti-17-e09.tptp.smt28317090SLSAT1137quiet1901complete17.397817.3992165756.0satsat
430235307qf_shls_sat/spaguetti-17-e10.tptp.smt28317124SLSAT1137quiet1901complete3.462773.46306163684.0satsat
430235245qf_shls_sat/spaguetti-18-e01.tptp.smt28317062SLSAT1137quiet1901complete0.5247220.534113176.0satsat
430235231qf_shls_sat/spaguetti-18-e02.tptp.smt28317048SLSAT1137quiet1901complete102.717102.722197096.0unsatunsat
430235235qf_shls_sat/spaguetti-18-e03.tptp.smt28317052SLSAT1137quiet1901complete0.0209270.0208309113176.0satsat
430235257qf_shls_sat/spaguetti-18-e04.tptp.smt28317074SLSAT1137quiet1901complete4.449634.44994163976.0satsat
430235259qf_shls_sat/spaguetti-18-e05.tptp.smt28317076SLSAT1137quiet1901complete1.05081.05072153648.0satsat
430235249qf_shls_sat/spaguetti-18-e06.tptp.smt28317066SLSAT1137quiet1901complete0.0506280.0505579113176.0satsat
430235253qf_shls_sat/spaguetti-18-e07.tptp.smt28317070SLSAT1137quiet1901complete2.297062.29728163576.0satsat
430235269qf_shls_sat/spaguetti-18-e08.tptp.smt28317086SLSAT1137quiet1901complete54.439154.4363175060.0unsatunsat
430235265qf_shls_sat/spaguetti-18-e09.tptp.smt28317082SLSAT1137quiet1901complete10.093810.0939163976.0unsatunsat
430235339qf_shls_sat/spaguetti-18-e10.tptp.smt28317156SLSAT1137quiet1901complete0.9735620.9735154048.0unsatunsat
430235326qf_shls_sat/spaguetti-19-e01.tptp.smt28317143SLSAT1137quiet1901complete1.90761.90763163576.0unsatunsat
430235333qf_shls_sat/spaguetti-19-e02.tptp.smt28317150SLSAT1137quiet1901complete45.461345.4682175684.0satsat
430235337qf_shls_sat/spaguetti-19-e03.tptp.smt28317154SLSAT1137quiet1901complete0.0176060.0175661113176.0satsat
430235309qf_shls_sat/spaguetti-19-e04.tptp.smt28317126SLSAT1137quiet1901complete4.275054.27494163976.0unsatunsat
430235312qf_shls_sat/spaguetti-19-e05.tptp.smt28317129SLSAT1137quiet1901timeout (cpu)600.01600.059472236.0starexec-unknownsat
430235316qf_shls_sat/spaguetti-19-e06.tptp.smt28317133SLSAT1137quiet1901complete0.2119690.211923113176.0satsat
430235320qf_shls_sat/spaguetti-19-e07.tptp.smt28317137SLSAT1137quiet1901complete4.27084.27083163976.0unsatunsat
430235299qf_shls_sat/spaguetti-19-e08.tptp.smt28317116SLSAT1137quiet1901complete0.0511450.051103113176.0satsat
430235295qf_shls_sat/spaguetti-19-e09.tptp.smt28317112SLSAT1137quiet1901complete240.63240.641241532.0unsatunsat
430235238qf_shls_sat/spaguetti-19-e10.tptp.smt28317055SLSAT1137quiet1901complete227.511227.523240908.0unsatunsat
430235331qf_shls_sat/spaguetti-20-e01.tptp.smt28317148SLSAT1137quiet1901complete4.099824.10015164600.0unsatunsat
430235328qf_shls_sat/spaguetti-20-e02.tptp.smt28317145SLSAT1137quiet1901complete2.014222.01417163976.0satsat
430235324qf_shls_sat/spaguetti-20-e03.tptp.smt28317141SLSAT1137quiet1901complete10.350610.3509164600.0satsat
430235321qf_shls_sat/spaguetti-20-e04.tptp.smt28317138SLSAT1137quiet1901complete8.023788.02404164600.0satsat
430235318qf_shls_sat/spaguetti-20-e05.tptp.smt28317135SLSAT1137quiet1901complete22.930322.932165132.0unsatunsat
430235311qf_shls_sat/spaguetti-20-e06.tptp.smt28317128SLSAT1137quiet1901complete208.488208.498240908.0unsatunsat
430235308qf_shls_sat/spaguetti-20-e07.tptp.smt28317125SLSAT1137quiet1901complete2.145682.1458163576.0satsat
430235302qf_shls_sat/spaguetti-20-e08.tptp.smt28317119SLSAT1137quiet1901complete3.715343.71556163976.0satsat
430235305qf_shls_sat/spaguetti-20-e09.tptp.smt28317122SLSAT1137quiet1901complete1.656071.65622163576.0satsat
430235242qf_shls_sat/spaguetti-20-e10.tptp.smt28317059SLSAT1137quiet1901complete19.966719.9656165132.0unsatunsat