Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: test1_quant_squaring2
Best Solver: Qute_opt500 Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
Qute_random 0 - - - - - -
Qute_opt500(0)
Qute_random(0)