Benchmark
Mined+Modified input to PINS
Pruning by PINS
PINS #iter/time(s)
Run length
Run length
2
25
→ 1
7 / 26s
In-place Run length
In-place Run length
2
30
→ 1
7 / 36s
LZ77
LZ77
2
25
→ 1
6 / 1810s
LZW
LZW
2
31
→ 1
4 / 150s
Sum i
Sum i
2
15
→ 1
4 / 1s
Scale
Scale
2
16
→ 1
3 / 4s
Shift
Shift
2
16
→ 1
3 / 4s
Rotate
Rotate
2
16
→ 1
3 / 40s
UUEncode
UUEncode
2
20
→ 1
7 / 34s
Base64
Base64
2
37
→ 1
12 / 1377s
Pkt
Pkt
2
20
→ 1
6 / 132s
Uglier table with axioms listed out.