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

Instance: szymanski-14-s
Best Solver: Qute_opt993 Time: 13.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_hybrid 13.62 - - QuAbS_2017 256.69
- - Qute_opt617 13.67 - - qfun0.1 836.39
Qute_opt993(13.6)
Qute_hybrid(13.62)
Qute_opt617(13.67)
QuAbS_2017(256.69)
qfun0.1(836.39)