pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433168307qf_shls_sat/spaguetti-10-e01.tptp.smt28317077Harrsh 2019.922687harrsh_default326665complete2.326041.466493071964.0unsatunsat
433168315qf_shls_sat/spaguetti-10-e02.tptp.smt28317085Harrsh 2019.922687harrsh_default326665complete2.309141.444133072344.0satsat
433168311qf_shls_sat/spaguetti-10-e03.tptp.smt28317081Harrsh 2019.922687harrsh_default326665complete2.607471.555683072856.0unsatunsat
433168322qf_shls_sat/spaguetti-10-e04.tptp.smt28317092Harrsh 2019.922687harrsh_default326665complete2.528591.525543072644.0unsatunsat
433168319qf_shls_sat/spaguetti-10-e05.tptp.smt28317089Harrsh 2019.922687harrsh_default326665complete2.367061.480023072080.0satsat
433168328qf_shls_sat/spaguetti-10-e06.tptp.smt28317098Harrsh 2019.922687harrsh_default326665complete2.022071.365263071996.0satsat
433168325qf_shls_sat/spaguetti-10-e07.tptp.smt28317095Harrsh 2019.922687harrsh_default326665complete2.225991.440713072120.0satsat
433168281qf_shls_sat/spaguetti-10-e08.tptp.smt28317051Harrsh 2019.922687harrsh_default326665complete2.456321.522293072912.0unsatunsat
433168286qf_shls_sat/spaguetti-10-e09.tptp.smt28317056Harrsh 2019.922687harrsh_default326665complete2.382751.495883072528.0unsatunsat
433168344qf_shls_sat/spaguetti-10-e10.tptp.smt28317114Harrsh 2019.922687harrsh_default326665complete2.119411.399183071876.0satsat
433168347qf_shls_sat/spaguetti-11-e01.tptp.smt28317117Harrsh 2019.922687harrsh_default326665complete2.449141.516773072132.0unsatunsat
433168345qf_shls_sat/spaguetti-11-e02.tptp.smt28317115Harrsh 2019.922687harrsh_default326665complete2.13191.385563071964.0satsat
433168341qf_shls_sat/spaguetti-11-e03.tptp.smt28317111Harrsh 2019.922687harrsh_default326665complete2.269141.433663072464.0satsat
433168340qf_shls_sat/spaguetti-11-e04.tptp.smt28317110Harrsh 2019.922687harrsh_default326665complete6.38983.264093077136.0unsatunsat
433168337qf_shls_sat/spaguetti-11-e05.tptp.smt28317107Harrsh 2019.922687harrsh_default326665complete2.335631.45573072024.0satsat
433168334qf_shls_sat/spaguetti-11-e06.tptp.smt28317104Harrsh 2019.922687harrsh_default326665complete2.841161.696393072160.0satsat
433168331qf_shls_sat/spaguetti-11-e07.tptp.smt28317101Harrsh 2019.922687harrsh_default326665complete2.729251.601413073612.0unsatunsat
433168382qf_shls_sat/spaguetti-11-e08.tptp.smt28317152Harrsh 2019.922687harrsh_default326665complete2.210381.406543071948.0satsat
433168387qf_shls_sat/spaguetti-11-e09.tptp.smt28317157Harrsh 2019.922687harrsh_default326665complete3.416731.853793072824.0unsatunsat
433168314qf_shls_sat/spaguetti-11-e10.tptp.smt28317084Harrsh 2019.922687harrsh_default326665complete2.430771.502233072880.0satsat
433168301qf_shls_sat/spaguetti-12-e01.tptp.smt28317071Harrsh 2019.922687harrsh_default326665complete3.083651.675253072928.0unsatunsat
433168299qf_shls_sat/spaguetti-12-e02.tptp.smt28317069Harrsh 2019.922687harrsh_default326665complete3.479581.849693073584.0unsatunsat
433168295qf_shls_sat/spaguetti-12-e03.tptp.smt28317065Harrsh 2019.922687harrsh_default326665complete2.478451.520883072716.0unsatunsat
433168294qf_shls_sat/spaguetti-12-e04.tptp.smt28317064Harrsh 2019.922687harrsh_default326665complete3.087051.720693072864.0unsatunsat
433168290qf_shls_sat/spaguetti-12-e05.tptp.smt28317060Harrsh 2019.922687harrsh_default326665complete2.272281.448583071932.0satsat
433168284qf_shls_sat/spaguetti-12-e06.tptp.smt28317054Harrsh 2019.922687harrsh_default326665complete3.944732.125893074440.0unsatunsat
433168280qf_shls_sat/spaguetti-12-e07.tptp.smt28317050Harrsh 2019.922687harrsh_default326665complete4.152642.120083074556.0unsatunsat
433168324qf_shls_sat/spaguetti-12-e08.tptp.smt28317094Harrsh 2019.922687harrsh_default326665complete2.52561.527873072360.0satsat
433168327qf_shls_sat/spaguetti-12-e09.tptp.smt28317097Harrsh 2019.922687harrsh_default326665complete2.054791.361033072152.0satsat
433168364qf_shls_sat/spaguetti-12-e10.tptp.smt28317134Harrsh 2019.922687harrsh_default326665complete2.360641.462983072076.0satsat
433168353qf_shls_sat/spaguetti-13-e01.tptp.smt28317123Harrsh 2019.922687harrsh_default326665complete4.746522.524543073032.0unsatunsat
433168366qf_shls_sat/spaguetti-13-e02.tptp.smt28317136Harrsh 2019.922687harrsh_default326665complete2.127191.405683072084.0satsat
433168361qf_shls_sat/spaguetti-13-e03.tptp.smt28317131Harrsh 2019.922687harrsh_default326665complete3.369791.88743072264.0unsatunsat
433168377qf_shls_sat/spaguetti-13-e04.tptp.smt28317147Harrsh 2019.922687harrsh_default326665complete4.501942.250653073680.0unsatunsat
433168372qf_shls_sat/spaguetti-13-e05.tptp.smt28317142Harrsh 2019.922687harrsh_default326665complete2.795751.608823073036.0unsatunsat
433168385qf_shls_sat/spaguetti-13-e06.tptp.smt28317155Harrsh 2019.922687harrsh_default326665complete3.655471.917413072672.0unsatunsat
433168381qf_shls_sat/spaguetti-13-e07.tptp.smt28317151Harrsh 2019.922687harrsh_default326665complete2.606491.550643071988.0unsatunsat
433168330qf_shls_sat/spaguetti-13-e08.tptp.smt28317100Harrsh 2019.922687harrsh_default326665complete2.740031.576993073052.0satsat
433168333qf_shls_sat/spaguetti-13-e09.tptp.smt28317103Harrsh 2019.922687harrsh_default326665complete2.846291.609833072216.0unsatunsat
433168298qf_shls_sat/spaguetti-13-e10.tptp.smt28317068Harrsh 2019.922687harrsh_default326665complete2.165631.612193072032.0satsat
433168343qf_shls_sat/spaguetti-14-e01.tptp.smt28317113Harrsh 2019.922687harrsh_default326665complete3.99712.20973073856.0satsat
433168351qf_shls_sat/spaguetti-14-e02.tptp.smt28317121Harrsh 2019.922687harrsh_default326665complete5.716663.047093074436.0unsatunsat
433168350qf_shls_sat/spaguetti-14-e03.tptp.smt28317120Harrsh 2019.922687harrsh_default326665complete2.68471.580263073080.0unsatunsat
433168332qf_shls_sat/spaguetti-14-e04.tptp.smt28317102Harrsh 2019.922687harrsh_default326665complete2.885931.670513073180.0satsat
433168329qf_shls_sat/spaguetti-14-e05.tptp.smt28317099Harrsh 2019.922687harrsh_default326665complete4.275712.260713073936.0unsatunsat
433168339qf_shls_sat/spaguetti-14-e06.tptp.smt28317109Harrsh 2019.922687harrsh_default326665complete3.639151.951783074400.0unsatunsat
433168336qf_shls_sat/spaguetti-14-e07.tptp.smt28317106Harrsh 2019.922687harrsh_default326665complete2.374041.473173072232.0satsat
433168370qf_shls_sat/spaguetti-14-e08.tptp.smt28317140Harrsh 2019.922687harrsh_default326665complete3.332241.801473072636.0unsatunsat
433168376qf_shls_sat/spaguetti-14-e09.tptp.smt28317146Harrsh 2019.922687harrsh_default326665complete5.182332.866283073552.0unsatunsat
433168308qf_shls_sat/spaguetti-14-e10.tptp.smt28317078Harrsh 2019.922687harrsh_default326665complete5.526942.845083074108.0unsatunsat
433168313qf_shls_sat/spaguetti-15-e01.tptp.smt28317083Harrsh 2019.922687harrsh_default326665complete2.577771.510353072460.0satsat
433168310qf_shls_sat/spaguetti-15-e02.tptp.smt28317080Harrsh 2019.922687harrsh_default326665complete4.718732.43563074496.0unsatunsat
433168309qf_shls_sat/spaguetti-15-e03.tptp.smt28317079Harrsh 2019.922687harrsh_default326665complete2.590781.535873072688.0satsat
433168326qf_shls_sat/spaguetti-15-e04.tptp.smt28317096Harrsh 2019.922687harrsh_default326665complete2.452111.518633072864.0satsat
433168323qf_shls_sat/spaguetti-15-e05.tptp.smt28317093Harrsh 2019.922687harrsh_default326665complete3.252471.804683073404.0unsatunsat
433168321qf_shls_sat/spaguetti-15-e06.tptp.smt28317091Harrsh 2019.922687harrsh_default326665complete2.558691.535483072524.0satsat
433168318qf_shls_sat/spaguetti-15-e07.tptp.smt28317088Harrsh 2019.922687harrsh_default326665complete2.463611.499053072136.0satsat
433168288qf_shls_sat/spaguetti-15-e08.tptp.smt28317058Harrsh 2019.922687harrsh_default326665complete2.303251.470193073660.0unsatunsat
433168293qf_shls_sat/spaguetti-15-e09.tptp.smt28317063Harrsh 2019.922687harrsh_default326665complete2.978061.656783072448.0unsatunsat
433168348qf_shls_sat/spaguetti-15-e10.tptp.smt28317118Harrsh 2019.922687harrsh_default326665complete2.434121.498053072080.0satsat
433168362qf_shls_sat/spaguetti-16-e01.tptp.smt28317132Harrsh 2019.922687harrsh_default326665complete3.95152.113813072796.0unsatunsat
433168360qf_shls_sat/spaguetti-16-e02.tptp.smt28317130Harrsh 2019.922687harrsh_default326665complete3.372851.870433074432.0unsatunsat
433168357qf_shls_sat/spaguetti-16-e03.tptp.smt28317127Harrsh 2019.922687harrsh_default326665complete2.574581.524633072444.0satsat
433168383qf_shls_sat/spaguetti-16-e04.tptp.smt28317153Harrsh 2019.922687harrsh_default326665complete2.763721.591543072860.0satsat
433168379qf_shls_sat/spaguetti-16-e05.tptp.smt28317149Harrsh 2019.922687harrsh_default326665complete2.55241.530673072316.0unsatunsat
433168374qf_shls_sat/spaguetti-16-e06.tptp.smt28317144Harrsh 2019.922687harrsh_default326665complete2.537281.520143073456.0satsat
433168369qf_shls_sat/spaguetti-16-e07.tptp.smt28317139Harrsh 2019.922687harrsh_default326665complete4.627192.567273072832.0unsatunsat
433168335qf_shls_sat/spaguetti-16-e08.tptp.smt28317105Harrsh 2019.922687harrsh_default326665complete3.18091.724113072960.0unsatunsat
433168338qf_shls_sat/spaguetti-16-e09.tptp.smt28317108Harrsh 2019.922687harrsh_default326665complete2.303641.44233071996.0satsat
433168302qf_shls_sat/spaguetti-16-e10.tptp.smt28317072Harrsh 2019.922687harrsh_default326665complete2.618191.538253073040.0satsat
433168297qf_shls_sat/spaguetti-17-e01.tptp.smt28317067Harrsh 2019.922687harrsh_default326665complete3.144721.756553073084.0satsat
433168305qf_shls_sat/spaguetti-17-e02.tptp.smt28317075Harrsh 2019.922687harrsh_default326665complete3.345671.866043073192.0satsat
433168303qf_shls_sat/spaguetti-17-e03.tptp.smt28317073Harrsh 2019.922687harrsh_default326665complete3.42621.827993073908.0unsatunsat
433168283qf_shls_sat/spaguetti-17-e04.tptp.smt28317053Harrsh 2019.922687harrsh_default326665complete2.372161.473593071936.0satsat
433168279qf_shls_sat/spaguetti-17-e05.tptp.smt28317049Harrsh 2019.922687harrsh_default326665complete2.757211.580743073244.0satsat
433168291qf_shls_sat/spaguetti-17-e06.tptp.smt28317061Harrsh 2019.922687harrsh_default326665complete10.63867.299653077296.0unsatunsat
433168287qf_shls_sat/spaguetti-17-e07.tptp.smt28317057Harrsh 2019.922687harrsh_default326665complete4.227112.261383074224.0unsatunsat
433168317qf_shls_sat/spaguetti-17-e08.tptp.smt28317087Harrsh 2019.922687harrsh_default326665complete4.172122.216183073924.0unsatunsat
433168320qf_shls_sat/spaguetti-17-e09.tptp.smt28317090Harrsh 2019.922687harrsh_default326665complete4.824792.736813074480.0satsat
433168354qf_shls_sat/spaguetti-17-e10.tptp.smt28317124Harrsh 2019.922687harrsh_default326665complete2.701731.602763073200.0satsat
433168292qf_shls_sat/spaguetti-18-e01.tptp.smt28317062Harrsh 2019.922687harrsh_default326665complete2.684811.572653072864.0satsat
433168278qf_shls_sat/spaguetti-18-e02.tptp.smt28317048Harrsh 2019.922687harrsh_default326665complete3.286291.819673073260.0unsatunsat
433168282qf_shls_sat/spaguetti-18-e03.tptp.smt28317052Harrsh 2019.922687harrsh_default326665complete2.310071.445023072112.0satsat
433168304qf_shls_sat/spaguetti-18-e04.tptp.smt28317074Harrsh 2019.922687harrsh_default326665complete2.872141.597773073296.0satsat
433168306qf_shls_sat/spaguetti-18-e05.tptp.smt28317076Harrsh 2019.922687harrsh_default326665complete2.928151.651413073140.0satsat
433168296qf_shls_sat/spaguetti-18-e06.tptp.smt28317066Harrsh 2019.922687harrsh_default326665complete2.471941.495423072492.0satsat
433168300qf_shls_sat/spaguetti-18-e07.tptp.smt28317070Harrsh 2019.922687harrsh_default326665complete2.688761.579483073500.0satsat
433168316qf_shls_sat/spaguetti-18-e08.tptp.smt28317086Harrsh 2019.922687harrsh_default326665complete2.751441.588243072920.0unsatunsat
433168312qf_shls_sat/spaguetti-18-e09.tptp.smt28317082Harrsh 2019.922687harrsh_default326665complete4.365752.408923073576.0unsatunsat
433168386qf_shls_sat/spaguetti-18-e10.tptp.smt28317156Harrsh 2019.922687harrsh_default326665complete2.520181.504613072240.0unsatunsat
433168373qf_shls_sat/spaguetti-19-e01.tptp.smt28317143Harrsh 2019.922687harrsh_default326665complete3.308621.823073060.0unsatunsat
433168380qf_shls_sat/spaguetti-19-e02.tptp.smt28317150Harrsh 2019.922687harrsh_default326665complete5.062652.871243074320.0satsat
433168384qf_shls_sat/spaguetti-19-e03.tptp.smt28317154Harrsh 2019.922687harrsh_default326665complete2.284981.434073071960.0satsat
433168356qf_shls_sat/spaguetti-19-e04.tptp.smt28317126Harrsh 2019.922687harrsh_default326665complete3.022761.663093072420.0unsatunsat
433168359qf_shls_sat/spaguetti-19-e05.tptp.smt28317129Harrsh 2019.922687harrsh_default326665complete16.547713.10973074312.0satsat
433168363qf_shls_sat/spaguetti-19-e06.tptp.smt28317133Harrsh 2019.922687harrsh_default326665complete3.20661.815763073100.0satsat
433168367qf_shls_sat/spaguetti-19-e07.tptp.smt28317137Harrsh 2019.922687harrsh_default326665complete3.229031.806073073056.0unsatunsat
433168346qf_shls_sat/spaguetti-19-e08.tptp.smt28317116Harrsh 2019.922687harrsh_default326665complete2.443451.510253074144.0satsat
433168342qf_shls_sat/spaguetti-19-e09.tptp.smt28317112Harrsh 2019.922687harrsh_default326665complete3.350531.819523074068.0unsatunsat
433168285qf_shls_sat/spaguetti-19-e10.tptp.smt28317055Harrsh 2019.922687harrsh_default326665complete7.647534.293253079324.0unsatunsat
433168378qf_shls_sat/spaguetti-20-e01.tptp.smt28317148Harrsh 2019.922687harrsh_default326665complete7.428144.000743075744.0unsatunsat
433168375qf_shls_sat/spaguetti-20-e02.tptp.smt28317145Harrsh 2019.922687harrsh_default326665complete2.693341.559263072788.0satsat
433168371qf_shls_sat/spaguetti-20-e03.tptp.smt28317141Harrsh 2019.922687harrsh_default326665complete3.006621.692083073108.0satsat
433168368qf_shls_sat/spaguetti-20-e04.tptp.smt28317138Harrsh 2019.922687harrsh_default326665complete2.777491.601493072968.0satsat
433168365qf_shls_sat/spaguetti-20-e05.tptp.smt28317135Harrsh 2019.922687harrsh_default326665complete45.170440.55523084332.0unsatunsat
433168358qf_shls_sat/spaguetti-20-e06.tptp.smt28317128Harrsh 2019.922687harrsh_default326665complete5.518213.062643074180.0unsatunsat
433168355qf_shls_sat/spaguetti-20-e07.tptp.smt28317125Harrsh 2019.922687harrsh_default326665complete2.710481.573093072464.0satsat
433168349qf_shls_sat/spaguetti-20-e08.tptp.smt28317119Harrsh 2019.922687harrsh_default326665complete2.737981.585053073408.0satsat
433168352qf_shls_sat/spaguetti-20-e09.tptp.smt28317122Harrsh 2019.922687harrsh_default326665complete2.534461.520733072724.0satsat
433168289qf_shls_sat/spaguetti-20-e10.tptp.smt28317059Harrsh 2019.922687harrsh_default326665complete4.117092.141013073128.0unsatunsat