Sota solver details
Prenex CNF Track

Instance: Adder2-8-s
Best Solver: caqe-pre Time: 0.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 0.96 - - Caqe-bloqqer-qdo 24.54

caqe-pre(0.94)
Caqe-hqspre(0.96)
Caqe-bloqqer-qdo(24.54)
Rareqs_2018(322.22)