pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430493108qf_shls_sat/spaguetti-10-e01.tptp.smt28317077Harrsh 2019.322545harrsh_default326262complete2.334621.477323072612.0unsatunsat
430493116qf_shls_sat/spaguetti-10-e02.tptp.smt28317085Harrsh 2019.322545harrsh_default326262complete2.302461.464723072212.0satsat
430493112qf_shls_sat/spaguetti-10-e03.tptp.smt28317081Harrsh 2019.322545harrsh_default326262complete2.609531.553613073364.0unsatunsat
430493123qf_shls_sat/spaguetti-10-e04.tptp.smt28317092Harrsh 2019.322545harrsh_default326262complete2.513391.535863073056.0unsatunsat
430493120qf_shls_sat/spaguetti-10-e05.tptp.smt28317089Harrsh 2019.322545harrsh_default326262complete2.388931.480033072628.0satsat
430493129qf_shls_sat/spaguetti-10-e06.tptp.smt28317098Harrsh 2019.322545harrsh_default326262complete2.020661.336393072020.0satsat
430493126qf_shls_sat/spaguetti-10-e07.tptp.smt28317095Harrsh 2019.322545harrsh_default326262complete2.24551.460363072020.0satsat
430493082qf_shls_sat/spaguetti-10-e08.tptp.smt28317051Harrsh 2019.322545harrsh_default326262complete2.49411.513013073356.0unsatunsat
430493087qf_shls_sat/spaguetti-10-e09.tptp.smt28317056Harrsh 2019.322545harrsh_default326262complete2.364551.494573071980.0unsatunsat
430493145qf_shls_sat/spaguetti-10-e10.tptp.smt28317114Harrsh 2019.322545harrsh_default326262complete2.131181.423183072056.0satsat
430493148qf_shls_sat/spaguetti-11-e01.tptp.smt28317117Harrsh 2019.322545harrsh_default326262complete2.474321.537723072076.0unsatunsat
430493146qf_shls_sat/spaguetti-11-e02.tptp.smt28317115Harrsh 2019.322545harrsh_default326262complete2.13621.413273072024.0satsat
430493142qf_shls_sat/spaguetti-11-e03.tptp.smt28317111Harrsh 2019.322545harrsh_default326262complete2.273131.43843072076.0satsat
430493141qf_shls_sat/spaguetti-11-e04.tptp.smt28317110Harrsh 2019.322545harrsh_default326262complete6.323213.101523077196.0unsatunsat
430493138qf_shls_sat/spaguetti-11-e05.tptp.smt28317107Harrsh 2019.322545harrsh_default326262complete2.335691.468993072268.0satsat
430493135qf_shls_sat/spaguetti-11-e06.tptp.smt28317104Harrsh 2019.322545harrsh_default326262complete2.80621.599163072928.0satsat
430493132qf_shls_sat/spaguetti-11-e07.tptp.smt28317101Harrsh 2019.322545harrsh_default326262complete2.749891.571693072948.0unsatunsat
430493183qf_shls_sat/spaguetti-11-e08.tptp.smt28317152Harrsh 2019.322545harrsh_default326262complete2.251091.446593072664.0satsat
430493188qf_shls_sat/spaguetti-11-e09.tptp.smt28317157Harrsh 2019.322545harrsh_default326262complete3.460831.859233072408.0unsatunsat
430493115qf_shls_sat/spaguetti-11-e10.tptp.smt28317084Harrsh 2019.322545harrsh_default326262complete2.45271.567643072088.0satsat
430493102qf_shls_sat/spaguetti-12-e01.tptp.smt28317071Harrsh 2019.322545harrsh_default326262complete3.080322.306583072264.0unsatunsat
430493100qf_shls_sat/spaguetti-12-e02.tptp.smt28317069Harrsh 2019.322545harrsh_default326262complete3.537692.339063072880.0unsatunsat
430493096qf_shls_sat/spaguetti-12-e03.tptp.smt28317065Harrsh 2019.322545harrsh_default326262complete2.513232.068823072040.0unsatunsat
430493095qf_shls_sat/spaguetti-12-e04.tptp.smt28317064Harrsh 2019.322545harrsh_default326262complete3.070331.721273073316.0unsatunsat
430493091qf_shls_sat/spaguetti-12-e05.tptp.smt28317060Harrsh 2019.322545harrsh_default326262complete2.275031.859533071652.0satsat
430493085qf_shls_sat/spaguetti-12-e06.tptp.smt28317054Harrsh 2019.322545harrsh_default326262complete3.913512.120873073240.0unsatunsat
430493081qf_shls_sat/spaguetti-12-e07.tptp.smt28317050Harrsh 2019.322545harrsh_default326262complete4.205892.146163073096.0unsatunsat
430493125qf_shls_sat/spaguetti-12-e08.tptp.smt28317094Harrsh 2019.322545harrsh_default326262complete2.561811.557083072848.0satsat
430493128qf_shls_sat/spaguetti-12-e09.tptp.smt28317097Harrsh 2019.322545harrsh_default326262complete2.059761.380493071652.0satsat
430493165qf_shls_sat/spaguetti-12-e10.tptp.smt28317134Harrsh 2019.322545harrsh_default326262complete2.388391.500413072700.0satsat
430493154qf_shls_sat/spaguetti-13-e01.tptp.smt28317123Harrsh 2019.322545harrsh_default326262complete4.745552.550053074112.0unsatunsat
430493167qf_shls_sat/spaguetti-13-e02.tptp.smt28317136Harrsh 2019.322545harrsh_default326262complete2.157391.424463071988.0satsat
430493162qf_shls_sat/spaguetti-13-e03.tptp.smt28317131Harrsh 2019.322545harrsh_default326262complete3.425371.889093072596.0unsatunsat
430493178qf_shls_sat/spaguetti-13-e04.tptp.smt28317147Harrsh 2019.322545harrsh_default326262complete4.583122.305943074216.0unsatunsat
430493173qf_shls_sat/spaguetti-13-e05.tptp.smt28317142Harrsh 2019.322545harrsh_default326262complete2.841131.625923072680.0unsatunsat
430493186qf_shls_sat/spaguetti-13-e06.tptp.smt28317155Harrsh 2019.322545harrsh_default326262complete3.60911.934243074080.0unsatunsat
430493182qf_shls_sat/spaguetti-13-e07.tptp.smt28317151Harrsh 2019.322545harrsh_default326262complete2.648311.596663072916.0unsatunsat
430493131qf_shls_sat/spaguetti-13-e08.tptp.smt28317100Harrsh 2019.322545harrsh_default326262complete2.730791.57793073608.0satsat
430493134qf_shls_sat/spaguetti-13-e09.tptp.smt28317103Harrsh 2019.322545harrsh_default326262complete2.852561.619273072124.0unsatunsat
430493099qf_shls_sat/spaguetti-13-e10.tptp.smt28317068Harrsh 2019.322545harrsh_default326262complete2.196221.827883071736.0satsat
430493144qf_shls_sat/spaguetti-14-e01.tptp.smt28317113Harrsh 2019.322545harrsh_default326262complete3.892732.166223072988.0satsat
430493152qf_shls_sat/spaguetti-14-e02.tptp.smt28317121Harrsh 2019.322545harrsh_default326262complete5.726092.95213075216.0unsatunsat
430493151qf_shls_sat/spaguetti-14-e03.tptp.smt28317120Harrsh 2019.322545harrsh_default326262complete2.714421.593523071976.0unsatunsat
430493133qf_shls_sat/spaguetti-14-e04.tptp.smt28317102Harrsh 2019.322545harrsh_default326262complete2.86361.633143073532.0satsat
430493130qf_shls_sat/spaguetti-14-e05.tptp.smt28317099Harrsh 2019.322545harrsh_default326262complete4.245282.19683073624.0unsatunsat
430493140qf_shls_sat/spaguetti-14-e06.tptp.smt28317109Harrsh 2019.322545harrsh_default326262complete3.611511.923193074156.0unsatunsat
430493137qf_shls_sat/spaguetti-14-e07.tptp.smt28317106Harrsh 2019.322545harrsh_default326262complete2.383251.476643072672.0satsat
430493171qf_shls_sat/spaguetti-14-e08.tptp.smt28317140Harrsh 2019.322545harrsh_default326262complete3.33971.819773073048.0unsatunsat
430493177qf_shls_sat/spaguetti-14-e09.tptp.smt28317146Harrsh 2019.322545harrsh_default326262complete5.060592.804823074072.0unsatunsat
430493109qf_shls_sat/spaguetti-14-e10.tptp.smt28317078Harrsh 2019.322545harrsh_default326262complete5.643352.943813075960.0unsatunsat
430493114qf_shls_sat/spaguetti-15-e01.tptp.smt28317083Harrsh 2019.322545harrsh_default326262complete2.610142.075873072192.0satsat
430493111qf_shls_sat/spaguetti-15-e02.tptp.smt28317080Harrsh 2019.322545harrsh_default326262complete4.661382.450533074124.0unsatunsat
430493110qf_shls_sat/spaguetti-15-e03.tptp.smt28317079Harrsh 2019.322545harrsh_default326262complete2.605881.539053073288.0satsat
430493127qf_shls_sat/spaguetti-15-e04.tptp.smt28317096Harrsh 2019.322545harrsh_default326262complete2.4811.505273073028.0satsat
430493124qf_shls_sat/spaguetti-15-e05.tptp.smt28317093Harrsh 2019.322545harrsh_default326262complete3.29371.837143073620.0unsatunsat
430493122qf_shls_sat/spaguetti-15-e06.tptp.smt28317091Harrsh 2019.322545harrsh_default326262complete2.532711.549463072508.0satsat
430493119qf_shls_sat/spaguetti-15-e07.tptp.smt28317088Harrsh 2019.322545harrsh_default326262complete2.51421.559123072240.0satsat
430493089qf_shls_sat/spaguetti-15-e08.tptp.smt28317058Harrsh 2019.322545harrsh_default326262complete2.359261.977473072060.0unsatunsat
430493094qf_shls_sat/spaguetti-15-e09.tptp.smt28317063Harrsh 2019.322545harrsh_default326262complete3.00342.02513073380.0unsatunsat
430493149qf_shls_sat/spaguetti-15-e10.tptp.smt28317118Harrsh 2019.322545harrsh_default326262complete2.440651.512563072508.0satsat
430493163qf_shls_sat/spaguetti-16-e01.tptp.smt28317132Harrsh 2019.322545harrsh_default326262complete4.046192.18943073496.0unsatunsat
430493161qf_shls_sat/spaguetti-16-e02.tptp.smt28317130Harrsh 2019.322545harrsh_default326262complete3.442921.892033073372.0unsatunsat
430493158qf_shls_sat/spaguetti-16-e03.tptp.smt28317127Harrsh 2019.322545harrsh_default326262complete2.578151.546973072516.0satsat
430493184qf_shls_sat/spaguetti-16-e04.tptp.smt28317153Harrsh 2019.322545harrsh_default326262complete2.801261.623553072896.0satsat
430493180qf_shls_sat/spaguetti-16-e05.tptp.smt28317149Harrsh 2019.322545harrsh_default326262complete2.620081.58393072756.0unsatunsat
430493175qf_shls_sat/spaguetti-16-e06.tptp.smt28317144Harrsh 2019.322545harrsh_default326262complete2.521581.521293073052.0satsat
430493170qf_shls_sat/spaguetti-16-e07.tptp.smt28317139Harrsh 2019.322545harrsh_default326262complete4.658562.606633073828.0unsatunsat
430493136qf_shls_sat/spaguetti-16-e08.tptp.smt28317105Harrsh 2019.322545harrsh_default326262complete3.133031.730113074056.0unsatunsat
430493139qf_shls_sat/spaguetti-16-e09.tptp.smt28317108Harrsh 2019.322545harrsh_default326262complete2.317081.451933071952.0satsat
430493103qf_shls_sat/spaguetti-16-e10.tptp.smt28317072Harrsh 2019.322545harrsh_default326262complete2.659172.12463072536.0satsat
430493098qf_shls_sat/spaguetti-17-e01.tptp.smt28317067Harrsh 2019.322545harrsh_default326262complete3.214932.166653072928.0satsat
430493106qf_shls_sat/spaguetti-17-e02.tptp.smt28317075Harrsh 2019.322545harrsh_default326262complete3.344411.858733074076.0satsat
430493104qf_shls_sat/spaguetti-17-e03.tptp.smt28317073Harrsh 2019.322545harrsh_default326262complete3.392271.857473073176.0unsatunsat
430493084qf_shls_sat/spaguetti-17-e04.tptp.smt28317053Harrsh 2019.322545harrsh_default326262complete2.358091.44873072568.0satsat
430493080qf_shls_sat/spaguetti-17-e05.tptp.smt28317049Harrsh 2019.322545harrsh_default326262complete2.828531.622113073072.0satsat
430493092qf_shls_sat/spaguetti-17-e06.tptp.smt28317061Harrsh 2019.322545harrsh_default326262complete10.79057.7243077204.0unsatunsat
430493088qf_shls_sat/spaguetti-17-e07.tptp.smt28317057Harrsh 2019.322545harrsh_default326262complete4.37342.925993074196.0unsatunsat
430493118qf_shls_sat/spaguetti-17-e08.tptp.smt28317087Harrsh 2019.322545harrsh_default326262complete4.173352.233783074180.0unsatunsat
430493121qf_shls_sat/spaguetti-17-e09.tptp.smt28317090Harrsh 2019.322545harrsh_default326262complete4.907722.729813074440.0satsat
430493155qf_shls_sat/spaguetti-17-e10.tptp.smt28317124Harrsh 2019.322545harrsh_default326262complete2.642171.574183073424.0satsat
430493093qf_shls_sat/spaguetti-18-e01.tptp.smt28317062Harrsh 2019.322545harrsh_default326262complete2.703651.95843072112.0satsat
430493079qf_shls_sat/spaguetti-18-e02.tptp.smt28317048Harrsh 2019.322545harrsh_default326262complete3.345221.853133072776.0unsatunsat
430493083qf_shls_sat/spaguetti-18-e03.tptp.smt28317052Harrsh 2019.322545harrsh_default326262complete2.325341.455753072532.0satsat
430493105qf_shls_sat/spaguetti-18-e04.tptp.smt28317074Harrsh 2019.322545harrsh_default326262complete2.812471.618093073528.0satsat
430493107qf_shls_sat/spaguetti-18-e05.tptp.smt28317076Harrsh 2019.322545harrsh_default326262complete2.937661.682753072528.0satsat
430493097qf_shls_sat/spaguetti-18-e06.tptp.smt28317066Harrsh 2019.322545harrsh_default326262complete2.534641.984613072084.0satsat
430493101qf_shls_sat/spaguetti-18-e07.tptp.smt28317070Harrsh 2019.322545harrsh_default326262complete2.71952.054873073040.0satsat
430493117qf_shls_sat/spaguetti-18-e08.tptp.smt28317086Harrsh 2019.322545harrsh_default326262complete2.74791.60973073408.0unsatunsat
430493113qf_shls_sat/spaguetti-18-e09.tptp.smt28317082Harrsh 2019.322545harrsh_default326262complete4.336562.788323074584.0unsatunsat
430493187qf_shls_sat/spaguetti-18-e10.tptp.smt28317156Harrsh 2019.322545harrsh_default326262complete2.556011.53753072496.0unsatunsat
430493174qf_shls_sat/spaguetti-19-e01.tptp.smt28317143Harrsh 2019.322545harrsh_default326262complete3.325171.854953072944.0unsatunsat
430493181qf_shls_sat/spaguetti-19-e02.tptp.smt28317150Harrsh 2019.322545harrsh_default326262complete4.992952.878723073052.0satsat
430493185qf_shls_sat/spaguetti-19-e03.tptp.smt28317154Harrsh 2019.322545harrsh_default326262complete2.308561.470413072088.0satsat
430493157qf_shls_sat/spaguetti-19-e04.tptp.smt28317126Harrsh 2019.322545harrsh_default326262complete2.960721.675863073152.0unsatunsat
430493160qf_shls_sat/spaguetti-19-e05.tptp.smt28317129Harrsh 2019.322545harrsh_default326262complete16.390613.00153074280.0satsat
430493164qf_shls_sat/spaguetti-19-e06.tptp.smt28317133Harrsh 2019.322545harrsh_default326262complete3.218171.846813073476.0satsat
430493168qf_shls_sat/spaguetti-19-e07.tptp.smt28317137Harrsh 2019.322545harrsh_default326262complete3.226511.79893073516.0unsatunsat
430493147qf_shls_sat/spaguetti-19-e08.tptp.smt28317116Harrsh 2019.322545harrsh_default326262complete2.426551.505013073120.0satsat
430493143qf_shls_sat/spaguetti-19-e09.tptp.smt28317112Harrsh 2019.322545harrsh_default326262complete3.398971.843723073888.0unsatunsat
430493086qf_shls_sat/spaguetti-19-e10.tptp.smt28317055Harrsh 2019.322545harrsh_default326262complete7.50614.327733077112.0unsatunsat
430493179qf_shls_sat/spaguetti-20-e01.tptp.smt28317148Harrsh 2019.322545harrsh_default326262complete7.435044.131763077264.0unsatunsat
430493176qf_shls_sat/spaguetti-20-e02.tptp.smt28317145Harrsh 2019.322545harrsh_default326262complete2.722751.599963073020.0satsat
430493172qf_shls_sat/spaguetti-20-e03.tptp.smt28317141Harrsh 2019.322545harrsh_default326262complete3.031331.690823073184.0satsat
430493169qf_shls_sat/spaguetti-20-e04.tptp.smt28317138Harrsh 2019.322545harrsh_default326262complete2.798411.622513072980.0satsat
430493166qf_shls_sat/spaguetti-20-e05.tptp.smt28317135Harrsh 2019.322545harrsh_default326262complete45.977141.2583083696.0unsatunsat
430493159qf_shls_sat/spaguetti-20-e06.tptp.smt28317128Harrsh 2019.322545harrsh_default326262complete5.506383.087373074368.0unsatunsat
430493156qf_shls_sat/spaguetti-20-e07.tptp.smt28317125Harrsh 2019.322545harrsh_default326262complete2.7731.62353072968.0satsat
430493150qf_shls_sat/spaguetti-20-e08.tptp.smt28317119Harrsh 2019.322545harrsh_default326262complete2.735021.575053072436.0satsat
430493153qf_shls_sat/spaguetti-20-e09.tptp.smt28317122Harrsh 2019.322545harrsh_default326262complete2.607381.599493072236.0satsat
430493090qf_shls_sat/spaguetti-20-e10.tptp.smt28317059Harrsh 2019.322545harrsh_default326262complete4.0682.763763073648.0unsatunsat