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

qbflib.org

Instances of family BoundedSynthesisPetriGames solved by QFUN
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
CM-sat-03-01-06-4	SAT	1.6
SR-sat-02-01-06-2	SAT	3.15
JP-sat-02-07-3	SAT	5.15
DW-sat-06-20-1	SAT	5.35
CM-sat-03-01-07-3	SAT	6.46
JP-sat-02-08-3	SAT	7.4
JP-sat-02-07-4	SAT	7.91
SR-sat-02-01-07-2	SAT	11.59
CM-sat-04-01-06-3	SAT	17.32
SR-unsat-02-01-05-2	UNSAT	20.68
JP-unsat-02-06-3	UNSAT	24.94
DWs-unsat-07-16-1	UNSAT	29.67
CM-sat-04-01-07-3	SAT	38.3
CM-sat-04-01-06-4	SAT	40.16
DWs-unsat-08-17-1	UNSAT	54.17
DWs-unsat-08-18-1	UNSAT	82.89
SR-sat-02-01-06-3	SAT	111.38
DWs-sat-10-24-1	SAT	117.87
DW-sat-08-23-1	SAT	133.48
DW-sat-08-24-1	SAT	136.17
DWs-unsat-09-19-1	UNSAT	154.2
DW-sat-08-22-1	SAT	158.42
CM-sat-07-01-06-3	SAT	259.17
DW-unsat-09-22-1	UNSAT	271.94
CM-sat-07-01-06-4	SAT	333.16
DWs-sat-10-25-1	SAT	389.27
DW-sat-09-26-1	SAT	492.9
DWs-sat-10-23-1	SAT	621.91
JP-unsat-03-08-5	FAIL	900
JP-unsat-03-08-3	FAIL	900
SR-unsat-03-01-06-2	FAIL	900.01
DWs-sat-15-35-1	FAIL	900.01
DW-unsat-11-26-1	FAIL	900.01
DWs-unsat-12-25-1	FAIL	900.01
DW-unsat-10-25-1	FAIL	900.02
DWs-sat-12-28-1	FAIL	900.02
CM-unsat-07-01-06-2	FAIL	900.02
JP-unsat-03-07-4	FAIL	900.03
CM-sat-07-01-07-3	FAIL	900.03
DWs-unsat-11-24-1	FAIL	900.03
JP-sat-03-09-4	FAIL	900.04
SR-sat-03-01-07-2	FAIL	900.04
SR-sat-03-01-08-2	FAIL	900.05
JP-sat-03-08-4	FAIL	900.05
DW-unsat-11-27-1	FAIL	900.06
DWs-unsat-11-23-1	FAIL	900.07
JP-unsat-03-09-4	FAIL	900.08
DWs-unsat-13-28-1	FAIL	900.09

Contact | Organization | Links | Citing QBFLIB