pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433329956qf_shls_sat/spaguetti-10-e01.tptp.smt28317077SPEN19.222729qf_shls326782complete0.0202570.0198061113176.0unsatunsat
433329964qf_shls_sat/spaguetti-10-e02.tptp.smt28317085SPEN19.222729qf_shls326782complete0.0335230.032934113176.0satsat
433329960qf_shls_sat/spaguetti-10-e03.tptp.smt28317081SPEN19.222729qf_shls326782complete0.0219270.0213739113176.0unsatunsat
433329971qf_shls_sat/spaguetti-10-e04.tptp.smt28317092SPEN19.222729qf_shls326782complete0.0210990.020607113176.0unsatunsat
433329968qf_shls_sat/spaguetti-10-e05.tptp.smt28317089SPEN19.222729qf_shls326782complete0.0340870.0334779113176.0satsat
433329977qf_shls_sat/spaguetti-10-e06.tptp.smt28317098SPEN19.222729qf_shls326782complete0.0273880.0267579113176.0satsat
433329974qf_shls_sat/spaguetti-10-e07.tptp.smt28317095SPEN19.222729qf_shls326782complete0.0312020.03053113176.0satsat
433329930qf_shls_sat/spaguetti-10-e08.tptp.smt28317051SPEN19.222729qf_shls326782complete0.0194360.0188819113176.0unsatunsat
433329935qf_shls_sat/spaguetti-10-e09.tptp.smt28317056SPEN19.222729qf_shls326782complete0.0165820.016089113176.0unsatunsat
433329993qf_shls_sat/spaguetti-10-e10.tptp.smt28317114SPEN19.222729qf_shls326782complete0.0313230.0306859113176.0satsat
433329996qf_shls_sat/spaguetti-11-e01.tptp.smt28317117SPEN19.222729qf_shls326782complete0.0202380.019773113176.0unsatunsat
433329994qf_shls_sat/spaguetti-11-e02.tptp.smt28317115SPEN19.222729qf_shls326782complete0.032230.031565113176.0satsat
433329990qf_shls_sat/spaguetti-11-e03.tptp.smt28317111SPEN19.222729qf_shls326782complete0.0341310.0334971113176.0satsat
433329989qf_shls_sat/spaguetti-11-e04.tptp.smt28317110SPEN19.222729qf_shls326782complete0.0383780.0378639113176.0unsatunsat
433329986qf_shls_sat/spaguetti-11-e05.tptp.smt28317107SPEN19.222729qf_shls326782complete0.0368820.036296113176.0satsat
433329983qf_shls_sat/spaguetti-11-e06.tptp.smt28317104SPEN19.222729qf_shls326782complete0.0518730.0511819113176.0satsat
433329980qf_shls_sat/spaguetti-11-e07.tptp.smt28317101SPEN19.222729qf_shls326782complete0.0223680.021869113176.0unsatunsat
433330031qf_shls_sat/spaguetti-11-e08.tptp.smt28317152SPEN19.222729qf_shls326782complete0.02910.028504113176.0satsat
433330036qf_shls_sat/spaguetti-11-e09.tptp.smt28317157SPEN19.222729qf_shls326782complete0.0268530.026305113176.0unsatunsat
433329963qf_shls_sat/spaguetti-11-e10.tptp.smt28317084SPEN19.222729qf_shls326782complete0.0438880.0432301113176.0satsat
433329950qf_shls_sat/spaguetti-12-e01.tptp.smt28317071SPEN19.222729qf_shls326782complete0.0324080.0320041113176.0unsatunsat
433329948qf_shls_sat/spaguetti-12-e02.tptp.smt28317069SPEN19.222729qf_shls326782complete0.0383380.037829113176.0unsatunsat
433329944qf_shls_sat/spaguetti-12-e03.tptp.smt28317065SPEN19.222729qf_shls326782complete0.0293410.0288589113176.0unsatunsat
433329943qf_shls_sat/spaguetti-12-e04.tptp.smt28317064SPEN19.222729qf_shls326782complete0.0275560.027064113176.0unsatunsat
433329939qf_shls_sat/spaguetti-12-e05.tptp.smt28317060SPEN19.222729qf_shls326782complete0.0387690.0382241113176.0satsat
433329933qf_shls_sat/spaguetti-12-e06.tptp.smt28317054SPEN19.222729qf_shls326782complete0.0329010.032373113176.0unsatunsat
433329929qf_shls_sat/spaguetti-12-e07.tptp.smt28317050SPEN19.222729qf_shls326782complete0.0297260.0291691113176.0unsatunsat
433329973qf_shls_sat/spaguetti-12-e08.tptp.smt28317094SPEN19.222729qf_shls326782complete0.0527180.052128113176.0satsat
433329976qf_shls_sat/spaguetti-12-e09.tptp.smt28317097SPEN19.222729qf_shls326782complete0.0359080.0353131113176.0satsat
433330013qf_shls_sat/spaguetti-12-e10.tptp.smt28317134SPEN19.222729qf_shls326782complete0.0416590.0410471113176.0satsat
433330002qf_shls_sat/spaguetti-13-e01.tptp.smt28317123SPEN19.222729qf_shls326782complete0.0286810.0281849113176.0unsatunsat
433330015qf_shls_sat/spaguetti-13-e02.tptp.smt28317136SPEN19.222729qf_shls326782complete0.0510010.050871127516.0satsat
433330010qf_shls_sat/spaguetti-13-e03.tptp.smt28317131SPEN19.222729qf_shls326782complete0.0356560.0351881113176.0unsatunsat
433330026qf_shls_sat/spaguetti-13-e04.tptp.smt28317147SPEN19.222729qf_shls326782complete0.0303980.029874113176.0unsatunsat
433330021qf_shls_sat/spaguetti-13-e05.tptp.smt28317142SPEN19.222729qf_shls326782complete0.0395480.039024113176.0unsatunsat
433330034qf_shls_sat/spaguetti-13-e06.tptp.smt28317155SPEN19.222729qf_shls326782complete0.0240480.0235939113176.0unsatunsat
433330030qf_shls_sat/spaguetti-13-e07.tptp.smt28317151SPEN19.222729qf_shls326782complete0.0609560.0604429113176.0unsatunsat
433329979qf_shls_sat/spaguetti-13-e08.tptp.smt28317100SPEN19.222729qf_shls326782complete0.0646370.0640621113176.0satsat
433329982qf_shls_sat/spaguetti-13-e09.tptp.smt28317103SPEN19.222729qf_shls326782complete0.0375930.0370929113176.0unsatunsat
433329947qf_shls_sat/spaguetti-13-e10.tptp.smt28317068SPEN19.222729qf_shls326782complete0.047630.0469631113176.0satsat
433329992qf_shls_sat/spaguetti-14-e01.tptp.smt28317113SPEN19.222729qf_shls326782complete0.0730770.072468113176.0satsat
433330000qf_shls_sat/spaguetti-14-e02.tptp.smt28317121SPEN19.222729qf_shls326782complete0.039020.0385589113176.0unsatunsat
433329999qf_shls_sat/spaguetti-14-e03.tptp.smt28317120SPEN19.222729qf_shls326782complete0.0302220.0297351113176.0unsatunsat
433329981qf_shls_sat/spaguetti-14-e04.tptp.smt28317102SPEN19.222729qf_shls326782complete0.0825140.0819439113176.0satsat
433329978qf_shls_sat/spaguetti-14-e05.tptp.smt28317099SPEN19.222729qf_shls326782complete0.0513260.0508289113176.0unsatunsat
433329988qf_shls_sat/spaguetti-14-e06.tptp.smt28317109SPEN19.222729qf_shls326782complete0.0285160.028005113176.0unsatunsat
433329985qf_shls_sat/spaguetti-14-e07.tptp.smt28317106SPEN19.222729qf_shls326782complete0.0594750.0589409113176.0satsat
433330019qf_shls_sat/spaguetti-14-e08.tptp.smt28317140SPEN19.222729qf_shls326782complete0.058130.05766113176.0unsatunsat
433330025qf_shls_sat/spaguetti-14-e09.tptp.smt28317146SPEN19.222729qf_shls326782complete0.0503870.0498751113176.0unsatunsat
433329957qf_shls_sat/spaguetti-14-e10.tptp.smt28317078SPEN19.222729qf_shls326782complete0.0370190.0365449113176.0unsatunsat
433329962qf_shls_sat/spaguetti-15-e01.tptp.smt28317083SPEN19.222729qf_shls326782complete0.0893490.088766113176.0satsat
433329959qf_shls_sat/spaguetti-15-e02.tptp.smt28317080SPEN19.222729qf_shls326782complete0.0573990.0568841113176.0unsatunsat
433329958qf_shls_sat/spaguetti-15-e03.tptp.smt28317079SPEN19.222729qf_shls326782complete0.0792910.0787101113176.0satsat
433329975qf_shls_sat/spaguetti-15-e04.tptp.smt28317096SPEN19.222729qf_shls326782complete0.0522120.0516609113176.0satsat
433329972qf_shls_sat/spaguetti-15-e05.tptp.smt28317093SPEN19.222729qf_shls326782complete0.0398210.039288113176.0unsatunsat
433329970qf_shls_sat/spaguetti-15-e06.tptp.smt28317091SPEN19.222729qf_shls326782complete0.0727910.0722421113176.0satsat
433329967qf_shls_sat/spaguetti-15-e07.tptp.smt28317088SPEN19.222729qf_shls326782complete0.0678780.0672449113176.0satsat
433329937qf_shls_sat/spaguetti-15-e08.tptp.smt28317058SPEN19.222729qf_shls326782complete0.0391690.038626113176.0unsatunsat
433329942qf_shls_sat/spaguetti-15-e09.tptp.smt28317063SPEN19.222729qf_shls326782complete0.0336460.033139113176.0unsatunsat
433329997qf_shls_sat/spaguetti-15-e10.tptp.smt28317118SPEN19.222729qf_shls326782complete0.0713770.0707339113176.0satsat
433330011qf_shls_sat/spaguetti-16-e01.tptp.smt28317132SPEN19.222729qf_shls326782complete0.032770.0323309113176.0unsatunsat
433330009qf_shls_sat/spaguetti-16-e02.tptp.smt28317130SPEN19.222729qf_shls326782complete0.0337190.0332321113176.0unsatunsat
433330006qf_shls_sat/spaguetti-16-e03.tptp.smt28317127SPEN19.222729qf_shls326782complete0.0816110.0810909113176.0satsat
433330032qf_shls_sat/spaguetti-16-e04.tptp.smt28317153SPEN19.222729qf_shls326782complete0.1028620.102226113176.0satsat
433330028qf_shls_sat/spaguetti-16-e05.tptp.smt28317149SPEN19.222729qf_shls326782complete0.0273920.0269051113176.0unsatunsat
433330023qf_shls_sat/spaguetti-16-e06.tptp.smt28317144SPEN19.222729qf_shls326782complete0.0878850.0872899113176.0satsat
433330018qf_shls_sat/spaguetti-16-e07.tptp.smt28317139SPEN19.222729qf_shls326782complete0.0520650.051563113176.0unsatunsat
433329984qf_shls_sat/spaguetti-16-e08.tptp.smt28317105SPEN19.222729qf_shls326782complete0.0439520.043522113176.0unsatunsat
433329987qf_shls_sat/spaguetti-16-e09.tptp.smt28317108SPEN19.222729qf_shls326782complete0.0625770.061948113176.0satsat
433329951qf_shls_sat/spaguetti-16-e10.tptp.smt28317072SPEN19.222729qf_shls326782complete0.0950350.0944901113176.0satsat
433329946qf_shls_sat/spaguetti-17-e01.tptp.smt28317067SPEN19.222729qf_shls326782complete0.1340550.133391113176.0satsat
433329954qf_shls_sat/spaguetti-17-e02.tptp.smt28317075SPEN19.222729qf_shls326782complete0.1422810.141794113176.0satsat
433329952qf_shls_sat/spaguetti-17-e03.tptp.smt28317073SPEN19.222729qf_shls326782complete0.0698510.069394113176.0unsatunsat
433329932qf_shls_sat/spaguetti-17-e04.tptp.smt28317053SPEN19.222729qf_shls326782complete0.0959210.095335113176.0satsat
433329928qf_shls_sat/spaguetti-17-e05.tptp.smt28317049SPEN19.222729qf_shls326782complete0.1506590.149998113176.0satsat
433329940qf_shls_sat/spaguetti-17-e06.tptp.smt28317061SPEN19.222729qf_shls326782complete0.0708110.0703569113176.0unsatunsat
433329936qf_shls_sat/spaguetti-17-e07.tptp.smt28317057SPEN19.222729qf_shls326782complete0.0422720.0417929113176.0unsatunsat
433329966qf_shls_sat/spaguetti-17-e08.tptp.smt28317087SPEN19.222729qf_shls326782complete0.0573730.056948113176.0unsatunsat
433329969qf_shls_sat/spaguetti-17-e09.tptp.smt28317090SPEN19.222729qf_shls326782complete0.1028780.102185113176.0satsat
433330003qf_shls_sat/spaguetti-17-e10.tptp.smt28317124SPEN19.222729qf_shls326782complete0.1145450.113875113176.0satsat
433329941qf_shls_sat/spaguetti-18-e01.tptp.smt28317062SPEN19.222729qf_shls326782complete0.1055890.104984113176.0satsat
433329927qf_shls_sat/spaguetti-18-e02.tptp.smt28317048SPEN19.222729qf_shls326782complete0.0747830.0742861113176.0unsatunsat
433329931qf_shls_sat/spaguetti-18-e03.tptp.smt28317052SPEN19.222729qf_shls326782complete0.076750.076151113176.0satsat
433329953qf_shls_sat/spaguetti-18-e04.tptp.smt28317074SPEN19.222729qf_shls326782complete0.1545610.154002113176.0satsat
433329955qf_shls_sat/spaguetti-18-e05.tptp.smt28317076SPEN19.222729qf_shls326782complete0.1229940.122417113176.0satsat
433329945qf_shls_sat/spaguetti-18-e06.tptp.smt28317066SPEN19.222729qf_shls326782complete0.0831990.0825141113176.0satsat
433329949qf_shls_sat/spaguetti-18-e07.tptp.smt28317070SPEN19.222729qf_shls326782complete0.1401760.139597113176.0satsat
433329965qf_shls_sat/spaguetti-18-e08.tptp.smt28317086SPEN19.222729qf_shls326782complete0.0681590.067805113176.0unsatunsat
433329961qf_shls_sat/spaguetti-18-e09.tptp.smt28317082SPEN19.222729qf_shls326782complete0.0787840.078268113176.0unsatunsat
433330035qf_shls_sat/spaguetti-18-e10.tptp.smt28317156SPEN19.222729qf_shls326782complete0.0547690.0542621113176.0unsatunsat
433330022qf_shls_sat/spaguetti-19-e01.tptp.smt28317143SPEN19.222729qf_shls326782complete0.0501150.049541113176.0unsatunsat
433330029qf_shls_sat/spaguetti-19-e02.tptp.smt28317150SPEN19.222729qf_shls326782complete0.1957120.195311113176.0satsat
433330033qf_shls_sat/spaguetti-19-e03.tptp.smt28317154SPEN19.222729qf_shls326782complete0.0680210.067398113176.0satsat
433330005qf_shls_sat/spaguetti-19-e04.tptp.smt28317126SPEN19.222729qf_shls326782complete0.0558570.0553669113176.0unsatunsat
433330008qf_shls_sat/spaguetti-19-e05.tptp.smt28317129SPEN19.222729qf_shls326782complete0.2543660.253766113176.0satsat
433330012qf_shls_sat/spaguetti-19-e06.tptp.smt28317133SPEN19.222729qf_shls326782complete0.1292030.128707113176.0satsat
433330016qf_shls_sat/spaguetti-19-e07.tptp.smt28317137SPEN19.222729qf_shls326782complete0.0562260.0557211113176.0unsatunsat
433329995qf_shls_sat/spaguetti-19-e08.tptp.smt28317116SPEN19.222729qf_shls326782complete0.1020360.101409113176.0satsat
433329991qf_shls_sat/spaguetti-19-e09.tptp.smt28317112SPEN19.222729qf_shls326782complete0.0890570.0885759113176.0unsatunsat
433329934qf_shls_sat/spaguetti-19-e10.tptp.smt28317055SPEN19.222729qf_shls326782complete0.0900840.0896289113176.0unsatunsat
433330027qf_shls_sat/spaguetti-20-e01.tptp.smt28317148SPEN19.222729qf_shls326782complete0.0608580.0603001113176.0unsatunsat
433330024qf_shls_sat/spaguetti-20-e02.tptp.smt28317145SPEN19.222729qf_shls326782complete0.1845830.183942113176.0satsat
433330020qf_shls_sat/spaguetti-20-e03.tptp.smt28317141SPEN19.222729qf_shls326782complete0.2115620.211098113176.0satsat
433330017qf_shls_sat/spaguetti-20-e04.tptp.smt28317138SPEN19.222729qf_shls326782complete0.1936550.193086113176.0satsat
433330014qf_shls_sat/spaguetti-20-e05.tptp.smt28317135SPEN19.222729qf_shls326782complete0.0738540.0733801113176.0unsatunsat
433330007qf_shls_sat/spaguetti-20-e06.tptp.smt28317128SPEN19.222729qf_shls326782complete0.1224790.122011113176.0unsatunsat
433330004qf_shls_sat/spaguetti-20-e07.tptp.smt28317125SPEN19.222729qf_shls326782complete0.1556150.154947113176.0satsat
433329998qf_shls_sat/spaguetti-20-e08.tptp.smt28317119SPEN19.222729qf_shls326782complete0.2027340.202064113176.0satsat
433330001qf_shls_sat/spaguetti-20-e09.tptp.smt28317122SPEN19.222729qf_shls326782complete0.153140.152453113176.0satsat
433329938qf_shls_sat/spaguetti-20-e10.tptp.smt28317059SPEN19.222729qf_shls326782complete0.0685380.0679901113176.0unsatunsat