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

Instance: ev-pr-8x8-7-7-0-1-2-lg
Best Solver: cqesto Time: 19.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS_2017 64.73 qfun0.1 109.8 Qute_opt993 421.36
- - - - ghostq-plain 142.59 Qute_opt617 455.21
cqesto(19.05)
QuAbS_2017(64.73)
qfun0.1(109.8)
ghostq-plain(142.59)
Qute_opt993(421.36)
Qute_opt617(455.21)