Instances of family BoundedSynthesisPetriGames solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
SR-unsat-03-01-07-1UNSAT0.39
JP-unsat-02-07-2UNSAT0.75
JP-unsat-02-06-3UNSAT1.59
DW-sat-08-23-1SAT4.63
DW-sat-08-24-1SAT6.95
SR-unsat-04-01-08-1UNSAT7.71
DW-sat-08-22-1SAT10.87
DW-unsat-08-21-1UNSAT18.47
DWs-sat-10-24-1SAT20.09
DWs-sat-10-23-1SAT44.84
DW-unsat-09-22-1UNSAT48.56
DW-unsat-09-23-1UNSAT54.34
DWs-sat-10-25-1SAT58.5
DWs-unsat-11-23-1UNSAT63.48
CM-sat-07-01-06-3SAT90.49
CM-sat-07-01-07-3SAT102.28
DWs-unsat-11-24-1UNSAT108.18
DWs-unsat-12-25-1UNSAT155.97
JP-unsat-03-07-4UNSAT175.04
SR-sat-03-01-08-2SAT248.81
CM-unsat-07-01-06-2UNSAT250.66
CM-sat-07-01-06-4SAT594.13
JP-sat-03-09-4UNSAT857.39
CM-unsat-18-01-05-3FAIL900
CM-unsat-17-01-06-2FAIL900
CM-unsat-08-01-05-3FAIL900
CM-unsat-17-01-05-3FAIL900
SR-unsat-04-01-07-2FAIL900
SR-sat-04-01-08-2FAIL900
SR-sat-03-01-07-3FAIL900
JP-sat-03-09-5FAIL900
JP-sat-03-08-5FAIL900
DW-unsat-20-44-1FAIL900
DW-unsat-19-43-1FAIL900
DW-unsat-19-42-1FAIL900
DW-sat-19-46-1FAIL900
DW-sat-19-45-1FAIL900
DW-sat-19-44-1FAIL900
CM-unsat-07-01-05-3FAIL900
CM-sat-17-01-07-3FAIL900
CM-sat-17-01-06-4FAIL900
CM-sat-17-01-06-3FAIL900