The following experimental results were obtained from our collection of programs, transformed by HOCA using defunctionalisation only.

The indicated results were obtained with TcT, version 2.1 to infer complexity bounds, TTT2, version 1.15 was used to check termination. Both tools were employed in their default configuration.

All experiments were performed on a machine with 16 core AMD Opteron(R) 885 Dual-Core @ 2.80GHz processors with 8x8 GB Memory. All runs were aborted after a timeout of 60 seconds.

Overview

TTT2
TcT
# systemstime# systemstime
-
0.373
O(1)
-
-
2
1.712
-
3.050
-
0.373
O(n^1)
-
-
5
4.822
-
13.852
0.832
0.373
Total YES
8
1.378
5
4.822
1.868
13.852
26.942
60.087
Total MAYBE
4
34.697
20
60.350
49.209
61.829
-
-
Total TIMEOUT
13
-
-
-
-
-

Details