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

Instance: gttt_2_1_00102030_4x4_torus_b
Best Solver: hiqqerfork Time: 6.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - par-pd-depqbf 23.59 hordeqbf 61.27 mpiDepQBF 85.52
hiqqerfork(6.95)
par-pd-depqbf(23.59)
hordeqbf(61.27)
mpiDepQBF(85.52)