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

InstanceResultTime
DW-sat-01-10-1SAT0
DWs-unsat-01-04-1UNSAT0
DWs-unsat-01-03-1UNSAT0
DWs-sat-02-07-1SAT0
DWs-sat-01-06-1SAT0
DWs-sat-01-05-1SAT0
DW-sat-02-11-1SAT1.63
CM-sat-02-01-06-4SAT2.97
CM-sat-02-01-06-3SAT2.98
JP-unsat-02-07-2UNSAT3.76
DWs-sat-03-11-1SAT6.29
JP-sat-02-07-3SAT12.15
DWs-sat-04-11-1SAT19.35
JP-sat-02-08-3SAT25.22
DWs-sat-04-12-1SAT25.3
JP-sat-02-07-4SAT30.85
DWs-unsat-05-11-1UNSAT33.09
SR-unsat-02-01-05-2UNSAT37.23
SR-sat-02-01-07-2SAT66.56
DWs-unsat-05-12-1UNSAT68.63
SR-sat-02-01-06-2SAT78.87
CM-sat-03-01-06-4SAT90.15
CM-sat-03-01-07-3SAT99.74
DW-unsat-06-16-1UNSAT285.08
CM-sat-04-01-06-4SAT395.39
DW-sat-04-16-1SAT469.73
DW-sat-08-22-1SAT491.38
DWs-unsat-08-17-1UNSAT492.94
DWs-unsat-08-18-1UNSAT501.79
DW-sat-08-23-1SAT508.81
CM-sat-04-01-06-3SAT510.12
DW-sat-08-24-1SAT512.41
SR-unsat-04-01-08-1UNSAT520.94
DW-sat-09-26-1SAT521.29
DWs-unsat-23-48-1FAIL526.52
CM-sat-04-01-07-3SAT529.46
DWs-unsat-07-16-1UNSAT542.09
DW-unsat-09-23-1UNSAT551.27
DWs-unsat-10-22-1UNSAT561.01
CM-sat-07-01-07-3SAT563.35
DWs-unsat-09-19-1UNSAT574.44
DW-unsat-09-22-1UNSAT576.48
JP-unsat-03-08-3UNSAT587.14
DW-unsat-10-25-1UNSAT595.43
DWs-sat-10-24-1SAT603.48
CM-sat-07-01-06-3SAT603.83
DWs-unsat-11-23-1UNSAT607.65
DW-sat-06-20-1SAT610.67
DWs-sat-05-15-1SAT617.7
DWs-sat-10-23-1SAT618.69
DW-sat-07-20-1SAT619.07
DWs-sat-10-25-1SAT632.79
SR-sat-02-01-06-3SAT679.44
DWs-unsat-11-24-1UNSAT698.82
SR-sat-03-01-07-2SAT700.4
DWs-sat-06-17-1SAT728.95
SR-sat-03-01-08-2SAT764.87
CM-unsat-07-01-06-2UNSAT776.93
JP-unsat-03-07-4UNSAT862.66
DW-unsat-11-26-1UNSAT879.08
DW-unsat-21-47-1FAIL900.01
DWs-unsat-17-35-1FAIL900.02
DW-unsat-14-33-1FAIL900.03
DWs-sat-12-28-1FAIL900.04
CM-sat-07-01-06-4FAIL900.06