Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: c2_Debug_s3_f1_e1_v2
Best Solver: Qute_random Time: 530.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 533.18 - - - -
- - Caqe-hqspre 588.77 - - - -
- - Qute_default 599.97 - - - -
Qute_random(530.48)
Qute_opt500(533.18)
Caqe-hqspre(588.77)
Qute_default(599.97)