Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_p-18
Best Solver: heretiq Time: 1.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v1 1.85 dynQBF-bloqqer-hqspre 9.66 ijtihad_v2 57.7
- - caqe_2017_v2 6.12 xb-qsts_xbqsts1.0 9.8 HQSpre_solver 66.34
- - prefix-opt-depqbf 6.51 xb-qsts_bqsts2.0 9.84 - -
- - qbfrelay-limited-depqbf 6.84 xb-qsts_xbqsts2.0 10.06 - -
- - - - iProver-qbf-bloqqer-2017-07-27-v3 10.1 - -
- - - - qbfrelay 10.31 - -
- - - - caqe_2017_v1 11.65 - -
- - - - caqe_2017_v3 11.74 - -
heretiq(1.85)
ijtihad_v1(1.85)
caqe_2017_v2(6.12)
prefix-opt-depqbf(6.51)
qbfrelay-limited-depqbf(6.84)
dynQBF-bloqqer-hqspre(9.66)
xb-qsts_xbqsts1.0(9.8)
xb-qsts_bqsts2.0(9.84)
xb-qsts_xbqsts2.0(10.06)
iProver-qbf-bloqqer-2017-07-27-v3(10.1)
qbfrelay(10.31)
caqe_2017_v1(11.65)
caqe_2017_v3(11.74)
ijtihad_v2(57.7)
HQSpre_solver(66.34)
Qute_opt500(210.56)
Qute_random(215.75)
Qute_default(257.62)