Details

simplify10.0m

Iterations

Iter	Nodes
528	2147
527	2142
526	2137
525	2136
524	2131
523	2129
522	2124
521	2121
520	2116
519	2111
518	2110
517	2105
516	2103
515	2098
514	2095
513	2090
512	2085
511	2084
510	2079
509	2077
508	2072
507	2069
506	2064
505	2059
504	2058
503	2053
502	2051
501	2046
500	2043
499	2038
498	2033
497	2032
496	2027
495	2025
494	2020
493	2017
492	2012
491	2007
490	2006
489	2001
488	1999
487	1994
486	1991
485	1986
484	1981
483	1980
482	1975
481	1973
480	1968
479	1965
478	1960
477	1955
476	1954
475	1949
474	1947
473	1942
472	1939
471	1934
470	1929
469	1928
468	1923
467	1921
466	1916
465	1913
464	1908
463	1903
462	1902
461	1897
460	1895
459	1890
458	1887
457	1882
456	1877
455	1876
454	1871
453	1869
452	1864
451	1861
450	1856
449	1851
448	1850
447	1845
446	1843
445	1838
444	1835
443	1830
442	1825
441	1824
440	1819
439	1817
438	1812
437	1809
436	1804
435	1799
434	1798
433	1793
432	1791
431	1786
430	1783
429	1778
428	1773
427	1772
426	1767
425	1765
424	1760
423	1757
422	1752
421	1747
420	1746
419	1741
418	1739
417	1734
416	1731
415	1726
414	1721
413	1720
412	1715
411	1713
410	1708
409	1705
408	1700
407	1695
406	1694
405	1689
404	1687
403	1682
402	1679
401	1674
400	1669
399	1668
398	1663
397	1661
396	1656
395	1653
394	1648
393	1643
392	1642
391	1637
390	1635
389	1630
388	1627
387	1622
386	1617
385	1616
384	1611
383	1609
382	1604
381	1601
380	1596
379	1591
378	1590
377	1585
376	1583
375	1578
374	1575
373	1570
372	1565
371	1564
370	1559
369	1557
368	1552
367	1549
366	1544
365	1539
364	1538
363	1533
362	1531
361	1526
360	1523
359	1518
358	1513
357	1512
356	1507
355	1505
354	1500
353	1497
352	1492
351	1487
350	1486
349	1481
348	1479
347	1474
346	1471
345	1466
344	1461
343	1460
342	1455
341	1453
340	1448
339	1445
338	1440
337	1435
336	1434
335	1429
334	1427
333	1422
332	1419
331	1414
330	1409
329	1408
328	1403
327	1401
326	1396
325	1393
324	1388
323	1383
322	1382
321	1377
320	1375
319	1370
318	1367
317	1362
316	1357
315	1356
314	1351
313	1349
312	1344
311	1341
310	1336
309	1331
308	1330
307	1325
306	1323
305	1318
304	1315
303	1310
302	1305
301	1304
300	1299
299	1297
298	1292
297	1289
296	1284
295	1279
294	1278
293	1273
292	1271
291	1266
290	1263
289	1258
288	1253
287	1252
286	1247
285	1245
284	1240
283	1237
282	1232
281	1227
280	1226
279	1221
278	1219
277	1214
276	1211
275	1206
274	1201
273	1200
272	1195
271	1193
270	1188
269	1185
268	1180
267	1175
266	1174
265	1169
264	1167
263	1162
262	1159
261	1154
260	1149
259	1148
258	1143
257	1141
256	1136
255	1133
254	1128
253	1123
252	1122
251	1117
250	1115
249	1110
248	1107
247	1102
246	1097
245	1096
244	1091
243	1089
242	1084
241	1081
240	1076
239	1071
238	1070
237	1065
236	1063
235	1058
234	1055
233	1050
232	1045
231	1044
230	1039
229	1037
228	1032
227	1029
226	1024
225	1019
224	1018
223	1013
222	1011
221	1006
220	1003
219	998
218	993
217	992
216	987
215	985
214	980
213	977
212	972
211	967
210	966
209	961
208	959
207	954
206	951
205	946
204	941
203	940
202	935
201	933
200	928
199	925
198	920
197	915
196	914
195	909
194	907
193	902
192	899
191	894
190	889
189	888
188	883
187	881
186	876
185	873
184	868
183	863
182	862
181	857
180	855
179	850
178	847
177	842
176	837
175	836
174	831
173	829
172	824
171	821
170	816
169	811
168	810
167	805
166	803
165	798
164	795
163	790
162	785
161	784
160	779
159	777
158	772
157	769
156	764
155	759
154	758
153	753
152	751
151	746
150	743
149	738
148	733
147	732
146	727
145	725
144	720
143	717
142	712
141	707
140	706
139	701
138	699
137	694
136	691
135	686
134	681
133	680
132	675
131	673
130	668
129	665
128	660
127	655
126	654
125	649
124	647
123	642
122	639
121	634
120	629
119	628
118	623
117	621
116	616
115	613
114	608
113	603
112	602
111	597
110	595
109	590
108	587
107	582
106	577
105	576
104	571
103	569
102	564
101	561
100	556
99	551
98	550
97	545
96	543
95	538
94	535
93	530
92	525
91	524
90	519
89	517
88	512
87	509
86	504
85	499
84	498
83	493
82	491
81	486
80	483
79	478
78	473
77	472
76	467
75	465
74	460
73	457
72	452
71	447
70	446
69	441
68	439
67	434
66	431
65	426
64	421
63	420
62	415
61	413
60	408
59	405
58	400
57	395
56	394
55	389
54	387
53	382
52	379
51	374
50	369
49	368
48	363
47	361
46	356
45	353
44	348
43	343
42	342
41	337
40	335
39	330
38	327
37	322
36	317
35	316
34	311
33	309
32	304
31	301
30	296
29	291
28	290
27	285
26	283
25	278
24	275
23	270
22	265
21	264
20	259
19	257
18	252
17	249
16	244
15	239
14	238
13	233
12	231
11	226
10	218
9	204
8	180
7	143
6	89
5	65
4	58
3	46
2	29
1	15
0	6