Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: Adder2-16-s
Best Solver: Qute_default Time: 6.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 6.45 Caqe-hqspre 53.21 - -
- - Qute_random 6.57 - - - -
Qute_default(6.44)
Qute_opt500(6.45)
Qute_random(6.57)
Caqe-hqspre(53.21)