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

qbflib.org

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

Instance	Result	Time
JP-sat-02-08-3	SAT	4.64
SR-unsat-02-01-06-1	UNSAT	4.7
CM-sat-02-01-07-3	SAT	4.98
CM-sat-03-01-06-4	SAT	5.47
SR-sat-02-01-07-2	SAT	5.73
SR-sat-02-01-06-2	SAT	5.84
CM-sat-03-01-07-3	SAT	6.43
JP-sat-02-07-3	SAT	6.73
DW-sat-06-20-1	SAT	8.52
CM-sat-04-01-06-3	SAT	8.59
JP-unsat-02-06-3	UNSAT	9.19
JP-sat-02-07-4	SAT	9.84
SR-unsat-02-01-05-2	UNSAT	10.08
DW-sat-08-22-1	SAT	10.39
DW-sat-08-23-1	SAT	10.46
CM-sat-04-01-06-4	SAT	11.27
DWs-sat-10-23-1	SAT	13.85
CM-sat-04-01-07-3	SAT	14.53
DWs-unsat-07-16-1	UNSAT	14.74
DWs-sat-10-25-1	SAT	14.8
DWs-sat-12-28-1	SAT	20.6
DWs-unsat-08-17-1	UNSAT	20.7
DWs-unsat-08-18-1	UNSAT	23.33
DW-sat-08-24-1	SAT	24.05
DWs-sat-15-35-1	SAT	39.77
SR-sat-02-01-06-3	SAT	42.73
DWs-unsat-09-19-1	UNSAT	52.02
CM-sat-07-01-07-3	SAT	67.61
DW-sat-09-26-1	SAT	82.7
CM-sat-07-01-06-4	SAT	87.66
DW-unsat-09-22-1	UNSAT	118.69
SR-sat-03-01-07-2	SAT	139.88
SR-sat-03-01-08-2	SAT	144.83
DWs-sat-10-24-1	SAT	158.51
DWs-unsat-11-23-1	UNSAT	176.01
JP-unsat-03-08-3	UNSAT	178.69
JP-unsat-03-07-4	UNSAT	211.07
CM-sat-07-01-06-3	SAT	213.87
DW-unsat-10-25-1	UNSAT	261.98
CM-unsat-07-01-06-2	UNSAT	287.34
DWs-unsat-11-24-1	UNSAT	313.47
DWs-unsat-12-25-1	UNSAT	392.45
DW-unsat-11-26-1	UNSAT	668.78
DW-unsat-11-27-1	UNSAT	807.24
SR-unsat-03-01-06-2	UNSAT	888.41
JP-unsat-03-09-4	FAIL	900.02
JP-sat-03-09-4	FAIL	900.05
JP-unsat-03-08-5	FAIL	900.06
JP-sat-03-08-4	FAIL	900.09
DWs-unsat-13-28-1	FAIL	900.09

Contact | Organization | Links | Citing QBFLIB