Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: ltl2dpa_C26_comp2_REAL.sat
Best Solver: Hiqqer2019_1 Time: 1.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 1.13 Caqe-bloqqer-qdo 7.35 - -
- - depqbf_pre_QxQBH 2.45 - - - -
- - Hiqqer2019_2 2.48 - - - -
Hiqqer2019_1(1.05)
Hiqqer2019_3(1.13)
depqbf_pre_QxQBH(2.45)
Hiqqer2019_2(2.48)
Caqe-bloqqer-qdo(7.35)
caqe-pre(451.08)
Caqe-hqspre(861.78)