Results with ECLiPSe 5.2 on 450Mhz Pentium3, Linux
-------- strategy: ic ---------
i5 0.10s best cost 1 after 0.08s
i7 0.10s best cost 0 after 0.09s
i9 0.29s best cost 0 after 0.28s
i10 0.24s best cost 0 after 0.22s
i12 1.29s best cost 0 after 1.24s
i12a 60.11s best cost 1 after 0.50s
i12b 60.10s best cost 1 after 36.17s
i16 1.87s best cost 0 after 1.83s
i18 2.00s best cost 0 after 1.89s
i20 1.59s best cost 0 after 1.52s
i21 8.19s best cost 0 after 8.13s
i23 60.23s best cost 4 after 0.36s
i24 60.34s best cost 4 after 2.07s
i26 60.39s best cost 9 after 27.76s
i30 0.81s best cost 0 after 0.71s
-------- strategy: ed ---------
i5 0.22s best cost 1 after 0.16s
i7 60.07s best cost 1 after 51.49s
i9 7.25s best cost 0 after 7.23s
i10 60.10s best cost 4 after 1.92s
i12 4.49s best cost 0 after 4.43s
i12a 1.11s best cost 0 after 1.08s
i12b 60.10s best cost 6 after 24.40s
i16 44.54s best cost 0 after 44.50s
i18 60.24s best cost 12 after 4.34s
i20 60.20s best cost 7 after 22.04s
i21 60.20s best cost 6 after 16.15s
i23 60.23s best cost 21 after 2.81s
i24 60.34s best cost 19 after 3.50s
i26 60.39s best cost 26 after 28.50s
i30 60.31s best cost 19 after 49.19s
-------- strategy: by ---------
i5 5.96s best cost 1 after 0.17s
i7 60.06s best cost 4 after 2.24s
i9 60.08s best cost 4 after 2.49s
i10 60.09s best cost 7 after 2.06s
i12 1.20s best cost 0 after 1.15s
i12a 60.13s best cost 5 after 5.01s
i12b 60.11s best cost 10 after 1.97s
i16 60.16s best cost 20 after 35.56s
i18 60.23s best cost 22 after 51.12s
i20 3.65s best cost 0 after 3.58s
i21 60.22s best cost 5 after 2.11s
i23 60.23s best cost 32 after 2.31s
i24 60.33s best cost 23 after 6.50s
i26 60.39s best cost 28 after 58.45s
i30 60.31s best cost 38 after 43.78s