pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433168197qf_shls_sat/spaguetti-10-e01.tptp.smt28317077COMSPEN201922337qf_shls_sat325903complete0.0418410.0418601113176.0unsatunsat
433168205qf_shls_sat/spaguetti-10-e02.tptp.smt28317085COMSPEN201922337qf_shls_sat325903complete0.0402610.040334113176.0satsat
433168201qf_shls_sat/spaguetti-10-e03.tptp.smt28317081COMSPEN201922337qf_shls_sat325903complete0.0450190.045075113176.0unsatunsat
433168212qf_shls_sat/spaguetti-10-e04.tptp.smt28317092COMSPEN201922337qf_shls_sat325903complete0.0501720.05023113176.0unsatunsat
433168209qf_shls_sat/spaguetti-10-e05.tptp.smt28317089COMSPEN201922337qf_shls_sat325903complete0.0432690.0433461113176.0satsat
433168218qf_shls_sat/spaguetti-10-e06.tptp.smt28317098COMSPEN201922337qf_shls_sat325903complete0.0325230.032582113176.0satsat
433168215qf_shls_sat/spaguetti-10-e07.tptp.smt28317095COMSPEN201922337qf_shls_sat325903complete0.0418660.0419041113176.0satsat
433168171qf_shls_sat/spaguetti-10-e08.tptp.smt28317051COMSPEN201922337qf_shls_sat325903complete0.0478560.0479199113176.0unsatunsat
433168176qf_shls_sat/spaguetti-10-e09.tptp.smt28317056COMSPEN201922337qf_shls_sat325903complete0.0396150.039683113176.0unsatunsat
433168234qf_shls_sat/spaguetti-10-e10.tptp.smt28317114COMSPEN201922337qf_shls_sat325903complete0.0362230.0362931113176.0satsat
433168237qf_shls_sat/spaguetti-11-e01.tptp.smt28317117COMSPEN201922337qf_shls_sat325903complete0.0444260.0445159113176.0unsatunsat
433168235qf_shls_sat/spaguetti-11-e02.tptp.smt28317115COMSPEN201922337qf_shls_sat325903complete0.0352670.0353319113176.0satsat
433168231qf_shls_sat/spaguetti-11-e03.tptp.smt28317111COMSPEN201922337qf_shls_sat325903complete0.0360060.0360839113176.0satsat
433168230qf_shls_sat/spaguetti-11-e04.tptp.smt28317110COMSPEN201922337qf_shls_sat325903complete0.0637890.063847113176.0unsatunsat
433168227qf_shls_sat/spaguetti-11-e05.tptp.smt28317107COMSPEN201922337qf_shls_sat325903complete0.0403920.0404491113176.0satsat
433168224qf_shls_sat/spaguetti-11-e06.tptp.smt28317104COMSPEN201922337qf_shls_sat325903complete0.0579690.0580371113176.0satsat
433168221qf_shls_sat/spaguetti-11-e07.tptp.smt28317101COMSPEN201922337qf_shls_sat325903complete0.0504840.050562113176.0unsatunsat
433168272qf_shls_sat/spaguetti-11-e08.tptp.smt28317152COMSPEN201922337qf_shls_sat325903complete0.0358010.0358491113176.0satsat
433168277qf_shls_sat/spaguetti-11-e09.tptp.smt28317157COMSPEN201922337qf_shls_sat325903complete0.0580310.0581381113176.0unsatunsat
433168204qf_shls_sat/spaguetti-11-e10.tptp.smt28317084COMSPEN201922337qf_shls_sat325903complete0.0481550.048213113176.0satsat
433168191qf_shls_sat/spaguetti-12-e01.tptp.smt28317071COMSPEN201922337qf_shls_sat325903complete0.0487210.048792113176.0unsatunsat
433168189qf_shls_sat/spaguetti-12-e02.tptp.smt28317069COMSPEN201922337qf_shls_sat325903complete0.0711740.071208113176.0unsatunsat
433168185qf_shls_sat/spaguetti-12-e03.tptp.smt28317065COMSPEN201922337qf_shls_sat325903complete0.0481610.0482131113176.0unsatunsat
433168184qf_shls_sat/spaguetti-12-e04.tptp.smt28317064COMSPEN201922337qf_shls_sat325903complete0.0562630.05631113176.0unsatunsat
433168180qf_shls_sat/spaguetti-12-e05.tptp.smt28317060COMSPEN201922337qf_shls_sat325903complete0.0405030.0405329113176.0satsat
433168174qf_shls_sat/spaguetti-12-e06.tptp.smt28317054COMSPEN201922337qf_shls_sat325903complete0.0534180.053457113176.0unsatunsat
433168170qf_shls_sat/spaguetti-12-e07.tptp.smt28317050COMSPEN201922337qf_shls_sat325903complete0.0535430.0535871113176.0unsatunsat
433168214qf_shls_sat/spaguetti-12-e08.tptp.smt28317094COMSPEN201922337qf_shls_sat325903complete0.0508990.050962113176.0satsat
433168217qf_shls_sat/spaguetti-12-e09.tptp.smt28317097COMSPEN201922337qf_shls_sat325903complete0.0358150.0358661113176.0satsat
433168254qf_shls_sat/spaguetti-12-e10.tptp.smt28317134COMSPEN201922337qf_shls_sat325903complete0.0419360.0420201113176.0satsat
433168243qf_shls_sat/spaguetti-13-e01.tptp.smt28317123COMSPEN201922337qf_shls_sat325903complete0.0558010.055855113176.0unsatunsat
433168256qf_shls_sat/spaguetti-13-e02.tptp.smt28317136COMSPEN201922337qf_shls_sat325903complete0.0393260.0394119113176.0satsat
433168251qf_shls_sat/spaguetti-13-e03.tptp.smt28317131COMSPEN201922337qf_shls_sat325903complete0.0556280.055716113176.0unsatunsat
433168267qf_shls_sat/spaguetti-13-e04.tptp.smt28317147COMSPEN201922337qf_shls_sat325903complete0.0617360.0618199113176.0unsatunsat
433168262qf_shls_sat/spaguetti-13-e05.tptp.smt28317142COMSPEN201922337qf_shls_sat325903complete0.0683770.068448113176.0unsatunsat
433168275qf_shls_sat/spaguetti-13-e06.tptp.smt28317155COMSPEN201922337qf_shls_sat325903complete0.0494820.049555113176.0unsatunsat
433168271qf_shls_sat/spaguetti-13-e07.tptp.smt28317151COMSPEN201922337qf_shls_sat325903complete0.0996860.099753113176.0unsatunsat
433168220qf_shls_sat/spaguetti-13-e08.tptp.smt28317100COMSPEN201922337qf_shls_sat325903complete0.0481030.0481839113176.0satsat
433168223qf_shls_sat/spaguetti-13-e09.tptp.smt28317103COMSPEN201922337qf_shls_sat325903complete0.0743960.074461113176.0unsatunsat
433168188qf_shls_sat/spaguetti-13-e10.tptp.smt28317068COMSPEN201922337qf_shls_sat325903complete0.0399450.0400291113176.0satsat
433168233qf_shls_sat/spaguetti-14-e01.tptp.smt28317113COMSPEN201922337qf_shls_sat325903complete0.0545530.0546069113176.0satsat
433168241qf_shls_sat/spaguetti-14-e02.tptp.smt28317121COMSPEN201922337qf_shls_sat325903complete0.0542840.054335113176.0unsatunsat
433168240qf_shls_sat/spaguetti-14-e03.tptp.smt28317120COMSPEN201922337qf_shls_sat325903complete0.0549290.054968113176.0unsatunsat
433168222qf_shls_sat/spaguetti-14-e04.tptp.smt28317102COMSPEN201922337qf_shls_sat325903complete0.0585870.0586471113176.0satsat
433168219qf_shls_sat/spaguetti-14-e05.tptp.smt28317099COMSPEN201922337qf_shls_sat325903complete0.0617960.061872113176.0unsatunsat
433168229qf_shls_sat/spaguetti-14-e06.tptp.smt28317109COMSPEN201922337qf_shls_sat325903complete0.0517740.051829113176.0unsatunsat
433168226qf_shls_sat/spaguetti-14-e07.tptp.smt28317106COMSPEN201922337qf_shls_sat325903complete0.0450520.0451021113176.0satsat
433168260qf_shls_sat/spaguetti-14-e08.tptp.smt28317140COMSPEN201922337qf_shls_sat325903complete0.0904350.090493113176.0unsatunsat
433168266qf_shls_sat/spaguetti-14-e09.tptp.smt28317146COMSPEN201922337qf_shls_sat325903complete0.0643180.0643751113176.0unsatunsat
433168198qf_shls_sat/spaguetti-14-e10.tptp.smt28317078COMSPEN201922337qf_shls_sat325903complete0.0557010.055745113176.0unsatunsat
433168203qf_shls_sat/spaguetti-15-e01.tptp.smt28317083COMSPEN201922337qf_shls_sat325903complete0.0565290.0565841113176.0satsat
433168200qf_shls_sat/spaguetti-15-e02.tptp.smt28317080COMSPEN201922337qf_shls_sat325903complete0.070730.0708159113176.0unsatunsat
433168199qf_shls_sat/spaguetti-15-e03.tptp.smt28317079COMSPEN201922337qf_shls_sat325903complete0.0582190.058287113176.0satsat
433168216qf_shls_sat/spaguetti-15-e04.tptp.smt28317096COMSPEN201922337qf_shls_sat325903complete0.0445490.0445821113176.0satsat
433168213qf_shls_sat/spaguetti-15-e05.tptp.smt28317093COMSPEN201922337qf_shls_sat325903complete0.0647540.0648231113176.0unsatunsat
433168211qf_shls_sat/spaguetti-15-e06.tptp.smt28317091COMSPEN201922337qf_shls_sat325903complete0.0516390.05171113176.0satsat
433168208qf_shls_sat/spaguetti-15-e07.tptp.smt28317088COMSPEN201922337qf_shls_sat325903complete0.0538240.0539019113176.0satsat
433168178qf_shls_sat/spaguetti-15-e08.tptp.smt28317058COMSPEN201922337qf_shls_sat325903complete0.0663860.0664799113176.0unsatunsat
433168183qf_shls_sat/spaguetti-15-e09.tptp.smt28317063COMSPEN201922337qf_shls_sat325903complete0.0585270.0586181113176.0unsatunsat
433168238qf_shls_sat/spaguetti-15-e10.tptp.smt28317118COMSPEN201922337qf_shls_sat325903complete0.0533090.053378113176.0satsat
433168252qf_shls_sat/spaguetti-16-e01.tptp.smt28317132COMSPEN201922337qf_shls_sat325903complete0.0601020.060313113176.0unsatunsat
433168250qf_shls_sat/spaguetti-16-e02.tptp.smt28317130COMSPEN201922337qf_shls_sat325903complete0.0584170.058464113176.0unsatunsat
433168247qf_shls_sat/spaguetti-16-e03.tptp.smt28317127COMSPEN201922337qf_shls_sat325903complete0.0520320.0520879113176.0satsat
433168273qf_shls_sat/spaguetti-16-e04.tptp.smt28317153COMSPEN201922337qf_shls_sat325903complete0.0663430.0663959113176.0satsat
433168269qf_shls_sat/spaguetti-16-e05.tptp.smt28317149COMSPEN201922337qf_shls_sat325903complete0.0541980.0542831113176.0unsatunsat
433168264qf_shls_sat/spaguetti-16-e06.tptp.smt28317144COMSPEN201922337qf_shls_sat325903complete0.0538630.0538981113176.0satsat
433168259qf_shls_sat/spaguetti-16-e07.tptp.smt28317139COMSPEN201922337qf_shls_sat325903complete0.068250.068306113176.0unsatunsat
433168225qf_shls_sat/spaguetti-16-e08.tptp.smt28317105COMSPEN201922337qf_shls_sat325903complete0.0718690.0719131113176.0unsatunsat
433168228qf_shls_sat/spaguetti-16-e09.tptp.smt28317108COMSPEN201922337qf_shls_sat325903complete0.0512360.0513259113176.0satsat
433168192qf_shls_sat/spaguetti-16-e10.tptp.smt28317072COMSPEN201922337qf_shls_sat325903complete0.0597230.059776113176.0satsat
433168187qf_shls_sat/spaguetti-17-e01.tptp.smt28317067COMSPEN201922337qf_shls_sat325903complete0.0627770.0628359113176.0satsat
433168195qf_shls_sat/spaguetti-17-e02.tptp.smt28317075COMSPEN201922337qf_shls_sat325903complete0.0825380.0826111113176.0satsat
433168193qf_shls_sat/spaguetti-17-e03.tptp.smt28317073COMSPEN201922337qf_shls_sat325903complete0.0726440.072761113176.0unsatunsat
433168173qf_shls_sat/spaguetti-17-e04.tptp.smt28317053COMSPEN201922337qf_shls_sat325903complete0.0515350.0515809113176.0satsat
433168169qf_shls_sat/spaguetti-17-e05.tptp.smt28317049COMSPEN201922337qf_shls_sat325903complete0.0699060.0699639113176.0satsat
433168181qf_shls_sat/spaguetti-17-e06.tptp.smt28317061COMSPEN201922337qf_shls_sat325903complete0.0753760.075415113176.0unsatunsat
433168177qf_shls_sat/spaguetti-17-e07.tptp.smt28317057COMSPEN201922337qf_shls_sat325903complete0.0645330.064623113176.0unsatunsat
433168207qf_shls_sat/spaguetti-17-e08.tptp.smt28317087COMSPEN201922337qf_shls_sat325903complete0.082780.0828631113176.0unsatunsat
433168210qf_shls_sat/spaguetti-17-e09.tptp.smt28317090COMSPEN201922337qf_shls_sat325903complete0.0759820.0760329113176.0satsat
433168244qf_shls_sat/spaguetti-17-e10.tptp.smt28317124COMSPEN201922337qf_shls_sat325903complete0.0668070.0668969113176.0satsat
433168182qf_shls_sat/spaguetti-18-e01.tptp.smt28317062COMSPEN201922337qf_shls_sat325903complete0.0722540.072301113176.0satsat
433168168qf_shls_sat/spaguetti-18-e02.tptp.smt28317048COMSPEN201922337qf_shls_sat325903complete0.091250.0913279113176.0unsatunsat
433168172qf_shls_sat/spaguetti-18-e03.tptp.smt28317052COMSPEN201922337qf_shls_sat325903complete0.0518370.0518861113176.0satsat
433168194qf_shls_sat/spaguetti-18-e04.tptp.smt28317074COMSPEN201922337qf_shls_sat325903complete0.0740480.074077113176.0satsat
433168196qf_shls_sat/spaguetti-18-e05.tptp.smt28317076COMSPEN201922337qf_shls_sat325903complete0.0712070.0712899113176.0satsat
433168186qf_shls_sat/spaguetti-18-e06.tptp.smt28317066COMSPEN201922337qf_shls_sat325903complete0.0568870.0569609113176.0satsat
433168190qf_shls_sat/spaguetti-18-e07.tptp.smt28317070COMSPEN201922337qf_shls_sat325903complete0.0746350.0747141113176.0satsat
433168206qf_shls_sat/spaguetti-18-e08.tptp.smt28317086COMSPEN201922337qf_shls_sat325903complete0.0909760.091039113176.0unsatunsat
433168202qf_shls_sat/spaguetti-18-e09.tptp.smt28317082COMSPEN201922337qf_shls_sat325903complete0.0787860.0789011113176.0unsatunsat
433168276qf_shls_sat/spaguetti-18-e10.tptp.smt28317156COMSPEN201922337qf_shls_sat325903complete0.0667030.0667729113176.0unsatunsat
433168263qf_shls_sat/spaguetti-19-e01.tptp.smt28317143COMSPEN201922337qf_shls_sat325903complete0.0662640.0663229113176.0unsatunsat
433168270qf_shls_sat/spaguetti-19-e02.tptp.smt28317150COMSPEN201922337qf_shls_sat325903complete0.0850390.0851081113176.0satsat
433168274qf_shls_sat/spaguetti-19-e03.tptp.smt28317154COMSPEN201922337qf_shls_sat325903complete0.0454920.0455481113176.0satsat
433168246qf_shls_sat/spaguetti-19-e04.tptp.smt28317126COMSPEN201922337qf_shls_sat325903complete0.0729740.0730591113176.0unsatunsat
433168249qf_shls_sat/spaguetti-19-e05.tptp.smt28317129COMSPEN201922337qf_shls_sat325903complete0.102860.102914113176.0satsat
433168253qf_shls_sat/spaguetti-19-e06.tptp.smt28317133COMSPEN201922337qf_shls_sat325903complete0.0626970.06276113176.0satsat
433168257qf_shls_sat/spaguetti-19-e07.tptp.smt28317137COMSPEN201922337qf_shls_sat325903complete0.0725320.0726779113176.0unsatunsat
433168236qf_shls_sat/spaguetti-19-e08.tptp.smt28317116COMSPEN201922337qf_shls_sat325903complete0.0555070.055565113176.0satsat
433168232qf_shls_sat/spaguetti-19-e09.tptp.smt28317112COMSPEN201922337qf_shls_sat325903complete0.0989060.0989541113176.0unsatunsat
433168175qf_shls_sat/spaguetti-19-e10.tptp.smt28317055COMSPEN201922337qf_shls_sat325903complete0.0972410.0973271113176.0unsatunsat
433168268qf_shls_sat/spaguetti-20-e01.tptp.smt28317148COMSPEN201922337qf_shls_sat325903complete0.0703380.0704079113176.0unsatunsat
433168265qf_shls_sat/spaguetti-20-e02.tptp.smt28317145COMSPEN201922337qf_shls_sat325903complete0.070540.0705839113176.0satsat
433168261qf_shls_sat/spaguetti-20-e03.tptp.smt28317141COMSPEN201922337qf_shls_sat325903complete0.0810420.08113113176.0satsat
433168258qf_shls_sat/spaguetti-20-e04.tptp.smt28317138COMSPEN201922337qf_shls_sat325903complete0.0740040.0740491113176.0satsat
433168255qf_shls_sat/spaguetti-20-e05.tptp.smt28317135COMSPEN201922337qf_shls_sat325903complete0.082410.0824901113176.0unsatunsat
433168248qf_shls_sat/spaguetti-20-e06.tptp.smt28317128COMSPEN201922337qf_shls_sat325903complete0.0943420.094417113176.0unsatunsat
433168245qf_shls_sat/spaguetti-20-e07.tptp.smt28317125COMSPEN201922337qf_shls_sat325903complete0.0733530.0734531113176.0satsat
433168239qf_shls_sat/spaguetti-20-e08.tptp.smt28317119COMSPEN201922337qf_shls_sat325903complete0.0671140.067206113176.0satsat
433168242qf_shls_sat/spaguetti-20-e09.tptp.smt28317122COMSPEN201922337qf_shls_sat325903complete0.064320.064404113176.0satsat
433168179qf_shls_sat/spaguetti-20-e10.tptp.smt28317059COMSPEN201922337qf_shls_sat325903complete0.0769560.077016113176.0unsatunsat