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

InstanceResultTime
SR-unsat-02-01-06-1UNSAT0
JP-unsat-02-07-2UNSAT3.81
SR-unsat-03-01-07-1UNSAT5.56
JP-unsat-02-06-3UNSAT9.69
JP-sat-02-08-3SAT25.33
JP-sat-02-07-4SAT30.73
SR-unsat-02-01-05-2UNSAT36.68
SR-sat-02-01-07-2SAT65.46
SR-sat-02-01-06-2SAT79.37
CM-sat-04-01-06-4SAT395.66
DW-sat-04-16-1SAT469.7
DW-sat-08-22-1SAT490.95
DWs-unsat-08-17-1UNSAT494.41
DWs-unsat-08-18-1UNSAT502.29
DW-sat-08-23-1SAT506.49
SR-unsat-04-01-08-1UNSAT511.29
CM-sat-04-01-06-3SAT513.92
DW-unsat-24-52-1FAIL518.36
DWs-unsat-22-45-1FAIL518.43
DWs-sat-22-47-1FAIL521.14
DW-sat-09-26-1SAT523.58
DWs-unsat-23-47-1FAIL524.7
DW-unsat-25-54-1FAIL525.68
CM-sat-04-01-07-3SAT528.17
DWs-sat-23-49-1FAIL529.28
DWs-unsat-24-49-1FAIL532.64
DWs-sat-24-51-1FAIL536.44
DWs-unsat-25-51-1FAIL542.69
DWs-sat-25-53-1FAIL546.86
DW-unsat-09-23-1UNSAT550.08
DWs-unsat-10-22-1UNSAT561.06
CM-sat-07-01-07-3SAT563.31
DW-unsat-09-22-1UNSAT575.85
DWs-unsat-09-19-1UNSAT581.06
JP-unsat-03-08-3UNSAT592.36
DW-unsat-10-25-1UNSAT595.28
CM-sat-07-01-06-3SAT604.16
DWs-unsat-11-23-1UNSAT607.88
DWs-sat-10-23-1SAT615.44
DWs-sat-10-25-1SAT632.53
SR-sat-02-01-06-3SAT682.9
DWs-unsat-11-24-1UNSAT698.59
SR-sat-03-01-07-2SAT699.24
SR-sat-04-01-09-2FAIL754.64
SR-sat-03-01-08-2SAT764.61
CM-unsat-07-01-06-2UNSAT775.41
SR-unsat-03-01-06-2UNSAT805.75
JP-unsat-03-07-4UNSAT872.35
DW-unsat-11-26-1UNSAT875.95
SR-sat-03-01-07-3FAIL896.22
CM-sat-20-01-06-3FAIL897.48
CM-unsat-21-01-05-3FAIL897.61
SR-unsat-04-01-07-2FAIL900
SR-sat-04-01-08-2FAIL900
JP-sat-03-09-5FAIL900
JP-sat-03-09-4FAIL900
JP-sat-03-08-5FAIL900
DW-unsat-20-44-1FAIL900
DW-unsat-22-48-1FAIL900
SR-sat-04-01-08-3FAIL900
DW-sat-18-42-1FAIL900
DW-sat-17-40-1FAIL900
CM-unsat-20-01-05-3FAIL900
CM-unsat-19-01-05-3FAIL900
CM-unsat-16-01-05-3FAIL900
CM-unsat-18-01-05-3FAIL900
CM-unsat-17-01-05-3FAIL900
CM-unsat-15-01-05-3FAIL900
CM-unsat-14-01-05-3FAIL900
CM-sat-07-01-06-4FAIL900
CM-unsat-13-01-05-3FAIL900
DW-sat-20-46-1FAIL900
DW-sat-21-48-1FAIL900
DW-unsat-21-46-1FAIL900
DWs-sat-21-45-1FAIL900
DWs-sat-20-43-1FAIL900
JP-sat-03-08-4FAIL900
JP-sat-03-09-6FAIL900
JP-sat-03-10-5FAIL900
DWs-sat-19-41-1FAIL900
JP-unsat-03-08-5FAIL900
JP-unsat-03-09-4FAIL900
DWs-sat-12-28-1FAIL900
DW-sat-22-50-1FAIL900
CM-sat-21-01-06-3FAIL900
DW-unsat-23-50-1FAIL900
CM-sat-19-01-06-3FAIL900
CM-sat-18-01-07-3FAIL900
DW-sat-19-44-1FAIL900