configuration                                                                            field      s type    gap copl  pstar conn  ACM   check
2 general skew lines                                                                     Q          2 (2,4)    2 False False False False ok
2 general skew lines                                                                     F_5        2 (1,2)    1 True  False True  True  ok
2 general skew lines                                                                     F_7        2 (1,2)    1 True  False True  True  ok
2 general skew lines                                                                     F_32003    2 (2,4)    2 False False False False ok
3 general skew lines                                                                     Q          3 (2,4)    2 False False False False ok
3 general skew lines                                                                     F_5        3 (2,4)    2 False False False False ok
3 general skew lines                                                                     F_7        3 (2,4)    2 False False False False ok
3 general skew lines                                                                     F_32003    3 (2,4)    2 False False False False ok
4 general skew lines                                                                     Q          4 (3,6)    3 False False False False ok
4 general skew lines                                                                     F_5        4 (3,5)    2 False False False False ok
4 general skew lines                                                                     F_7        4 (3,5)    2 False False False False ok
4 general skew lines                                                                     F_32003    4 (3,6)    3 False False False False ok
5 general skew lines                                                                     Q          5 (4,7)    3 False False False False ok
5 general skew lines                                                                     F_5        5 (3,6)    3 False False False False ok
5 general skew lines                                                                     F_7        5 (3,6)    3 False False False False ok
5 general skew lines                                                                     F_32003    5 (4,7)    3 False False False False ok
6 general skew lines                                                                     Q          6 (4,8)    4 False False False False ok
6 general skew lines                                                                     F_5        6 (3,6)    3 False False True  False ok
6 general skew lines                                                                     F_7        6 (4,8)    4 False False False False ok
6 general skew lines                                                                     F_32003    6 (4,8)    4 False False False False ok
quadric grid (3,0)                                                                       Q          3 (2,4)    2 False False False False ok
quadric grid (3,0)                                                                       F_5        3 (2,4)    2 False False False False ok
quadric grid (3,0)                                                                       F_7        3 (2,4)    2 False False False False ok
quadric grid (3,0)                                                                       F_32003    3 (2,4)    2 False False False False ok
quadric grid (4,0)                                                                       Q          4 (2,4)    2 False False False False ok
quadric grid (4,0)                                                                       F_5        4 (2,4)    2 False False False False ok
quadric grid (4,0)                                                                       F_7        4 (2,4)    2 False False False False ok
quadric grid (4,0)                                                                       F_32003    4 (2,4)    2 False False False False ok
quadric grid (2,2)                                                                       Q          4 (2,4)    2 False False True  True  ok
quadric grid (2,2)                                                                       F_5        4 (2,4)    2 False False True  True  ok
quadric grid (2,2)                                                                       F_7        4 (2,4)    2 False False True  True  ok
quadric grid (2,2)                                                                       F_32003    4 (2,4)    2 False False True  True  ok
quadric grid (3,2)                                                                       Q          5 (2,4)    2 False False True  True  ok
quadric grid (3,2)                                                                       F_5        5 (2,4)    2 False False True  True  ok
quadric grid (3,2)                                                                       F_7        5 (2,4)    2 False False True  True  ok
quadric grid (3,2)                                                                       F_32003    5 (2,4)    2 False False True  True  ok
quadric grid (3,3)                                                                       Q          6 (2,4)    2 False False True  True  ok
quadric grid (3,3)                                                                       F_5        6 (2,4)    2 False False True  True  ok
quadric grid (3,3)                                                                       F_7        6 (2,4)    2 False False True  True  ok
quadric grid (3,3)                                                                       F_32003    6 (2,4)    2 False False True  True  ok
quadric grid (4,1)                                                                       Q          5 (2,4)    2 False False True  False ok
quadric grid (4,1)                                                                       F_5        5 (2,4)    2 False False True  False ok
quadric grid (4,1)                                                                       F_7        5 (2,4)    2 False False True  False ok
quadric grid (4,1)                                                                       F_32003    5 (2,4)    2 False False True  False ok
quadric grid (4,2)                                                                       Q          6 (2,4)    2 False False True  False ok
quadric grid (4,2)                                                                       F_5        6 (2,4)    2 False False True  False ok
quadric grid (4,2)                                                                       F_7        6 (2,4)    2 False False True  False ok
quadric grid (4,2)                                                                       F_32003    6 (2,4)    2 False False True  False ok
quadric grid (4,4)                                                                       Q          8 (2,4)    2 False False True  True  ok
quadric grid (4,4)                                                                       F_5        8 (2,4)    2 False False True  True  ok
quadric grid (4,4)                                                                       F_7        8 (2,4)    2 False False True  True  ok
quadric grid (4,4)                                                                       F_32003    8 (2,4)    2 False False True  True  ok
quadric grid (5,3)                                                                       Q          8 (2,4)    2 False False True  False ok
quadric grid (5,3)                                                                       F_5        8 (2,4)    2 False False True  False ok
quadric grid (5,3)                                                                       F_7        8 (2,4)    2 False False True  False ok
quadric grid (5,3)                                                                       F_32003    8 (2,4)    2 False False True  False ok
quadric grid (5,5)                                                                       Q         10 (2,4)    2 False False True  True  ok
quadric grid (5,5)                                                                       F_5       10 (2,4)    2 False False True  True  ok
quadric grid (5,5)                                                                       F_7       10 (2,4)    2 False False True  True  ok
quadric grid (5,5)                                                                       F_32003   10 (2,4)    2 False False True  True  ok
double six (12 lines)                                                                    Q         12 (3,6)    3 False False True  True  ok
double six (12 lines)                                                                    F_5       12 (3,6)    3 False False True  True  ok
double six (12 lines)                                                                    F_7      degenerate reduction, skipped
double six (12 lines)                                                                    F_32003   12 (3,6)    3 False False True  True  ok
double six minus one line                                                                Q         11 (3,6)    3 False False True  True  ok
double six minus one line                                                                F_5       11 (3,6)    3 False False True  True  ok
double six minus one line                                                                F_7      degenerate reduction, skipped
double six minus one line                                                                F_32003   11 (3,6)    3 False False True  True  ok
half of a double six (6 skew lines a_i)                                                  Q          6 (3,6)    3 False False False False ok
half of a double six (6 skew lines a_i)                                                  F_5        6 (3,6)    3 False False False False ok
half of a double six (6 skew lines a_i)                                                  F_7      degenerate reduction, skipped
half of a double six (6 skew lines a_i)                                                  F_32003    6 (3,6)    3 False False False False ok
a_1..a_5 and b_6 (five skew lines with a transversal)                                    Q          6 (3,6)    3 False False True  False ok
a_1..a_5 and b_6 (five skew lines with a transversal)                                    F_5        6 (3,6)    3 False False True  False ok
a_1..a_5 and b_6 (five skew lines with a transversal)                                    F_7        6 (3,6)    3 False False True  False ok
a_1..a_5 and b_6 (five skew lines with a transversal)                                    F_32003    6 (3,6)    3 False False True  False ok
all 27 lines of a cubic surface                                                          Q         27 (3,6)    3 False False True  True  ok
all 27 lines of a cubic surface                                                          F_5      degenerate reduction, skipped
all 27 lines of a cubic surface                                                          F_7      degenerate reduction, skipped
all 27 lines of a cubic surface                                                          F_32003   27 (3,6)    3 False False True  True  ok
tritangent trios: a1,b2,c12 and a2,b1,c12                                                Q          5 (2,4)    2 False False True  True  ok
tritangent trios: a1,b2,c12 and a2,b1,c12                                                F_5        5 (2,4)    2 False False True  True  ok
tritangent trios: a1,b2,c12 and a2,b1,c12                                                F_7      degenerate reduction, skipped
tritangent trios: a1,b2,c12 and a2,b1,c12                                                F_32003    5 (2,4)    2 False False True  True  ok
15 lines c_ij                                                                            Q         15 (3,6)    3 False False True  True  ok
15 lines c_ij                                                                            F_5      degenerate reduction, skipped
15 lines c_ij                                                                            F_7      degenerate reduction, skipped
15 lines c_ij                                                                            F_32003   15 (3,6)    3 False False True  True  ok
cone over 4 general points                                                               Q          4 (2,4)    2 False False True  True  ok
cone over 4 general points                                                               F_5        4 (2,4)    2 False False True  True  ok
cone over 4 general points                                                               F_7        4 (2,4)    2 False False True  True  ok
cone over 4 general points                                                               F_32003    4 (2,4)    2 False False True  True  ok
cone over 5 general points                                                               Q          5 (2,4)    2 False False True  True  ok
cone over 5 general points                                                               F_5        5 (2,4)    2 False False True  True  ok
cone over 5 general points                                                               F_7        5 (2,4)    2 False False True  True  ok
cone over 5 general points                                                               F_32003    5 (2,4)    2 False False True  True  ok
cone over 6 points on a conic                                                            Q          6 (2,4)    2 False False True  True  ok
cone over 6 points on a conic                                                            F_5      degenerate reduction, skipped
cone over 6 points on a conic                                                            F_7        6 (2,4)    2 False False True  True  ok
cone over 6 points on a conic                                                            F_32003    6 (2,4)    2 False False True  True  ok
cone over 3 collinear + 1 point                                                          Q          4 (2,4)    2 False False True  True  ok
cone over 3 collinear + 1 point                                                          F_5        4 (2,4)    2 False False True  True  ok
cone over 3 collinear + 1 point                                                          F_7        4 (2,4)    2 False False True  True  ok
cone over 3 collinear + 1 point                                                          F_32003    4 (2,4)    2 False False True  True  ok
cone over 6 general points                                                               Q          6 (3,5)    2 False False True  True  ok
cone over 6 general points                                                               F_5        6 (3,5)    2 False False True  True  ok
cone over 6 general points                                                               F_7        6 (3,5)    2 False False True  True  ok
cone over 6 general points                                                               F_32003    6 (3,5)    2 False False True  True  ok
cone over the star configuration of 3 lines (pseudostar, concurrent planes)              Q          3 (2,3)    1 False True  True  True  ok
cone over the star configuration of 3 lines (pseudostar, concurrent planes)              F_5        3 (2,3)    1 False True  True  True  ok
cone over the star configuration of 3 lines (pseudostar, concurrent planes)              F_7      degenerate reduction, skipped
cone over the star configuration of 3 lines (pseudostar, concurrent planes)              F_32003    3 (2,3)    1 False True  True  True  ok
cone over the star configuration of 4 lines (pseudostar, concurrent planes)              Q          6 (3,4)    1 False True  True  True  ok
cone over the star configuration of 4 lines (pseudostar, concurrent planes)              F_5      degenerate reduction, skipped
cone over the star configuration of 4 lines (pseudostar, concurrent planes)              F_7        6 (3,4)    1 False True  True  True  ok
cone over the star configuration of 4 lines (pseudostar, concurrent planes)              F_32003    6 (3,4)    1 False True  True  True  ok
cone over the star configuration of 5 lines (pseudostar, concurrent planes)              Q         10 (4,5)    1 False True  True  True  ok
cone over the star configuration of 5 lines (pseudostar, concurrent planes)              F_5      degenerate reduction, skipped
cone over the star configuration of 5 lines (pseudostar, concurrent planes)              F_7      degenerate reduction, skipped
cone over the star configuration of 5 lines (pseudostar, concurrent planes)              F_32003   10 (4,5)    1 False True  True  True  ok
cone over the star configuration of 6 lines (pseudostar, concurrent planes)              Q         15 (5,6)    1 False True  True  True  ok
cone over the star configuration of 6 lines (pseudostar, concurrent planes)              F_5      degenerate reduction, skipped
cone over the star configuration of 6 lines (pseudostar, concurrent planes)              F_7      degenerate reduction, skipped
cone over the star configuration of 6 lines (pseudostar, concurrent planes)              F_32003   15 (5,6)    1 False True  True  True  ok
cone over star(4 lines) minus one point                                                  Q          5 (2,4)    2 False False True  True  ok
cone over star(4 lines) minus one point                                                  F_5      degenerate reduction, skipped
cone over star(4 lines) minus one point                                                  F_7      degenerate reduction, skipped
cone over star(4 lines) minus one point                                                  F_32003    5 (2,4)    2 False False True  True  ok
cone over star(4 lines) plus a general point                                             Q          7 (3,6)    3 False False True  True  ok
cone over star(4 lines) plus a general point                                             F_5      degenerate reduction, skipped
cone over star(4 lines) plus a general point                                             F_7      degenerate reduction, skipped
cone over star(4 lines) plus a general point                                             F_32003    7 (3,6)    3 False False True  True  ok
cone over 4 points + 3 diagonal points                                                   Q          7 (3,6)    3 False False True  True  ok
cone over 4 points + 3 diagonal points                                                   F_5        7 (3,6)    3 False False True  True  ok
cone over 4 points + 3 diagonal points                                                   F_7        7 (3,6)    3 False False True  True  ok
cone over 4 points + 3 diagonal points                                                   F_32003    7 (3,6)    3 False False True  True  ok
star configuration of 3 general planes (pseudostar)                                      Q          3 (2,3)    1 False True  True  True  ok
star configuration of 3 general planes (pseudostar)                                      F_5        3 (2,3)    1 False True  True  True  ok
star configuration of 3 general planes (pseudostar)                                      F_7        3 (2,3)    1 False True  True  True  ok
star configuration of 3 general planes (pseudostar)                                      F_32003    3 (2,3)    1 False True  True  True  ok
star configuration of 4 general planes (pseudostar)                                      Q          6 (3,4)    1 False True  True  True  ok
star configuration of 4 general planes (pseudostar)                                      F_5        6 (3,4)    1 False True  True  True  ok
star configuration of 4 general planes (pseudostar)                                      F_7        6 (3,4)    1 False True  True  True  ok
star configuration of 4 general planes (pseudostar)                                      F_32003    6 (3,4)    1 False True  True  True  ok
star configuration of 5 general planes (pseudostar)                                      Q         10 (4,5)    1 False True  True  True  ok
star configuration of 5 general planes (pseudostar)                                      F_5      degenerate reduction, skipped
star configuration of 5 general planes (pseudostar)                                      F_7      degenerate reduction, skipped
star configuration of 5 general planes (pseudostar)                                      F_32003   10 (4,5)    1 False True  True  True  ok
star configuration of 6 general planes (pseudostar)                                      Q         15 (5,6)    1 False True  True  True  ok
star configuration of 6 general planes (pseudostar)                                      F_5      degenerate reduction, skipped
star configuration of 6 general planes (pseudostar)                                      F_7       15 (5,6)    1 False True  True  True  ok
star configuration of 6 general planes (pseudostar)                                      F_32003   15 (5,6)    1 False True  True  True  ok
star configuration of 7 general planes (pseudostar)                                      Q         21 (6,7)    1 False True  True  True  ok
star configuration of 7 general planes (pseudostar)                                      F_5      degenerate reduction, skipped
star configuration of 7 general planes (pseudostar)                                      F_7      degenerate reduction, skipped
star configuration of 7 general planes (pseudostar)                                      F_32003   21 (6,7)    1 False True  True  True  ok
pseudostar of 6 planes, four of them through a point                                     Q         15 (5,6)    1 False True  True  True  ok
pseudostar of 6 planes, four of them through a point                                     F_5      degenerate reduction, skipped
pseudostar of 6 planes, four of them through a point                                     F_7      degenerate reduction, skipped
pseudostar of 6 planes, four of them through a point                                     F_32003   15 (5,6)    1 False True  True  True  ok
pseudostar(4 planes) minus 1 line                                                        Q          5 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 1 line                                                        F_5      degenerate reduction, skipped
pseudostar(4 planes) minus 1 line                                                        F_7        5 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 1 line                                                        F_32003    5 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 2 lines in a common plane                                     Q          4 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 2 lines in a common plane                                     F_5      degenerate reduction, skipped
pseudostar(4 planes) minus 2 lines in a common plane                                     F_7        4 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 2 lines in a common plane                                     F_32003    4 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 2 lines not in a common plane                                 Q          4 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 2 lines not in a common plane                                 F_5      degenerate reduction, skipped
pseudostar(4 planes) minus 2 lines not in a common plane                                 F_7        4 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus 2 lines not in a common plane                                 F_32003    4 (2,4)    2 False False True  True  ok
pseudostar(4 planes) minus all lines of one plane                                        Q          3 (2,3)    1 False True  True  True  ok
pseudostar(4 planes) minus all lines of one plane                                        F_5      degenerate reduction, skipped
pseudostar(4 planes) minus all lines of one plane                                        F_7        3 (2,3)    1 False True  True  True  ok
pseudostar(4 planes) minus all lines of one plane                                        F_32003    3 (2,3)    1 False True  True  True  ok
pseudostar(5 planes) minus 1 line                                                        Q          9 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 1 line                                                        F_5      degenerate reduction, skipped
pseudostar(5 planes) minus 1 line                                                        F_7        9 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 1 line                                                        F_32003    9 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 2 lines in a common plane                                     Q          8 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 2 lines in a common plane                                     F_5      degenerate reduction, skipped
pseudostar(5 planes) minus 2 lines in a common plane                                     F_7        8 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 2 lines in a common plane                                     F_32003    8 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 2 lines not in a common plane                                 Q          8 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 2 lines not in a common plane                                 F_5      degenerate reduction, skipped
pseudostar(5 planes) minus 2 lines not in a common plane                                 F_7        8 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus 2 lines not in a common plane                                 F_32003    8 (3,5)    2 False False True  True  ok
pseudostar(5 planes) minus all lines of one plane                                        Q          6 (3,4)    1 False True  True  True  ok
pseudostar(5 planes) minus all lines of one plane                                        F_5      degenerate reduction, skipped
pseudostar(5 planes) minus all lines of one plane                                        F_7        6 (3,4)    1 False True  True  True  ok
pseudostar(5 planes) minus all lines of one plane                                        F_32003    6 (3,4)    1 False True  True  True  ok
pseudostar(6 planes) minus 1 line                                                        Q         14 (4,6)    2 False False True  True  ok
pseudostar(6 planes) minus 1 line                                                        F_5      degenerate reduction, skipped
pseudostar(6 planes) minus 1 line                                                        F_7      degenerate reduction, skipped
pseudostar(6 planes) minus 1 line                                                        F_32003   14 (4,6)    2 False False True  True  ok
pseudostar(6 planes) minus 2 lines in a common plane                                     Q         13 (4,6)    2 False False True  True  ok
pseudostar(6 planes) minus 2 lines in a common plane                                     F_5      degenerate reduction, skipped
pseudostar(6 planes) minus 2 lines in a common plane                                     F_7      degenerate reduction, skipped
pseudostar(6 planes) minus 2 lines in a common plane                                     F_32003   13 (4,6)    2 False False True  True  ok
pseudostar(6 planes) minus 2 lines not in a common plane                                 Q         13 (4,6)    2 False False True  True  ok
pseudostar(6 planes) minus 2 lines not in a common plane                                 F_5      degenerate reduction, skipped
pseudostar(6 planes) minus 2 lines not in a common plane                                 F_7      degenerate reduction, skipped
pseudostar(6 planes) minus 2 lines not in a common plane                                 F_32003   13 (4,6)    2 False False True  True  ok
pseudostar(6 planes) minus all lines of one plane                                        Q         10 (4,5)    1 False True  True  True  ok
pseudostar(6 planes) minus all lines of one plane                                        F_5      degenerate reduction, skipped
pseudostar(6 planes) minus all lines of one plane                                        F_7      degenerate reduction, skipped
pseudostar(6 planes) minus all lines of one plane                                        F_32003   10 (4,5)    1 False True  True  True  ok
pairwise intersections of 5 planes, three through a line                                 Q          8 (3,5)    2 False False True  True  ok
pairwise intersections of 5 planes, three through a line                                 F_5        8 (3,5)    2 False False True  True  ok
pairwise intersections of 5 planes, three through a line                                 F_7        8 (3,5)    2 False False True  True  ok
pairwise intersections of 5 planes, three through a line                                 F_32003    8 (3,5)    2 False False True  True  ok
pairwise intersections of 6 planes, three through a line                                 Q         13 (4,6)    2 False False True  True  ok
pairwise intersections of 6 planes, three through a line                                 F_5       13 (4,6)    2 False False True  True  ok
pairwise intersections of 6 planes, three through a line                                 F_7       13 (4,6)    2 False False True  True  ok
pairwise intersections of 6 planes, three through a line                                 F_32003   13 (4,6)    2 False False True  True  ok
pairwise intersections of 4 planes, three through a line                                 Q          4 (2,4)    2 False False True  True  ok
pairwise intersections of 4 planes, three through a line                                 F_5        4 (2,4)    2 False False True  True  ok
pairwise intersections of 4 planes, three through a line                                 F_7        4 (2,4)    2 False False True  True  ok
pairwise intersections of 4 planes, three through a line                                 F_32003    4 (2,4)    2 False False True  True  ok
pairwise intersections of 6 planes, four through a line                                  Q         10 (3,6)    3 False False True  True  ok
pairwise intersections of 6 planes, four through a line                                  F_5       10 (3,6)    3 False False True  True  ok
pairwise intersections of 6 planes, four through a line                                  F_7       10 (3,6)    3 False False True  True  ok
pairwise intersections of 6 planes, four through a line                                  F_32003   10 (3,6)    3 False False True  True  ok
tetrahedron + a line in a face through no vertex                                         Q          7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through no vertex                                         F_5        7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through no vertex                                         F_7        7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through no vertex                                         F_32003    7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through one vertex                                        Q          7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through one vertex                                        F_5        7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through one vertex                                        F_7        7 (3,5)    2 False False True  True  ok
tetrahedron + a line in a face through one vertex                                        F_32003    7 (3,5)    2 False False True  True  ok
tetrahedron + a general line                                                             Q          7 (4,6)    2 False False False False ok
tetrahedron + a general line                                                             F_5        7 (3,6)    3 False False True  False ok
tetrahedron + a general line                                                             F_7        7 (3,6)    3 False False True  False ok
tetrahedron + a general line                                                             F_32003    7 (4,6)    2 False False False False ok
tetrahedron + a line through a vertex                                                    Q          7 (3,6)    3 False False True  False ok
tetrahedron + a line through a vertex                                                    F_5        7 (3,6)    3 False False True  False ok
tetrahedron + a line through a vertex                                                    F_7        7 (3,6)    3 False False True  False ok
tetrahedron + a line through a vertex                                                    F_32003    7 (3,6)    3 False False True  False ok
tetrahedron + a line through two edge points                                             Q          7 (3,6)    3 False False True  False ok
tetrahedron + a line through two edge points                                             F_5        7 (3,6)    3 False False True  False ok
tetrahedron + a line through two edge points                                             F_7        7 (3,6)    3 False False True  False ok
tetrahedron + a line through two edge points                                             F_32003    7 (3,6)    3 False False True  False ok
tetrahedron + the three lines joining midpoints of opposite edges                        Q          9 (4,6)    2 False False True  False ok
tetrahedron + the three lines joining midpoints of opposite edges                        F_5        9 (4,6)    2 False False True  False ok
tetrahedron + the three lines joining midpoints of opposite edges                        F_7        9 (4,6)    2 False False True  False ok
tetrahedron + the three lines joining midpoints of opposite edges                        F_32003    9 (4,6)    2 False False True  False ok
tetrahedron + 3 lines in a fifth plane                                                   Q          9 (4,6)    2 False False True  False ok
tetrahedron + 3 lines in a fifth plane                                                   F_5        9 (4,6)    2 False False True  False ok
tetrahedron + 3 lines in a fifth plane                                                   F_7        9 (4,6)    2 False False True  False ok
tetrahedron + 3 lines in a fifth plane                                                   F_32003    9 (4,6)    2 False False True  False ok
tetrahedron + the 4 lines cut by a fifth plane on the faces (pseudostar of 5 planes)     Q         10 (4,5)    1 False True  True  True  ok
tetrahedron + the 4 lines cut by a fifth plane on the faces (pseudostar of 5 planes)     F_5       10 (4,5)    1 False True  True  True  ok
tetrahedron + the 4 lines cut by a fifth plane on the faces (pseudostar of 5 planes)     F_7       10 (4,5)    1 False True  True  True  ok
tetrahedron + the 4 lines cut by a fifth plane on the faces (pseudostar of 5 planes)     F_32003   10 (4,5)    1 False True  True  True  ok
tetrahedron + 3 of the 4 lines cut by a fifth plane                                      Q          9 (3,5)    2 False False True  True  ok
tetrahedron + 3 of the 4 lines cut by a fifth plane                                      F_5        9 (3,5)    2 False False True  True  ok
tetrahedron + 3 of the 4 lines cut by a fifth plane                                      F_7        9 (3,5)    2 False False True  True  ok
tetrahedron + 3 of the 4 lines cut by a fifth plane                                      F_32003    9 (3,5)    2 False False True  True  ok
two pseudostars (3 planes each) with different vertices, meeting each other              Q          6 (3,6)    3 False False True  False ok
two pseudostars (3 planes each) with different vertices, meeting each other              F_5        6 (3,6)    3 False False True  False ok
two pseudostars (3 planes each) with different vertices, meeting each other              F_7        6 (3,6)    3 False False True  False ok
two pseudostars (3 planes each) with different vertices, meeting each other              F_32003    6 (3,6)    3 False False True  False ok
two disjoint pseudostars (3 planes each)                                                 Q          6 (4,6)    2 False False False False ok
two disjoint pseudostars (3 planes each)                                                 F_5      degenerate reduction, skipped
two disjoint pseudostars (3 planes each)                                                 F_7        6 (3,6)    3 False False True  False ok
two disjoint pseudostars (3 planes each)                                                 F_32003    6 (4,6)    2 False False False False ok
pseudostar (4 planes) + 3 coplanar lines disjoint from it                                Q          9 (4,6)    2 False False False False ok
pseudostar (4 planes) + 3 coplanar lines disjoint from it                                F_5      degenerate reduction, skipped
pseudostar (4 planes) + 3 coplanar lines disjoint from it                                F_7        9 (4,6)    2 False False True  False ok
pseudostar (4 planes) + 3 coplanar lines disjoint from it                                F_32003    9 (4,6)    2 False False False False ok
pseudostar (5 planes) + one more line in one of its planes                               Q         11 (4,6)    2 False False True  True  ok
pseudostar (5 planes) + one more line in one of its planes                               F_5      degenerate reduction, skipped
pseudostar (5 planes) + one more line in one of its planes                               F_7      degenerate reduction, skipped
pseudostar (5 planes) + one more line in one of its planes                               F_32003   11 (4,6)    2 False False True  True  ok
pseudostar (5 planes) with one line replaced by another line of the same plane           Q         10 (4,6)    2 False False True  True  ok
pseudostar (5 planes) with one line replaced by another line of the same plane           F_5      degenerate reduction, skipped
pseudostar (5 planes) with one line replaced by another line of the same plane           F_7      degenerate reduction, skipped
pseudostar (5 planes) with one line replaced by another line of the same plane           F_32003   10 (4,6)    2 False False True  True  ok
three concurrent lines + a coplanar pair elsewhere                                       Q          5 (3,5)    2 False False False False ok
three concurrent lines + a coplanar pair elsewhere                                       F_5      degenerate reduction, skipped
three concurrent lines + a coplanar pair elsewhere                                       F_7        5 (3,5)    2 False False False False ok
three concurrent lines + a coplanar pair elsewhere                                       F_32003    5 (3,5)    2 False False False False ok
coplanar triangle + a line through a vertex out of the plane                             Q          4 (2,4)    2 False False True  True  ok
coplanar triangle + a line through a vertex out of the plane                             F_5        4 (2,4)    2 False False True  True  ok
coplanar triangle + a line through a vertex out of the plane                             F_7        4 (2,4)    2 False False True  True  ok
coplanar triangle + a line through a vertex out of the plane                             F_32003    4 (2,4)    2 False False True  True  ok
coplanar triangle + a line meeting the plane off the triangle                            Q          4 (2,4)    2 False False False False ok
coplanar triangle + a line meeting the plane off the triangle                            F_5        4 (2,4)    2 False False False False ok
coplanar triangle + a line meeting the plane off the triangle                            F_7        4 (2,4)    2 False False False False ok
coplanar triangle + a line meeting the plane off the triangle                            F_32003    4 (2,4)    2 False False False False ok
two triangles in two planes sharing an edge                                              Q          5 (2,4)    2 False False True  True  ok
two triangles in two planes sharing an edge                                              F_5        5 (2,4)    2 False False True  True  ok
two triangles in two planes sharing an edge                                              F_7        5 (2,4)    2 False False True  True  ok
two triangles in two planes sharing an edge                                              F_32003    5 (2,4)    2 False False True  True  ok
1 general coplanar lines                                                                 Q          1 (1,2)    1 True  False True  True  ok
1 general coplanar lines                                                                 F_5        1 (1,2)    1 True  False True  True  ok
1 general coplanar lines                                                                 F_7        1 (1,2)    1 True  False True  True  ok
1 general coplanar lines                                                                 F_32003    1 (1,2)    1 True  False True  True  ok
2 general coplanar lines                                                                 Q          2 (1,2)    1 True  False True  True  ok
2 general coplanar lines                                                                 F_5        2 (1,2)    1 True  False True  True  ok
2 general coplanar lines                                                                 F_7        2 (1,2)    1 True  False True  True  ok
2 general coplanar lines                                                                 F_32003    2 (1,2)    1 True  False True  True  ok
3 general coplanar lines                                                                 Q          3 (1,2)    1 True  False True  True  ok
3 general coplanar lines                                                                 F_5        3 (1,2)    1 True  False True  True  ok
3 general coplanar lines                                                                 F_7        3 (1,2)    1 True  False True  True  ok
3 general coplanar lines                                                                 F_32003    3 (1,2)    1 True  False True  True  ok
5 general coplanar lines                                                                 Q          5 (1,2)    1 True  False True  True  ok
5 general coplanar lines                                                                 F_5      degenerate reduction, skipped
5 general coplanar lines                                                                 F_7        5 (1,2)    1 True  False True  True  ok
5 general coplanar lines                                                                 F_32003    5 (1,2)    1 True  False True  True  ok
4 concurrent coplanar lines                                                              Q          4 (1,2)    1 True  False True  True  ok
4 concurrent coplanar lines                                                              F_5        4 (1,2)    1 True  False True  True  ok
4 concurrent coplanar lines                                                              F_7        4 (1,2)    1 True  False True  True  ok
4 concurrent coplanar lines                                                              F_32003    4 (1,2)    1 True  False True  True  ok
12 edges of a cube                                                                       Q         12 (4,6)    2 False False True  True  ok
12 edges of a cube                                                                       F_5       12 (4,6)    2 False False True  True  ok
12 edges of a cube                                                                       F_7       12 (4,6)    2 False False True  True  ok
12 edges of a cube                                                                       F_32003   12 (4,6)    2 False False True  True  ok
12 edges of a cube + 3 lines at infinity (pseudostar of the 6 face planes?)              Q         15 (5,6)    1 False True  True  True  ok
12 edges of a cube + 3 lines at infinity (pseudostar of the 6 face planes?)              F_5       15 (5,6)    1 False True  True  True  ok
12 edges of a cube + 3 lines at infinity (pseudostar of the 6 face planes?)              F_7       15 (5,6)    1 False True  True  True  ok
12 edges of a cube + 3 lines at infinity (pseudostar of the 6 face planes?)              F_32003   15 (5,6)    1 False True  True  True  ok
12 edges + 4 space diagonals of a cube (Reye)                                            Q         16 (4,8)    4 False False True  True  ok
12 edges + 4 space diagonals of a cube (Reye)                                            F_5       16 (4,8)    4 False False True  True  ok
12 edges + 4 space diagonals of a cube (Reye)                                            F_7       16 (4,8)    4 False False True  True  ok
12 edges + 4 space diagonals of a cube (Reye)                                            F_32003   16 (4,8)    4 False False True  True  ok
12 edges of an octahedron                                                                Q         12 (3,6)    3 False False True  True  ok
12 edges of an octahedron                                                                F_5       12 (3,6)    3 False False True  True  ok
12 edges of an octahedron                                                                F_7       12 (3,6)    3 False False True  True  ok
12 edges of an octahedron                                                                F_32003   12 (3,6)    3 False False True  True  ok
9 edges of a triangular prism                                                            Q          9 (3,5)    2 False False True  True  ok
9 edges of a triangular prism                                                            F_5        9 (3,5)    2 False False True  True  ok
9 edges of a triangular prism                                                            F_7        9 (3,5)    2 False False True  True  ok
9 edges of a triangular prism                                                            F_32003    9 (3,5)    2 False False True  True  ok
9 edges of a triangular prism + the line at infinity of the two triangles (pseudostar of Q         10 (4,5)    1 False True  True  True  ok
9 edges of a triangular prism + the line at infinity of the two triangles (pseudostar of F_5       10 (4,5)    1 False True  True  True  ok
9 edges of a triangular prism + the line at infinity of the two triangles (pseudostar of F_7       10 (4,5)    1 False True  True  True  ok
9 edges of a triangular prism + the line at infinity of the two triangles (pseudostar of F_32003   10 (4,5)    1 False True  True  True  ok
two skew lines + 2 transversals (skew quadrilateral)                                     Q          4 (2,4)    2 False False True  True  ok
two skew lines + 2 transversals (skew quadrilateral)                                     F_5        4 (2,4)    2 False False True  True  ok
two skew lines + 2 transversals (skew quadrilateral)                                     F_7        4 (2,4)    2 False False True  True  ok
two skew lines + 2 transversals (skew quadrilateral)                                     F_32003    4 (2,4)    2 False False True  True  ok
two skew lines + 3 transversals                                                          Q          5 (2,4)    2 False False True  True  ok
two skew lines + 3 transversals                                                          F_5        5 (2,4)    2 False False True  True  ok
two skew lines + 3 transversals                                                          F_7        5 (2,4)    2 False False True  True  ok
two skew lines + 3 transversals                                                          F_32003    5 (2,4)    2 False False True  True  ok
three skew lines + 3 transversals (grid 3,3 again, other coordinates)                    Q          6 (2,4)    2 False False True  True  ok
three skew lines + 3 transversals (grid 3,3 again, other coordinates)                    F_5        6 (2,4)    2 False False True  True  ok
three skew lines + 3 transversals (grid 3,3 again, other coordinates)                    F_7        6 (2,4)    2 False False True  True  ok
three skew lines + 3 transversals (grid 3,3 again, other coordinates)                    F_32003    6 (2,4)    2 False False True  True  ok

302 computations, 0 violations of [gap 1 <=> coplanar or pseudostar; gap 1 => ACM]
