pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433165910qf_shls_entl/bolognesa-10-e01.tptp.smt28317378COMSPEN201922337qf_shls_sat325903complete3.282263.28264161072.0satsat
433165901qf_shls_entl/bolognesa-10-e02.tptp.smt28317369COMSPEN201922337qf_shls_sat325903complete2.984792.98489160988.0unsatunsat
433165891qf_shls_entl/bolognesa-10-e03.tptp.smt28317359COMSPEN201922337qf_shls_sat325903complete3.477833.47805161068.0unsatunsat
433165873qf_shls_entl/bolognesa-10-e04.tptp.smt28317341COMSPEN201922337qf_shls_sat325903complete3.568813.56886161160.0satsat
433165868qf_shls_entl/bolognesa-10-e05.tptp.smt28317336COMSPEN201922337qf_shls_sat325903complete3.225683.22589161160.0satsat
433165859qf_shls_entl/bolognesa-10-e06.tptp.smt28317327COMSPEN201922337qf_shls_sat325903complete3.010733.01103161140.0satsat
433165848qf_shls_entl/bolognesa-10-e07.tptp.smt28317316COMSPEN201922337qf_shls_sat325903complete3.004993.00548161044.0satsat
433165969qf_shls_entl/bolognesa-10-e08.tptp.smt28317437COMSPEN201922337qf_shls_sat325903complete3.15453.15465161044.0satsat
433165977qf_shls_entl/bolognesa-10-e09.tptp.smt28317445COMSPEN201922337qf_shls_sat325903complete3.573323.57356161072.0satsat
433165794qf_shls_entl/bolognesa-10-e10.tptp.smt28317262COMSPEN201922337qf_shls_sat325903complete3.499953.5002161080.0unsatunsat
433165783qf_shls_entl/bolognesa-11-e01.tptp.smt28317251COMSPEN201922337qf_shls_sat325903complete3.917833.92027161196.0unsatunsat
433165813qf_shls_entl/bolognesa-11-e02.tptp.smt28317281COMSPEN201922337qf_shls_sat325903complete3.777083.7774161196.0unsatunsat
433165802qf_shls_entl/bolognesa-11-e03.tptp.smt28317270COMSPEN201922337qf_shls_sat325903complete4.396584.39731161228.0unsatunsat
433165821qf_shls_entl/bolognesa-11-e04.tptp.smt28317289COMSPEN201922337qf_shls_sat325903complete4.019464.01975161204.0unsatunsat
433165816qf_shls_entl/bolognesa-11-e05.tptp.smt28317284COMSPEN201922337qf_shls_sat325903complete7.591683.81237161080.0satsat
433165841qf_shls_entl/bolognesa-11-e06.tptp.smt28317309COMSPEN201922337qf_shls_sat325903complete4.162874.16566161196.0satsat
433165830qf_shls_entl/bolognesa-11-e07.tptp.smt28317298COMSPEN201922337qf_shls_sat325903complete3.941753.94321161184.0unsatunsat
433165691qf_shls_entl/bolognesa-11-e08.tptp.smt28317159COMSPEN201922337qf_shls_sat325903complete3.660623.66079161184.0unsatunsat
433165701qf_shls_entl/bolognesa-11-e09.tptp.smt28317169COMSPEN201922337qf_shls_sat325903complete7.650873.87107161172.0unsatunsat
433165883qf_shls_entl/bolognesa-11-e10.tptp.smt28317351COMSPEN201922337qf_shls_sat325903complete4.019964.02014161080.0satsat
433165925qf_shls_entl/bolognesa-12-e01.tptp.smt28317393COMSPEN201922337qf_shls_sat325903complete4.607484.60758161208.0unsatunsat
433165947qf_shls_entl/bolognesa-12-e02.tptp.smt28317415COMSPEN201922337qf_shls_sat325903complete4.820024.81992161204.0satsat
433165939qf_shls_entl/bolognesa-12-e03.tptp.smt28317407COMSPEN201922337qf_shls_sat325903complete5.219065.21986161264.0satsat
433165958qf_shls_entl/bolognesa-12-e04.tptp.smt28317426COMSPEN201922337qf_shls_sat325903complete5.12145.12165161200.0satsat
433165949qf_shls_entl/bolognesa-12-e05.tptp.smt28317417COMSPEN201922337qf_shls_sat325903complete4.532154.5324161176.0unsatunsat
433165980qf_shls_entl/bolognesa-12-e06.tptp.smt28317448COMSPEN201922337qf_shls_sat325903complete4.046094.0462161180.0unsatunsat
433165971qf_shls_entl/bolognesa-12-e07.tptp.smt28317439COMSPEN201922337qf_shls_sat325903complete4.403324.4039161200.0satsat
433165850qf_shls_entl/bolognesa-12-e08.tptp.smt28317318COMSPEN201922337qf_shls_sat325903complete4.845994.84634161204.0unsatunsat
433165860qf_shls_entl/bolognesa-12-e09.tptp.smt28317328COMSPEN201922337qf_shls_sat325903complete4.70274.70343161232.0unsatunsat
433165734qf_shls_entl/bolognesa-12-e10.tptp.smt28317202COMSPEN201922337qf_shls_sat325903complete4.700974.70099161208.0unsatunsat
433165763qf_shls_entl/bolognesa-13-e01.tptp.smt28317231COMSPEN201922337qf_shls_sat325903complete5.951745.95206161256.0unsatunsat
433165749qf_shls_entl/bolognesa-13-e02.tptp.smt28317217COMSPEN201922337qf_shls_sat325903complete5.815945.81644161248.0satsat
433165738qf_shls_entl/bolognesa-13-e03.tptp.smt28317206COMSPEN201922337qf_shls_sat325903complete5.32845.3291161300.0unsatunsat
433165720qf_shls_entl/bolognesa-13-e04.tptp.smt28317188COMSPEN201922337qf_shls_sat325903complete5.569325.57196161252.0satsat
433165713qf_shls_entl/bolognesa-13-e05.tptp.smt28317181COMSPEN201922337qf_shls_sat325903complete5.636175.63641161244.0satsat
433165706qf_shls_entl/bolognesa-13-e06.tptp.smt28317174COMSPEN201922337qf_shls_sat325903complete5.411785.41245161260.0satsat
433165693qf_shls_entl/bolognesa-13-e07.tptp.smt28317161COMSPEN201922337qf_shls_sat325903complete6.037736.03814161292.0unsatunsat
433165832qf_shls_entl/bolognesa-13-e08.tptp.smt28317300COMSPEN201922337qf_shls_sat325903complete5.043375.04394161228.0unsatunsat
433165842qf_shls_entl/bolognesa-13-e09.tptp.smt28317310COMSPEN201922337qf_shls_sat325903complete5.234955.23526161208.0satsat
433165935qf_shls_entl/bolognesa-13-e10.tptp.smt28317403COMSPEN201922337qf_shls_sat325903complete6.035566.03594161416.0satsat
433165797qf_shls_entl/bolognesa-14-e01.tptp.smt28317265COMSPEN201922337qf_shls_sat325903complete5.922335.92268161336.0unsatunsat
433165789qf_shls_entl/bolognesa-14-e02.tptp.smt28317257COMSPEN201922337qf_shls_sat325903complete6.073956.07407161268.0unsatunsat
433165774qf_shls_entl/bolognesa-14-e03.tptp.smt28317242COMSPEN201922337qf_shls_sat325903complete6.558026.55799161412.0unsatunsat
433165843qf_shls_entl/bolognesa-14-e04.tptp.smt28317311COMSPEN201922337qf_shls_sat325903complete6.135436.13903161376.0unsatunsat
433165836qf_shls_entl/bolognesa-14-e05.tptp.smt28317304COMSPEN201922337qf_shls_sat325903complete7.327737.32819161436.0satsat
433165828qf_shls_entl/bolognesa-14-e06.tptp.smt28317296COMSPEN201922337qf_shls_sat325903complete6.242826.24359161292.0unsatunsat
433165818qf_shls_entl/bolognesa-14-e07.tptp.smt28317286COMSPEN201922337qf_shls_sat325903complete6.611816.61323161408.0unsatunsat
433165718qf_shls_entl/bolognesa-14-e08.tptp.smt28317186COMSPEN201922337qf_shls_sat325903complete6.707196.70771161412.0unsatunsat
433165724qf_shls_entl/bolognesa-14-e09.tptp.smt28317192COMSPEN201922337qf_shls_sat325903complete6.976566.97687161412.0unsatunsat
433165907qf_shls_entl/bolognesa-14-e10.tptp.smt28317375COMSPEN201922337qf_shls_sat325903complete6.897856.8979161384.0satsat
433165888qf_shls_entl/bolognesa-15-e01.tptp.smt28317356COMSPEN201922337qf_shls_sat325903complete7.355947.35957161400.0unsatunsat
433165914qf_shls_entl/bolognesa-15-e02.tptp.smt28317382COMSPEN201922337qf_shls_sat325903complete12.11912.1205161616.0unsatunsat
433165903qf_shls_entl/bolognesa-15-e03.tptp.smt28317371COMSPEN201922337qf_shls_sat325903complete7.978687.97839161516.0satsat
433165862qf_shls_entl/bolognesa-15-e04.tptp.smt28317330COMSPEN201922337qf_shls_sat325903complete7.633687.6341161416.0unsatunsat
433165854qf_shls_entl/bolognesa-15-e05.tptp.smt28317322COMSPEN201922337qf_shls_sat325903complete8.04858.04878161524.0unsatunsat
433165881qf_shls_entl/bolognesa-15-e06.tptp.smt28317349COMSPEN201922337qf_shls_sat325903complete8.799858.79977161532.0unsatunsat
433165869qf_shls_entl/bolognesa-15-e07.tptp.smt28317337COMSPEN201922337qf_shls_sat325903complete7.553797.55474161424.0unsatunsat
433165956qf_shls_entl/bolognesa-15-e08.tptp.smt28317424COMSPEN201922337qf_shls_sat325903complete7.391457.39159161504.0satsat
433165961qf_shls_entl/bolognesa-15-e09.tptp.smt28317429COMSPEN201922337qf_shls_sat325903complete9.293039.29304161560.0satsat
433165778qf_shls_entl/bolognesa-15-e10.tptp.smt28317246COMSPEN201922337qf_shls_sat325903complete7.195197.19806161500.0unsatunsat
433165736qf_shls_entl/bolognesa-16-e01.tptp.smt28317204COMSPEN201922337qf_shls_sat325903complete8.665428.66566161544.0unsatunsat
433165766qf_shls_entl/bolognesa-16-e02.tptp.smt28317234COMSPEN201922337qf_shls_sat325903complete9.143579.14467161548.0satsat
433165753qf_shls_entl/bolognesa-16-e03.tptp.smt28317221COMSPEN201922337qf_shls_sat325903complete9.219039.22037161544.0satsat
433165707qf_shls_entl/bolognesa-16-e04.tptp.smt28317175COMSPEN201922337qf_shls_sat325903complete9.085619.08653161540.0satsat
433165695qf_shls_entl/bolognesa-16-e05.tptp.smt28317163COMSPEN201922337qf_shls_sat325903complete8.502798.50319161648.0unsatunsat
433165730qf_shls_entl/bolognesa-16-e06.tptp.smt28317198COMSPEN201922337qf_shls_sat325903complete8.538268.53871161524.0satsat
433165719qf_shls_entl/bolognesa-16-e07.tptp.smt28317187COMSPEN201922337qf_shls_sat325903complete8.775938.77626161652.0unsatunsat
433165820qf_shls_entl/bolognesa-16-e08.tptp.smt28317288COMSPEN201922337qf_shls_sat325903complete8.889468.88959161648.0unsatunsat
433165829qf_shls_entl/bolognesa-16-e09.tptp.smt28317297COMSPEN201922337qf_shls_sat325903complete8.424088.42497161624.0unsatunsat
433165924qf_shls_entl/bolognesa-16-e10.tptp.smt28317392COMSPEN201922337qf_shls_sat325903complete9.710189.7132161656.0satsat
433165938qf_shls_entl/bolognesa-17-e01.tptp.smt28317406COMSPEN201922337qf_shls_sat325903complete10.238110.239161688.0unsatunsat
433165927qf_shls_entl/bolognesa-17-e02.tptp.smt28317395COMSPEN201922337qf_shls_sat325903complete10.855510.8555161688.0satsat
433165918qf_shls_entl/bolognesa-17-e03.tptp.smt28317386COMSPEN201922337qf_shls_sat325903complete9.989089.99059161660.0satsat
433165982qf_shls_entl/bolognesa-17-e04.tptp.smt28317450COMSPEN201922337qf_shls_sat325903complete10.810110.8145161812.0unsatunsat
433165974qf_shls_entl/bolognesa-17-e05.tptp.smt28317442COMSPEN201922337qf_shls_sat325903complete9.358529.35863161664.0unsatunsat
433165966qf_shls_entl/bolognesa-17-e06.tptp.smt28317434COMSPEN201922337qf_shls_sat325903complete10.509910.5112161692.0unsatunsat
433165957qf_shls_entl/bolognesa-17-e07.tptp.smt28317425COMSPEN201922337qf_shls_sat325903complete9.681299.68155161688.0unsatunsat
433165872qf_shls_entl/bolognesa-17-e08.tptp.smt28317340COMSPEN201922337qf_shls_sat325903complete9.949259.94992161672.0satsat
433165882qf_shls_entl/bolognesa-17-e09.tptp.smt28317350COMSPEN201922337qf_shls_sat325903complete10.681210.6815161684.0unsatunsat
433165761qf_shls_entl/bolognesa-17-e10.tptp.smt28317229COMSPEN201922337qf_shls_sat325903complete10.385910.387161712.0unsatunsat
433165967qf_shls_entl/bolognesa-18-e01.tptp.smt28317435COMSPEN201922337qf_shls_sat325903complete11.642411.6435161748.0unsatunsat
433165973qf_shls_entl/bolognesa-18-e02.tptp.smt28317441COMSPEN201922337qf_shls_sat325903complete11.924511.9245161744.0satsat
433165981qf_shls_entl/bolognesa-18-e03.tptp.smt28317449COMSPEN201922337qf_shls_sat325903complete13.080513.0817161820.0satsat
433165919qf_shls_entl/bolognesa-18-e04.tptp.smt28317387COMSPEN201922337qf_shls_sat325903complete11.750711.7506161748.0satsat
433165928qf_shls_entl/bolognesa-18-e05.tptp.smt28317396COMSPEN201922337qf_shls_sat325903complete12.205212.2057161816.0satsat
433165937qf_shls_entl/bolognesa-18-e06.tptp.smt28317405COMSPEN201922337qf_shls_sat325903complete11.684111.6866161740.0satsat
433165945qf_shls_entl/bolognesa-18-e07.tptp.smt28317413COMSPEN201922337qf_shls_sat325903complete11.011911.0157161696.0satsat
433165898qf_shls_entl/bolognesa-18-e08.tptp.smt28317366COMSPEN201922337qf_shls_sat325903complete13.430613.4314161832.0satsat
433165889qf_shls_entl/bolognesa-18-e09.tptp.smt28317357COMSPEN201922337qf_shls_sat325903complete12.503412.5042161760.0satsat
433165703qf_shls_entl/bolognesa-18-e10.tptp.smt28317171COMSPEN201922337qf_shls_sat325903complete11.403711.4042161712.0unsatunsat
433165729qf_shls_entl/bolognesa-19-e01.tptp.smt28317197COMSPEN201922337qf_shls_sat325903complete13.451313.4518161940.0satsat
433165696qf_shls_entl/bolognesa-19-e02.tptp.smt28317164COMSPEN201922337qf_shls_sat325903complete13.839213.8396161936.0satsat
433165708qf_shls_entl/bolognesa-19-e03.tptp.smt28317176COMSPEN201922337qf_shls_sat325903complete13.904713.9048161944.0satsat
433165752qf_shls_entl/bolognesa-19-e04.tptp.smt28317220COMSPEN201922337qf_shls_sat325903complete12.461112.4618161932.0satsat
433165765qf_shls_entl/bolognesa-19-e05.tptp.smt28317233COMSPEN201922337qf_shls_sat325903complete12.765612.7668161944.0unsatunsat
433165737qf_shls_entl/bolognesa-19-e06.tptp.smt28317205COMSPEN201922337qf_shls_sat325903complete13.392313.3922161940.0unsatunsat
433165746qf_shls_entl/bolognesa-19-e07.tptp.smt28317214COMSPEN201922337qf_shls_sat325903complete14.550914.5512161964.0satsat
433165809qf_shls_entl/bolognesa-19-e08.tptp.smt28317277COMSPEN201922337qf_shls_sat325903complete14.123914.1238161984.0unsatunsat
433165800qf_shls_entl/bolognesa-19-e09.tptp.smt28317268COMSPEN201922337qf_shls_sat325903complete14.516114.5169161996.0satsat
433165978qf_shls_entl/bolognesa-19-e10.tptp.smt28317446COMSPEN201922337qf_shls_sat325903complete13.409313.4108161860.0unsatunsat
433165698qf_shls_entl/bolognesa-20-e01.tptp.smt28317166COMSPEN201922337qf_shls_sat325903complete15.38615.3862161856.0satsat
433165726qf_shls_entl/bolognesa-20-e02.tptp.smt28317194COMSPEN201922337qf_shls_sat325903complete14.269814.2702161976.0satsat
433165717qf_shls_entl/bolognesa-20-e03.tptp.smt28317185COMSPEN201922337qf_shls_sat325903complete14.841114.8444162008.0satsat
433165745qf_shls_entl/bolognesa-20-e04.tptp.smt28317213COMSPEN201922337qf_shls_sat325903complete14.507714.5083162008.0satsat
433165732qf_shls_entl/bolognesa-20-e05.tptp.smt28317200COMSPEN201922337qf_shls_sat325903complete16.354216.3545162072.0satsat
433165767qf_shls_entl/bolognesa-20-e06.tptp.smt28317235COMSPEN201922337qf_shls_sat325903complete15.084915.0862161992.0unsatunsat
433165755qf_shls_entl/bolognesa-20-e07.tptp.smt28317223COMSPEN201922337qf_shls_sat325903complete13.586413.5867161884.0unsatunsat
433165775qf_shls_entl/bolognesa-20-e08.tptp.smt28317243COMSPEN201922337qf_shls_sat325903complete16.647316.6475162024.0unsatunsat
433165788qf_shls_entl/bolognesa-20-e09.tptp.smt28317256COMSPEN201922337qf_shls_sat325903complete14.743914.7447161992.0satsat
433165950qf_shls_entl/bolognesa-20-e10.tptp.smt28317418COMSPEN201922337qf_shls_sat325903complete14.319414.3197161980.0unsatunsat
433165704qf_shls_entl/clones-01-e01.tptp.smt28317172COMSPEN201922337qf_shls_sat325903complete0.0469210.0470029113176.0unsatunsat
433165712qf_shls_entl/clones-01-e02.tptp.smt28317180COMSPEN201922337qf_shls_sat325903complete0.0484910.048567113176.0unsatunsat
433165721qf_shls_entl/clones-01-e03.tptp.smt28317189COMSPEN201922337qf_shls_sat325903complete0.0483980.048471113176.0unsatunsat
433165739qf_shls_entl/clones-01-e04.tptp.smt28317207COMSPEN201922337qf_shls_sat325903complete0.0460210.046104113176.0unsatunsat
433165748qf_shls_entl/clones-01-e05.tptp.smt28317216COMSPEN201922337qf_shls_sat325903complete0.2059290.205992113176.0unsatunsat
433165762qf_shls_entl/clones-01-e06.tptp.smt28317230COMSPEN201922337qf_shls_sat325903complete0.0459040.0651459113176.0unsatunsat
433165772qf_shls_entl/clones-01-e07.tptp.smt28317240COMSPEN201922337qf_shls_sat325903complete0.0525980.0526711113176.0satsat
433165793qf_shls_entl/clones-01-e08.tptp.smt28317261COMSPEN201922337qf_shls_sat325903complete0.0553490.0554321113176.0satsat
433165785qf_shls_entl/clones-01-e09.tptp.smt28317253COMSPEN201922337qf_shls_sat325903complete0.0546740.054745113176.0satsat
433165965qf_shls_entl/clones-01-e10.tptp.smt28317433COMSPEN201922337qf_shls_sat325903complete0.0526750.0527989113176.0satsat
433165857qf_shls_entl/clones-02-e01.tptp.smt28317325COMSPEN201922337qf_shls_sat325903complete0.0471710.04724113176.0unsatunsat
433165865qf_shls_entl/clones-02-e02.tptp.smt28317333COMSPEN201922337qf_shls_sat325903complete0.0492650.0493171113176.0unsatunsat
433165876qf_shls_entl/clones-02-e03.tptp.smt28317344COMSPEN201922337qf_shls_sat325903complete0.0502210.050269113176.0unsatunsat
433165893qf_shls_entl/clones-02-e04.tptp.smt28317361COMSPEN201922337qf_shls_sat325903complete0.0462920.0463771113176.0unsatunsat
433165899qf_shls_entl/clones-02-e05.tptp.smt28317367COMSPEN201922337qf_shls_sat325903complete0.490960.493522113176.0unsatunsat
433165908qf_shls_entl/clones-02-e06.tptp.smt28317376COMSPEN201922337qf_shls_sat325903complete0.0469520.0470441113176.0unsatunsat
433165916qf_shls_entl/clones-02-e07.tptp.smt28317384COMSPEN201922337qf_shls_sat325903complete0.058690.0587389113176.0satsat
433165930qf_shls_entl/clones-02-e08.tptp.smt28317398COMSPEN201922337qf_shls_sat325903complete0.065990.0660549113176.0satsat
433165923qf_shls_entl/clones-02-e09.tptp.smt28317391COMSPEN201922337qf_shls_sat325903complete0.0617270.061765113176.0satsat
433165826qf_shls_entl/clones-02-e10.tptp.smt28317294COMSPEN201922337qf_shls_sat325903complete0.0583080.0583591113176.0satsat
433165838qf_shls_entl/clones-03-e01.tptp.smt28317306COMSPEN201922337qf_shls_sat325903complete0.0486520.0488321113176.0unsatunsat
433165815qf_shls_entl/clones-03-e02.tptp.smt28317283COMSPEN201922337qf_shls_sat325903complete0.0516770.0517639113176.0unsatunsat
433165823qf_shls_entl/clones-03-e03.tptp.smt28317291COMSPEN201922337qf_shls_sat325903complete0.0516560.0517071113176.0unsatunsat
433165803qf_shls_entl/clones-03-e04.tptp.smt28317271COMSPEN201922337qf_shls_sat325903complete0.0461030.0461409113176.0unsatunsat
433165810qf_shls_entl/clones-03-e05.tptp.smt28317278COMSPEN201922337qf_shls_sat325903complete0.9285630.928665158584.0unsatunsat
433165780qf_shls_entl/clones-03-e06.tptp.smt28317248COMSPEN201922337qf_shls_sat325903complete0.0458830.045949113176.0unsatunsat
433165792qf_shls_entl/clones-03-e07.tptp.smt28317260COMSPEN201922337qf_shls_sat325903complete0.06560.065669113176.0satsat
433165770qf_shls_entl/clones-03-e08.tptp.smt28317238COMSPEN201922337qf_shls_sat325903complete0.0804890.080672113176.0satsat
433165760qf_shls_entl/clones-03-e09.tptp.smt28317228COMSPEN201922337qf_shls_sat325903complete0.0716690.071714113176.0satsat
433165880qf_shls_entl/clones-03-e10.tptp.smt28317348COMSPEN201922337qf_shls_sat325903complete0.0658190.0658579113176.0satsat
433165728qf_shls_entl/clones-04-e01.tptp.smt28317196COMSPEN201922337qf_shls_sat325903complete0.0488520.0489409113176.0unsatunsat
433165694qf_shls_entl/clones-04-e02.tptp.smt28317162COMSPEN201922337qf_shls_sat325903complete0.0524620.0525113176.0unsatunsat
433165709qf_shls_entl/clones-04-e03.tptp.smt28317177COMSPEN201922337qf_shls_sat325903complete0.0532560.0533361113176.0unsatunsat
433165754qf_shls_entl/clones-04-e04.tptp.smt28317222COMSPEN201922337qf_shls_sat325903complete0.0459460.0460041113176.0unsatunsat
433165764qf_shls_entl/clones-04-e05.tptp.smt28317232COMSPEN201922337qf_shls_sat325903complete1.490981.49123158608.0unsatunsat
433165735qf_shls_entl/clones-04-e06.tptp.smt28317203COMSPEN201922337qf_shls_sat325903complete0.0461920.0462731113176.0unsatunsat
433165747qf_shls_entl/clones-04-e07.tptp.smt28317215COMSPEN201922337qf_shls_sat325903complete0.0750920.075143113176.0satsat
433165808qf_shls_entl/clones-04-e08.tptp.smt28317276COMSPEN201922337qf_shls_sat325903complete0.0982750.098349113176.0satsat
433165801qf_shls_entl/clones-04-e09.tptp.smt28317269COMSPEN201922337qf_shls_sat325903complete0.0847920.084866113176.0satsat
433165979qf_shls_entl/clones-04-e10.tptp.smt28317447COMSPEN201922337qf_shls_sat325903complete0.0751120.0751811113176.0satsat
433165964qf_shls_entl/clones-05-e01.tptp.smt28317432COMSPEN201922337qf_shls_sat325903complete0.050840.050918113176.0unsatunsat
433165972qf_shls_entl/clones-05-e02.tptp.smt28317440COMSPEN201922337qf_shls_sat325903complete0.0551160.0551449113176.0unsatunsat
433165983qf_shls_entl/clones-05-e03.tptp.smt28317451COMSPEN201922337qf_shls_sat325903complete0.0564940.0565729113176.0unsatunsat
433165920qf_shls_entl/clones-05-e04.tptp.smt28317388COMSPEN201922337qf_shls_sat325903complete0.0461360.046195113176.0unsatunsat
433165926qf_shls_entl/clones-05-e05.tptp.smt28317394COMSPEN201922337qf_shls_sat325903complete2.314212.31433158664.0unsatunsat
433165936qf_shls_entl/clones-05-e06.tptp.smt28317404COMSPEN201922337qf_shls_sat325903complete0.0465250.046589113176.0unsatunsat
433165946qf_shls_entl/clones-05-e07.tptp.smt28317414COMSPEN201922337qf_shls_sat325903complete0.0869950.0870641113176.0satsat
433165897qf_shls_entl/clones-05-e08.tptp.smt28317365COMSPEN201922337qf_shls_sat325903complete0.1208720.120959113176.0satsat
433165890qf_shls_entl/clones-05-e09.tptp.smt28317358COMSPEN201922337qf_shls_sat325903complete0.0996130.0997069113176.0satsat
433165705qf_shls_entl/clones-05-e10.tptp.smt28317173COMSPEN201922337qf_shls_sat325903complete0.0866410.0866811113176.0satsat
433165824qf_shls_entl/clones-06-e01.tptp.smt28317292COMSPEN201922337qf_shls_sat325903complete0.0503380.0504161113176.0unsatunsat
433165834qf_shls_entl/clones-06-e02.tptp.smt28317302COMSPEN201922337qf_shls_sat325903complete0.0568730.056922113176.0unsatunsat
433165847qf_shls_entl/clones-06-e03.tptp.smt28317315COMSPEN201922337qf_shls_sat325903complete0.0569680.0570559113176.0unsatunsat
433165776qf_shls_entl/clones-06-e04.tptp.smt28317244COMSPEN201922337qf_shls_sat325903complete0.0467970.0468719113176.0unsatunsat
433165786qf_shls_entl/clones-06-e05.tptp.smt28317254COMSPEN201922337qf_shls_sat325903complete3.180633.18096158692.0unsatunsat
433165796qf_shls_entl/clones-06-e06.tptp.smt28317264COMSPEN201922337qf_shls_sat325903complete0.0458710.0459271113176.0unsatunsat
433165807qf_shls_entl/clones-06-e07.tptp.smt28317275COMSPEN201922337qf_shls_sat325903complete0.0995660.0996129113176.0satsat
433165743qf_shls_entl/clones-06-e08.tptp.smt28317211COMSPEN201922337qf_shls_sat325903complete0.1467450.146804113176.0satsat
433165733qf_shls_entl/clones-06-e09.tptp.smt28317201COMSPEN201922337qf_shls_sat325903complete0.1177260.117767113176.0satsat
433165858qf_shls_entl/clones-06-e10.tptp.smt28317326COMSPEN201922337qf_shls_sat325903complete0.0986850.0987159113176.0satsat
433165878qf_shls_entl/clones-07-e01.tptp.smt28317346COMSPEN201922337qf_shls_sat325903complete0.0517010.051791113176.0unsatunsat
433165852qf_shls_entl/clones-07-e02.tptp.smt28317320COMSPEN201922337qf_shls_sat325903complete0.0592310.0592899113176.0unsatunsat
433165863qf_shls_entl/clones-07-e03.tptp.smt28317331COMSPEN201922337qf_shls_sat325903complete0.0594360.0595229113176.0unsatunsat
433165905qf_shls_entl/clones-07-e04.tptp.smt28317373COMSPEN201922337qf_shls_sat325903complete0.0459440.0460139113176.0unsatunsat
433165913qf_shls_entl/clones-07-e05.tptp.smt28317381COMSPEN201922337qf_shls_sat325903complete4.381094.38135158784.0unsatunsat
433165885qf_shls_entl/clones-07-e06.tptp.smt28317353COMSPEN201922337qf_shls_sat325903complete0.0465950.0466619113176.0unsatunsat
433165895qf_shls_entl/clones-07-e07.tptp.smt28317363COMSPEN201922337qf_shls_sat325903complete0.1136460.113708113176.0satsat
433165942qf_shls_entl/clones-07-e08.tptp.smt28317410COMSPEN201922337qf_shls_sat325903complete0.1748160.174872113176.0satsat
433165933qf_shls_entl/clones-07-e09.tptp.smt28317401COMSPEN201922337qf_shls_sat325903complete0.1392170.139308113176.0satsat
433165840qf_shls_entl/clones-07-e10.tptp.smt28317308COMSPEN201922337qf_shls_sat325903complete0.1142830.114345113176.0satsat
433165886qf_shls_entl/clones-08-e01.tptp.smt28317354COMSPEN201922337qf_shls_sat325903complete0.0520670.052138113176.0unsatunsat
433165912qf_shls_entl/clones-08-e02.tptp.smt28317380COMSPEN201922337qf_shls_sat325903complete0.0616360.0617391113176.0unsatunsat
433165904qf_shls_entl/clones-08-e03.tptp.smt28317372COMSPEN201922337qf_shls_sat325903complete0.0619470.062014113176.0unsatunsat
433165864qf_shls_entl/clones-08-e04.tptp.smt28317332COMSPEN201922337qf_shls_sat325903complete0.046340.0464209113176.0unsatunsat
433165853qf_shls_entl/clones-08-e05.tptp.smt28317321COMSPEN201922337qf_shls_sat325903complete5.75655.75653158832.0unsatunsat
433165877qf_shls_entl/clones-08-e06.tptp.smt28317345COMSPEN201922337qf_shls_sat325903complete0.0462130.046266113176.0unsatunsat
433165871qf_shls_entl/clones-08-e07.tptp.smt28317339COMSPEN201922337qf_shls_sat325903complete0.1311750.131229113176.0satsat
433165953qf_shls_entl/clones-08-e08.tptp.smt28317421COMSPEN201922337qf_shls_sat325903complete0.2076930.207758113176.0satsat
433165962qf_shls_entl/clones-08-e09.tptp.smt28317430COMSPEN201922337qf_shls_sat325903complete0.1606590.160704113176.0satsat
433165782qf_shls_entl/clones-08-e10.tptp.smt28317250COMSPEN201922337qf_shls_sat325903complete0.1318630.13192113176.0satsat
433165795qf_shls_entl/clones-09-e01.tptp.smt28317263COMSPEN201922337qf_shls_sat325903complete0.0534770.0535389113176.0unsatunsat
433165787qf_shls_entl/clones-09-e02.tptp.smt28317255COMSPEN201922337qf_shls_sat325903complete0.0660610.0661389113176.0unsatunsat
433165777qf_shls_entl/clones-09-e03.tptp.smt28317245COMSPEN201922337qf_shls_sat325903complete0.0656740.0657431113176.0unsatunsat
433165846qf_shls_entl/clones-09-e04.tptp.smt28317314COMSPEN201922337qf_shls_sat325903complete0.0471060.0471941113176.0unsatunsat
433165833qf_shls_entl/clones-09-e05.tptp.smt28317301COMSPEN201922337qf_shls_sat325903complete7.479237.48156158852.0unsatunsat
433165825qf_shls_entl/clones-09-e06.tptp.smt28317293COMSPEN201922337qf_shls_sat325903complete0.0462010.0462341113176.0unsatunsat
433165819qf_shls_entl/clones-09-e07.tptp.smt28317287COMSPEN201922337qf_shls_sat325903complete0.1503520.150404113176.0satsat
433165715qf_shls_entl/clones-09-e08.tptp.smt28317183COMSPEN201922337qf_shls_sat325903complete0.241660.241783113176.0satsat
433165727qf_shls_entl/clones-09-e09.tptp.smt28317195COMSPEN201922337qf_shls_sat325903complete0.1849410.185006113176.0satsat
433165909qf_shls_entl/clones-09-e10.tptp.smt28317377COMSPEN201922337qf_shls_sat325903complete0.150220.150278113176.0satsat
433165722qf_shls_entl/clones-10-e01.tptp.smt28317190COMSPEN201922337qf_shls_sat325903complete0.0544050.054461113176.0unsatunsat
433165690qf_shls_entl/clones-10-e02.tptp.smt28317158COMSPEN201922337qf_shls_sat325903complete0.067640.0676861113176.0unsatunsat
433165702qf_shls_entl/clones-10-e03.tptp.smt28317170COMSPEN201922337qf_shls_sat325903complete0.0675410.067607113176.0unsatunsat
433165759qf_shls_entl/clones-10-e04.tptp.smt28317227COMSPEN201922337qf_shls_sat325903complete0.0465330.0466301113176.0unsatunsat
433165769qf_shls_entl/clones-10-e05.tptp.smt28317237COMSPEN201922337qf_shls_sat325903complete9.262889.26338158968.0unsatunsat
433165740qf_shls_entl/clones-10-e06.tptp.smt28317208COMSPEN201922337qf_shls_sat325903complete0.0459760.046195113176.0unsatunsat
433165751qf_shls_entl/clones-10-e07.tptp.smt28317219COMSPEN201922337qf_shls_sat325903complete0.1715350.171579113176.0satsat
433165812qf_shls_entl/clones-10-e08.tptp.smt28317280COMSPEN201922337qf_shls_sat325903complete0.2727320.272798113176.0satsat
433165805qf_shls_entl/clones-10-e09.tptp.smt28317273COMSPEN201922337qf_shls_sat325903complete0.2159320.215995113176.0satsat
433165985qf_shls_entl/clones-10-e10.tptp.smt28317453COMSPEN201922337qf_shls_sat325903complete0.1710260.171086113176.0satsat
433165968qf_shls_entl/ls-vc01.smt28317436COMSPEN201922337qf_shls_sat325903complete0.313130.313208113176.0satsat
433165799qf_shls_entl/ls-vc02.smt28317267COMSPEN201922337qf_shls_sat325903complete0.4469170.446973113176.0satsat
433165757qf_shls_entl/ls-vc03.smt28317225COMSPEN201922337qf_shls_sat325903complete1.247471.24756158744.0satsat
433165851qf_shls_entl/ls-vc04.smt28317319COMSPEN201922337qf_shls_sat325903complete0.2264660.226663113176.0satsat
433165955qf_shls_entl/ls-vc05.smt28317423COMSPEN201922337qf_shls_sat325903complete0.2541130.254161113176.0unsatunsat
433165784qf_shls_entl/ls-vc06.smt28317252COMSPEN201922337qf_shls_sat325903complete0.3593910.359651113176.0satsat
433165742qf_shls_entl/ls-vc07.smt28317210COMSPEN201922337qf_shls_sat325903complete0.5457090.545805113176.0satsat
433165911qf_shls_entl/ls-vc08.smt28317379COMSPEN201922337qf_shls_sat325903complete0.30810.308183113176.0unsatunsat
433165943qf_shls_entl/ls-vc09.smt28317411COMSPEN201922337qf_shls_sat325903complete0.4824480.482523113176.0unsatunsat
433165773qf_shls_entl/smallfoot-vc01.tptp.smt28317241COMSPEN201922337qf_shls_sat325903complete0.0468810.046964113176.0unsatunsat
433165806qf_shls_entl/smallfoot-vc02.tptp.smt28317274COMSPEN201922337qf_shls_sat325903complete0.0479910.0480641113176.0unsatunsat
433165798qf_shls_entl/smallfoot-vc03.tptp.smt28317266COMSPEN201922337qf_shls_sat325903complete0.0458680.0459221113176.0unsatunsat
433165827qf_shls_entl/smallfoot-vc04.tptp.smt28317295COMSPEN201922337qf_shls_sat325903complete0.04770.0477661113176.0unsatunsat
433165817qf_shls_entl/smallfoot-vc05.tptp.smt28317285COMSPEN201922337qf_shls_sat325903complete0.0469750.0470521113176.0unsatunsat
433165844qf_shls_entl/smallfoot-vc06.tptp.smt28317312COMSPEN201922337qf_shls_sat325903complete0.0470190.047061113176.0unsatunsat
433165837qf_shls_entl/smallfoot-vc07.tptp.smt28317305COMSPEN201922337qf_shls_sat325903complete0.0473010.047383113176.0unsatunsat
433165697qf_shls_entl/smallfoot-vc08.tptp.smt28317165COMSPEN201922337qf_shls_sat325903complete0.0466730.046718113176.0unsatunsat
433165711qf_shls_entl/smallfoot-vc09.tptp.smt28317179COMSPEN201922337qf_shls_sat325903complete0.2898710.28993113176.0unsatunsat
433165892qf_shls_entl/smallfoot-vc10.tptp.smt28317360COMSPEN201922337qf_shls_sat325903complete0.1968120.196868113176.0unsatunsat
433165900qf_shls_entl/smallfoot-vc11.tptp.smt28317368COMSPEN201922337qf_shls_sat325903complete0.1839530.184024113176.0unsatunsat
433165906qf_shls_entl/smallfoot-vc12.tptp.smt28317374COMSPEN201922337qf_shls_sat325903complete0.1715790.171699113176.0unsatunsat
433165917qf_shls_entl/smallfoot-vc13.tptp.smt28317385COMSPEN201922337qf_shls_sat325903complete0.18530.185386113176.0unsatunsat
433165849qf_shls_entl/smallfoot-vc14.tptp.smt28317317COMSPEN201922337qf_shls_sat325903complete0.0479460.0480341113176.0unsatunsat
433165856qf_shls_entl/smallfoot-vc15.tptp.smt28317324COMSPEN201922337qf_shls_sat325903complete0.0484420.0485401113176.0unsatunsat
433165866qf_shls_entl/smallfoot-vc16.tptp.smt28317334COMSPEN201922337qf_shls_sat325903complete0.3188590.318936113176.0unsatunsat
433165875qf_shls_entl/smallfoot-vc17.tptp.smt28317343COMSPEN201922337qf_shls_sat325903complete0.0479340.0480061113176.0unsatunsat
433165959qf_shls_entl/smallfoot-vc18.tptp.smt28317427COMSPEN201922337qf_shls_sat325903complete0.4323170.433705113176.0unsatunsat
433165952qf_shls_entl/smallfoot-vc19.tptp.smt28317420COMSPEN201922337qf_shls_sat325903complete0.0470460.0471339113176.0unsatunsat
433165692qf_shls_entl/smallfoot-vc20.tptp.smt28317160COMSPEN201922337qf_shls_sat325903complete0.0475590.0476881113176.0unsatunsat
433165700qf_shls_entl/smallfoot-vc21.tptp.smt28317168COMSPEN201922337qf_shls_sat325903complete0.1690270.169095113176.0unsatunsat
433165714qf_shls_entl/smallfoot-vc22.tptp.smt28317182COMSPEN201922337qf_shls_sat325903complete0.062220.0622671113176.0satsat
433165723qf_shls_entl/smallfoot-vc23.tptp.smt28317191COMSPEN201922337qf_shls_sat325903complete0.0483830.0484329113176.0satsat
433165741qf_shls_entl/smallfoot-vc24.tptp.smt28317209COMSPEN201922337qf_shls_sat325903complete0.1580630.158111113176.0unsatunsat
433165750qf_shls_entl/smallfoot-vc25.tptp.smt28317218COMSPEN201922337qf_shls_sat325903complete0.1447230.144934113176.0unsatunsat
433165758qf_shls_entl/smallfoot-vc26.tptp.smt28317226COMSPEN201922337qf_shls_sat325903complete0.2059720.206004113176.0unsatunsat
433165771qf_shls_entl/smallfoot-vc27.tptp.smt28317239COMSPEN201922337qf_shls_sat325903complete0.0470280.0470609113176.0unsatunsat
433165790qf_shls_entl/smallfoot-vc28.tptp.smt28317258COMSPEN201922337qf_shls_sat325903complete0.2210150.221073113176.0unsatunsat
433165781qf_shls_entl/smallfoot-vc29.tptp.smt28317249COMSPEN201922337qf_shls_sat325903complete0.0525590.052618113176.0satsat
433165963qf_shls_entl/smallfoot-vc30.tptp.smt28317431COMSPEN201922337qf_shls_sat325903complete0.0574850.0575431113176.0satsat
433165954qf_shls_entl/smallfoot-vc31.tptp.smt28317422COMSPEN201922337qf_shls_sat325903complete0.0582780.058354113176.0satsat
433165984qf_shls_entl/smallfoot-vc32.tptp.smt28317452COMSPEN201922337qf_shls_sat325903complete0.0540930.054139113176.0satsat
433165975qf_shls_entl/smallfoot-vc33.tptp.smt28317443COMSPEN201922337qf_shls_sat325903complete0.0549550.0550449113176.0satsat
433165929qf_shls_entl/smallfoot-vc34.tptp.smt28317397COMSPEN201922337qf_shls_sat325903complete0.5065710.506649113176.0unsatunsat
433165921qf_shls_entl/smallfoot-vc35.tptp.smt28317389COMSPEN201922337qf_shls_sat325903complete0.0536640.0537639113176.0satsat
433165941qf_shls_entl/smallfoot-vc36.tptp.smt28317409COMSPEN201922337qf_shls_sat325903complete0.3167440.316818113176.0unsatunsat
433165934qf_shls_entl/smallfoot-vc37.tptp.smt28317402COMSPEN201922337qf_shls_sat325903complete0.0552680.0553201113176.0satsat
433165884qf_shls_entl/smallfoot-vc38.tptp.smt28317352COMSPEN201922337qf_shls_sat325903complete0.5021670.50223113176.0unsatunsat
433165896qf_shls_entl/smallfoot-vc39.tptp.smt28317364COMSPEN201922337qf_shls_sat325903complete0.310230.310283113176.0satsat
433165948qf_shls_entl/smallfoot-vc40.tptp.smt28317416COMSPEN201922337qf_shls_sat325903complete0.3663750.366463113176.0satsat
433165940qf_shls_entl/smallfoot-vc41.tptp.smt28317408COMSPEN201922337qf_shls_sat325903complete0.3224330.322519113176.0unsatunsat
433165931qf_shls_entl/smallfoot-vc42.tptp.smt28317399COMSPEN201922337qf_shls_sat325903complete0.3640410.364112113176.0unsatunsat
433165922qf_shls_entl/smallfoot-vc43.tptp.smt28317390COMSPEN201922337qf_shls_sat325903complete0.3662080.366333113176.0satsat
433165976qf_shls_entl/smallfoot-vc44.tptp.smt28317444COMSPEN201922337qf_shls_sat325903complete0.4801760.480291113176.0unsatunsat
433165970qf_shls_entl/smallfoot-vc45.tptp.smt28317438COMSPEN201922337qf_shls_sat325903complete0.4187080.418788113176.0unsatunsat
433165960qf_shls_entl/smallfoot-vc46.tptp.smt28317428COMSPEN201922337qf_shls_sat325903complete0.4193990.419446113176.0unsatunsat
433165951qf_shls_entl/smallfoot-vc47.tptp.smt28317419COMSPEN201922337qf_shls_sat325903complete0.0480170.048114113176.0unsatunsat
433165867qf_shls_entl/smallfoot-vc48.tptp.smt28317335COMSPEN201922337qf_shls_sat325903complete0.291470.291728113176.0unsatunsat
433165874qf_shls_entl/smallfoot-vc49.tptp.smt28317342COMSPEN201922337qf_shls_sat325903complete0.2482150.24826113176.0satsat
433165756qf_shls_entl/smallfoot-vc50.tptp.smt28317224COMSPEN201922337qf_shls_sat325903complete0.2226190.222684113176.0unsatunsat
433165768qf_shls_entl/smallfoot-vc51.tptp.smt28317236COMSPEN201922337qf_shls_sat325903complete0.232910.233013113176.0unsatunsat
433165731qf_shls_entl/smallfoot-vc52.tptp.smt28317199COMSPEN201922337qf_shls_sat325903complete0.4883640.488437113176.0unsatunsat
433165744qf_shls_entl/smallfoot-vc53.tptp.smt28317212COMSPEN201922337qf_shls_sat325903complete0.3157050.315789113176.0unsatunsat
433165716qf_shls_entl/smallfoot-vc54.tptp.smt28317184COMSPEN201922337qf_shls_sat325903complete0.0629330.0629879113176.0satsat
433165725qf_shls_entl/smallfoot-vc55.tptp.smt28317193COMSPEN201922337qf_shls_sat325903complete0.2239270.223972113176.0unsatunsat
433165699qf_shls_entl/smallfoot-vc56.tptp.smt28317167COMSPEN201922337qf_shls_sat325903complete0.2203440.220386113176.0satsat
433165710qf_shls_entl/smallfoot-vc57.tptp.smt28317178COMSPEN201922337qf_shls_sat325903complete0.337120.337195113176.0satsat
433165845qf_shls_entl/smallfoot-vc58.tptp.smt28317313COMSPEN201922337qf_shls_sat325903complete0.49050.490757113176.0unsatunsat
433165835qf_shls_entl/smallfoot-vc59.tptp.smt28317303COMSPEN201922337qf_shls_sat325903complete0.4267990.42699113176.0unsatunsat
433165870qf_shls_entl/smallfoot-vc60.tptp.smt28317338COMSPEN201922337qf_shls_sat325903complete0.3062170.306276113176.0unsatunsat
433165879qf_shls_entl/smallfoot-vc61.tptp.smt28317347COMSPEN201922337qf_shls_sat325903complete0.3098460.309901113176.0satsat
433165855qf_shls_entl/smallfoot-vc62.tptp.smt28317323COMSPEN201922337qf_shls_sat325903complete0.0491290.0492971113176.0unsatunsat
433165861qf_shls_entl/smallfoot-vc63.tptp.smt28317329COMSPEN201922337qf_shls_sat325903complete0.3061040.306194113176.0unsatunsat
433165902qf_shls_entl/smallfoot-vc64.tptp.smt28317370COMSPEN201922337qf_shls_sat325903complete0.0478880.047986113176.0unsatunsat
433165915qf_shls_entl/smallfoot-vc65.tptp.smt28317383COMSPEN201922337qf_shls_sat325903complete0.3083980.309125113176.0unsatunsat
433165887qf_shls_entl/smallfoot-vc66.tptp.smt28317355COMSPEN201922337qf_shls_sat325903complete0.2332860.233308113176.0unsatunsat
433165894qf_shls_entl/smallfoot-vc67.tptp.smt28317362COMSPEN201922337qf_shls_sat325903complete0.2227140.222787113176.0unsatunsat
433165944qf_shls_entl/smallfoot-vc68.tptp.smt28317412COMSPEN201922337qf_shls_sat325903complete0.2210310.221127113176.0satsat
433165932qf_shls_entl/smallfoot-vc69.tptp.smt28317400COMSPEN201922337qf_shls_sat325903complete0.0514650.0515319113176.0satsat
433165839qf_shls_entl/smallfoot-vc70.tptp.smt28317307COMSPEN201922337qf_shls_sat325903complete0.3540680.354136113176.0satsat
433165831qf_shls_entl/smallfoot-vc71.tptp.smt28317299COMSPEN201922337qf_shls_sat325903complete0.3333410.333379113176.0unsatunsat
433165822qf_shls_entl/smallfoot-vc72.tptp.smt28317290COMSPEN201922337qf_shls_sat325903complete0.3346190.334915113176.0satsat
433165814qf_shls_entl/smallfoot-vc73.tptp.smt28317282COMSPEN201922337qf_shls_sat325903complete0.3337440.333831113176.0satsat
433165811qf_shls_entl/smallfoot-vc74.tptp.smt28317279COMSPEN201922337qf_shls_sat325903complete0.3644550.364495113176.0unsatunsat
433165804qf_shls_entl/smallfoot-vc75.tptp.smt28317272COMSPEN201922337qf_shls_sat325903complete0.2887360.288828113176.0unsatunsat
433165791qf_shls_entl/smallfoot-vc76.tptp.smt28317259COMSPEN201922337qf_shls_sat325903complete0.3080570.308148113176.0satsat
433165779qf_shls_entl/smallfoot-vc77.tptp.smt28317247COMSPEN201922337qf_shls_sat325903complete0.0475770.047645113176.0unsatunsat