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

InstanceResultTime
DWs-sat-01-05-1SAT4.71
DWs-sat-03-11-1SAT4.73
DWs-unsat-01-03-1UNSAT4.74
DWs-unsat-01-04-1UNSAT4.74
CM-sat-02-01-06-3SAT4.74
DWs-sat-02-07-1SAT4.74
DW-sat-01-10-1SAT4.81
DWs-sat-01-06-1SAT4.82
DW-sat-02-11-1SAT4.88
CM-sat-02-01-06-4SAT5.01
DWs-sat-04-11-1SAT5.05
DWs-sat-05-15-1SAT5.34
CM-sat-03-01-07-3SAT5.47
JP-sat-02-07-3SAT5.75
DWs-sat-04-12-1SAT5.77
JP-sat-02-07-4FAIL5.87
DW-sat-04-16-1FAIL5.89
JP-sat-02-08-3FAIL5.92
SR-unsat-02-01-05-2FAIL5.93
SR-sat-02-01-06-2FAIL5.97
DWs-unsat-05-11-1UNSAT6.63
CM-sat-03-01-06-4SAT6.81
JP-unsat-02-07-2UNSAT6.92
DWs-unsat-05-12-1UNSAT7.02
SR-sat-02-01-07-2SAT7.03
DWs-sat-06-17-1SAT7.1
DW-sat-06-20-1SAT7.57
CM-sat-04-01-06-3SAT7.69
DW-sat-07-20-1SAT7.8
DW-sat-08-23-1SAT9.45
DW-sat-08-22-1SAT9.47
CM-sat-04-01-06-4SAT9.87
DW-unsat-06-16-1UNSAT10.88
DWs-sat-10-23-1SAT12.01
CM-sat-04-01-07-3SAT12.73
DWs-unsat-07-16-1UNSAT13.82
DWs-sat-10-25-1SAT13.88
SR-unsat-04-01-08-1UNSAT16.78
DWs-sat-12-28-1SAT19.8
DWs-unsat-08-17-1UNSAT19.85
DWs-unsat-08-18-1UNSAT22.53
DW-sat-08-24-1SAT23.34
SR-sat-02-01-06-3SAT42.05
DWs-unsat-09-19-1UNSAT47.25
CM-sat-07-01-07-3SAT67.77
DW-sat-09-26-1SAT81.69
CM-sat-07-01-06-4SAT87.16
DWs-unsat-10-22-1UNSAT106.87
DW-unsat-09-23-1UNSAT114.13
DW-unsat-09-22-1UNSAT118.27
SR-sat-03-01-07-2SAT139.51
SR-sat-03-01-08-2SAT142.93
DWs-sat-10-24-1SAT157.97
JP-unsat-03-08-3UNSAT163.25
DWs-unsat-11-23-1UNSAT174.91
JP-unsat-03-07-4UNSAT207.38
CM-sat-07-01-06-3SAT212.72
CM-unsat-07-01-06-2UNSAT252.08
DW-unsat-10-25-1UNSAT260.33
DWs-unsat-11-24-1UNSAT273.86
DW-unsat-11-26-1UNSAT663.36
DWs-unsat-23-48-1FAIL900.01
DW-unsat-21-47-1FAIL900.04
DWs-unsat-17-35-1FAIL900.05
DW-unsat-14-33-1FAIL900.09