Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: cnt08e
Best Solver: ijtihad_v1 Time: 1.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.27 - - QELL_default 24.36
- - ijtihad_v2 1.27 - - QELL_unit 25.31
- - dynQBF-bloqqer-hqspre 2.1 - - caqe_2017_v1 37.76
- - qbfrelay 2.89 - - caqe_2017_v3 38.06
- - rareqs 2.96 - - iProver-qbf-bloqqer-2017-07-27-v3 46.04
- - Qute_default 3.78 - - qbfrelay-limited-depqbf 75.79
- - Qute_random 3.79 - - caqe_2017_v2 107.4
- - Qute_opt500 3.8 - - - -
- - AIGSolve 4.23 - - - -
- - HQSpre_solver 4.4 - - - -
ijtihad_v1(1.26)
heretiq(1.27)
ijtihad_v2(1.27)
dynQBF-bloqqer-hqspre(2.1)
qbfrelay(2.89)
rareqs(2.96)
Qute_default(3.78)
Qute_random(3.79)
Qute_opt500(3.8)
AIGSolve(4.23)
HQSpre_solver(4.4)
QELL_default(24.36)
QELL_unit(25.31)
caqe_2017_v1(37.76)
caqe_2017_v3(38.06)
iProver-qbf-bloqqer-2017-07-27-v3(46.04)
qbfrelay-limited-depqbf(75.79)
caqe_2017_v2(107.4)
iProver-qbf-2017-07-27-v3(219.88)
xb-qsts_bqsts2.0(653.18)
xb-qsts_xbqsts1.0(654.41)
xb-qsts_xbqsts2.0(657.13)