Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s15850_PR_0_50
Best Solver: prefix-opt-depqbf Time: 0.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 0.78 caqe_2017_v2 3.25 xb-qsts_bqsts2.0 22.75
- - rareqs 2.09 caqe_2017_v3 3.26 dynQBF-bloqqer-hqspre 22.98
- - caqe_2017_v1 2.38 Qute_opt500 3.28 qbfrelay 23
- - ijtihad_v1 2.41 Qute_random 3.31 xb-qsts_xbqsts2.0 31.6
- - ijtihad_v2 2.41 Qute_default 3.33 xb-qsts_xbqsts1.0 31.63
- - heretiq 2.44 qesto 3.69 - -
prefix-opt-depqbf(0.49)
qbfrelay-limited-depqbf(0.78)
rareqs(2.09)
caqe_2017_v1(2.38)
ijtihad_v1(2.41)
ijtihad_v2(2.41)
heretiq(2.44)
caqe_2017_v2(3.25)
caqe_2017_v3(3.26)
Qute_opt500(3.28)
Qute_random(3.31)
Qute_default(3.33)
qesto(3.69)
xb-qsts_bqsts2.0(22.75)
dynQBF-bloqqer-hqspre(22.98)
qbfrelay(23)
xb-qsts_xbqsts2.0(31.6)
xb-qsts_xbqsts1.0(31.63)
iProver-qbf-2017-07-27-v3(81.41)
HQSpre_solver(115.62)
iProver-qbf-bloqqer-2017-07-27-v3(215.52)
AIGSolve(318.03)