Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: Adder2-8-s
Best Solver: Caqe-hqspre Time: 0.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 0.95 - - Hiqqer2019_1 21.86
- - - - - - Caqe-bloqqer-qdo 24.88
- - - - - - Hiqqer2019_3 25.91
Caqe-hqspre(0.92)
caqe-pre(0.95)
Hiqqer2019_1(21.86)
Caqe-bloqqer-qdo(24.88)
Hiqqer2019_3(25.91)
Hiqqer2019_2(260.05)