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

Instance: szymanski-6-s
Best Solver: Qute_hybrid Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QuAbS_2017 0.98 qfun0.1 1.38
- - - - - - cqesto 3.65
Qute_hybrid(0.11)
Qute_opt617(0.11)
Qute_opt993(0.11)
QuAbS_2017(0.98)
qfun0.1(1.38)
cqesto(3.65)