Sota solver details
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance: tlc02-uniform-depth-241
Best Solver: hiqqerfork Time: 25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-minisat-par 81.92 - - hordeqbf 378.17
- - caqe-picosat-par 86.79 - - mpiDepQBF 487.98
hiqqerfork(25)
caqe-minisat-par(81.92)
caqe-picosat-par(86.79)
hordeqbf(378.17)
mpiDepQBF(487.98)