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

Instance: BLOCKS4ii.7.2
Best Solver: hiqqerfork Time: 1.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - hordeqbf 24.11
- - - - - - caqe-minisat-par 33.62
- - - - - - mpiDepQBF 129.07
hiqqerfork(1.86)
hordeqbf(24.11)
caqe-minisat-par(33.62)
mpiDepQBF(129.07)