Instances of family BoundedSynthesisPetriGames solved by <a href='solver_detail.php?solver=328'>Quabs_2018</a> <br> QBFEVAL'19

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

Instance	Result	Time
DWs-unsat-05-11-1	UNSAT	0
DWs-unsat-01-04-1	UNSAT	0
DWs-unsat-01-03-1	UNSAT	0
DWs-sat-04-12-1	SAT	0
DWs-sat-04-11-1	SAT	0
DWs-sat-03-11-1	SAT	0
DWs-sat-02-07-1	SAT	0
DWs-sat-01-06-1	SAT	0
DWs-sat-01-05-1	SAT	0
CM-sat-02-01-06-3	SAT	0
CM-sat-02-01-06-4	SAT	0
DW-sat-04-16-1	SAT	0
DW-sat-02-11-1	SAT	0
DW-sat-01-10-1	SAT	0
DWs-unsat-05-12-1	UNSAT	0.54
DWs-sat-05-15-1	SAT	0.61
DWs-sat-06-17-1	SAT	0.77
JP-unsat-02-07-2	UNSAT	0.88
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.11
JP-sat-02-07-4	SAT	2.78
SR-sat-02-01-07-2	SAT	3.05
DW-sat-06-20-1	SAT	3.28
JP-sat-02-07-3	SAT	3.52
CM-sat-03-01-07-3	SAT	3.79
DWs-unsat-07-16-1	UNSAT	4.46
DW-unsat-06-16-1	UNSAT	4.54
CM-sat-04-01-06-3	SAT	6.04
DW-sat-08-22-1	SAT	7.13
DWs-unsat-08-17-1	UNSAT	7.73
SR-unsat-04-01-08-1	UNSAT	8.06
CM-sat-03-01-06-4	SAT	9.43
DW-sat-07-20-1	SAT	11.1
DWs-unsat-08-18-1	UNSAT	13.51
DWs-unsat-09-19-1	UNSAT	16.83
CM-sat-04-01-06-4	SAT	26.39
DW-sat-08-23-1	SAT	34.85
DW-sat-09-26-1	SAT	41.75
CM-sat-04-01-07-3	SAT	46.28
DW-sat-08-24-1	SAT	58.15
DWs-sat-10-24-1	SAT	67.08
DWs-unsat-10-22-1	UNSAT	68.29
DWs-sat-10-25-1	SAT	73.53
DWs-sat-10-23-1	SAT	77.59
DWs-unsat-11-23-1	UNSAT	90.47
DW-unsat-09-22-1	UNSAT	91.78
SR-sat-02-01-06-3	SAT	92.87
DW-unsat-09-23-1	UNSAT	120.1
JP-unsat-03-08-3	UNSAT	151.25
DWs-unsat-11-24-1	UNSAT	183.83
CM-unsat-07-01-06-2	UNSAT	261.21
DW-unsat-10-25-1	UNSAT	325.21
DWs-sat-12-28-1	SAT	351.36
CM-sat-07-01-07-3	SAT	416.33
SR-sat-03-01-08-2	SAT	419.73
CM-sat-07-01-06-3	SAT	440.95
JP-unsat-03-07-4	UNSAT	491.5
DW-unsat-11-26-1	UNSAT	587.23
SR-sat-03-01-07-2	SAT	806.45
DWs-unsat-23-48-1	FAIL	900.01
DWs-unsat-17-35-1	FAIL	900.02
DW-unsat-21-47-1	FAIL	900.04
DW-unsat-14-33-1	FAIL	900.06
CM-sat-07-01-06-4	FAIL	900.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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