Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage17_6
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 16.01 - - dynQBF-bloqqer-hqspre 155.79
- - HQSpre_solver 65.64 - - ijtihad_v2 183.65
- - Qute_random 73.74 - - ijtihad_v1 195.85
- - caqe_2017_v2 73.88 - - heretiq 200.03
- - caqe_2017_v3 75.22 - - rareqs 220.13
- - Qute_default 75.24 - - caqe_2017_v1 227.09
- - Qute_opt500 75.32 - - qbfrelay 239.5
- - - - - - rev_qfun0.1 845.28
QELL_default(15.55)
QELL_unit(16.01)
HQSpre_solver(65.64)
Qute_random(73.74)
caqe_2017_v2(73.88)
caqe_2017_v3(75.22)
Qute_default(75.24)
Qute_opt500(75.32)
dynQBF-bloqqer-hqspre(155.79)
ijtihad_v2(183.65)
ijtihad_v1(195.85)
heretiq(200.03)
rareqs(220.13)
caqe_2017_v1(227.09)
qbfrelay(239.5)
rev_qfun0.1(845.28)