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

Instance: DWs-sat-10-24-1
Best Solver: QuAbS_2017 Time: 20.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qfun0.1 94.19 cqesto 162.64 ghostq-cegar 227
- - - - - - ghostq-plain 228.2
QuAbS_2017(20.09)
qfun0.1(94.19)
cqesto(162.64)
ghostq-cegar(227)
ghostq-plain(228.2)