# Table 1: witness verification results

| parameters | claimed size | witness valid | Schoenheim bound | attains | verdict | mean rigour (n) |
|---|---|---|---|---|---|---|
| (17,6,4) | 20 | yes | 21 | no | TRUE (existence verified) | 6.0 (3) |
| (18,6,4) | 22 | yes | 22 | YES | TRUE + OPTIMAL (attains Schoenheim) | 6.4 (5) |
| (19,6,4) | 25 | yes | 28 | no | TRUE (existence verified) | 5.3 (3) |
| (22,8,5) | 21 | yes | 22 | no | TRUE (existence verified) | 5.5 (2) |
| (22,8,6) | 77 | yes | 77 | YES | TRUE + OPTIMAL (attains Schoenheim) | 5.2 (4) |
| (24,8,6) | 77 | yes | 92 | no | TRUE (existence verified) | 3.0 (2) |
| (26,8,5) | 30 | yes | 31 | no | TRUE (existence verified) | 4.3 (3) |
| (26,10,6) | 13 | yes | 21 | no | TRUE (existence verified) | 5.0 (3) |
| (27,8,5) | 30 | yes | 32 | no | TRUE (existence verified) | 6.0 (2) |
| (28,6,4) | 63 | yes | 63 | YES | TRUE + OPTIMAL (attains Schoenheim) | 5.2 (6) |
| (28,8,5) | 33 | yes | 33 | YES | TRUE + OPTIMAL (attains Schoenheim) | 5.0 (4) |
| (29,8,5) | 35 | yes | 40 | no | TRUE (existence verified) | 7.2 (6) |