Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_p-16
Best Solver: heretiq Time: 0.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.6 prefix-opt-depqbf 4.49 iProver-qbf-bloqqer-2017-07-27-v3 6.14
- - ijtihad_v1 0.6 caqe_2017_v2 4.78 xb-qsts_bqsts2.0 6.17
- - ijtihad_v2 0.6 qbfrelay-limited-depqbf 4.81 xb-qsts_xbqsts2.0 6.17
- - caqe_2017_v3 0.63 - - xb-qsts_xbqsts1.0 6.18
- - qesto 0.64 - - dynQBF-bloqqer-hqspre 6.19
- - rareqs 0.64 - - qbfrelay 6.61
- - rev_qfun0.1 0.64 - - HQSpre_solver 31.96
caqe_2017_v1(0.6)
heretiq(0.6)
ijtihad_v1(0.6)
ijtihad_v2(0.6)
caqe_2017_v3(0.63)
qesto(0.64)
rareqs(0.64)
rev_qfun0.1(0.64)
prefix-opt-depqbf(4.49)
caqe_2017_v2(4.78)
qbfrelay-limited-depqbf(4.81)
iProver-qbf-bloqqer-2017-07-27-v3(6.14)
xb-qsts_bqsts2.0(6.17)
xb-qsts_xbqsts2.0(6.17)
xb-qsts_xbqsts1.0(6.18)
dynQBF-bloqqer-hqspre(6.19)
qbfrelay(6.61)
HQSpre_solver(31.96)
Qute_default(66.56)
Qute_opt500(69.25)
Qute_random(70.45)