pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430511851qf_shls_sat/spaguetti-10-e01.tptp.smt28317077SPEN22607qf_shls326476complete0.0190680.018613113176.0unsatunsat
430511859qf_shls_sat/spaguetti-10-e02.tptp.smt28317085SPEN22607qf_shls326476complete0.0310730.030603113176.0satsat
430511855qf_shls_sat/spaguetti-10-e03.tptp.smt28317081SPEN22607qf_shls326476complete0.0203830.0199179113176.0unsatunsat
430511866qf_shls_sat/spaguetti-10-e04.tptp.smt28317092SPEN22607qf_shls326476complete0.0207820.0203061113176.0unsatunsat
430511863qf_shls_sat/spaguetti-10-e05.tptp.smt28317089SPEN22607qf_shls326476complete0.0334860.032868113176.0satsat
430511872qf_shls_sat/spaguetti-10-e06.tptp.smt28317098SPEN22607qf_shls326476complete0.0282720.0276381113176.0satsat
430511869qf_shls_sat/spaguetti-10-e07.tptp.smt28317095SPEN22607qf_shls326476complete0.0295150.0288509113176.0satsat
430511825qf_shls_sat/spaguetti-10-e08.tptp.smt28317051SPEN22607qf_shls326476complete0.018650.0181189113176.0unsatunsat
430511830qf_shls_sat/spaguetti-10-e09.tptp.smt28317056SPEN22607qf_shls326476complete0.0159980.0155331113176.0unsatunsat
430511888qf_shls_sat/spaguetti-10-e10.tptp.smt28317114SPEN22607qf_shls326476complete0.0300540.029426113176.0satsat
430511891qf_shls_sat/spaguetti-11-e01.tptp.smt28317117SPEN22607qf_shls326476complete0.0184890.0180359113176.0unsatunsat
430511889qf_shls_sat/spaguetti-11-e02.tptp.smt28317115SPEN22607qf_shls326476complete0.0306760.0300781113176.0satsat
430511885qf_shls_sat/spaguetti-11-e03.tptp.smt28317111SPEN22607qf_shls326476complete0.0330350.0323861113176.0satsat
430511884qf_shls_sat/spaguetti-11-e04.tptp.smt28317110SPEN22607qf_shls326476complete0.0342180.0337561113176.0unsatunsat
430511881qf_shls_sat/spaguetti-11-e05.tptp.smt28317107SPEN22607qf_shls326476complete0.0369060.036403113176.0satsat
430511878qf_shls_sat/spaguetti-11-e06.tptp.smt28317104SPEN22607qf_shls326476complete0.0466020.0459559113176.0satsat
430511875qf_shls_sat/spaguetti-11-e07.tptp.smt28317101SPEN22607qf_shls326476complete0.0213910.0209081113176.0unsatunsat
430511926qf_shls_sat/spaguetti-11-e08.tptp.smt28317152SPEN22607qf_shls326476complete0.0302170.0295919113176.0satsat
430511931qf_shls_sat/spaguetti-11-e09.tptp.smt28317157SPEN22607qf_shls326476complete0.0247840.0243113176.0unsatunsat
430511858qf_shls_sat/spaguetti-11-e10.tptp.smt28317084SPEN22607qf_shls326476complete0.0408750.0402439113176.0satsat
430511845qf_shls_sat/spaguetti-12-e01.tptp.smt28317071SPEN22607qf_shls326476complete0.0292960.0288219113176.0unsatunsat
430511843qf_shls_sat/spaguetti-12-e02.tptp.smt28317069SPEN22607qf_shls326476complete0.0351420.0346749113176.0unsatunsat
430511839qf_shls_sat/spaguetti-12-e03.tptp.smt28317065SPEN22607qf_shls326476complete0.025910.0254031113176.0unsatunsat
430511838qf_shls_sat/spaguetti-12-e04.tptp.smt28317064SPEN22607qf_shls326476complete0.0256520.0251241113176.0unsatunsat
430511834qf_shls_sat/spaguetti-12-e05.tptp.smt28317060SPEN22607qf_shls326476complete0.0365960.035982113176.0satsat
430511828qf_shls_sat/spaguetti-12-e06.tptp.smt28317054SPEN22607qf_shls326476complete0.0291480.0286029113176.0unsatunsat
430511824qf_shls_sat/spaguetti-12-e07.tptp.smt28317050SPEN22607qf_shls326476complete0.0281320.0276259113176.0unsatunsat
430511868qf_shls_sat/spaguetti-12-e08.tptp.smt28317094SPEN22607qf_shls326476complete0.0496290.0490119113176.0satsat
430511871qf_shls_sat/spaguetti-12-e09.tptp.smt28317097SPEN22607qf_shls326476complete0.0359770.0352981113176.0satsat
430511908qf_shls_sat/spaguetti-12-e10.tptp.smt28317134SPEN22607qf_shls326476complete0.0403440.0396461113176.0satsat
430511897qf_shls_sat/spaguetti-13-e01.tptp.smt28317123SPEN22607qf_shls326476complete0.0262340.025745113176.0unsatunsat
430511910qf_shls_sat/spaguetti-13-e02.tptp.smt28317136SPEN22607qf_shls326476complete0.0458180.0452101113176.0satsat
430511905qf_shls_sat/spaguetti-13-e03.tptp.smt28317131SPEN22607qf_shls326476complete0.0333730.032876113176.0unsatunsat
430511921qf_shls_sat/spaguetti-13-e04.tptp.smt28317147SPEN22607qf_shls326476complete0.0277670.027269113176.0unsatunsat
430511916qf_shls_sat/spaguetti-13-e05.tptp.smt28317142SPEN22607qf_shls326476complete0.036340.0358621113176.0unsatunsat
430511929qf_shls_sat/spaguetti-13-e06.tptp.smt28317155SPEN22607qf_shls326476complete0.0229160.022375113176.0unsatunsat
430511925qf_shls_sat/spaguetti-13-e07.tptp.smt28317151SPEN22607qf_shls326476complete0.0544650.0540091113176.0unsatunsat
430511874qf_shls_sat/spaguetti-13-e08.tptp.smt28317100SPEN22607qf_shls326476complete0.0619280.06177113176.0satsat
430511877qf_shls_sat/spaguetti-13-e09.tptp.smt28317103SPEN22607qf_shls326476complete0.0360910.0356199113176.0unsatunsat
430511842qf_shls_sat/spaguetti-13-e10.tptp.smt28317068SPEN22607qf_shls326476complete0.0450190.044435113176.0satsat
430511887qf_shls_sat/spaguetti-14-e01.tptp.smt28317113SPEN22607qf_shls326476complete0.0664120.06579113176.0satsat
430511895qf_shls_sat/spaguetti-14-e02.tptp.smt28317121SPEN22607qf_shls326476complete0.0370990.0365561113176.0unsatunsat
430511894qf_shls_sat/spaguetti-14-e03.tptp.smt28317120SPEN22607qf_shls326476complete0.0278880.0273879113176.0unsatunsat
430511876qf_shls_sat/spaguetti-14-e04.tptp.smt28317102SPEN22607qf_shls326476complete0.0797230.0796031113176.0satsat
430511873qf_shls_sat/spaguetti-14-e05.tptp.smt28317099SPEN22607qf_shls326476complete0.0461930.045675113176.0unsatunsat
430511883qf_shls_sat/spaguetti-14-e06.tptp.smt28317109SPEN22607qf_shls326476complete0.0270770.0265801113176.0unsatunsat
430511880qf_shls_sat/spaguetti-14-e07.tptp.smt28317106SPEN22607qf_shls326476complete0.0571410.0565591113176.0satsat
430511914qf_shls_sat/spaguetti-14-e08.tptp.smt28317140SPEN22607qf_shls326476complete0.0534860.0529579113176.0unsatunsat
430511920qf_shls_sat/spaguetti-14-e09.tptp.smt28317146SPEN22607qf_shls326476complete0.0464850.0460319113176.0unsatunsat
430511852qf_shls_sat/spaguetti-14-e10.tptp.smt28317078SPEN22607qf_shls326476complete0.0355610.0350979113176.0unsatunsat
430511857qf_shls_sat/spaguetti-15-e01.tptp.smt28317083SPEN22607qf_shls326476complete0.0863780.085761113176.0satsat
430511854qf_shls_sat/spaguetti-15-e02.tptp.smt28317080SPEN22607qf_shls326476complete0.0519090.051413113176.0unsatunsat
430511853qf_shls_sat/spaguetti-15-e03.tptp.smt28317079SPEN22607qf_shls326476complete0.0756330.0750691113176.0satsat
430511870qf_shls_sat/spaguetti-15-e04.tptp.smt28317096SPEN22607qf_shls326476complete0.050350.0497251113176.0satsat
430511867qf_shls_sat/spaguetti-15-e05.tptp.smt28317093SPEN22607qf_shls326476complete0.0369510.0364389113176.0unsatunsat
430511865qf_shls_sat/spaguetti-15-e06.tptp.smt28317091SPEN22607qf_shls326476complete0.0691490.068519113176.0satsat
430511862qf_shls_sat/spaguetti-15-e07.tptp.smt28317088SPEN22607qf_shls326476complete0.0624460.0618939113176.0satsat
430511832qf_shls_sat/spaguetti-15-e08.tptp.smt28317058SPEN22607qf_shls326476complete0.0359770.035522113176.0unsatunsat
430511837qf_shls_sat/spaguetti-15-e09.tptp.smt28317063SPEN22607qf_shls326476complete0.0310260.0305399113176.0unsatunsat
430511892qf_shls_sat/spaguetti-15-e10.tptp.smt28317118SPEN22607qf_shls326476complete0.0675220.0668679113176.0satsat
430511906qf_shls_sat/spaguetti-16-e01.tptp.smt28317132SPEN22607qf_shls326476complete0.0308180.0303591113176.0unsatunsat
430511904qf_shls_sat/spaguetti-16-e02.tptp.smt28317130SPEN22607qf_shls326476complete0.0314090.030924113176.0unsatunsat
430511901qf_shls_sat/spaguetti-16-e03.tptp.smt28317127SPEN22607qf_shls326476complete0.0791530.07851113176.0satsat
430511927qf_shls_sat/spaguetti-16-e04.tptp.smt28317153SPEN22607qf_shls326476complete0.097140.0964801113176.0satsat
430511923qf_shls_sat/spaguetti-16-e05.tptp.smt28317149SPEN22607qf_shls326476complete0.0250630.0245929113176.0unsatunsat
430511918qf_shls_sat/spaguetti-16-e06.tptp.smt28317144SPEN22607qf_shls326476complete0.0830940.0824981113176.0satsat
430511913qf_shls_sat/spaguetti-16-e07.tptp.smt28317139SPEN22607qf_shls326476complete0.0512190.050696113176.0unsatunsat
430511879qf_shls_sat/spaguetti-16-e08.tptp.smt28317105SPEN22607qf_shls326476complete0.040150.0397099113176.0unsatunsat
430511882qf_shls_sat/spaguetti-16-e09.tptp.smt28317108SPEN22607qf_shls326476complete0.0604860.059881113176.0satsat
430511846qf_shls_sat/spaguetti-16-e10.tptp.smt28317072SPEN22607qf_shls326476complete0.0905020.0898589113176.0satsat
430511841qf_shls_sat/spaguetti-17-e01.tptp.smt28317067SPEN22607qf_shls326476complete0.1270970.126511113176.0satsat
430511849qf_shls_sat/spaguetti-17-e02.tptp.smt28317075SPEN22607qf_shls326476complete0.1332570.132649113176.0satsat
430511847qf_shls_sat/spaguetti-17-e03.tptp.smt28317073SPEN22607qf_shls326476complete0.0740150.073533113176.0unsatunsat
430511827qf_shls_sat/spaguetti-17-e04.tptp.smt28317053SPEN22607qf_shls326476complete0.0963770.095758113176.0satsat
430511823qf_shls_sat/spaguetti-17-e05.tptp.smt28317049SPEN22607qf_shls326476complete0.1381730.137541113176.0satsat
430511835qf_shls_sat/spaguetti-17-e06.tptp.smt28317061SPEN22607qf_shls326476complete0.0619580.061482113176.0unsatunsat
430511831qf_shls_sat/spaguetti-17-e07.tptp.smt28317057SPEN22607qf_shls326476complete0.0394890.039004113176.0unsatunsat
430511861qf_shls_sat/spaguetti-17-e08.tptp.smt28317087SPEN22607qf_shls326476complete0.0507830.0502829113176.0unsatunsat
430511864qf_shls_sat/spaguetti-17-e09.tptp.smt28317090SPEN22607qf_shls326476complete0.0957550.095177113176.0satsat
430511898qf_shls_sat/spaguetti-17-e10.tptp.smt28317124SPEN22607qf_shls326476complete0.1093480.108885113176.0satsat
430511836qf_shls_sat/spaguetti-18-e01.tptp.smt28317062SPEN22607qf_shls326476complete0.1000620.0994209113176.0satsat
430511822qf_shls_sat/spaguetti-18-e02.tptp.smt28317048SPEN22607qf_shls326476complete0.0676930.06714113176.0unsatunsat
430511826qf_shls_sat/spaguetti-18-e03.tptp.smt28317052SPEN22607qf_shls326476complete0.0745680.0739709113176.0satsat
430511848qf_shls_sat/spaguetti-18-e04.tptp.smt28317074SPEN22607qf_shls326476complete0.146650.146062113176.0satsat
430511850qf_shls_sat/spaguetti-18-e05.tptp.smt28317076SPEN22607qf_shls326476complete0.1183610.11781113176.0satsat
430511840qf_shls_sat/spaguetti-18-e06.tptp.smt28317066SPEN22607qf_shls326476complete0.0800670.0794629113176.0satsat
430511844qf_shls_sat/spaguetti-18-e07.tptp.smt28317070SPEN22607qf_shls326476complete0.1313730.13069113176.0satsat
430511860qf_shls_sat/spaguetti-18-e08.tptp.smt28317086SPEN22607qf_shls326476complete0.0615810.0610639113176.0unsatunsat
430511856qf_shls_sat/spaguetti-18-e09.tptp.smt28317082SPEN22607qf_shls326476complete0.0751050.0745891113176.0unsatunsat
430511930qf_shls_sat/spaguetti-18-e10.tptp.smt28317156SPEN22607qf_shls326476complete0.0482480.047762113176.0unsatunsat
430511917qf_shls_sat/spaguetti-19-e01.tptp.smt28317143SPEN22607qf_shls326476complete0.0452170.0446939113176.0unsatunsat
430511924qf_shls_sat/spaguetti-19-e02.tptp.smt28317150SPEN22607qf_shls326476complete0.1806540.180079113176.0satsat
430511928qf_shls_sat/spaguetti-19-e03.tptp.smt28317154SPEN22607qf_shls326476complete0.0667940.066184113176.0satsat
430511900qf_shls_sat/spaguetti-19-e04.tptp.smt28317126SPEN22607qf_shls326476complete0.0498770.0494211113176.0unsatunsat
430511903qf_shls_sat/spaguetti-19-e05.tptp.smt28317129SPEN22607qf_shls326476complete0.2333940.232803113176.0satsat
430511907qf_shls_sat/spaguetti-19-e06.tptp.smt28317133SPEN22607qf_shls326476complete0.1207650.120144113176.0satsat
430511911qf_shls_sat/spaguetti-19-e07.tptp.smt28317137SPEN22607qf_shls326476complete0.0499510.0494281113176.0unsatunsat
430511890qf_shls_sat/spaguetti-19-e08.tptp.smt28317116SPEN22607qf_shls326476complete0.0985150.0980411113176.0satsat
430511886qf_shls_sat/spaguetti-19-e09.tptp.smt28317112SPEN22607qf_shls326476complete0.0809340.0804559113176.0unsatunsat
430511829qf_shls_sat/spaguetti-19-e10.tptp.smt28317055SPEN22607qf_shls326476complete0.0796130.0790921113176.0unsatunsat
430511922qf_shls_sat/spaguetti-20-e01.tptp.smt28317148SPEN22607qf_shls326476complete0.0550640.054545113176.0unsatunsat
430511919qf_shls_sat/spaguetti-20-e02.tptp.smt28317145SPEN22607qf_shls326476complete0.1764880.175878113176.0satsat
430511915qf_shls_sat/spaguetti-20-e03.tptp.smt28317141SPEN22607qf_shls326476complete0.2023350.201678113176.0satsat
430511912qf_shls_sat/spaguetti-20-e04.tptp.smt28317138SPEN22607qf_shls326476complete0.1823820.182204113176.0satsat
430511909qf_shls_sat/spaguetti-20-e05.tptp.smt28317135SPEN22607qf_shls326476complete0.0666540.066118113176.0unsatunsat
430511902qf_shls_sat/spaguetti-20-e06.tptp.smt28317128SPEN22607qf_shls326476complete0.1181070.117613113176.0unsatunsat
430511899qf_shls_sat/spaguetti-20-e07.tptp.smt28317125SPEN22607qf_shls326476complete0.1515130.150954113176.0satsat
430511893qf_shls_sat/spaguetti-20-e08.tptp.smt28317119SPEN22607qf_shls326476complete0.1931310.192515113176.0satsat
430511896qf_shls_sat/spaguetti-20-e09.tptp.smt28317122SPEN22607qf_shls326476complete0.1467750.146272113176.0satsat
430511833qf_shls_sat/spaguetti-20-e10.tptp.smt28317059SPEN22607qf_shls326476complete0.0600410.0595599113176.0unsatunsat