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

Instance: szymanski-5-s
Best Solver: Qute_hybrid Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QuAbS_2017 0.27 qfun0.1 0.41
- - - - - - cqesto 0.82
Qute_hybrid(0.04)
Qute_opt617(0.04)
Qute_opt993(0.04)
QuAbS_2017(0.27)
qfun0.1(0.41)
cqesto(0.82)