Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage13_5
Best Solver: QELL_default Time: 5.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 5.75 heretiq 39.52 qbfrelay 92.87
- - AIGSolve 19.85 ijtihad_v2 39.55 dynQBF-bloqqer-hqspre 111.85
- - HQSpre_solver 21.63 ijtihad_v1 39.68 qbfrelay-limited-depqbf 173.69
- - caqe_2017_v3 26.19 rareqs 47.17 rev_qfun0.1 241.96
- - Qute_random 26.33 caqe_2017_v1 55.48 - -
- - Qute_default 26.34 - - - -
- - Qute_opt500 26.42 - - - -
- - caqe_2017_v2 27.15 - - - -
QELL_default(5.63)
QELL_unit(5.75)
AIGSolve(19.85)
HQSpre_solver(21.63)
caqe_2017_v3(26.19)
Qute_random(26.33)
Qute_default(26.34)
Qute_opt500(26.42)
caqe_2017_v2(27.15)
heretiq(39.52)
ijtihad_v2(39.55)
ijtihad_v1(39.68)
rareqs(47.17)
caqe_2017_v1(55.48)
qbfrelay(92.87)
dynQBF-bloqqer-hqspre(111.85)
qbfrelay-limited-depqbf(173.69)
rev_qfun0.1(241.96)
xb-qsts_bqsts2.0(774.64)
xb-qsts_xbqsts1.0(813.44)
xb-qsts_xbqsts2.0(818.1)