Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: depots09_13
Best Solver: Iprover-HQSpre-Bloqqer Time: 148.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 155.4 Rareqs_2018 809.7 - -
- - Qute_default 196.05 - - - -
- - Qute_opt500 196.85 - - - -
- - Qute_random 219.85 - - - -
- - ijtihad 391.1 - - - -
- - Heretiq-cube 533.09 - - - -
- - Heretiq-simple 533.93 - - - -
Iprover-HQSpre-Bloqqer(148.62)
Caqe-hqspre(155.4)
Qute_default(196.05)
Qute_opt500(196.85)
Qute_random(219.85)
ijtihad(391.1)
Heretiq-cube(533.09)
Heretiq-simple(533.93)
Rareqs_2018(809.7)