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

InstanceResultTime
DWs-sat-01-05-1SAT0
DWs-unsat-01-03-1UNSAT0
DWs-sat-01-06-1SAT0
DW-sat-01-10-1SAT0
DWs-unsat-01-04-1UNSAT0.1
DWs-sat-02-07-1SAT0.25
DW-sat-02-11-1SAT0.45
CM-sat-02-01-06-4SAT0.76
CM-sat-02-01-06-3SAT0.98
DWs-sat-03-11-1SAT1.15
DWs-sat-04-11-1SAT1.96
DWs-sat-04-12-1SAT2.07
DW-sat-04-16-1SAT3.27
DWs-unsat-05-11-1UNSAT6.38
JP-unsat-02-07-2UNSAT6.99
DWs-unsat-05-12-1UNSAT7.86
CM-sat-03-01-07-3SAT9.91
DWs-sat-05-15-1SAT10.88
DW-sat-06-20-1SAT11.53
DW-sat-07-20-1SAT19.35
DW-unsat-06-16-1UNSAT20.31
DWs-sat-06-17-1SAT31.72
JP-sat-02-07-3SAT36.56
DW-sat-08-23-1SAT38.8
SR-unsat-02-01-05-2UNSAT95.51
DW-sat-08-24-1SAT96.33
DW-sat-08-22-1SAT100.56
DWs-unsat-07-16-1UNSAT102.92
JP-sat-02-08-3SAT113.37
DW-sat-09-26-1SAT121.25
CM-sat-03-01-06-4SAT124.09
DWs-unsat-08-17-1UNSAT168.94
DWs-sat-10-24-1SAT225.54
DW-unsat-09-23-1UNSAT252.25
DWs-unsat-08-18-1UNSAT263.55
DW-unsat-09-22-1UNSAT273
DWs-sat-10-23-1SAT296.14
SR-unsat-04-01-08-1UNSAT304.32
DWs-unsat-09-19-1UNSAT426.41
DWs-sat-12-28-1SAT433.46
JP-sat-02-07-4SAT452.49
SR-sat-02-01-06-2SAT484.47
SR-sat-02-01-07-2SAT508.85
DW-unsat-10-25-1UNSAT613.02
CM-sat-04-01-07-3FAIL900.01
CM-sat-07-01-07-3FAIL900.01
DWs-sat-10-25-1FAIL900.01
DWs-unsat-11-23-1FAIL900.01
DW-unsat-11-26-1FAIL900.02
CM-sat-04-01-06-4FAIL900.02
CM-sat-07-01-06-3FAIL900.03
JP-unsat-03-07-4FAIL900.03
DW-unsat-21-47-1FAIL900.04
CM-sat-04-01-06-3FAIL900.04
CM-unsat-07-01-06-2FAIL900.04
DWs-unsat-10-22-1FAIL900.05
JP-unsat-03-08-3FAIL900.05
SR-sat-03-01-08-2FAIL900.06
DW-unsat-14-33-1FAIL900.06
DWs-unsat-17-35-1FAIL900.06
CM-sat-07-01-06-4FAIL900.07
SR-sat-03-01-07-2FAIL900.07
SR-sat-02-01-06-3FAIL900.07
DWs-unsat-11-24-1FAIL900.07
DWs-unsat-23-48-1FAIL900.1