Instances of family BoundedSynthesisPetriGames solved by Qute_opt993
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
CM-sat-02-01-07-3SAT0
SR-unsat-02-01-06-1UNSAT0
JP-sat-02-08-3SAT1.83
JP-sat-02-07-3SAT2.46
CM-sat-03-01-07-3SAT4
SR-unsat-02-01-05-2UNSAT8.81
SR-sat-02-01-07-2SAT11.37
CM-sat-04-01-07-3SAT12.94
DWs-unsat-07-16-1UNSAT28.27
DW-sat-06-20-1SAT35.53
CM-sat-07-01-07-3SAT42.28
JP-sat-02-07-4SAT49.8
SR-sat-02-01-06-2SAT56.8
DW-unsat-09-22-1UNSAT75.4
DWs-unsat-09-19-1UNSAT189.36
CM-sat-04-01-06-4SAT196.74
DWs-unsat-08-17-1UNSAT218.18
DW-unsat-11-27-1UNSAT249.2
DW-unsat-11-26-1UNSAT329.56
DW-unsat-10-25-1UNSAT330.35
DW-sat-08-22-1SAT358.66
DWs-unsat-08-18-1UNSAT442.47
CM-sat-04-01-06-3SAT450.8
DW-sat-08-23-1SAT497.55
DW-sat-08-24-1SAT601.67
JP-unsat-03-07-4FAIL900.01
DWs-unsat-13-28-1FAIL900.01
JP-unsat-03-08-5FAIL900.01
CM-unsat-07-01-06-2FAIL900.01
DWs-sat-10-25-1FAIL900.01
DWs-sat-10-23-1FAIL900.01
SR-unsat-03-01-06-2FAIL900.02
SR-sat-02-01-06-3FAIL900.02
DWs-sat-12-28-1FAIL900.02
DW-sat-09-26-1FAIL900.02
DWs-unsat-11-24-1FAIL900.02
CM-sat-07-01-06-3FAIL900.02
DWs-sat-10-24-1FAIL900.02
JP-unsat-03-08-3FAIL900.03
JP-unsat-03-09-4FAIL900.03
SR-sat-03-01-08-2FAIL900.03
DWs-unsat-12-25-1FAIL900.04
DWs-unsat-11-23-1FAIL900.04
JP-sat-03-09-4FAIL900.04
JP-unsat-02-06-3FAIL900.05
SR-sat-03-01-07-2FAIL900.05
JP-sat-03-08-4FAIL900.06
CM-sat-07-01-06-4FAIL900.06
DWs-sat-15-35-1FAIL900.08
CM-sat-03-01-06-4FAIL900.09