Sota solver results for family BoundedSynthesisPetriGames
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
CM-sat-02-01-07-3Qute_opt993SAT0
CM-sat-03-01-06-4QFUNSAT1.6
CM-sat-03-01-07-3Cqesto_2018SAT1.07
CM-sat-04-01-06-3Cqesto_2018SAT3.78
CM-sat-04-01-06-4Cqesto_2018SAT5.51
CM-sat-04-01-07-3Cqesto_2018SAT8.49
CM-sat-07-01-06-3Cqesto_2018SAT51.1
CM-sat-07-01-06-4PortfolioGhostQQfunQuAbSQute___pfsSAT86.46
CM-sat-07-01-07-3Qute_opt993SAT42.28
CM-unsat-07-01-06-2PortfolioGhostQQfunQuAbSQute___pfsUNSAT255.01
DW-sat-06-20-1Cqesto_2018SAT2.41
DW-sat-08-22-1Quabs_2018SAT7.08
DW-sat-08-23-1PortfolioGhostQQfunQuAbSQute___pf3SAT9.33
DW-sat-08-24-1Cqesto_2018SAT11.81
DW-sat-09-26-1Quabs_2018SAT41.68
DW-unsat-09-22-1Qute_opt993UNSAT75.4
DW-unsat-10-25-1Cqesto_2018UNSAT228.3
DW-unsat-11-26-1Qute_opt993UNSAT329.56
DW-unsat-11-27-1Qute_opt993UNSAT249.2
DWs-sat-10-23-1Cqesto_2018SAT3.71
DWs-sat-10-24-1Cqesto_2018SAT3.67
DWs-sat-10-25-1Cqesto_2018SAT5.11
DWs-sat-12-28-1Cqesto_2018SAT9.38
DWs-sat-15-35-1Cqesto_2018SAT20.83
DWs-unsat-07-16-1Quabs_2018UNSAT4.54
DWs-unsat-08-17-1Quabs_2018UNSAT7.79
DWs-unsat-08-18-1Quabs_2018UNSAT13.58
DWs-unsat-09-19-1Quabs_2018UNSAT16.79
DWs-unsat-11-23-1Quabs_2018UNSAT92.83
DWs-unsat-11-24-1Quabs_2018UNSAT187.25
DWs-unsat-12-25-1Quabs_2018UNSAT257.16
JP-sat-02-07-3Cqesto_2018SAT0
JP-sat-02-07-4Cqesto_2018SAT2.28
JP-sat-02-08-3Cqesto_2018SAT0.86
JP-unsat-02-06-3Cqesto_2018UNSAT2.39
JP-unsat-03-07-4Cqesto_2018UNSAT203.31
JP-unsat-03-08-3Quabs_2018UNSAT153.25
SR-sat-02-01-06-2Cqesto_2018SAT1.65
SR-sat-02-01-06-3PortfolioGhostQQfunQuAbSQute___pfsSAT41.73
SR-sat-02-01-07-2Cqesto_2018SAT1.6
SR-sat-03-01-07-2PortfolioGhostQQfunQuAbSQute___pfsSAT138.4
SR-sat-03-01-08-2PortfolioGhostQQfunQuAbSQute___pf3SAT144.21
SR-unsat-02-01-05-2Quabs_2018UNSAT1.98
SR-unsat-02-01-06-1Qute_hybridUNSAT0
SR-unsat-03-01-06-2PortfolioGhostQQfunQuAbSQute___pf3UNSAT868.51