Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: amba2c7n.sat
Best Solver: Hiqqer2019_2 Time: 6.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 10.85 - - Qute_rrs 98.07
- - Caqe-hqspre 12.39 - - depqbf_pre_QxQBH 166.33
- - caqe-pre 12.44 - - - -
- - Hiqqer2019_1 19.17 - - - -
- - Hiqqer2019_3 21.5 - - - -
Hiqqer2019_2(6.47)
Caqe-bloqqer-qdo(10.85)
Caqe-hqspre(12.39)
caqe-pre(12.44)
Hiqqer2019_1(19.17)
Hiqqer2019_3(21.5)
Qute_rrs(98.07)
depqbf_pre_QxQBH(166.33)