Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots16_5
Best Solver: QELL_default Time: 7.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 7.85 ijtihad_v2 61.73 caqe_2017_v1 91.11
- - HQSpre_solver 27.52 heretiq 61.89 qbfrelay 101.28
- - caqe_2017_v2 31.66 ijtihad_v1 62.08 dynQBF-bloqqer-hqspre 118.05
- - caqe_2017_v3 32.19 rareqs 71.67 AIGSolve 124.98
- - Qute_opt500 32.71 - - rev_qfun0.1 327.46
- - Qute_random 32.77 - - - -
- - Qute_default 32.92 - - - -
QELL_default(7.43)
QELL_unit(7.85)
HQSpre_solver(27.52)
caqe_2017_v2(31.66)
caqe_2017_v3(32.19)
Qute_opt500(32.71)
Qute_random(32.77)
Qute_default(32.92)
ijtihad_v2(61.73)
heretiq(61.89)
ijtihad_v1(62.08)
rareqs(71.67)
caqe_2017_v1(91.11)
qbfrelay(101.28)
dynQBF-bloqqer-hqspre(118.05)
AIGSolve(124.98)
rev_qfun0.1(327.46)