Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: amba3b5y.sat
Best Solver: Hiqqer2019_2 Time: 151.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 164.35 - - - -
- - Hiqqer2019_3 164.42 - - - -
- - depqbf_pre_QxQBH 455.08 - - - -
- - caqe-pre 624.04 - - - -
- - Caqe-bloqqer-qdo 653.73 - - - -
Hiqqer2019_2(151.11)
Hiqqer2019_1(164.35)
Hiqqer2019_3(164.42)
depqbf_pre_QxQBH(455.08)
caqe-pre(624.04)
Caqe-bloqqer-qdo(653.73)