Instances of family terminator solved by <a href='solver_detail.php?solver=310'>depqbf_pre_QxQBH</a> <br> QBFEVAL'18 - Prenex 2QBF Track

qbflib.org

Instances of family terminator solved by depqbf_pre_QxQBH
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
stmt19_66_214	UNSAT	0
stmt19_133_217	UNSAT	0
stmt27_16_224	UNSAT	0
stmt21_178_258	UNSAT	0
stmt21_71_354	UNSAT	0.43
stmt19_3_401	UNSAT	0.44
stmt21_143_403	UNSAT	0.47
stmt21_181_369	UNSAT	0.48
stmt19_90_408	UNSAT	0.48
stmt21_70_369	UNSAT	0.48
stmt21_71_413	UNSAT	0.53
stmt21_181_218	UNSAT	0.53
stmt53_208_245	UNSAT	0.54
stmt19_137_408	UNSAT	0.54
stmt22_6_414	UNSAT	0.55
stmt46_111_238	UNSAT	0.56
stmt21_84_364	UNSAT	0.63
stmt31_190_227	UNSAT	0.67
stmt31_22_328	UNSAT	0.7
stmt41_160_235	UNSAT	0.7
stmt19_83_412	UNSAT	0.75
stmt27_149_224	UNSAT	0.88
stmt22_311_370	UNSAT	1.11
stmt29_226_376	UNSAT	1.22
stmt21_319_418	SAT	1.57
stmt22_320_370	SAT	1.59
stmt19_368_417	SAT	1.95
stmt19_352_359	UNSAT	2.33
stmt85_300_399	SAT	3.5
stmt19_302_352	SAT	4.42
stmt21_354_403	SAT	9.94
stmt44_40_387	UNSAT	14.39
stmt21_310_360	UNSAT	38.85
stmt52_295_394	UNSAT	42.13
stmt53_296_346	UNSAT	51.85
stmt41_336_385	UNSAT	162.37
stmt39_285_335	UNSAT	168.02
stmt32_329_378	UNSAT	169.2
stmt19_313_412	UNSAT	180.03
stmt47_290_340	UNSAT	182.67
stmt31_276_328	UNSAT	188.71
stmt41_286_385	UNSAT	190.09
stmt50_343_392	FAIL	900.02
stmt47_340_389	FAIL	900.03
stmt46_289_388	FAIL	900.06
stmt29_275_376	FAIL	900.08

Contact | Organization | Links | Citing QBFLIB