Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sortnetsort9.v.stepl.005
Best Solver: rareqs Time: 5.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - HQSpre_solver 21.16 heretiq 31.07 QELL_default 73.93
- - dynQBF-bloqqer-hqspre 21.68 ijtihad_v2 31.47 caqe_2017_v2 100.63
- - - - ijtihad_v1 32.03 caqe_2017_v3 101.03
- - - - caqe_2017_v1 33.53 QELL_unit 224.39
rareqs(5.95)
HQSpre_solver(21.16)
dynQBF-bloqqer-hqspre(21.68)
heretiq(31.07)
ijtihad_v2(31.47)
ijtihad_v1(32.03)
caqe_2017_v1(33.53)
QELL_default(73.93)
caqe_2017_v2(100.63)
caqe_2017_v3(101.03)
QELL_unit(224.39)