Instances of family Reduction-finding solved by <a href='solver_detail.php?solver=304'>Caqe-bloqqer</a> <br> QBFEVAL'18

Instances of family Reduction-finding solved by Caqe-bloqqer
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
query31_eequery_1344n	SAT	0
query04_query42_1344n	UNSAT	0
axquery_query42_1344n	UNSAT	0
query02_query42_1344n	UNSAT	0
exquery_query42_1344n	UNSAT	0
ntrivil_query42_1344n	UNSAT	0
query27_query42_1344n	UNSAT	0
query26_query42_1344n	UNSAT	0
trivial_query42_1344n	UNSAT	0
query52_query25_1344n	SAT	0
nxquery_query42_1344n	UNSAT	0
query36_query25_1344n	SAT	0
query02_query44_1344n	UNSAT	0
query04_query25_1344n	SAT	0
query07_query42_1344n	UNSAT	0.77
nxquery_query50_1344n	SAT	0.92
query64_query01_1344n	SAT	1.6
query31_query50_1344n	SAT	2.22
eequery_query64_1344n	SAT	3.6
query03_query42_1344n	UNSAT	4.06
query49_ntrivil_1344n	SAT	4.7
query45_query42_1344n	SAT	4.9
query33_query45_1344n	SAT	4.97
query31_reachqu_1344n	SAT	5.4
eequery_query42_1344n	SAT	6.54
query50_query42_1344n	SAT	7.36
query05_query31_1344n	SAT	7.49
query36_query42_1344n	SAT	12.25
query08_query42_1344n	UNSAT	12.39
query50_query06_1344n	SAT	12.6
query31_query42_1344n	SAT	14.53
query25_query42_1344n	SAT	15.11
query06_query42_1344n	UNSAT	17.44
query21_query58_1344n	UNSAT	17.65
query05_query42_1344n	SAT	18.09
query52_query42_1344n	SAT	18.29
query21_query42_1344n	UNSAT	19.31
query09_query42_1344n	UNSAT	36.63
query11_query42_1344n	SAT	39.81
query48_exquery_1344n	SAT	40.93
query33_query42_1344n	SAT	46.82
query34_query11_1344n	SAT	51.71
query54_query58_1344n	SAT	75.39
query58_query42_1344n	UNSAT	77.63
query55_query42_1344n	SAT	82.17
query54_query42_1344n	SAT	93.58
query33_query51_1344n	SAT	99.88
query34_query42_1344n	SAT	101.18
query01_query42_1344n	SAT	128.29
query48_query42_1344n	UNSAT	139.79
query51_query42_1344n	SAT	143.68
query60_query45_1344n	SAT	148.04
query51_query57_1344n	SAT	158.74
query42_query06_1344n	UNSAT	190.77
reachqu_query42_1344n	UNSAT	197.81
query33_query57_1344n	SAT	262.37
query42_query42_1344n	UNSAT	269.28
query64_query11_1344n	SAT	447.39
query71_query36_1344n	UNSAT	496.85
query71_query31_1344n	SAT	710.55
query10_query45_1344n	SAT	876.93
query42_query45_1344n	SAT	896.17
query64_query42_1344n	FAIL	900.02
reachqu_query64_1344n	FAIL	900.02
query60_query44_1344n	FAIL	900.07
nreachq_query54_1344n	FAIL	900.08
nreachq_query11_1344n	FAIL	900.08
query44_query26_1344n	FAIL	900.08
reachqu_query71_1344n	FAIL	900.08
query10_query42_1344n	FAIL	900.09

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Reduction-finding solved by Caqe-bloqqer
QBFEVAL'18 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Reduction-finding solved by Caqe-bloqqer QBFEVAL'18 - Prenex 2QBF Track

Instances of family Reduction-finding solved by Caqe-bloqqer
QBFEVAL'18 - Prenex 2QBF Track