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

InstanceResultTime
DWs-unsat-01-04-1UNSAT0
DWs-unsat-01-03-1UNSAT0
DWs-sat-01-06-1SAT0
DWs-sat-01-05-1SAT0
DWs-sat-02-07-1SAT0.25
DW-sat-01-10-1SAT0.25
DW-sat-02-11-1SAT0.72
CM-sat-02-01-06-4SAT1.13
CM-sat-02-01-06-3SAT1.17
DWs-sat-03-11-1SAT1.23
DWs-sat-04-11-1SAT2.2
DWs-sat-04-12-1SAT2.37
DWs-unsat-05-11-1UNSAT3.29
DW-sat-04-16-1SAT3.62
JP-unsat-02-07-2UNSAT3.88
DWs-unsat-05-12-1UNSAT4.4
DWs-sat-05-15-1SAT5.75
JP-sat-02-07-3SAT6.28
JP-sat-02-07-4SAT9.66
CM-sat-03-01-07-3SAT9.75
DWs-sat-06-17-1SAT10.36
DW-unsat-06-16-1UNSAT11.44
SR-sat-02-01-06-2SAT12.21
JP-sat-02-08-3SAT13.98
SR-sat-02-01-07-2SAT14.01
DW-sat-06-20-1SAT16.6
DW-sat-07-20-1SAT22.74
DWs-unsat-07-16-1UNSAT23.24
CM-sat-03-01-06-4SAT23.79
CM-sat-04-01-06-3SAT26.1
SR-unsat-02-01-05-2UNSAT28.16
DWs-unsat-08-17-1UNSAT36.89
SR-unsat-04-01-08-1UNSAT39.58
CM-sat-04-01-07-3SAT46.6
DWs-unsat-08-18-1UNSAT58.36
DW-sat-08-24-1SAT67.74
DW-sat-08-22-1SAT83.3
DW-sat-09-26-1SAT85.94
DWs-unsat-09-19-1UNSAT88.52
DW-sat-08-23-1SAT92.99
DWs-sat-10-25-1SAT95.08
CM-sat-04-01-06-4SAT108.83
CM-sat-07-01-06-3SAT154.59
DW-unsat-09-22-1UNSAT168.33
DW-unsat-09-23-1UNSAT227.46
DWs-sat-10-24-1SAT228.74
DWs-unsat-10-22-1UNSAT368.37
DWs-sat-10-23-1SAT395.47
DW-unsat-10-25-1UNSAT504.73
SR-sat-02-01-06-3SAT520.39
DWs-unsat-11-23-1UNSAT539.12
CM-sat-07-01-06-4SAT609.12
CM-sat-07-01-07-3SAT734.19
DWs-unsat-11-24-1UNSAT847.04
DWs-unsat-17-35-1FAIL900.02
SR-sat-03-01-07-2FAIL900.02
CM-unsat-07-01-06-2FAIL900.04
DW-unsat-14-33-1FAIL900.04
DWs-unsat-23-48-1FAIL900.05
JP-unsat-03-08-3FAIL900.06
DWs-sat-12-28-1FAIL900.07
JP-unsat-03-07-4FAIL900.07
DW-unsat-11-26-1FAIL900.08
DW-unsat-21-47-1FAIL900.08
SR-sat-03-01-08-2FAIL900.09