TetraChroma Lab

Module 2

Reducible Configurations

A gallery of reducible configurations in the spirit of Robertson, Sanders, Seymour, and Thomas (1996). Each configuration carries a Strict Verification Label (SVL) of the form [Provenance]-[Category]-[SubID]-[State].

Showing 64 of 64. The architecture supports the full RSST 633 set and the 1,482 Appel–Haken set; bundled adjacency for the gallery is a stand-in.

RSST-R-0001-COQ-2005
ring=6v=8 e=14

discharging rule R1

RSST-R-0002-COQ-2005
ring=7v=12 e=28

discharging rule R2

RSST-R-0003-COQ-2005
ring=8v=11 e=18

discharging rule R3

RSST-R-0004-LEAN-VERIFIED
ring=9v=15 e=29

discharging rule R4a

RSST-R-0005-COMP-1976
ring=10v=14 e=25

discharging rule R4b

RSST-R-0006-COQ-2005
ring=11v=13 e=20

discharging rule R5

RSST-R-0007-COQ-2005
ring=12v=17 e=30

discharging rule R6

RSST-R-0008-COQ-2005
ring=13v=16 e=24

discharging rule R7

RSST-R-0009-LEAN-VERIFIED
ring=14v=20 e=39

discharging rule R1

RSST-R-0010-COMP-1976
ring=6v=10 e=21

discharging rule R2

RSST-R-0011-COQ-2005
ring=7v=9 e=13

discharging rule R3

RSST-R-0012-COQ-2005
ring=8v=13 e=26

discharging rule R4a

RSST-R-0013-COQ-2005
ring=9v=12 e=19

discharging rule R4b

RSST-R-0014-LEAN-VERIFIED
ring=10v=16 e=32

discharging rule R5

RSST-R-0015-COMP-1976
ring=11v=15 e=24

discharging rule R6

RSST-R-0016-COQ-2005
ring=12v=14 e=19

discharging rule R7

RSST-R-0017-COQ-2005
ring=13v=18 e=33

discharging rule R1

RSST-R-0018-COQ-2005
ring=14v=17 e=25

discharging rule R2

RSST-R-0019-LEAN-VERIFIED
ring=6v=12 e=28

discharging rule R3

RSST-R-0020-COMP-1976
ring=7v=11 e=25

discharging rule R4a

RSST-R-0021-COQ-2005
ring=8v=10 e=14

discharging rule R4b

RSST-R-0022-COQ-2005
ring=9v=14 e=28

discharging rule R5

RSST-R-0023-COQ-2005
ring=10v=13 e=24

discharging rule R6

RSST-R-0024-LEAN-VERIFIED
ring=11v=17 e=30

discharging rule R7

RSST-R-0025-COMP-1976
ring=12v=16 e=29

discharging rule R1

RSST-R-0026-COQ-2005
ring=13v=15 e=21

discharging rule R2

RSST-R-0027-COQ-2005
ring=14v=19 e=31

discharging rule R3

RSST-R-0028-COQ-2005
ring=6v=9 e=16

discharging rule R4a

RSST-R-0029-LEAN-VERIFIED
ring=7v=13 e=32

discharging rule R4b

RSST-R-0030-COMP-1976
ring=8v=12 e=22

discharging rule R5

RSST-R-0031-COQ-2005
ring=9v=11 e=16

discharging rule R6

RSST-R-0032-COQ-2005
ring=10v=15 e=29

discharging rule R7

RSST-R-0033-COQ-2005
ring=11v=14 e=22

discharging rule R1

RSST-R-0034-LEAN-VERIFIED
ring=12v=18 e=36

discharging rule R2

RSST-R-0035-COMP-1976
ring=13v=17 e=28

discharging rule R3

RSST-R-0036-COQ-2005
ring=14v=16 e=22

discharging rule R4a

RSST-R-0037-COQ-2005
ring=6v=11 e=26

discharging rule R4b

RSST-R-0038-COQ-2005
ring=7v=10 e=17

discharging rule R5

RSST-R-0039-LEAN-VERIFIED
ring=8v=14 e=31

discharging rule R6

RSST-R-0040-COMP-1976
ring=9v=13 e=24

discharging rule R7

RSST-R-0041-COQ-2005
ring=10v=12 e=15

discharging rule R1

RSST-R-0042-COQ-2005
ring=11v=16 e=27

discharging rule R2

RSST-R-0043-COQ-2005
ring=12v=15 e=23

discharging rule R3

RSST-R-0044-LEAN-VERIFIED
ring=13v=19 e=37

discharging rule R4a

RSST-R-0045-COMP-1976
ring=14v=18 e=28

discharging rule R4b

RSST-R-0046-COQ-2005
ring=6v=8 e=12

discharging rule R5

RSST-R-0047-COQ-2005
ring=7v=12 e=28

discharging rule R6

RSST-R-0048-COQ-2005
ring=8v=11 e=19

discharging rule R7

RSST-R-0049-LEAN-VERIFIED
ring=9v=15 e=34

discharging rule R1

RSST-R-0050-COMP-1976
ring=10v=14 e=28

discharging rule R2

RSST-R-0051-COQ-2005
ring=11v=13 e=19

discharging rule R3

RSST-R-0052-COQ-2005
ring=12v=17 e=27

discharging rule R4a

RSST-R-0053-COQ-2005
ring=13v=16 e=24

discharging rule R4b

RSST-R-0054-LEAN-VERIFIED
ring=14v=20 e=36

discharging rule R5

RSST-R-0055-COMP-1976
ring=6v=10 e=18

discharging rule R6

RSST-R-0056-COQ-2005
ring=7v=9 e=14

discharging rule R7

RSST-R-0057-COQ-2005
ring=8v=13 e=26

discharging rule R1

RSST-R-0058-COQ-2005
ring=9v=12 e=22

discharging rule R2

RSST-R-0059-LEAN-VERIFIED
ring=10v=16 e=33

discharging rule R3

RSST-R-0060-COMP-1976
ring=11v=15 e=26

discharging rule R4a

RSST-R-0061-COQ-2005
ring=12v=14 e=21

discharging rule R4b

RSST-R-0062-COQ-2005
ring=13v=18 e=33

discharging rule R5

RSST-R-0063-COQ-2005
ring=14v=17 e=25

discharging rule R6

RSST-R-0064-LEAN-VERIFIED
ring=6v=12 e=30

discharging rule R7