Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: Adder2-8-c
Best Solver: QELL_default Time: 0.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.07 rareqs 0.38 rev_qfun0.1 1.67
- - - - heretiq 0.39 Qute_default 5.08
- - - - ijtihad_v1 0.39 - -
- - - - ijtihad_v2 0.39 - -
QELL_default(0.07)
QELL_unit(0.07)
rareqs(0.38)
heretiq(0.39)
ijtihad_v1(0.39)
ijtihad_v2(0.39)
rev_qfun0.1(1.67)
Qute_default(5.08)
AIGSolve(8.44)
iProver-qbf-2017-07-27-v3(21.86)
iProver-qbf-bloqqer-2017-07-27-v3(31.88)
qbfrelay(47.96)
qbfrelay-limited-depqbf(294.25)