intpips: solvability notes

Signed-off-by: John McMaster <johndmcmaster@gmail.com>

fuzzers/050-intpips/README.md

@@ -5,3 +5,51 @@ Generic fuzzer for INT PIPs
 Run this fuzzer a few times until it stops adding new PIPs to the
 database.
 
+Sample runs:
+* 78fa4bd5
+  * jenkins 3, success
+  * intpips: 1 iter, N=200, -m 5 -M 15
+  * intpips todo final: N/A
+  * intpips segbits_int_l.db lines: 3374
+  * rempips todo initial: 279
+  * rempips todo final (32): 9
+* 20e09ca7
+  * jenkins 21, rempips failure
+  * intpips: 6 iters, N=48, -m 15 -M 45
+  * intpips segbits_int_l.db lines: 3364
+  * rempips todo initial: 294
+  * rempips todo final (51): 294
+* 1182359f
+  * jenkins 23, intpips failure
+  * inpips: 12 iters, N=48, -m 15 -M 45
+  * intpips todo final: 495
+  * inpips segbits_int_l.db lines: 5167
+  * rempips todo: N/A
+
+
+### const0
+
+These show up in large numbers after a full solve.
+This means that it either has trouble solving these or simply cannot.
+Counts from sample run
+
+Includes:
+* INT.BYP_ALT\*.LOGIC_OUTS\* (24)
+  * Ex: INT.BYP_ALT2.LOGIC_OUTS14
+* INT.[NESW]\*.LOGIC_OUTS\* (576)
+  * Ex: INT.EE4BEG2.LOGIC_OUTS2
+  * Ex: INT.EL1BEG_N3.LOGIC_OUTS0
+  * Ex: INT.WR1BEG3.LOGIC_OUTS2
+* INT.IMUX*.* (1151)
+  * Ex: INT.IMUX0.NL1END0
+  * Ex: INT.IMUX0.FAN_BOUNCE7
+  * Ex: INT.IMUX14.LOGIC_OUTS7
+
+
+### GFAN
+
+Includes:
+* Easily solves: INT.IMUX_L*.GFAN*
+* Can solve: INT.BYP_ALT*.GFAN*
+* Cannot solve: INT.IMUX*.GFAN* (solves as "<m1 0> <const0>")
+