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

qbflib.org

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

Instance	Result	Time
CM-sat-02-01-07-3	SAT	0
SR-unsat-02-01-06-1	UNSAT	0
JP-sat-02-07-3	SAT	0
JP-sat-02-08-3	SAT	0.86
CM-sat-03-01-07-3	SAT	1.07
SR-sat-02-01-07-2	SAT	1.6
SR-sat-02-01-06-2	SAT	1.65
JP-sat-02-07-4	SAT	2.28
JP-unsat-02-06-3	UNSAT	2.39
DW-sat-06-20-1	SAT	2.41
CM-sat-03-01-06-4	SAT	2.58
DWs-sat-10-24-1	SAT	3.67
DWs-sat-10-23-1	SAT	3.71
CM-sat-04-01-06-3	SAT	3.78
DWs-sat-10-25-1	SAT	5.11
SR-unsat-02-01-05-2	UNSAT	5.11
CM-sat-04-01-06-4	SAT	5.51
DWs-unsat-07-16-1	UNSAT	7.28
CM-sat-04-01-07-3	SAT	8.49
DWs-sat-12-28-1	SAT	9.38
DW-sat-08-24-1	SAT	11.81
DWs-unsat-08-17-1	UNSAT	12.18
DW-sat-08-23-1	SAT	15.39
DW-sat-08-22-1	SAT	16.8
DWs-sat-15-35-1	SAT	20.83
DWs-unsat-08-18-1	UNSAT	21.78
DWs-unsat-09-19-1	UNSAT	41.5
CM-sat-07-01-07-3	SAT	43.39
DW-sat-09-26-1	SAT	46.25
CM-sat-07-01-06-3	SAT	51.1
DW-unsat-09-22-1	UNSAT	77.99
JP-unsat-03-08-3	UNSAT	195.08
JP-unsat-03-07-4	UNSAT	203.31
DW-unsat-10-25-1	UNSAT	228.3
DWs-unsat-11-23-1	UNSAT	247.63
CM-unsat-07-01-06-2	UNSAT	308.29
DWs-unsat-11-24-1	UNSAT	421.64
DW-unsat-11-27-1	UNSAT	461.43
DW-unsat-11-26-1	UNSAT	468.7
CM-sat-07-01-06-4	SAT	539.2
SR-sat-03-01-08-2	SAT	576.14
DWs-unsat-12-25-1	UNSAT	606.42
SR-sat-03-01-07-2	SAT	835.76
SR-sat-02-01-06-3	FAIL	900.01
JP-sat-03-09-4	FAIL	900.02
JP-sat-03-08-4	FAIL	900.02
JP-unsat-03-09-4	FAIL	900.03
DWs-unsat-13-28-1	FAIL	900.04
JP-unsat-03-08-5	FAIL	900.05
SR-unsat-03-01-06-2	FAIL	900.06

Contact | Organization | Links | Citing QBFLIB