Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_p-12
Best Solver: prefix-opt-depqbf Time: 0.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 1.1 iProver-qbf-bloqqer-2017-07-27-v3 4.57 Qute_opt500 22.36
- - caqe_2017_v1 1.19 qbfrelay 4.69 Qute_random 22.37
- - caqe_2017_v3 1.21 rareqs 7.89 Qute_default 22.38
- - heretiq 1.25 - - qesto 25.93
- - ijtihad_v1 1.25 - - HQSpre_solver 40.87
- - ijtihad_v2 1.26 - - - -
- - caqe_2017_v2 1.49 - - - -
- - xb-qsts_bqsts2.0 4.37 - - - -
- - xb-qsts_xbqsts2.0 4.42 - - - -
- - xb-qsts_xbqsts1.0 4.43 - - - -
- - dynQBF-bloqqer-hqspre 4.44 - - - -
prefix-opt-depqbf(0.91)
qbfrelay-limited-depqbf(1.1)
caqe_2017_v1(1.19)
caqe_2017_v3(1.21)
heretiq(1.25)
ijtihad_v1(1.25)
ijtihad_v2(1.26)
caqe_2017_v2(1.49)
xb-qsts_bqsts2.0(4.37)
xb-qsts_xbqsts2.0(4.42)
xb-qsts_xbqsts1.0(4.43)
dynQBF-bloqqer-hqspre(4.44)
iProver-qbf-bloqqer-2017-07-27-v3(4.57)
qbfrelay(4.69)
rareqs(7.89)
Qute_opt500(22.36)
Qute_random(22.37)
Qute_default(22.38)
qesto(25.93)
HQSpre_solver(40.87)
AIGSolve(108.95)