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

qbflib.org

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

Instance	Result	Time
CM-sat-02-01-07-3	SAT	4.59
SR-unsat-02-01-06-1	UNSAT	4.79
CM-sat-03-01-07-3	SAT	5.52
JP-sat-02-07-3	SAT	5.69
JP-sat-02-08-3	FAIL	5.81
JP-sat-02-07-4	FAIL	5.81
SR-unsat-02-01-05-2	FAIL	5.83
SR-sat-02-01-06-2	FAIL	5.9
CM-sat-03-01-06-4	SAT	6.58
SR-sat-02-01-07-2	SAT	6.9
DW-sat-06-20-1	SAT	7.34
CM-sat-04-01-06-3	SAT	7.48
JP-unsat-02-06-3	UNSAT	8.12
DW-sat-08-22-1	SAT	9.21
DW-sat-08-23-1	SAT	9.34
CM-sat-04-01-06-4	SAT	9.69
DWs-sat-10-23-1	SAT	11.88
CM-sat-04-01-07-3	SAT	12.71
DWs-unsat-07-16-1	UNSAT	13.68
DWs-sat-10-25-1	SAT	13.72
DWs-sat-12-28-1	SAT	19.33
DWs-unsat-08-17-1	UNSAT	21.19
DWs-unsat-08-18-1	UNSAT	22.15
DW-sat-08-24-1	SAT	24.32
SR-sat-02-01-06-3	SAT	41.73
DWs-sat-15-35-1	SAT	44.64
DWs-unsat-09-19-1	UNSAT	46.38
CM-sat-07-01-07-3	SAT	67.08
DW-sat-09-26-1	SAT	81.36
CM-sat-07-01-06-4	SAT	86.46
DW-unsat-09-22-1	UNSAT	117.34
SR-sat-03-01-07-2	SAT	138.4
SR-sat-03-01-08-2	SAT	144.45
DWs-sat-10-24-1	SAT	157.23
JP-unsat-03-08-3	UNSAT	162.15
DWs-unsat-11-23-1	UNSAT	175.06
JP-unsat-03-07-4	UNSAT	210.25
CM-sat-07-01-06-3	SAT	213
CM-unsat-07-01-06-2	UNSAT	255.01
DW-unsat-10-25-1	UNSAT	257.86
DWs-unsat-11-24-1	UNSAT	313.03
DWs-unsat-12-25-1	UNSAT	394.36
DW-unsat-11-26-1	UNSAT	680.02
DW-unsat-11-27-1	UNSAT	796.9
SR-unsat-03-01-06-2	UNSAT	873.93
JP-sat-03-08-4	FAIL	900.01
DWs-unsat-13-28-1	FAIL	900.01
JP-sat-03-09-4	FAIL	900.02
JP-unsat-03-08-5	FAIL	900.08
JP-unsat-03-09-4	FAIL	900.09

Contact | Organization | Links | Citing QBFLIB