Commit e084d6ce authored by Christoph Reichenbach's avatar Christoph Reichenbach
Browse files

Forwarded main branch relaxations

parent 58d541ff
......@@ -20,6 +20,11 @@ maybe: NI 9 9 -> obj 24 8
maybe: NI 9 9 -> obj 25 5
maybe: NI 9 9 -> obj 25 8
maybe: NI 9 9 -> obj 34 9
maybe: NA 9 9 -> null 13 27
maybe: NA 9 9 -> obj 22 4
maybe: NA 9 9 -> obj 23 4
maybe: NA 9 9 -> obj 24 4
maybe: NA 9 9 -> obj 25 4
N 15 2 -> obj 13 15
N 15 2 -> obj 14 15
N 15 2 -> null 18 7
......@@ -33,8 +38,8 @@ maybe: NO 25 12 -> obj 13 15
maybe: NO 25 12 -> obj 14 15
maybe: NO 25 12 -> obj 16 15
NO 25 12 -> null 18 7
maybe: NO 31 2 -> obj 27 12
NO 31 2 -> null 29 10
maybe: NA 31 2 -> obj 27 12
NA 31 2 -> null 29 10
maybe: NA 32 12 -> obj 27 12
NA 32 12 -> null 29 10
maybe: NO 35 9 -> obj 13 15
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment