Sota solver details
Prenex CNF Track

Instance: amba2c7n.sat
Best Solver: Caqe-bloqqer-qdo Time: 10.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 12.47 Qute_rrs 97.13 depqbf_pre_QxQBH 167.22
- - caqe-pre 12.47 - - - -
- - Rareqs_2018 31.66 - - - -

Caqe-bloqqer-qdo(10.96)
Caqe-hqspre(12.47)
caqe-pre(12.47)
Rareqs_2018(31.66)
Qute_rrs(97.13)
depqbf_pre_QxQBH(167.22)