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

InstanceResultTime
JP-sat-02-07-3SAT0
DWs-unsat-01-04-1UNSAT0
DWs-unsat-01-03-1UNSAT0
DWs-sat-04-12-1SAT0
DWs-sat-03-11-1SAT0
DWs-sat-02-07-1SAT0
DWs-sat-01-06-1SAT0
DWs-sat-01-05-1SAT0
CM-sat-02-01-06-4SAT0
DW-sat-01-10-1SAT0
DW-sat-02-11-1SAT0
CM-sat-03-01-07-3SAT0.6
CM-sat-02-01-06-3SAT0.65
DWs-sat-04-11-1SAT0.69
SR-sat-02-01-07-2SAT0.91
JP-sat-02-08-3SAT3.88
DW-sat-04-16-1SAT4.65
CM-sat-04-01-07-3SAT8.88
DW-sat-06-20-1SAT9.38
CM-sat-04-01-06-4SAT10.12
JP-sat-02-07-4SAT17.46
SR-sat-02-01-06-3SAT20.21
DWs-sat-05-15-1SAT22.51
SR-sat-02-01-06-2SAT26.3
DWs-sat-06-17-1SAT27.7
SR-unsat-02-01-05-2UNSAT31.56
DWs-unsat-05-12-1UNSAT32.64
DWs-unsat-05-11-1UNSAT33.99
DW-unsat-06-16-1UNSAT35.54
JP-unsat-02-07-2UNSAT41.7
DW-sat-08-24-1SAT122.18
CM-sat-03-01-06-4SAT147.29
DW-sat-07-20-1SAT538.8
DWs-sat-10-24-1SAT553.72
DWs-unsat-07-16-1UNSAT850.92
SR-sat-03-01-08-2FAIL900
DWs-unsat-10-22-1FAIL900.01
DW-unsat-14-33-1FAIL900.01
CM-unsat-07-01-06-2FAIL900.03
CM-sat-07-01-06-3FAIL900.03
DWs-unsat-08-18-1FAIL900.03
DW-unsat-09-23-1FAIL900.03
CM-sat-07-01-06-4FAIL900.04
DWs-unsat-11-23-1FAIL900.04
DWs-unsat-09-19-1FAIL900.04
DWs-unsat-08-17-1FAIL900.04
DW-unsat-11-26-1FAIL900.05
DWs-unsat-17-35-1FAIL900.05
JP-unsat-03-08-3FAIL900.06
DW-unsat-21-47-1FAIL900.06
DW-unsat-10-25-1FAIL900.06
DWs-unsat-11-24-1FAIL900.06
JP-unsat-03-07-4FAIL900.06
DW-sat-08-23-1FAIL900.06
DWs-sat-12-28-1FAIL900.07
CM-sat-04-01-06-3FAIL900.07
DWs-sat-10-25-1FAIL900.07
DW-sat-09-26-1FAIL900.07
CM-sat-07-01-07-3FAIL900.08
DWs-sat-10-23-1FAIL900.08
DW-unsat-09-22-1FAIL900.08
SR-unsat-04-01-08-1FAIL900.08
DWs-unsat-23-48-1FAIL900.08
SR-sat-03-01-07-2FAIL900.09
DW-sat-08-22-1FAIL900.09