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

InstanceResultTime
SR-unsat-02-01-06-1UNSAT4.69
CM-sat-02-01-07-3SAT4.85
CM-sat-03-01-07-3SAT5.3
JP-sat-02-07-3SAT5.59
JP-sat-02-08-3SAT6.41
CM-sat-03-01-06-4SAT6.59
SR-sat-02-01-06-2SAT6.76
SR-sat-02-01-07-2SAT6.84
DW-sat-06-20-1SAT7.32
CM-sat-04-01-06-3SAT7.47
JP-unsat-02-06-3UNSAT8.06
JP-sat-02-07-4SAT8.67
SR-unsat-02-01-05-2UNSAT8.84
DW-sat-08-23-1SAT9.33
DW-sat-08-22-1SAT9.34
CM-sat-04-01-06-4SAT10
DWs-sat-10-23-1SAT12.5
CM-sat-04-01-07-3SAT13.52
DWs-sat-10-25-1SAT13.71
DWs-unsat-07-16-1UNSAT13.74
DWs-sat-12-28-1SAT19.58
DWs-unsat-08-17-1UNSAT19.62
DW-sat-08-24-1SAT22.95
DWs-unsat-08-18-1UNSAT23.86
DWs-sat-15-35-1SAT38.81
DWs-unsat-09-19-1UNSAT46.34
SR-sat-02-01-06-3SAT47.68
CM-sat-07-01-07-3SAT67.13
DW-sat-09-26-1SAT81.55
CM-sat-07-01-06-4SAT86.66
DW-unsat-09-22-1UNSAT116.65
SR-sat-03-01-07-2SAT138.63
SR-sat-03-01-08-2SAT144.21
DWs-sat-10-24-1SAT155.31
JP-unsat-03-08-3UNSAT162.18
DWs-unsat-11-23-1UNSAT192.37
JP-unsat-03-07-4UNSAT234.59
CM-sat-07-01-06-3SAT242.11
CM-unsat-07-01-06-2UNSAT256.09
DWs-unsat-11-24-1UNSAT275.68
DW-unsat-10-25-1UNSAT282.91
DWs-unsat-12-25-1UNSAT387.09
DW-unsat-11-26-1UNSAT666.44
DW-unsat-11-27-1UNSAT820.48
SR-unsat-03-01-06-2UNSAT868.51
JP-sat-03-09-4FAIL900.03
DWs-unsat-13-28-1FAIL900.07
JP-unsat-03-08-5FAIL900.07
JP-unsat-03-09-4FAIL900.08
JP-sat-03-08-4FAIL900.09