Instances of family BoundedSynthesisPetriGames solved by Cqesto_2018
Prenex non-CNF Track

InstanceResultTime
SR-unsat-03-01-07-1UNSAT0
DW-sat-04-16-1SAT0
SR-unsat-02-01-06-1UNSAT0
JP-sat-02-08-3SAT0.82
JP-unsat-02-07-2UNSAT1.21
SR-sat-02-01-07-2SAT1.61
SR-sat-02-01-06-2SAT1.62
JP-sat-02-07-4SAT2.28
JP-unsat-02-06-3UNSAT2.31
DWs-sat-10-23-1SAT3.62
CM-sat-04-01-06-3SAT3.8
DWs-sat-10-25-1SAT4.09
SR-unsat-02-01-05-2UNSAT4.87
CM-sat-04-01-06-4SAT5.54
DWs-sat-12-28-1SAT7.19
CM-sat-04-01-07-3SAT8.37
DWs-unsat-08-17-1UNSAT11.99
SR-unsat-04-01-08-1UNSAT12.18
DW-sat-08-23-1SAT15.07
DW-sat-08-22-1SAT16.79
DWs-unsat-08-18-1UNSAT21.4
DWs-unsat-09-19-1UNSAT40.58
CM-sat-07-01-06-3SAT40.85
CM-sat-07-01-07-3SAT42.28
DW-sat-09-26-1SAT46.35
DWs-sat-19-41-1SAT50.93
DWs-sat-20-43-1SAT56.77
DWs-sat-21-45-1SAT66.98
DW-unsat-09-22-1UNSAT76.48
DWs-sat-22-47-1SAT76.77
DW-unsat-09-23-1UNSAT77.27
DWs-sat-23-49-1SAT97.63
DWs-sat-24-51-1SAT124.7
DWs-sat-25-53-1SAT149.14
DWs-unsat-10-22-1UNSAT168.16
DW-unsat-10-25-1UNSAT181.67
JP-unsat-03-08-3UNSAT192.78
JP-unsat-03-07-4UNSAT199.77
DWs-unsat-11-23-1UNSAT231.84
CM-unsat-07-01-06-2UNSAT304.48
DWs-unsat-11-24-1UNSAT403.97
DW-unsat-11-26-1UNSAT448.03
CM-sat-07-01-06-4SAT526.54
SR-sat-03-01-08-2SAT577.96
SR-sat-03-01-07-2SAT816.97
CM-unsat-18-01-05-3FAIL900
CM-unsat-17-01-05-3FAIL900
DW-sat-19-44-1FAIL900
DW-unsat-20-44-1FAIL900
DW-sat-22-50-1FAIL900
CM-sat-21-01-06-3FAIL900
CM-sat-20-01-06-3FAIL900
DW-unsat-21-46-1FAIL900
DW-unsat-22-48-1FAIL900
DW-unsat-23-50-1FAIL900
DW-unsat-24-52-1FAIL900
DW-unsat-25-54-1FAIL900
CM-sat-19-01-06-3FAIL900
CM-sat-18-01-07-3FAIL900
JP-sat-03-08-4FAIL900
JP-sat-03-09-6FAIL900
JP-sat-03-10-5FAIL900
JP-unsat-03-08-5FAIL900
DWs-unsat-25-51-1FAIL900
DWs-unsat-24-49-1FAIL900
DW-sat-21-48-1FAIL900
DW-sat-20-46-1FAIL900
DW-sat-18-42-1FAIL900
DW-sat-17-40-1FAIL900
CM-unsat-21-01-05-3FAIL900
CM-unsat-20-01-05-3FAIL900
CM-unsat-19-01-05-3FAIL900
CM-unsat-16-01-05-3FAIL900
CM-unsat-15-01-05-3FAIL900
CM-unsat-14-01-05-3FAIL900
CM-unsat-13-01-05-3FAIL900
DWs-unsat-22-45-1FAIL900
DWs-unsat-23-47-1FAIL900
JP-unsat-03-09-4FAIL900
SR-sat-02-01-06-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-09-4FAIL900
SR-sat-04-01-08-3FAIL900
SR-sat-04-01-09-2FAIL900
SR-unsat-03-01-06-2FAIL900
JP-sat-03-08-5FAIL900