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

InstanceResultTime
SR-unsat-03-01-07-1UNSAT1.99
DW-unsat-08-21-1UNSAT14.38
DW-unsat-09-23-1UNSAT56.92
JP-unsat-02-07-2UNSAT61.4
DW-unsat-09-22-1UNSAT456.7
SR-unsat-04-01-08-1UNSAT460.68
CM-sat-07-01-07-3SAT569.33
SR-sat-03-01-08-2FAIL852.84
DW-sat-08-22-1SAT862.42
DW-sat-08-23-1FAIL875.61
CM-unsat-07-01-05-3FAIL875.93
SR-sat-04-01-08-2FAIL875.95
DW-unsat-19-43-1FAIL875.95
CM-unsat-08-01-05-3FAIL876.31
CM-sat-17-01-07-3FAIL876.32
DWs-unsat-12-25-1FAIL876.34
CM-unsat-18-01-05-3FAIL876.41
JP-sat-03-09-5FAIL876.49
DWs-unsat-11-24-1FAIL876.52
JP-unsat-03-07-4FAIL876.61
CM-sat-17-01-06-4FAIL876.64
CM-unsat-17-01-06-2FAIL876.82
SR-sat-03-01-07-3FAIL876.89
SR-unsat-04-01-07-2FAIL876.91
DW-sat-08-24-1FAIL876.93
CM-sat-07-01-06-3FAIL877.01
CM-unsat-17-01-05-3FAIL877.1
CM-sat-07-01-06-4FAIL877.21
DW-unsat-20-44-1FAIL877.22
DWs-unsat-11-23-1FAIL877.22
DW-sat-19-45-1FAIL877.25
JP-sat-03-09-4FAIL877.31
CM-sat-17-01-06-3FAIL877.41
DWs-sat-10-24-1FAIL877.51
DWs-sat-10-23-1FAIL877.6
DW-unsat-19-42-1FAIL877.62
DW-sat-19-46-1FAIL877.68
CM-unsat-07-01-06-2FAIL877.91
JP-unsat-02-06-3FAIL878.01
JP-sat-03-08-5FAIL878.69
DWs-sat-10-25-1FAIL879
DW-sat-19-44-1FAIL879.48