Instances of family Reduction-finding solved by <a href='solver_detail.php?solver=269'>GhostQ-PG_cegar</a> <br> QBFEVAL'17

Instances of family Reduction-finding solved by GhostQ-PG_cegar
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
trueque_query42_1344n	UNSAT	0.19
falsequ_query42_1344n	UNSAT	0.21
query64_query01_1344n	SAT	0.3
query04_query25_1344n	SAT	0.32
axquery_query42_1344n	UNSAT	0.41
query52_query25_1344n	SAT	0.42
nxquery_query42_1344n	UNSAT	0.44
exquery_query42_1344n	UNSAT	0.5
query02_query42_1344n	UNSAT	0.5
query36_query25_1344n	SAT	0.53
query31_eequery_1344n	SAT	0.53
query24_query42_1344n	UNSAT	0.61
query04_query42_1344n	UNSAT	0.68
query05_query31_1344n	SAT	0.68
query23_query42_1344n	UNSAT	0.7
eequery_query64_1344n	SAT	0.77
query45_query42_1344n	SAT	0.83
query02_query44_1344n	UNSAT	0.98
query26_query42_1344n	UNSAT	1.21
query15_query42_1344n	UNSAT	1.26
query36_query42_1344n	SAT	1.32
query25_query42_1344n	SAT	1.39
query30_query42_1344n	UNSAT	1.4
query31_query50_1344n	SAT	1.46
trivial_query42_1344n	UNSAT	1.46
query50_query06_1344n	SAT	1.47
ntrivil_query42_1344n	UNSAT	1.52
query48_exquery_1344n	SAT	1.68
query27_query42_1344n	UNSAT	1.74
query49_ntrivil_1344n	SAT	1.88
query33_query45_1344n	SAT	1.88
query54_query58_1344n	SAT	2.14
nxquery_query50_1344n	SAT	2.47
query11_query42_1344n	SAT	2.56
query07_query42_1344n	UNSAT	2.99
query50_query42_1344n	SAT	3.61
query03_query42_1344n	UNSAT	3.75
query21_query42_1344n	UNSAT	4.57
query34_query11_1344n	SAT	4.67
query31_query42_1344n	SAT	5.04
query33_query51_1344n	SAT	5.38
query05_query42_1344n	SAT	5.43
query55_query42_1344n	SAT	9.18
query54_query42_1344n	SAT	11.69
query51_query42_1344n	SAT	15.94
query08_query42_1344n	UNSAT	16.31
query01_query42_1344n	SAT	19.59
query64_query11_1344n	SAT	19.78
query52_query42_1344n	SAT	22.03
query60_query45_1344n	SAT	28.17
query33_query42_1344n	SAT	33.15
eequery_query42_1344n	SAT	34.07
query09_query42_1344n	UNSAT	45.48
query58_query42_1344n	UNSAT	45.53
query06_query42_1344n	UNSAT	45.53
query71_query31_1344n	SAT	56.47
query34_query42_1344n	SAT	59.44
query33_query57_1344n	SAT	94.86
query71_query36_1344n	UNSAT	103.62
nreachq_query11_1344n	UNSAT	112.97
query64_query42_1344n	SAT	191.29
query51_query57_1344n	SAT	197.49
query42_query42_1344n	UNSAT	206.56
reachqu_query42_1344n	UNSAT	306.89
query60_query44_1344n	SAT	389.45
query42_query45_1344n	SAT	448.44
query48_query42_1344n	UNSAT	470.18
nreachq_query54_1344n	SAT	597.43
query42_query60_1344n	FAIL	900
query60_query10_1344n	FAIL	900
query60_query33_1344n	FAIL	900
query71_query34_1344n	FAIL	900
query10_query06_1344n	FAIL	900
query10_query34_1344n	FAIL	900
query10_query45_1344n	FAIL	900
nreachq_query42_1344n	FAIL	900
query10_query42_1344n	FAIL	900
query57_query42_1344n	FAIL	900
query60_query42_1344n	FAIL	900
query71_query42_1344n	FAIL	900
query44_query42_1344n	FAIL	900
query49_query42_1344n	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Reduction-finding solved by GhostQ-PG_cegar
QBFEVAL'17 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Reduction-finding solved by GhostQ-PG_cegar QBFEVAL'17 - Prenex 2QBF Track

Instances of family Reduction-finding solved by GhostQ-PG_cegar
QBFEVAL'17 - Prenex 2QBF Track