Sota solver details
QBFEVAL'18 - Prenex non-CNF Track

Instance: DWs-sat-10-24-1
Best Solver: Cqesto_2018 Time: 3.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Quabs_2018 67.89
- - - - - - QFUN 117.87
- - - - - - PortfolioGhostQQfunQuAbSQute___pf3 155.31
- - - - - - PortfolioGhostQQfunQuAbSQute___pfs 157.23
- - - - - - PortfolioGhostQQfunQuAbSQute___pf2 158.51
- - - - - - GhostQ_PG___plain_qcir_2018 238.58
- - - - - - GhostQ_PG___cegar_qcir_2018 242.81
Cqesto_2018(3.67)
Quabs_2018(67.89)
QFUN(117.87)
PortfolioGhostQQfunQuAbSQute___pf3(155.31)
PortfolioGhostQQfunQuAbSQute___pfs(157.23)
PortfolioGhostQQfunQuAbSQute___pf2(158.51)
GhostQ_PG___plain_qcir_2018(238.58)
GhostQ_PG___cegar_qcir_2018(242.81)