Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage17_5
Best Solver: QELL_default Time: 15.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 16.02 dynQBF-bloqqer-hqspre 155.69 heretiq 192.89
- - HQSpre_solver 65.73 - - ijtihad_v2 195.81
- - caqe_2017_v2 74 - - ijtihad_v1 200.48
- - Qute_random 74.12 - - rareqs 207.87
- - Qute_default 74.98 - - caqe_2017_v1 220.82
- - Qute_opt500 75.16 - - qbfrelay 240.07
- - caqe_2017_v3 75.3 - - rev_qfun0.1 842.11
QELL_default(15.74)
QELL_unit(16.02)
HQSpre_solver(65.73)
caqe_2017_v2(74)
Qute_random(74.12)
Qute_default(74.98)
Qute_opt500(75.16)
caqe_2017_v3(75.3)
dynQBF-bloqqer-hqspre(155.69)
heretiq(192.89)
ijtihad_v2(195.81)
ijtihad_v1(200.48)
rareqs(207.87)
caqe_2017_v1(220.82)
qbfrelay(240.07)
rev_qfun0.1(842.11)