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

Instance: DW-unsat-11-26-1
Best Solver: Qute_opt993 Time: 329.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cqesto_2018 468.7 - - - -
- - Qute_hybrid 507.03 - - - -
- - Quabs_2018 589.33 - - - -
- - PortfolioGhostQQfunQuAbSQute___pf3 666.44 - - - -
- - PortfolioGhostQQfunQuAbSQute___pf2 668.78 - - - -
- - PortfolioGhostQQfunQuAbSQute___pfs 680.02 - - - -
Qute_opt993(329.56)
Cqesto_2018(468.7)
Qute_hybrid(507.03)
Quabs_2018(589.33)
PortfolioGhostQQfunQuAbSQute___pf3(666.44)
PortfolioGhostQQfunQuAbSQute___pf2(668.78)
PortfolioGhostQQfunQuAbSQute___pfs(680.02)