Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: Adder2-8-c
Best Solver: Caqe-bloqqer-qdo Time: 3.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_rrs 3.9 - - - -
- - Qute_default 5.15 - - - -
- - caqe-pre 9.47 - - - -
- - Caqe-hqspre 9.55 - - - -
Caqe-bloqqer-qdo(3.53)
Qute_rrs(3.9)
Qute_default(5.15)
caqe-pre(9.47)
Caqe-hqspre(9.55)