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

InstanceResultTime
SR-unsat-02-01-06-1UNSAT0.21
CM-sat-02-01-07-3SAT1.26
CM-sat-03-01-07-3SAT10.01
DW-sat-06-20-1SAT11.66
JP-sat-02-07-3SAT38.09
DW-sat-08-23-1SAT39.99
DW-sat-08-24-1SAT99.82
SR-unsat-02-01-05-2UNSAT100.8
DWs-unsat-07-16-1UNSAT106.13
DW-sat-08-22-1SAT106.25
JP-sat-02-08-3SAT119.05
DW-sat-09-26-1SAT127.07
CM-sat-03-01-06-4SAT128.22
DWs-unsat-08-17-1UNSAT174.87
DWs-sat-10-24-1SAT238.58
DWs-unsat-08-18-1UNSAT279.25
DWs-sat-10-23-1SAT309.83
DWs-unsat-09-19-1UNSAT456.01
DW-unsat-09-22-1UNSAT460.47
DWs-sat-12-28-1SAT463.11
JP-sat-02-07-4SAT465.51
SR-sat-02-01-07-2SAT558.6
DW-unsat-10-25-1UNSAT673.76
SR-sat-02-01-06-2SAT774.08
DWs-unsat-13-28-1FAIL900.01
DW-unsat-11-26-1FAIL900.01
CM-sat-07-01-06-4FAIL900.01
DWs-unsat-12-25-1FAIL900.01
CM-unsat-07-01-06-2FAIL900.01
DWs-sat-15-35-1FAIL900.02
JP-sat-03-09-4FAIL900.02
JP-sat-03-08-4FAIL900.02
CM-sat-04-01-06-4FAIL900.02
DWs-unsat-11-24-1FAIL900.02
SR-sat-03-01-07-2FAIL900.03
DWs-sat-10-25-1FAIL900.03
CM-sat-04-01-07-3FAIL900.03
JP-unsat-03-09-4FAIL900.04
SR-sat-03-01-08-2FAIL900.05
JP-unsat-03-07-4FAIL900.05
SR-unsat-03-01-06-2FAIL900.05
JP-unsat-03-08-5FAIL900.05
CM-sat-04-01-06-3FAIL900.05
JP-unsat-02-06-3FAIL900.06
JP-unsat-03-08-3FAIL900.07
CM-sat-07-01-06-3FAIL900.07
DW-unsat-11-27-1FAIL900.08
CM-sat-07-01-07-3FAIL900.08
DWs-unsat-11-23-1FAIL900.09
SR-sat-02-01-06-3FAIL900.09