pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433166502qf_shls_entl/bolognesa-10-e01.tptp.smt28317378Harrsh 2019.922687harrsh_default326665complete1279.25411.2213088508.0starexec-unknownsat
433166493qf_shls_entl/bolognesa-10-e02.tptp.smt28317369Harrsh 2019.922687harrsh_default326665complete1345.53431.4293093960.0starexec-unknownunsat
433166483qf_shls_entl/bolognesa-10-e03.tptp.smt28317359Harrsh 2019.922687harrsh_default326665complete1193.46390.2713094452.0starexec-unknownunsat
433166465qf_shls_entl/bolognesa-10-e04.tptp.smt28317341Harrsh 2019.922687harrsh_default326665complete1238.76415.3753095532.0starexec-unknownsat
433166460qf_shls_entl/bolognesa-10-e05.tptp.smt28317336Harrsh 2019.922687harrsh_default326665complete1185.09390.3023095376.0starexec-unknownsat
433166451qf_shls_entl/bolognesa-10-e06.tptp.smt28317327Harrsh 2019.922687harrsh_default326665complete1279.64409.513091324.0starexec-unknownsat
433166440qf_shls_entl/bolognesa-10-e07.tptp.smt28317316Harrsh 2019.922687harrsh_default326665complete1121.01370.2823094568.0starexec-unknownsat
433166561qf_shls_entl/bolognesa-10-e08.tptp.smt28317437Harrsh 2019.922687harrsh_default326665complete1248.93407.5173096396.0starexec-unknownsat
433166569qf_shls_entl/bolognesa-10-e09.tptp.smt28317445Harrsh 2019.922687harrsh_default326665complete1560.26488.2333099364.0starexec-unknownsat
433166386qf_shls_entl/bolognesa-10-e10.tptp.smt28317262Harrsh 2019.922687harrsh_default326665complete1247.64396.7143093204.0starexec-unknownunsat
433166375qf_shls_entl/bolognesa-11-e01.tptp.smt28317251Harrsh 2019.922687harrsh_default326665complete1288.87411.5743089956.0starexec-unknownunsat
433166405qf_shls_entl/bolognesa-11-e02.tptp.smt28317281Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.26684.313096900.0starexec-unknownunsat
433166394qf_shls_entl/bolognesa-11-e03.tptp.smt28317270Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.09692.8033092988.0starexec-unknownunsat
433166413qf_shls_entl/bolognesa-11-e04.tptp.smt28317289Harrsh 2019.922687harrsh_default326665complete1173.78385.4463095948.0starexec-unknownunsat
433166408qf_shls_entl/bolognesa-11-e05.tptp.smt28317284Harrsh 2019.922687harrsh_default326665complete1469.86490.7623090676.0starexec-unknownsat
433166433qf_shls_entl/bolognesa-11-e06.tptp.smt28317309Harrsh 2019.922687harrsh_default326665complete1176.76379.5433096480.0starexec-unknownsat
433166422qf_shls_entl/bolognesa-11-e07.tptp.smt28317298Harrsh 2019.922687harrsh_default326665complete1194.42380.2333091672.0starexec-unknownunsat
433166283qf_shls_entl/bolognesa-11-e08.tptp.smt28317159Harrsh 2019.922687harrsh_default326665complete1244.35397.9953091580.0starexec-unknownunsat
433166293qf_shls_entl/bolognesa-11-e09.tptp.smt28317169Harrsh 2019.922687harrsh_default326665complete1395.02444.2763094924.0starexec-unknownunsat
433166475qf_shls_entl/bolognesa-11-e10.tptp.smt28317351Harrsh 2019.922687harrsh_default326665complete1301.1407.8983094848.0starexec-unknownsat
433166517qf_shls_entl/bolognesa-12-e01.tptp.smt28317393Harrsh 2019.922687harrsh_default326665complete1087.18351.1043090428.0starexec-unknownunsat
433166539qf_shls_entl/bolognesa-12-e02.tptp.smt28317415Harrsh 2019.922687harrsh_default326665complete1226.5396.5883093568.0starexec-unknownsat
433166531qf_shls_entl/bolognesa-12-e03.tptp.smt28317407Harrsh 2019.922687harrsh_default326665complete1236.38397.1683094156.0starexec-unknownsat
433166550qf_shls_entl/bolognesa-12-e04.tptp.smt28317426Harrsh 2019.922687harrsh_default326665complete1987.73598.6383093556.0starexec-unknownsat
433166541qf_shls_entl/bolognesa-12-e05.tptp.smt28317417Harrsh 2019.922687harrsh_default326665complete1335.54425.423091764.0starexec-unknownunsat
433166572qf_shls_entl/bolognesa-12-e06.tptp.smt28317448Harrsh 2019.922687harrsh_default326665complete1146.42371.8843092740.0starexec-unknownunsat
433166563qf_shls_entl/bolognesa-12-e07.tptp.smt28317439Harrsh 2019.922687harrsh_default326665complete1138.71367.2423089916.0starexec-unknownsat
433166442qf_shls_entl/bolognesa-12-e08.tptp.smt28317318Harrsh 2019.922687harrsh_default326665complete1277.96402.83091764.0starexec-unknownunsat
433166452qf_shls_entl/bolognesa-12-e09.tptp.smt28317328Harrsh 2019.922687harrsh_default326665complete1262.85399.083090316.0starexec-unknownunsat
433166326qf_shls_entl/bolognesa-12-e10.tptp.smt28317202Harrsh 2019.922687harrsh_default326665complete1390.03433.7633092992.0starexec-unknownunsat
433166355qf_shls_entl/bolognesa-13-e01.tptp.smt28317231Harrsh 2019.922687harrsh_default326665complete1250.45391.8343094180.0starexec-unknownunsat
433166341qf_shls_entl/bolognesa-13-e02.tptp.smt28317217Harrsh 2019.922687harrsh_default326665complete1286.43405.7213092844.0starexec-unknownsat
433166330qf_shls_entl/bolognesa-13-e03.tptp.smt28317206Harrsh 2019.922687harrsh_default326665complete1236.29400.3513095340.0starexec-unknownunsat
433166312qf_shls_entl/bolognesa-13-e04.tptp.smt28317188Harrsh 2019.922687harrsh_default326665complete1146.72370.0323091520.0starexec-unknownsat
433166305qf_shls_entl/bolognesa-13-e05.tptp.smt28317181Harrsh 2019.922687harrsh_default326665complete1288.99408.3623088472.0starexec-unknownsat
433166298qf_shls_entl/bolognesa-13-e06.tptp.smt28317174Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.02682.7283094868.0starexec-unknownsat
433166285qf_shls_entl/bolognesa-13-e07.tptp.smt28317161Harrsh 2019.922687harrsh_default326665complete1173.55373.0583090156.0starexec-unknownunsat
433166424qf_shls_entl/bolognesa-13-e08.tptp.smt28317300Harrsh 2019.922687harrsh_default326665complete1237.3393.2483094900.0starexec-unknownunsat
433166434qf_shls_entl/bolognesa-13-e09.tptp.smt28317310Harrsh 2019.922687harrsh_default326665complete1122.46352.8773090144.0starexec-unknownsat
433166527qf_shls_entl/bolognesa-13-e10.tptp.smt28317403Harrsh 2019.922687harrsh_default326665complete1201.75385.2623086556.0starexec-unknownsat
433166389qf_shls_entl/bolognesa-14-e01.tptp.smt28317265Harrsh 2019.922687harrsh_default326665complete1183.46372.6363091608.0starexec-unknownunsat
433166381qf_shls_entl/bolognesa-14-e02.tptp.smt28317257Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.11681.6513090744.0starexec-unknownunsat
433166366qf_shls_entl/bolognesa-14-e03.tptp.smt28317242Harrsh 2019.922687harrsh_default326665complete1289.3402.1723092064.0starexec-unknownunsat
433166435qf_shls_entl/bolognesa-14-e04.tptp.smt28317311Harrsh 2019.922687harrsh_default326665complete1129.64363.623094116.0starexec-unknownunsat
433166428qf_shls_entl/bolognesa-14-e05.tptp.smt28317304Harrsh 2019.922687harrsh_default326665complete1374.82432.1223097072.0starexec-unknownsat
433166420qf_shls_entl/bolognesa-14-e06.tptp.smt28317296Harrsh 2019.922687harrsh_default326665complete1262.46401.6653092304.0starexec-unknownunsat
433166410qf_shls_entl/bolognesa-14-e07.tptp.smt28317286Harrsh 2019.922687harrsh_default326665complete1276.42400.2683091876.0starexec-unknownunsat
433166310qf_shls_entl/bolognesa-14-e08.tptp.smt28317186Harrsh 2019.922687harrsh_default326665complete1223.12389.4833094620.0starexec-unknownunsat
433166316qf_shls_entl/bolognesa-14-e09.tptp.smt28317192Harrsh 2019.922687harrsh_default326665complete1117.25355.9193085064.0starexec-unknownunsat
433166499qf_shls_entl/bolognesa-14-e10.tptp.smt28317375Harrsh 2019.922687harrsh_default326665complete1319.27417.733083804.0starexec-unknownsat
433166480qf_shls_entl/bolognesa-15-e01.tptp.smt28317356Harrsh 2019.922687harrsh_default326665complete1217.28387.123090988.0starexec-unknownunsat
433166506qf_shls_entl/bolognesa-15-e02.tptp.smt28317382Harrsh 2019.922687harrsh_default326665complete1152.17365.6253094012.0starexec-unknownunsat
433166495qf_shls_entl/bolognesa-15-e03.tptp.smt28317371Harrsh 2019.922687harrsh_default326665complete1289.8413.0983090600.0starexec-unknownsat
433166454qf_shls_entl/bolognesa-15-e04.tptp.smt28317330Harrsh 2019.922687harrsh_default326665complete1357.36426.7473093300.0starexec-unknownunsat
433166446qf_shls_entl/bolognesa-15-e05.tptp.smt28317322Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.04681.23091740.0starexec-unknownunsat
433166473qf_shls_entl/bolognesa-15-e06.tptp.smt28317349Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.13681.3793090488.0starexec-unknownunsat
433166461qf_shls_entl/bolognesa-15-e07.tptp.smt28317337Harrsh 2019.922687harrsh_default326665complete1319.24420.4453093572.0starexec-unknownunsat
433166548qf_shls_entl/bolognesa-15-e08.tptp.smt28317424Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.06682.8543091496.0starexec-unknownsat
433166553qf_shls_entl/bolognesa-15-e09.tptp.smt28317429Harrsh 2019.922687harrsh_default326665complete1331.26424.4613093888.0starexec-unknownsat
433166370qf_shls_entl/bolognesa-15-e10.tptp.smt28317246Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.13686.2543093928.0starexec-unknownunsat
433166328qf_shls_entl/bolognesa-16-e01.tptp.smt28317204Harrsh 2019.922687harrsh_default326665complete1237.78382.9273083836.0starexec-unknownunsat
433166358qf_shls_entl/bolognesa-16-e02.tptp.smt28317234Harrsh 2019.922687harrsh_default326665complete1279.32399.4213093760.0starexec-unknownsat
433166345qf_shls_entl/bolognesa-16-e03.tptp.smt28317221Harrsh 2019.922687harrsh_default326665complete1167.43375.1553095188.0starexec-unknownsat
433166299qf_shls_entl/bolognesa-16-e04.tptp.smt28317175Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.03681.1433095612.0starexec-unknownsat
433166287qf_shls_entl/bolognesa-16-e05.tptp.smt28317163Harrsh 2019.922687harrsh_default326665complete1249.58393.6323082992.0starexec-unknownunsat
433166322qf_shls_entl/bolognesa-16-e06.tptp.smt28317198Harrsh 2019.922687harrsh_default326665complete1235.57390.2443090180.0starexec-unknownsat
433166311qf_shls_entl/bolognesa-16-e07.tptp.smt28317187Harrsh 2019.922687harrsh_default326665complete1190.43371.2213091328.0starexec-unknownunsat
433166412qf_shls_entl/bolognesa-16-e08.tptp.smt28317288Harrsh 2019.922687harrsh_default326665complete1159.88374.9583092788.0starexec-unknownunsat
433166421qf_shls_entl/bolognesa-16-e09.tptp.smt28317297Harrsh 2019.922687harrsh_default326665complete1169.37365.7933084652.0starexec-unknownunsat
433166516qf_shls_entl/bolognesa-16-e10.tptp.smt28317392Harrsh 2019.922687harrsh_default326665complete1361.47414.6053097708.0starexec-unknownsat
433166530qf_shls_entl/bolognesa-17-e01.tptp.smt28317406Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.03681.3763092812.0starexec-unknownunsat
433166519qf_shls_entl/bolognesa-17-e02.tptp.smt28317395Harrsh 2019.922687harrsh_default326665complete1303.35404.533089484.0starexec-unknownsat
433166510qf_shls_entl/bolognesa-17-e03.tptp.smt28317386Harrsh 2019.922687harrsh_default326665complete1142.83365.0363090468.0starexec-unknownsat
433166574qf_shls_entl/bolognesa-17-e04.tptp.smt28317450Harrsh 2019.922687harrsh_default326665complete1199.76382.8463094744.0starexec-unknownunsat
433166566qf_shls_entl/bolognesa-17-e05.tptp.smt28317442Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.03689.8513087108.0starexec-unknownunsat
433166558qf_shls_entl/bolognesa-17-e06.tptp.smt28317434Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.25687.0553091116.0starexec-unknownunsat
433166549qf_shls_entl/bolognesa-17-e07.tptp.smt28317425Harrsh 2019.922687harrsh_default326665complete1277.76404.6483090360.0starexec-unknownunsat
433166464qf_shls_entl/bolognesa-17-e08.tptp.smt28317340Harrsh 2019.922687harrsh_default326665complete2044.95591.8593092756.0starexec-unknownsat
433166474qf_shls_entl/bolognesa-17-e09.tptp.smt28317350Harrsh 2019.922687harrsh_default326665complete1285.92406.4383094316.0starexec-unknownunsat
433166353qf_shls_entl/bolognesa-17-e10.tptp.smt28317229Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.18685.963086112.0starexec-unknownunsat
433166559qf_shls_entl/bolognesa-18-e01.tptp.smt28317435Harrsh 2019.922687harrsh_default326665complete1262.9393.8673091520.0starexec-unknownunsat
433166565qf_shls_entl/bolognesa-18-e02.tptp.smt28317441Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.12679.5733082356.0starexec-unknownsat
433166573qf_shls_entl/bolognesa-18-e03.tptp.smt28317449Harrsh 2019.922687harrsh_default326665complete1158.99365.043084612.0starexec-unknownsat
433166511qf_shls_entl/bolognesa-18-e04.tptp.smt28317387Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.23680.2783093916.0starexec-unknownsat
433166520qf_shls_entl/bolognesa-18-e05.tptp.smt28317396Harrsh 2019.922687harrsh_default326665complete1170.81366.1493084976.0starexec-unknownsat
433166529qf_shls_entl/bolognesa-18-e06.tptp.smt28317405Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.11677.3153085656.0starexec-unknownsat
433166537qf_shls_entl/bolognesa-18-e07.tptp.smt28317413Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.3683.3723091196.0starexec-unknownsat
433166490qf_shls_entl/bolognesa-18-e08.tptp.smt28317366Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.11685.2593091684.0starexec-unknownsat
433166481qf_shls_entl/bolognesa-18-e09.tptp.smt28317357Harrsh 2019.922687harrsh_default326665complete1135.94352.2683094420.0starexec-unknownsat
433166295qf_shls_entl/bolognesa-18-e10.tptp.smt28317171Harrsh 2019.922687harrsh_default326665complete1090.77343.5853100552.0starexec-unknownunsat
433166321qf_shls_entl/bolognesa-19-e01.tptp.smt28317197Harrsh 2019.922687harrsh_default326665complete1296.2400.0873093480.0starexec-unknownsat
433166288qf_shls_entl/bolognesa-19-e02.tptp.smt28317164Harrsh 2019.922687harrsh_default326665complete1274.18396.5263091392.0starexec-unknownsat
433166300qf_shls_entl/bolognesa-19-e03.tptp.smt28317176Harrsh 2019.922687harrsh_default326665complete1893.32563.6953093032.0starexec-unknownsat
433166344qf_shls_entl/bolognesa-19-e04.tptp.smt28317220Harrsh 2019.922687harrsh_default326665complete1241.19384.8463089416.0starexec-unknownsat
433166357qf_shls_entl/bolognesa-19-e05.tptp.smt28317233Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.17686.6893090172.0starexec-unknownunsat
433166329qf_shls_entl/bolognesa-19-e06.tptp.smt28317205Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.15682.3663094204.0starexec-unknownunsat
433166338qf_shls_entl/bolognesa-19-e07.tptp.smt28317214Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.12681.313090528.0starexec-unknownsat
433166401qf_shls_entl/bolognesa-19-e08.tptp.smt28317277Harrsh 2019.922687harrsh_default326665complete873.142264.7233093144.0starexec-unknownunsat
433166392qf_shls_entl/bolognesa-19-e09.tptp.smt28317268Harrsh 2019.922687harrsh_default326665complete1277.14386.1123090016.0starexec-unknownsat
433166570qf_shls_entl/bolognesa-19-e10.tptp.smt28317446Harrsh 2019.922687harrsh_default326665complete1264.31394.6083086612.0starexec-unknownunsat
433166290qf_shls_entl/bolognesa-20-e01.tptp.smt28317166Harrsh 2019.922687harrsh_default326665complete1178.2369.4813090324.0starexec-unknownsat
433166318qf_shls_entl/bolognesa-20-e02.tptp.smt28317194Harrsh 2019.922687harrsh_default326665complete1003.59320.4643093412.0starexec-unknownsat
433166309qf_shls_entl/bolognesa-20-e03.tptp.smt28317185Harrsh 2019.922687harrsh_default326665complete1249.1390.1293087536.0starexec-unknownsat
433166337qf_shls_entl/bolognesa-20-e04.tptp.smt28317213Harrsh 2019.922687harrsh_default326665complete1062.38345.0973092300.0starexec-unknownsat
433166324qf_shls_entl/bolognesa-20-e05.tptp.smt28317200Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.06676.6023090492.0starexec-unknownsat
433166359qf_shls_entl/bolognesa-20-e06.tptp.smt28317235Harrsh 2019.922687harrsh_default326665complete1214.72384.5563096268.0starexec-unknownunsat
433166347qf_shls_entl/bolognesa-20-e07.tptp.smt28317223Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.17683.7933088860.0starexec-unknownunsat
433166367qf_shls_entl/bolognesa-20-e08.tptp.smt28317243Harrsh 2019.922687harrsh_default326665complete1620.13481.1233091792.0starexec-unknownunsat
433166380qf_shls_entl/bolognesa-20-e09.tptp.smt28317256Harrsh 2019.922687harrsh_default326665complete1212.23375.0833083672.0starexec-unknownsat
433166542qf_shls_entl/bolognesa-20-e10.tptp.smt28317418Harrsh 2019.922687harrsh_default326665complete1065.71343.5733083228.0starexec-unknownunsat
433166296qf_shls_entl/clones-01-e01.tptp.smt28317172Harrsh 2019.922687harrsh_default326665complete1.958221.333663071992.0unsatunsat
433166304qf_shls_entl/clones-01-e02.tptp.smt28317180Harrsh 2019.922687harrsh_default326665complete1.975111.331783071968.0unsatunsat
433166313qf_shls_entl/clones-01-e03.tptp.smt28317189Harrsh 2019.922687harrsh_default326665complete1.950661.33733071988.0unsatunsat
433166331qf_shls_entl/clones-01-e04.tptp.smt28317207Harrsh 2019.922687harrsh_default326665complete1.936341.307893072092.0unsatunsat
433166340qf_shls_entl/clones-01-e05.tptp.smt28317216Harrsh 2019.922687harrsh_default326665complete1.965871.31943072028.0unsatunsat
433166354qf_shls_entl/clones-01-e06.tptp.smt28317230Harrsh 2019.922687harrsh_default326665complete1.965741.333523072076.0unsatunsat
433166364qf_shls_entl/clones-01-e07.tptp.smt28317240Harrsh 2019.922687harrsh_default326665complete3.545152.039163076364.0satsat
433166385qf_shls_entl/clones-01-e08.tptp.smt28317261Harrsh 2019.922687harrsh_default326665complete3.938712.203113078116.0satsat
433166377qf_shls_entl/clones-01-e09.tptp.smt28317253Harrsh 2019.922687harrsh_default326665complete3.517322.03023076760.0satsat
433166557qf_shls_entl/clones-01-e10.tptp.smt28317433Harrsh 2019.922687harrsh_default326665complete3.539522.025973076768.0satsat
433166449qf_shls_entl/clones-02-e01.tptp.smt28317325Harrsh 2019.922687harrsh_default326665complete1.989371.327313072024.0unsatunsat
433166457qf_shls_entl/clones-02-e02.tptp.smt28317333Harrsh 2019.922687harrsh_default326665complete1.979221.318333072020.0unsatunsat
433166468qf_shls_entl/clones-02-e03.tptp.smt28317344Harrsh 2019.922687harrsh_default326665complete1.986831.327453072000.0unsatunsat
433166485qf_shls_entl/clones-02-e04.tptp.smt28317361Harrsh 2019.922687harrsh_default326665complete1.931081.293383072080.0unsatunsat
433166491qf_shls_entl/clones-02-e05.tptp.smt28317367Harrsh 2019.922687harrsh_default326665complete1.981981.331973072052.0unsatunsat
433166500qf_shls_entl/clones-02-e06.tptp.smt28317376Harrsh 2019.922687harrsh_default326665complete1.933721.299273072000.0unsatunsat
433166508qf_shls_entl/clones-02-e07.tptp.smt28317384Harrsh 2019.922687harrsh_default326665complete5.919572.949283077236.0satsat
433166522qf_shls_entl/clones-02-e08.tptp.smt28317398Harrsh 2019.922687harrsh_default326665complete35.694122.14443090240.0satsat
433166515qf_shls_entl/clones-02-e09.tptp.smt28317391Harrsh 2019.922687harrsh_default326665complete6.046693.017383077032.0satsat
433166418qf_shls_entl/clones-02-e10.tptp.smt28317294Harrsh 2019.922687harrsh_default326665complete6.00872.943983077100.0satsat
433166430qf_shls_entl/clones-03-e01.tptp.smt28317306Harrsh 2019.922687harrsh_default326665complete1.976231.922883072084.0unsatunsat
433166407qf_shls_entl/clones-03-e02.tptp.smt28317283Harrsh 2019.922687harrsh_default326665complete2.008681.350973072000.0unsatunsat
433166415qf_shls_entl/clones-03-e03.tptp.smt28317291Harrsh 2019.922687harrsh_default326665complete1.970241.335593072060.0unsatunsat
433166395qf_shls_entl/clones-03-e04.tptp.smt28317271Harrsh 2019.922687harrsh_default326665complete1.935861.303693072064.0unsatunsat
433166402qf_shls_entl/clones-03-e05.tptp.smt28317278Harrsh 2019.922687harrsh_default326665complete2.005491.33733072084.0unsatunsat
433166372qf_shls_entl/clones-03-e06.tptp.smt28317248Harrsh 2019.922687harrsh_default326665complete1.956161.340373071992.0unsatunsat
433166384qf_shls_entl/clones-03-e07.tptp.smt28317260Harrsh 2019.922687harrsh_default326665complete33.799221.57513090180.0satsat
433166362qf_shls_entl/clones-03-e08.tptp.smt28317238Harrsh 2019.922687harrsh_default326665complete1434.16482.3523099880.0starexec-unknownsat
433166352qf_shls_entl/clones-03-e09.tptp.smt28317228Harrsh 2019.922687harrsh_default326665complete38.426124.45043088328.0satsat
433166472qf_shls_entl/clones-03-e10.tptp.smt28317348Harrsh 2019.922687harrsh_default326665complete34.267322.19313088564.0satsat
433166320qf_shls_entl/clones-04-e01.tptp.smt28317196Harrsh 2019.922687harrsh_default326665complete1.986821.33163071992.0unsatunsat
433166286qf_shls_entl/clones-04-e02.tptp.smt28317162Harrsh 2019.922687harrsh_default326665complete2.008431.353373072056.0unsatunsat
433166301qf_shls_entl/clones-04-e03.tptp.smt28317177Harrsh 2019.922687harrsh_default326665complete1.999321.338913072052.0unsatunsat
433166346qf_shls_entl/clones-04-e04.tptp.smt28317222Harrsh 2019.922687harrsh_default326665complete1.931421.309423071964.0unsatunsat
433166356qf_shls_entl/clones-04-e05.tptp.smt28317232Harrsh 2019.922687harrsh_default326665complete2.003611.345713071964.0unsatunsat
433166327qf_shls_entl/clones-04-e06.tptp.smt28317203Harrsh 2019.922687harrsh_default326665complete1.925351.298613072156.0unsatunsat
433166339qf_shls_entl/clones-04-e07.tptp.smt28317215Harrsh 2019.922687harrsh_default326665complete1426.83468.1483091832.0starexec-unknownsat
433166400qf_shls_entl/clones-04-e08.tptp.smt28317276Harrsh 2019.922687harrsh_default326665complete1534.76486.8023088904.0starexec-unknownsat
433166393qf_shls_entl/clones-04-e09.tptp.smt28317269Harrsh 2019.922687harrsh_default326665complete1445.44466.0663091140.0starexec-unknownsat
433166571qf_shls_entl/clones-04-e10.tptp.smt28317447Harrsh 2019.922687harrsh_default326665complete1402.75457.9933092072.0starexec-unknownsat
433166556qf_shls_entl/clones-05-e01.tptp.smt28317432Harrsh 2019.922687harrsh_default326665complete1.997141.34573072052.0unsatunsat
433166564qf_shls_entl/clones-05-e02.tptp.smt28317440Harrsh 2019.922687harrsh_default326665complete2.009121.356753072092.0unsatunsat
433166575qf_shls_entl/clones-05-e03.tptp.smt28317451Harrsh 2019.922687harrsh_default326665complete2.027021.381243071964.0unsatunsat
433166512qf_shls_entl/clones-05-e04.tptp.smt28317388Harrsh 2019.922687harrsh_default326665complete1.951071.323463072112.0unsatunsat
433166518qf_shls_entl/clones-05-e05.tptp.smt28317394Harrsh 2019.922687harrsh_default326665complete2.022811.35733072016.0unsatunsat
433166528qf_shls_entl/clones-05-e06.tptp.smt28317404Harrsh 2019.922687harrsh_default326665complete1.956531.344593072092.0unsatunsat
433166538qf_shls_entl/clones-05-e07.tptp.smt28317414Harrsh 2019.922687harrsh_default326665complete1760.24555.2543093228.0starexec-unknownsat
433166489qf_shls_entl/clones-05-e08.tptp.smt28317365Harrsh 2019.922687harrsh_default326665complete1563.94484.513094192.0starexec-unknownsat
433166482qf_shls_entl/clones-05-e09.tptp.smt28317358Harrsh 2019.922687harrsh_default326665complete1416.84467.7423091508.0starexec-unknownsat
433166297qf_shls_entl/clones-05-e10.tptp.smt28317173Harrsh 2019.922687harrsh_default326665complete1917.19591.0183096740.0starexec-unknownsat
433166416qf_shls_entl/clones-06-e01.tptp.smt28317292Harrsh 2019.922687harrsh_default326665complete1.996071.345263071964.0unsatunsat
433166426qf_shls_entl/clones-06-e02.tptp.smt28317302Harrsh 2019.922687harrsh_default326665complete2.03431.356123071964.0unsatunsat
433166439qf_shls_entl/clones-06-e03.tptp.smt28317315Harrsh 2019.922687harrsh_default326665complete2.037731.373533072056.0unsatunsat
433166368qf_shls_entl/clones-06-e04.tptp.smt28317244Harrsh 2019.922687harrsh_default326665complete1.943431.310033072084.0unsatunsat
433166378qf_shls_entl/clones-06-e05.tptp.smt28317254Harrsh 2019.922687harrsh_default326665complete2.040621.353763072048.0unsatunsat
433166388qf_shls_entl/clones-06-e06.tptp.smt28317264Harrsh 2019.922687harrsh_default326665complete1.953521.320463072032.0unsatunsat
433166399qf_shls_entl/clones-06-e07.tptp.smt28317275Harrsh 2019.922687harrsh_default326665complete1127.86390.473089168.0starexec-unknownsat
433166335qf_shls_entl/clones-06-e08.tptp.smt28317211Harrsh 2019.922687harrsh_default326665complete1635.12496.3853089372.0starexec-unknownsat
433166325qf_shls_entl/clones-06-e09.tptp.smt28317201Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.08674.6173091324.0starexec-unknownsat
433166450qf_shls_entl/clones-06-e10.tptp.smt28317326Harrsh 2019.922687harrsh_default326665complete1217.21410.9283091208.0starexec-unknownsat
433166470qf_shls_entl/clones-07-e01.tptp.smt28317346Harrsh 2019.922687harrsh_default326665complete2.012411.362293072020.0unsatunsat
433166444qf_shls_entl/clones-07-e02.tptp.smt28317320Harrsh 2019.922687harrsh_default326665complete2.027431.557953071960.0unsatunsat
433166455qf_shls_entl/clones-07-e03.tptp.smt28317331Harrsh 2019.922687harrsh_default326665complete2.035741.357623072020.0unsatunsat
433166497qf_shls_entl/clones-07-e04.tptp.smt28317373Harrsh 2019.922687harrsh_default326665complete1.96031.317633071956.0unsatunsat
433166505qf_shls_entl/clones-07-e05.tptp.smt28317381Harrsh 2019.922687harrsh_default326665complete2.046661.363123072084.0unsatunsat
433166477qf_shls_entl/clones-07-e06.tptp.smt28317353Harrsh 2019.922687harrsh_default326665complete1.960341.313793072112.0unsatunsat
433166487qf_shls_entl/clones-07-e07.tptp.smt28317363Harrsh 2019.922687harrsh_default326665complete1254.05398.4093090692.0starexec-unknownsat
433166534qf_shls_entl/clones-07-e08.tptp.smt28317410Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.14683.7023089252.0starexec-unknownsat
433166525qf_shls_entl/clones-07-e09.tptp.smt28317401Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.08669.6663085684.0starexec-unknownsat
433166432qf_shls_entl/clones-07-e10.tptp.smt28317308Harrsh 2019.922687harrsh_default326665complete1229.48389.193088316.0starexec-unknownsat
433166478qf_shls_entl/clones-08-e01.tptp.smt28317354Harrsh 2019.922687harrsh_default326665complete2.006461.35123072120.0unsatunsat
433166504qf_shls_entl/clones-08-e02.tptp.smt28317380Harrsh 2019.922687harrsh_default326665complete2.029621.346433071992.0unsatunsat
433166496qf_shls_entl/clones-08-e03.tptp.smt28317372Harrsh 2019.922687harrsh_default326665complete2.045571.363113071992.0unsatunsat
433166456qf_shls_entl/clones-08-e04.tptp.smt28317332Harrsh 2019.922687harrsh_default326665complete1.938541.307023072052.0unsatunsat
433166445qf_shls_entl/clones-08-e05.tptp.smt28317321Harrsh 2019.922687harrsh_default326665complete2.065861.380113071660.0unsatunsat
433166469qf_shls_entl/clones-08-e06.tptp.smt28317345Harrsh 2019.922687harrsh_default326665complete1.957211.317043071996.0unsatunsat
433166463qf_shls_entl/clones-08-e07.tptp.smt28317339Harrsh 2019.922687harrsh_default326665complete1311.11405.0763089504.0starexec-unknownsat
433166545qf_shls_entl/clones-08-e08.tptp.smt28317421Harrsh 2019.922687harrsh_default326665complete1160.35369.8923092272.0starexec-unknownsat
433166554qf_shls_entl/clones-08-e09.tptp.smt28317430Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.28670.8753084152.0starexec-unknownsat
433166374qf_shls_entl/clones-08-e10.tptp.smt28317250Harrsh 2019.922687harrsh_default326665complete1302.44403.0123088932.0starexec-unknownsat
433166387qf_shls_entl/clones-09-e01.tptp.smt28317263Harrsh 2019.922687harrsh_default326665complete1.984611.331573072024.0unsatunsat
433166379qf_shls_entl/clones-09-e02.tptp.smt28317255Harrsh 2019.922687harrsh_default326665complete2.038371.362823072020.0unsatunsat
433166369qf_shls_entl/clones-09-e03.tptp.smt28317245Harrsh 2019.922687harrsh_default326665complete2.042021.366113072064.0unsatunsat
433166438qf_shls_entl/clones-09-e04.tptp.smt28317314Harrsh 2019.922687harrsh_default326665complete1.943711.319153072140.0unsatunsat
433166425qf_shls_entl/clones-09-e05.tptp.smt28317301Harrsh 2019.922687harrsh_default326665complete2.07721.393633071996.0unsatunsat
433166417qf_shls_entl/clones-09-e06.tptp.smt28317293Harrsh 2019.922687harrsh_default326665complete1.94271.317833072024.0unsatunsat
433166411qf_shls_entl/clones-09-e07.tptp.smt28317287Harrsh 2019.922687harrsh_default326665complete1267.47387.1753093564.0starexec-unknownsat
433166307qf_shls_entl/clones-09-e08.tptp.smt28317183Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.05663.4813076860.0starexec-unknownsat
433166319qf_shls_entl/clones-09-e09.tptp.smt28317195Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.11663.4443090524.0starexec-unknownsat
433166501qf_shls_entl/clones-09-e10.tptp.smt28317377Harrsh 2019.922687harrsh_default326665timeout (cpu)2400.25672.063092680.0starexec-unknownsat
433166314qf_shls_entl/clones-10-e01.tptp.smt28317190Harrsh 2019.922687harrsh_default326665complete2.010721.345363072060.0unsatunsat
433166282qf_shls_entl/clones-10-e02.tptp.smt28317158Harrsh 2019.922687harrsh_default326665complete2.061461.370733071924.0unsatunsat
433166294qf_shls_entl/clones-10-e03.tptp.smt28317170Harrsh 2019.922687harrsh_default326665complete2.054051.369833071956.0unsatunsat
433166351qf_shls_entl/clones-10-e04.tptp.smt28317227Harrsh 2019.922687harrsh_default326665complete1.943961.304053072020.0unsatunsat
433166361qf_shls_entl/clones-10-e05.tptp.smt28317237Harrsh 2019.922687harrsh_default326665complete2.069661.358923072052.0unsatunsat
433166332qf_shls_entl/clones-10-e06.tptp.smt28317208Harrsh 2019.922687harrsh_default326665complete1.927311.300013071660.0unsatunsat
433166343qf_shls_entl/clones-10-e07.tptp.smt28317219Harrsh 2019.922687harrsh_default326665complete829.299246.5593093268.0starexec-unknownsat
433166404qf_shls_entl/clones-10-e08.tptp.smt28317280Harrsh 2019.922687harrsh_default326665complete1006.62284.2713090216.0starexec-unknownsat
433166397qf_shls_entl/clones-10-e09.tptp.smt28317273Harrsh 2019.922687harrsh_default326665complete767.805228.6823093752.0starexec-unknownsat
433166577qf_shls_entl/clones-10-e10.tptp.smt28317453Harrsh 2019.922687harrsh_default326665complete828.405246.6893091724.0starexec-unknownsat
433166560qf_shls_entl/ls-vc01.smt28317436Harrsh 2019.922687harrsh_default326665complete2.906481.759483078068.0satsat
433166391qf_shls_entl/ls-vc02.smt28317267Harrsh 2019.922687harrsh_default326665complete3.741712.130023076812.0satsat
433166349qf_shls_entl/ls-vc03.smt28317225Harrsh 2019.922687harrsh_default326665complete1142.72379.3583091172.0starexec-unknownsat
433166443qf_shls_entl/ls-vc04.smt28317319Harrsh 2019.922687harrsh_default326665complete2.659951.657813074928.0satsat
433166547qf_shls_entl/ls-vc05.smt28317423Harrsh 2019.922687harrsh_default326665complete1.938871.305863072000.0unsatunsat
433166376qf_shls_entl/ls-vc06.smt28317252Harrsh 2019.922687harrsh_default326665complete3.53442.023893076724.0satsat
433166334qf_shls_entl/ls-vc07.smt28317210Harrsh 2019.922687harrsh_default326665complete5.329312.679743077308.0satsat
433166503qf_shls_entl/ls-vc08.smt28317379Harrsh 2019.922687harrsh_default326665complete3.558052.081053078100.0unsatunsat
433166535qf_shls_entl/ls-vc09.smt28317411Harrsh 2019.922687harrsh_default326665complete4.723062.480933078644.0unsatunsat
433166365qf_shls_entl/smallfoot-vc01.tptp.smt28317241Harrsh 2019.922687harrsh_default326665complete1.962811.308343072056.0unsatunsat
433166398qf_shls_entl/smallfoot-vc02.tptp.smt28317274Harrsh 2019.922687harrsh_default326665complete1.952831.317363071972.0unsatunsat
433166390qf_shls_entl/smallfoot-vc03.tptp.smt28317266Harrsh 2019.922687harrsh_default326665complete1.934121.301153072056.0unsatunsat
433166419qf_shls_entl/smallfoot-vc04.tptp.smt28317295Harrsh 2019.922687harrsh_default326665complete2.210971.451993071996.0unsatunsat
433166409qf_shls_entl/smallfoot-vc05.tptp.smt28317285Harrsh 2019.922687harrsh_default326665complete2.179251.482423072300.0unsatunsat
433166436qf_shls_entl/smallfoot-vc06.tptp.smt28317312Harrsh 2019.922687harrsh_default326665complete2.222751.437713072140.0satunsat
433166429qf_shls_entl/smallfoot-vc07.tptp.smt28317305Harrsh 2019.922687harrsh_default326665complete1.964431.319993071968.0unsatunsat
433166289qf_shls_entl/smallfoot-vc08.tptp.smt28317165Harrsh 2019.922687harrsh_default326665complete1.976491.31093072060.0unsatunsat
433166303qf_shls_entl/smallfoot-vc09.tptp.smt28317179Harrsh 2019.922687harrsh_default326665complete1.973751.321173072096.0unsatunsat
433166484qf_shls_entl/smallfoot-vc10.tptp.smt28317360Harrsh 2019.922687harrsh_default326665complete3.303341.923523077168.0unsatunsat
433166492qf_shls_entl/smallfoot-vc11.tptp.smt28317368Harrsh 2019.922687harrsh_default326665complete3.277291.928443076516.0unsatunsat
433166498qf_shls_entl/smallfoot-vc12.tptp.smt28317374Harrsh 2019.922687harrsh_default326665complete1.969851.316123072096.0unsatunsat
433166509qf_shls_entl/smallfoot-vc13.tptp.smt28317385Harrsh 2019.922687harrsh_default326665complete3.309271.940243078284.0unsatunsat
433166441qf_shls_entl/smallfoot-vc14.tptp.smt28317317Harrsh 2019.922687harrsh_default326665complete1.987611.325853071992.0unsatunsat
433166448qf_shls_entl/smallfoot-vc15.tptp.smt28317324Harrsh 2019.922687harrsh_default326665complete1.976171.326493072084.0unsatunsat
433166458qf_shls_entl/smallfoot-vc16.tptp.smt28317334Harrsh 2019.922687harrsh_default326665complete1.976011.324313072028.0unsatunsat
433166467qf_shls_entl/smallfoot-vc17.tptp.smt28317343Harrsh 2019.922687harrsh_default326665complete1.976181.316213071932.0unsatunsat
433166551qf_shls_entl/smallfoot-vc18.tptp.smt28317427Harrsh 2019.922687harrsh_default326665complete1.98461.57893072020.0unsatunsat
433166544qf_shls_entl/smallfoot-vc19.tptp.smt28317420Harrsh 2019.922687harrsh_default326665complete1.947211.310083072092.0unsatunsat
433166284qf_shls_entl/smallfoot-vc20.tptp.smt28317160Harrsh 2019.922687harrsh_default326665complete1.961311.317723072052.0unsatunsat
433166292qf_shls_entl/smallfoot-vc21.tptp.smt28317168Harrsh 2019.922687harrsh_default326665complete1.968541.31733072012.0unsatunsat
433166306qf_shls_entl/smallfoot-vc22.tptp.smt28317182Harrsh 2019.922687harrsh_default326665complete2.472371.564433074940.0satsat
433166315qf_shls_entl/smallfoot-vc23.tptp.smt28317191Harrsh 2019.922687harrsh_default326665complete2.760681.692663077212.0satsat
433166333qf_shls_entl/smallfoot-vc24.tptp.smt28317209Harrsh 2019.922687harrsh_default326665complete2.738071.697793076376.0unsatunsat
433166342qf_shls_entl/smallfoot-vc25.tptp.smt28317218Harrsh 2019.922687harrsh_default326665complete2.743391.684763074284.0unsatunsat
433166350qf_shls_entl/smallfoot-vc26.tptp.smt28317226Harrsh 2019.922687harrsh_default326665complete1.960151.321343072020.0unsatunsat
433166363qf_shls_entl/smallfoot-vc27.tptp.smt28317239Harrsh 2019.922687harrsh_default326665complete1.957791.387923071896.0unsatunsat
433166382qf_shls_entl/smallfoot-vc28.tptp.smt28317258Harrsh 2019.922687harrsh_default326665complete3.346771.96293077208.0unsatunsat
433166373qf_shls_entl/smallfoot-vc29.tptp.smt28317249Harrsh 2019.922687harrsh_default326665complete3.523242.017633077124.0satsat
433166555qf_shls_entl/smallfoot-vc30.tptp.smt28317431Harrsh 2019.922687harrsh_default326665complete3.621172.063253076972.0satsat
433166546qf_shls_entl/smallfoot-vc31.tptp.smt28317422Harrsh 2019.922687harrsh_default326665complete4.15242.261143077060.0satsat
433166576qf_shls_entl/smallfoot-vc32.tptp.smt28317452Harrsh 2019.922687harrsh_default326665complete3.626992.071493078052.0satsat
433166567qf_shls_entl/smallfoot-vc33.tptp.smt28317443Harrsh 2019.922687harrsh_default326665complete3.942422.19183077356.0satsat
433166521qf_shls_entl/smallfoot-vc34.tptp.smt28317397Harrsh 2019.922687harrsh_default326665complete1.999921.340313072092.0unsatunsat
433166513qf_shls_entl/smallfoot-vc35.tptp.smt28317389Harrsh 2019.922687harrsh_default326665complete3.584842.042043076944.0satsat
433166533qf_shls_entl/smallfoot-vc36.tptp.smt28317409Harrsh 2019.922687harrsh_default326665complete2.016811.342423072092.0unsatunsat
433166526qf_shls_entl/smallfoot-vc37.tptp.smt28317402Harrsh 2019.922687harrsh_default326665complete3.945252.214523076900.0satsat
433166476qf_shls_entl/smallfoot-vc38.tptp.smt28317352Harrsh 2019.922687harrsh_default326665complete5.015782.555253077208.0unsatunsat
433166488qf_shls_entl/smallfoot-vc39.tptp.smt28317364Harrsh 2019.922687harrsh_default326665complete3.423421.988193076796.0satsat
433166540qf_shls_entl/smallfoot-vc40.tptp.smt28317416Harrsh 2019.922687harrsh_default326665complete3.362431.95033076300.0satsat
433166532qf_shls_entl/smallfoot-vc41.tptp.smt28317408Harrsh 2019.922687harrsh_default326665complete3.622472.089353077296.0unsatunsat
433166523qf_shls_entl/smallfoot-vc42.tptp.smt28317399Harrsh 2019.922687harrsh_default326665complete3.592162.068213076784.0unsatunsat
433166514qf_shls_entl/smallfoot-vc43.tptp.smt28317390Harrsh 2019.922687harrsh_default326665complete3.386751.964953076832.0satsat
433166568qf_shls_entl/smallfoot-vc44.tptp.smt28317444Harrsh 2019.922687harrsh_default326665complete3.626212.119973077240.0unsatunsat
433166562qf_shls_entl/smallfoot-vc45.tptp.smt28317438Harrsh 2019.922687harrsh_default326665complete3.378231.968123076488.0unsatunsat
433166552qf_shls_entl/smallfoot-vc46.tptp.smt28317428Harrsh 2019.922687harrsh_default326665complete3.341991.955813076776.0unsatunsat
433166543qf_shls_entl/smallfoot-vc47.tptp.smt28317419Harrsh 2019.922687harrsh_default326665complete1.955081.326723071988.0unsatunsat
433166459qf_shls_entl/smallfoot-vc48.tptp.smt28317335Harrsh 2019.922687harrsh_default326665complete1.982991.327743071996.0unsatunsat
433166466qf_shls_entl/smallfoot-vc49.tptp.smt28317342Harrsh 2019.922687harrsh_default326665complete3.313531.981223078112.0satsat
433166348qf_shls_entl/smallfoot-vc50.tptp.smt28317224Harrsh 2019.922687harrsh_default326665complete3.305261.957783076348.0unsatunsat
433166360qf_shls_entl/smallfoot-vc51.tptp.smt28317236Harrsh 2019.922687harrsh_default326665complete1.970161.327713072092.0unsatunsat
433166323qf_shls_entl/smallfoot-vc52.tptp.smt28317199Harrsh 2019.922687harrsh_default326665complete1.971931.324493071904.0unsatunsat
433166336qf_shls_entl/smallfoot-vc53.tptp.smt28317212Harrsh 2019.922687harrsh_default326665complete1.959121.319443072024.0unsatunsat
433166308qf_shls_entl/smallfoot-vc54.tptp.smt28317184Harrsh 2019.922687harrsh_default326665complete2.479941.595643074888.0satsat
433166317qf_shls_entl/smallfoot-vc55.tptp.smt28317193Harrsh 2019.922687harrsh_default326665complete3.333771.942433077172.0unsatunsat
433166291qf_shls_entl/smallfoot-vc56.tptp.smt28317167Harrsh 2019.922687harrsh_default326665complete3.370351.985523077744.0satsat
433166302qf_shls_entl/smallfoot-vc57.tptp.smt28317178Harrsh 2019.922687harrsh_default326665complete3.322091.917683076920.0satsat
433166437qf_shls_entl/smallfoot-vc58.tptp.smt28317313Harrsh 2019.922687harrsh_default326665complete1.99511.342123072088.0unsatunsat
433166427qf_shls_entl/smallfoot-vc59.tptp.smt28317303Harrsh 2019.922687harrsh_default326665complete1.97171.431073071932.0unsatunsat
433166462qf_shls_entl/smallfoot-vc60.tptp.smt28317338Harrsh 2019.922687harrsh_default326665complete3.333721.975623076464.0unsatunsat
433166471qf_shls_entl/smallfoot-vc61.tptp.smt28317347Harrsh 2019.922687harrsh_default326665complete3.294921.93383076372.0satsat
433166447qf_shls_entl/smallfoot-vc62.tptp.smt28317323Harrsh 2019.922687harrsh_default326665complete2.015891.348343071948.0unsatunsat
433166453qf_shls_entl/smallfoot-vc63.tptp.smt28317329Harrsh 2019.922687harrsh_default326665complete3.326861.946843077188.0unsatunsat
433166494qf_shls_entl/smallfoot-vc64.tptp.smt28317370Harrsh 2019.922687harrsh_default326665complete1.939681.302233071760.0unsatunsat
433166507qf_shls_entl/smallfoot-vc65.tptp.smt28317383Harrsh 2019.922687harrsh_default326665complete3.325982.091163076556.0unsatunsat
433166479qf_shls_entl/smallfoot-vc66.tptp.smt28317355Harrsh 2019.922687harrsh_default326665complete1.970021.322343071988.0unsatunsat
433166486qf_shls_entl/smallfoot-vc67.tptp.smt28317362Harrsh 2019.922687harrsh_default326665complete3.312621.937733076808.0unsatunsat
433166536qf_shls_entl/smallfoot-vc68.tptp.smt28317412Harrsh 2019.922687harrsh_default326665complete3.355861.965793076928.0satsat
433166524qf_shls_entl/smallfoot-vc69.tptp.smt28317400Harrsh 2019.922687harrsh_default326665complete2.5191.600133074284.0satsat
433166431qf_shls_entl/smallfoot-vc70.tptp.smt28317307Harrsh 2019.922687harrsh_default326665complete3.642082.092173076948.0satsat
433166423qf_shls_entl/smallfoot-vc71.tptp.smt28317299Harrsh 2019.922687harrsh_default326665complete3.409351.991023077136.0unsatunsat
433166414qf_shls_entl/smallfoot-vc72.tptp.smt28317290Harrsh 2019.922687harrsh_default326665complete3.361741.972673076816.0satsat
433166406qf_shls_entl/smallfoot-vc73.tptp.smt28317282Harrsh 2019.922687harrsh_default326665complete3.38261.978223076676.0satsat
433166403qf_shls_entl/smallfoot-vc74.tptp.smt28317279Harrsh 2019.922687harrsh_default326665complete3.417351.987473077168.0unsatunsat
433166396qf_shls_entl/smallfoot-vc75.tptp.smt28317272Harrsh 2019.922687harrsh_default326665complete1.984191.327523071992.0unsatunsat
433166383qf_shls_entl/smallfoot-vc76.tptp.smt28317259Harrsh 2019.922687harrsh_default326665complete3.29991.956033076896.0satsat
433166371qf_shls_entl/smallfoot-vc77.tptp.smt28317247Harrsh 2019.922687harrsh_default326665complete1.96151.333663072124.0unsatunsat