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

Instance: sortnetsort9.AE.stepl.012
Best Solver: qfun0.1 Time: 6.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - cqesto 6.2 - - - -
- - QuAbS_2017 9.64 - - - -
qfun0.1(6.19)
cqesto(6.2)
QuAbS_2017(9.64)