Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage17_7
Best Solver: QELL_default Time: 15.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 15.86 caqe_2017_v2 83.65 heretiq 189.23
- - HQSpre_solver 65.99 Qute_default 84.89 ijtihad_v1 198.41
- - - - Qute_random 85.82 ijtihad_v2 199.16
- - - - Qute_opt500 85.95 rareqs 216.59
- - - - caqe_2017_v3 86.5 caqe_2017_v1 240.61
- - - - dynQBF-bloqqer-hqspre 154.86 qbfrelay 245.8
- - - - - - rev_qfun0.1 859.51
QELL_default(15.55)
QELL_unit(15.86)
HQSpre_solver(65.99)
caqe_2017_v2(83.65)
Qute_default(84.89)
Qute_random(85.82)
Qute_opt500(85.95)
caqe_2017_v3(86.5)
dynQBF-bloqqer-hqspre(154.86)
heretiq(189.23)
ijtihad_v1(198.41)
ijtihad_v2(199.16)
rareqs(216.59)
caqe_2017_v1(240.61)
qbfrelay(245.8)
rev_qfun0.1(859.51)