Instances of family BoundedSynthesisPetriGames solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
SR-unsat-03-01-07-1UNSAT2.03
JP-unsat-02-07-2UNSAT3.78
JP-unsat-02-06-3UNSAT20.7
DW-sat-08-23-1SAT50.75
SR-unsat-04-01-08-1UNSAT54.19
DW-sat-08-24-1SAT57.07
DWs-sat-10-24-1SAT94.19
DW-sat-08-22-1SAT136.32
CM-sat-07-01-07-3SAT137.68
CM-sat-07-01-06-3SAT161.58
DW-unsat-08-21-1UNSAT204.14
DW-unsat-09-22-1UNSAT255.53
DWs-sat-10-25-1SAT313.86
DWs-sat-10-23-1SAT323.67
DW-unsat-09-23-1UNSAT558.27
CM-sat-07-01-06-4SAT763.52
SR-sat-03-01-07-3FAIL882.05
CM-sat-17-01-06-4FAIL885.22
SR-sat-04-01-08-2FAIL891.83
CM-sat-17-01-07-3FAIL892.59
SR-unsat-04-01-07-2FAIL893.05
CM-sat-17-01-06-3FAIL893.83
CM-unsat-18-01-05-3FAIL894.31
CM-unsat-17-01-05-3FAIL895.01
DWs-unsat-11-23-1UNSAT898.65
CM-unsat-07-01-05-3FAIL900
CM-unsat-08-01-05-3FAIL900
CM-unsat-07-01-06-2FAIL900
JP-sat-03-09-5FAIL900
DW-sat-19-44-1FAIL900
DW-sat-19-45-1FAIL900
DW-sat-19-46-1FAIL900
SR-sat-03-01-08-2FAIL900
CM-unsat-17-01-06-2FAIL900
JP-unsat-03-07-4FAIL900
DWs-unsat-11-24-1FAIL900
DWs-unsat-12-25-1FAIL900
DW-unsat-19-42-1FAIL900
DW-unsat-19-43-1FAIL900
DW-unsat-20-44-1FAIL900
JP-sat-03-08-5FAIL900
JP-sat-03-09-4FAIL900