Discrepancies tables for k_lin_p
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


Instance # Sat # Unsat Minority Solver
k_lin_p-19 1 5 mpiDepQBF
Download table[csv, latex]