Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: driverlog10_6
Best Solver: caqe-pre Time: 3.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 3.27 Caqe-bloqqer-qdo 27 Hiqqer2019_3 317.3
- - depqbf_pre_QxQBH 4.08 - - Hiqqer2019_2 319.54
- - Qute_rrs 9.41 - - - -
- - Qute_default 9.44 - - - -
- - Qute_opt500 9.49 - - - -
caqe-pre(3.24)
Caqe-hqspre(3.27)
depqbf_pre_QxQBH(4.08)
Qute_rrs(9.41)
Qute_default(9.44)
Qute_opt500(9.49)
Caqe-bloqqer-qdo(27)
Hiqqer2019_3(317.3)
Hiqqer2019_2(319.54)
Hiqqer2019_1(325.75)
depqbf_prefix_opt_qdo(495.02)