Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: small-seq-fixpoint-5
Best Solver: GhostQ-PG_plain Time: 10.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 10.51 - - predyndep 131.45
- - - - - - Iprover-HQSpre-Bloqqer 180.58
- - - - - - Qute_random 210.58
- - - - - - Qute_default 212.92
- - - - - - Qute_opt500 214.73
- - - - - - PortfolioDepQBFGhostQRaReQSQute___pf 214.78
- - - - - - depqbf_pre_QxQBH 352.29
GhostQ-PG_plain(10.41)
GhostQ-PG_cegar(10.51)
predyndep(131.45)
Iprover-HQSpre-Bloqqer(180.58)
Qute_random(210.58)
Qute_default(212.92)
Qute_opt500(214.73)
PortfolioDepQBFGhostQRaReQSQute___pf(214.78)
depqbf_pre_QxQBH(352.29)