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

Instance: ev-pr-6x6-9-5-0-1-2-lg
Best Solver: ghostq-plain Time: 166.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS_2017 249.26 - - - -
- - cqesto 418.45 - - - -
- - ghostq-cegar 721.55 - - - -
ghostq-plain(166.35)
QuAbS_2017(249.26)
cqesto(418.45)
ghostq-cegar(721.55)