Instances of family BoundedSynthesisPetriGames solved by <a href='solver_detail.php?solver=312'>GhostQ_PG___cegar_qcir_2018</a> <br> QBFEVAL'18 - Prenex non-CNF Track

qbflib.org

Instances of family BoundedSynthesisPetriGames solved by GhostQ_PG___cegar_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track

Instance	Result	Time
SR-unsat-02-01-06-1	UNSAT	0.22
CM-sat-02-01-07-3	SAT	1.32
JP-sat-02-07-3	SAT	6.52
JP-sat-02-07-4	SAT	9.68
CM-sat-03-01-07-3	SAT	10
SR-sat-02-01-06-2	SAT	12.59
SR-sat-02-01-07-2	SAT	14.03
JP-sat-02-08-3	SAT	14.59
JP-unsat-02-06-3	UNSAT	14.86
DW-sat-06-20-1	SAT	16.76
DWs-unsat-07-16-1	UNSAT	24.33
CM-sat-03-01-06-4	SAT	24.61
CM-sat-04-01-06-3	SAT	26.8
SR-unsat-02-01-05-2	UNSAT	29.13
DWs-unsat-08-17-1	UNSAT	38.26
CM-sat-04-01-07-3	SAT	48.62
DWs-unsat-08-18-1	UNSAT	60.78
DW-sat-08-24-1	SAT	70.52
DW-sat-08-22-1	SAT	88.15
DWs-unsat-09-19-1	UNSAT	93.11
DWs-sat-10-25-1	SAT	100.75
CM-sat-04-01-06-4	SAT	111.39
DW-sat-09-26-1	SAT	111.85
DW-sat-08-23-1	SAT	145.45
CM-sat-07-01-06-3	SAT	160.7
DW-unsat-09-22-1	UNSAT	175.49
DWs-sat-10-24-1	SAT	242.81
DW-unsat-10-25-1	UNSAT	529.34
SR-sat-02-01-06-3	SAT	545.15
DWs-unsat-11-23-1	UNSAT	576.48
CM-sat-07-01-06-4	SAT	630.49
DWs-sat-10-23-1	SAT	664.36
DWs-unsat-11-24-1	UNSAT	895.07
CM-unsat-07-01-06-2	FAIL	900.02
JP-unsat-03-07-4	FAIL	900.02
DW-unsat-11-26-1	FAIL	900.02
JP-sat-03-08-4	FAIL	900.02
JP-unsat-03-08-5	FAIL	900.02
SR-sat-03-01-08-2	FAIL	900.03
DWs-unsat-12-25-1	FAIL	900.03
DWs-unsat-13-28-1	FAIL	900.03
DWs-sat-15-35-1	FAIL	900.04
JP-unsat-03-09-4	FAIL	900.04
JP-sat-03-09-4	FAIL	900.05
DWs-sat-12-28-1	FAIL	900.05
DW-unsat-11-27-1	FAIL	900.05
JP-unsat-03-08-3	FAIL	900.05
SR-sat-03-01-07-2	FAIL	900.05
CM-sat-07-01-07-3	FAIL	900.06
SR-unsat-03-01-06-2	FAIL	900.07

Contact | Organization | Links | Citing QBFLIB