Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: mult_bool_matrix_18_18_18.sat
Best Solver: Hiqqer2019_1 Time: 1.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 1.95 Hiqqer2019_2 10.46 - -
- - caqe-pre 2.18 - - - -
- - Caqe-hqspre 2.2 - - - -
- - depqbf_pre_QxQBH 5.63 - - - -
Hiqqer2019_1(1.88)
Hiqqer2019_3(1.95)
caqe-pre(2.18)
Caqe-hqspre(2.2)
depqbf_pre_QxQBH(5.63)
Hiqqer2019_2(10.46)
Caqe-bloqqer-qdo(525.27)