Instances of family BoundedSynthesisPetriGames solved by <a href='solver_detail.php?solver=345'>QuAbS___quabs-caqe_2019</a> <br> QBFEVAL'19

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

Instance	Result	Time
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
DW-sat-04-16-1	SAT	0
CM-sat-02-01-06-3	SAT	0
CM-sat-02-01-06-4	SAT	0
DWs-unsat-05-11-1	UNSAT	0
DW-sat-01-10-1	SAT	0
DW-sat-02-11-1	SAT	0
DWs-unsat-05-12-1	UNSAT	0.52
DWs-sat-05-15-1	SAT	0.53
DWs-sat-06-17-1	SAT	0.77
JP-unsat-02-07-2	UNSAT	0.89
JP-sat-02-08-3	SAT	1.53
SR-unsat-02-01-05-2	UNSAT	2.06
SR-sat-02-01-06-2	SAT	2.11
JP-sat-02-07-4	SAT	2.83
SR-sat-02-01-07-2	SAT	3.04
DW-sat-06-20-1	SAT	3.25
JP-sat-02-07-3	SAT	3.5
CM-sat-03-01-07-3	SAT	3.8
DWs-unsat-07-16-1	UNSAT	4.48
DW-unsat-06-16-1	UNSAT	4.56
CM-sat-04-01-06-3	SAT	6.02
DW-sat-08-22-1	SAT	7.12
DWs-unsat-08-17-1	UNSAT	7.77
SR-unsat-04-01-08-1	UNSAT	8.09
CM-sat-03-01-06-4	SAT	9.48
DW-sat-07-20-1	SAT	11.06
DWs-unsat-08-18-1	UNSAT	13.55
DWs-unsat-09-19-1	UNSAT	16.7
CM-sat-04-01-06-4	SAT	26.4
DW-sat-08-23-1	SAT	34.99
DW-sat-09-26-1	SAT	41.62
CM-sat-04-01-07-3	SAT	46.62
DW-sat-08-24-1	SAT	58.17
DWs-sat-10-24-1	SAT	66.86
DWs-unsat-10-22-1	UNSAT	69.98
DWs-sat-10-25-1	SAT	73.5
DWs-sat-10-23-1	SAT	77
DW-unsat-09-22-1	UNSAT	91.78
DWs-unsat-11-23-1	UNSAT	91.82
SR-sat-02-01-06-3	SAT	92.09
DW-unsat-09-23-1	UNSAT	120.66
JP-unsat-03-08-3	UNSAT	150.17
DWs-unsat-11-24-1	UNSAT	182.08
CM-unsat-07-01-06-2	UNSAT	262.36
DWs-unsat-23-48-1	FAIL	676.17
CM-sat-07-01-07-3	SAT	713.52
DW-unsat-10-25-1	UNSAT	745.96
SR-sat-03-01-07-2	SAT	849.37
CM-sat-07-01-06-4	FAIL	900.01
DW-unsat-11-26-1	FAIL	900.01
DW-unsat-21-47-1	FAIL	900.01
DWs-sat-12-28-1	FAIL	900.02
DWs-unsat-17-35-1	FAIL	900.03
SR-sat-03-01-08-2	FAIL	900.05
JP-unsat-03-07-4	FAIL	900.05
DW-unsat-14-33-1	FAIL	900.06
CM-sat-07-01-06-3	FAIL	900.65

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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