K 2 tests 118 agree 118 reference SAT/UNSAT 0 118
K 3 tests 118 agree 118 reference SAT/UNSAT 0 118
K 4 tests 118 agree 118 reference SAT/UNSAT 0 118
K 6 tests 118 agree 118 reference SAT/UNSAT 0 118
K 10 tests 118 agree 118 reference SAT/UNSAT 7 111
