Sota solver details
QBFEVAL'17 - Prenex non-CNF Track

Instance: BLOCKS4iii.6
Best Solver: Qute_opt993 Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_hybrid 0.45 - - - -
- - Qute_opt617 0.47 - - - -
- - qfun0.1 1.03 - - - -
- - ghostq-cegar 1.65 - - - -
Qute_opt993(0.42)
Qute_hybrid(0.45)
Qute_opt617(0.47)
qfun0.1(1.03)
ghostq-cegar(1.65)