Details

simplify4.3m

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
31	4960
30	4585
29	4082
28	3565
27	3249
26	2908
25	2498
24	2190
23	1905
22	1635
21	1397
20	1198
19	1033
18	888
17	733
16	605
15	496
14	417
13	320
12	262
11	207
10	167
9	136
8	112
7	89
6	80
5	59
4	48
3	39
2	32
1	21
0	13