Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: c4_Debug_s3_f2_e2_v3
Best Solver: Iprover-HQSpre-Bloqqer Time: 146.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 152.26 - - - -
- - Qute_random 154.33 - - - -
- - Qute_opt500 161.16 - - - -
- - Qute_default 161.72 - - - -
Iprover-HQSpre-Bloqqer(146.46)
Caqe-hqspre(152.26)
Qute_random(154.33)
Qute_opt500(161.16)
Qute_default(161.72)