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

qbflib.org

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

Instance	Result	Time
SR-unsat-02-01-06-1	UNSAT	0
CM-sat-02-01-07-3	SAT	0
JP-sat-02-08-3	SAT	1.55
SR-unsat-02-01-05-2	UNSAT	1.98
SR-sat-02-01-06-2	SAT	2.12
JP-sat-02-07-4	SAT	2.77
SR-sat-02-01-07-2	SAT	3.05
DW-sat-06-20-1	SAT	3.3
JP-sat-02-07-3	SAT	3.48
JP-unsat-02-06-3	UNSAT	3.68
CM-sat-03-01-07-3	SAT	3.83
DWs-unsat-07-16-1	UNSAT	4.54
CM-sat-04-01-06-3	SAT	5.99
DW-sat-08-22-1	SAT	7.08
DWs-unsat-08-17-1	UNSAT	7.79
CM-sat-03-01-06-4	SAT	9.54
DWs-unsat-08-18-1	UNSAT	13.58
DWs-unsat-09-19-1	UNSAT	16.79
CM-sat-04-01-06-4	SAT	26.79
DW-sat-08-23-1	SAT	35.34
DW-sat-09-26-1	SAT	41.68
CM-sat-04-01-07-3	SAT	46.08
DW-sat-08-24-1	SAT	58.27
DWs-sat-10-24-1	SAT	67.89
DWs-sat-10-25-1	SAT	74.39
DWs-sat-10-23-1	SAT	78.04
DWs-unsat-11-23-1	UNSAT	92.83
DW-unsat-09-22-1	UNSAT	92.83
SR-sat-02-01-06-3	SAT	94.35
JP-unsat-03-08-3	UNSAT	153.25
DWs-unsat-11-24-1	UNSAT	187.25
DWs-unsat-12-25-1	UNSAT	257.16
CM-unsat-07-01-06-2	UNSAT	267.19
DW-unsat-10-25-1	UNSAT	346.41
DWs-sat-12-28-1	SAT	364.1
CM-sat-07-01-07-3	SAT	422.73
SR-sat-03-01-08-2	SAT	436.14
CM-sat-07-01-06-3	SAT	457.67
JP-unsat-03-07-4	UNSAT	504.45
DW-unsat-11-27-1	UNSAT	529.02
DW-unsat-11-26-1	UNSAT	589.33
DWs-sat-15-35-1	SAT	760.91
SR-sat-03-01-07-2	SAT	823.76
CM-sat-07-01-06-4	FAIL	900
JP-sat-03-08-4	FAIL	900.01
DWs-unsat-13-28-1	FAIL	900.02
JP-unsat-03-08-5	FAIL	900.02
SR-unsat-03-01-06-2	FAIL	900.02
JP-sat-03-09-4	FAIL	900.03
JP-unsat-03-09-4	FAIL	900.09

Contact | Organization | Links | Citing QBFLIB