Sota solver results for family BoundedSynthesisPetriGames <br> QBFEVAL'19

Sota solver results for family BoundedSynthesisPetriGames
QBFEVAL'19 - Prenex non-CNF Track

Instance	Solver	Result	Time
CM-sat-02-01-06-3	Quabs_2018	SAT	0
CM-sat-02-01-06-4	Qute_default	SAT	0
CM-sat-03-01-06-4	PortfolioGhostQQfunQuAbSQute___pf2	SAT	5.67
CM-sat-03-01-07-3	Qute_default	SAT	0.6
CM-sat-04-01-06-3	QuAbS___quabs-caqe_2019	SAT	6.02
CM-sat-04-01-06-4	PortfolioGhostQQfunQuAbSQute___pf3	SAT	9.87
CM-sat-04-01-07-3	Qute_default	SAT	8.88
CM-sat-07-01-06-3	GhostQ___cegar_qcir_2019	SAT	154.59
CM-sat-07-01-06-4	PortfolioGhostQQfunQuAbSQute___pf3	SAT	87.09
CM-sat-07-01-07-3	PortfolioGhostQQfunQuAbSQute___pf3	SAT	67.57
CM-unsat-07-01-06-2	PortfolioGhostQQfunQuAbSQute___pfs	UNSAT	252.08
DW-sat-01-10-1	Qute_default	SAT	0
DW-sat-02-11-1	Qute_default	SAT	0
DW-sat-04-16-1	Quabs_2018	SAT	0
DW-sat-06-20-1	QuAbS___quabs-caqe_2019	SAT	3.25
DW-sat-07-20-1	PortfolioGhostQQfunQuAbSQute___pfs	SAT	7.8
DW-sat-08-22-1	QuAbS___quabs-caqe_2019	SAT	7.12
DW-sat-08-23-1	PortfolioGhostQQfunQuAbSQute___pf3	SAT	9.36
DW-sat-08-24-1	PortfolioGhostQQfunQuAbSQute___pf3	SAT	23.17
DW-sat-09-26-1	QuAbS___quabs-caqe_2019	SAT	41.62
DW-unsat-06-16-1	Quabs_2018	UNSAT	4.54
DW-unsat-09-22-1	Quabs_2018	UNSAT	91.78
DW-unsat-09-23-1	PortfolioGhostQQfunQuAbSQute___pfs	UNSAT	114.13
DW-unsat-10-25-1	PortfolioGhostQQfunQuAbSQute___pfs	UNSAT	260.33
DW-unsat-11-26-1	Quabs_2018	UNSAT	587.23
DWs-sat-01-05-1	Qute_default	SAT	0
DWs-sat-01-06-1	Qute_default	SAT	0
DWs-sat-02-07-1	Qute_default	SAT	0
DWs-sat-03-11-1	Qute_default	SAT	0
DWs-sat-04-11-1	Quabs_2018	SAT	0
DWs-sat-04-12-1	Qute_default	SAT	0
DWs-sat-05-15-1	QuAbS___quabs-caqe_2019	SAT	0.53
DWs-sat-06-17-1	Quabs_2018	SAT	0.77
DWs-sat-10-23-1	PortfolioGhostQQfunQuAbSQute___pfs	SAT	12.01
DWs-sat-10-24-1	QuAbS___quabs-caqe_2019	SAT	66.86
DWs-sat-10-25-1	PortfolioGhostQQfunQuAbSQute___pfs	SAT	13.88
DWs-sat-12-28-1	PortfolioGhostQQfunQuAbSQute___pf3	SAT	19.76
DWs-unsat-01-03-1	Qute_default	UNSAT	0
DWs-unsat-01-04-1	Qute_default	UNSAT	0
DWs-unsat-05-11-1	Quabs_2018	UNSAT	0
DWs-unsat-05-12-1	QuAbS___quabs-caqe_2019	UNSAT	0.52
DWs-unsat-07-16-1	Quabs_2018	UNSAT	4.46
DWs-unsat-08-17-1	Quabs_2018	UNSAT	7.73
DWs-unsat-08-18-1	Quabs_2018	UNSAT	13.51
DWs-unsat-09-19-1	QuAbS___quabs-caqe_2019	UNSAT	16.7
DWs-unsat-10-22-1	Quabs_2018	UNSAT	68.29
DWs-unsat-11-23-1	Quabs_2018	UNSAT	90.47
DWs-unsat-11-24-1	QuAbS___quabs-caqe_2019	UNSAT	182.08
JP-sat-02-07-3	Qute_default	SAT	0
JP-sat-02-07-4	Quabs_2018	SAT	2.78
JP-sat-02-08-3	QuAbS___quabs-caqe_2019	SAT	1.53
JP-unsat-02-07-2	Quabs_2018	UNSAT	0.88
JP-unsat-03-07-4	PortfolioGhostQQfunQuAbSQute___pfs	UNSAT	207.38
JP-unsat-03-08-3	QuAbS___quabs-caqe_2019	UNSAT	150.17
SR-sat-02-01-06-2	Quabs_2018	SAT	2.11
SR-sat-02-01-06-3	Qute_default	SAT	20.21
SR-sat-02-01-07-2	Qute_default	SAT	0.91
SR-sat-03-01-07-2	PortfolioGhostQQfunQuAbSQute___pfs	SAT	139.51
SR-sat-03-01-08-2	PortfolioGhostQQfunQuAbSQute___pfs	SAT	142.93
SR-unsat-02-01-05-2	Quabs_2018	UNSAT	1.98
SR-unsat-04-01-08-1	Quabs_2018	UNSAT	8.06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family BoundedSynthesisPetriGames
QBFEVAL'19 - Prenex non-CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family BoundedSynthesisPetriGames QBFEVAL'19 - Prenex non-CNF Track

Sota solver results for family BoundedSynthesisPetriGames
QBFEVAL'19 - Prenex non-CNF Track