Sota solver details
QBFEVAL'18 - Hard Instances Track

Instance: hex_rand_6x6-20m-0
Best Solver: caqe_hit18 Time: 901.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_hit18 3360.32 - - - -
caqe_hit18(901.44)
depqbf_hit18(3360.32)