Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c1_Debug_s5_f1_e1_v2
Best Solver: ijtihad_v2 Time: 251.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 451.51 - - - -
- - QELL_default 476.38 - - - -
- - ijtihad_v1 494.57 - - - -
- - HQSpre_solver 500.42 - - - -
- - rareqs 559.85 - - - -
- - Qute_random 714.83 - - - -
- - heretiq 797.38 - - - -
ijtihad_v2(251.07)
QELL_unit(451.51)
QELL_default(476.38)
ijtihad_v1(494.57)
HQSpre_solver(500.42)
rareqs(559.85)
Qute_random(714.83)
heretiq(797.38)