Sota solver results for family evader-pursuer-6x6-logarithmic
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
ev-pr-6x6-11-5-0-1-2-lgpar-pd-depqbfUNSAT34.13
ev-pr-6x6-13-5-0-1-2-lghiqqerforkUNSAT87
ev-pr-6x6-15-5-0-1-2-lgmpiDepQBFUNSAT233.31
ev-pr-6x6-5-5-0-1-2-lgmpiDepQBFUNSAT0.25
ev-pr-6x6-7-5-0-1-2-lgmpiDepQBFUNSAT0.78
ev-pr-6x6-9-5-0-1-2-lghiqqerforkUNSAT5.14