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

InstanceResultTime
DWs-unsat-01-04-1UNSAT4.74
DWs-sat-02-07-1SAT4.75
DWs-unsat-01-03-1UNSAT4.76
DWs-sat-01-06-1SAT4.76
DW-sat-01-10-1SAT4.8
DWs-sat-01-05-1SAT4.8
DW-sat-02-11-1SAT4.82
DWs-sat-03-11-1SAT4.87
CM-sat-02-01-06-3SAT4.96
DWs-sat-04-11-1SAT5.02
CM-sat-02-01-06-4SAT5.04
JP-sat-02-08-3SAT5.16
DWs-sat-04-12-1SAT5.23
DWs-sat-05-15-1SAT5.35
DWs-unsat-05-11-1UNSAT5.47
DW-sat-04-16-1SAT5.56
CM-sat-03-01-06-4SAT5.67
SR-sat-02-01-06-2SAT5.72
JP-unsat-02-07-2UNSAT5.75
DWs-unsat-05-12-1UNSAT5.87
CM-sat-03-01-07-3SAT6.71
JP-sat-02-07-3SAT6.96
SR-sat-02-01-07-2SAT8.12
DWs-sat-06-17-1SAT8.26
DW-sat-06-20-1SAT8.7
CM-sat-04-01-06-3SAT8.85
DW-sat-07-20-1SAT8.89
JP-sat-02-07-4SAT10.03
SR-unsat-02-01-05-2UNSAT10.24
DW-sat-08-23-1SAT10.59
DW-sat-08-22-1SAT10.6
CM-sat-04-01-06-4SAT11.05
DW-unsat-06-16-1UNSAT12.03
DWs-sat-10-23-1SAT13.3
CM-sat-04-01-07-3SAT13.92
DWs-sat-10-25-1SAT15.03
DWs-unsat-07-16-1UNSAT15.05
SR-unsat-04-01-08-1UNSAT17.86
DWs-sat-12-28-1SAT20.9
DWs-unsat-08-17-1UNSAT21.05
DWs-unsat-08-18-1UNSAT23.68
DW-sat-08-24-1SAT24.43
SR-sat-02-01-06-3SAT43.45
DWs-unsat-09-19-1UNSAT47.95
CM-sat-07-01-07-3SAT68.89
DW-sat-09-26-1SAT83
CM-sat-07-01-06-4SAT87.49
DWs-unsat-10-22-1UNSAT107.6
DW-unsat-09-23-1UNSAT115.25
DW-unsat-09-22-1UNSAT118.32
SR-sat-03-01-07-2SAT140.61
SR-sat-03-01-08-2SAT146.62
DWs-sat-10-24-1SAT155.84
JP-unsat-03-08-3UNSAT164.95
DWs-unsat-11-23-1UNSAT176.54
JP-unsat-03-07-4UNSAT210.43
CM-sat-07-01-06-3SAT212.33
CM-unsat-07-01-06-2UNSAT256.63
DW-unsat-10-25-1UNSAT263.85
DWs-unsat-11-24-1UNSAT274.07
DW-unsat-11-26-1UNSAT665.3
DW-unsat-21-47-1FAIL900.04
DWs-unsat-23-48-1FAIL900.08
DW-unsat-14-33-1FAIL900.09
DWs-unsat-17-35-1FAIL900.11