Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c1_Debug_s3_f2_e1_v1
Best Solver: Qute_opt500 Time: 353.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 355.64 - - - -
- - Qute_default 356.29 - - - -
- - HQSpre_solver 357.68 - - - -
- - rareqs 642.36 - - - -
Qute_opt500(353.86)
Qute_random(355.64)
Qute_default(356.29)
HQSpre_solver(357.68)
rareqs(642.36)