Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_p-14
Best Solver: heretiq Time: 1.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
ijtihad_v2 1.25 ijtihad_v1 1.26 - - rareqs 19.01
- - caqe_2017_v1 1.5 - - Qute_opt500 40.94
- - caqe_2017_v3 1.53 - - Qute_random 46.66
- - caqe_2017_v2 2.26 - - Qute_default 48.08
- - prefix-opt-depqbf 2.41 - - HQSpre_solver 55.56
- - qbfrelay-limited-depqbf 2.67 - - - -
- - xb-qsts_xbqsts2.0 5.66 - - - -
- - dynQBF-bloqqer-hqspre 5.67 - - - -
- - xb-qsts_bqsts2.0 5.68 - - - -
- - xb-qsts_xbqsts1.0 5.69 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 5.71 - - - -
- - qbfrelay 5.96 - - - -
heretiq(1.25)
ijtihad_v2(1.25)
ijtihad_v1(1.26)
caqe_2017_v1(1.5)
caqe_2017_v3(1.53)
caqe_2017_v2(2.26)
prefix-opt-depqbf(2.41)
qbfrelay-limited-depqbf(2.67)
xb-qsts_xbqsts2.0(5.66)
dynQBF-bloqqer-hqspre(5.67)
xb-qsts_bqsts2.0(5.68)
xb-qsts_xbqsts1.0(5.69)
iProver-qbf-bloqqer-2017-07-27-v3(5.71)
qbfrelay(5.96)
rareqs(19.01)
Qute_opt500(40.94)
Qute_random(46.66)
Qute_default(48.08)
HQSpre_solver(55.56)
qesto(130.03)
AIGSolve(265)