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

InstanceResultTime
DWs-sat-01-06-1SAT4.68
DWs-sat-01-05-1SAT4.73
DWs-unsat-01-03-1UNSAT4.73
DWs-unsat-01-04-1UNSAT4.74
DWs-sat-02-07-1SAT4.76
DW-sat-01-10-1SAT4.78
CM-sat-02-01-06-3SAT4.8
DW-sat-02-11-1SAT4.89
CM-sat-02-01-06-4SAT4.94
DWs-sat-03-11-1SAT4.94
DWs-sat-04-11-1SAT5.07
DWs-sat-05-15-1SAT5.42
CM-sat-03-01-07-3SAT5.43
DWs-sat-04-12-1SAT5.67
JP-sat-02-07-3SAT5.8
JP-sat-02-08-3SAT6.37
DWs-unsat-05-11-1UNSAT6.53
CM-sat-03-01-06-4SAT6.73
DW-sat-04-16-1SAT6.74
DWs-unsat-05-12-1UNSAT6.91
JP-unsat-02-07-2UNSAT6.95
SR-sat-02-01-06-2SAT6.99
SR-sat-02-01-07-2SAT7.07
DWs-sat-06-17-1SAT7.13
DW-sat-06-20-1SAT7.59
CM-sat-04-01-06-3SAT7.67
DW-sat-07-20-1SAT7.85
JP-sat-02-07-4SAT8.88
SR-unsat-02-01-05-2UNSAT9
DW-sat-08-23-1SAT9.36
DW-sat-08-22-1SAT9.48
CM-sat-04-01-06-4SAT9.87
DW-unsat-06-16-1UNSAT10.9
DWs-sat-10-23-1SAT12.12
CM-sat-04-01-07-3SAT12.77
DWs-unsat-07-16-1UNSAT13.73
DWs-sat-10-25-1SAT13.91
SR-unsat-04-01-08-1UNSAT16.69
DWs-sat-12-28-1SAT19.76
DWs-unsat-08-17-1UNSAT19.81
DWs-unsat-08-18-1UNSAT22.51
DW-sat-08-24-1SAT23.17
SR-sat-02-01-06-3SAT42.03
DWs-unsat-09-19-1UNSAT46.83
CM-sat-07-01-07-3SAT67.57
DW-sat-09-26-1SAT81.68
CM-sat-07-01-06-4SAT87.09
DWs-unsat-10-22-1UNSAT106.7
DW-unsat-09-23-1UNSAT114.77
DW-unsat-09-22-1UNSAT118.83
SR-sat-03-01-07-2SAT139.53
SR-sat-03-01-08-2SAT144.99
DWs-sat-10-24-1SAT158.26
JP-unsat-03-08-3UNSAT162.4
DWs-unsat-11-23-1UNSAT174.79
JP-unsat-03-07-4UNSAT208.63
CM-sat-07-01-06-3SAT213.6
CM-unsat-07-01-06-2UNSAT256.78
DW-unsat-10-25-1UNSAT260.83
DWs-unsat-11-24-1UNSAT273.51
DW-unsat-11-26-1UNSAT663.21
DWs-unsat-23-48-1FAIL900.05
DW-unsat-14-33-1FAIL900.05
DWs-unsat-17-35-1FAIL900.07
DW-unsat-21-47-1FAIL900.09