Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: amba2f9n.sat
Best Solver: Hiqqer2019_2 Time: 19.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 22.67 - - depqbf_pre_QxQBH 256.91
- - Hiqqer2019_3 23.96 - - Qute_rrs 291.79
- - caqe-pre 32.92 - - - -
- - Caqe-hqspre 33.09 - - - -
- - Caqe-bloqqer-qdo 35.8 - - - -
Hiqqer2019_2(19.44)
Hiqqer2019_1(22.67)
Hiqqer2019_3(23.96)
caqe-pre(32.92)
Caqe-hqspre(33.09)
Caqe-bloqqer-qdo(35.8)
depqbf_pre_QxQBH(256.91)
Qute_rrs(291.79)