(Total refal time): 14.42200 seconds (83.8 %).
(Total refal time): 14.53700 seconds (84.4 %).
(Total refal time): 14.56400 seconds (84.7 %).
(Total refal time): 14.68600 seconds (85.4 %).
(Total refal time): 14.71700 seconds (85.5 %).
(Total refal time): 14.72800 seconds (85.6 %).
(Total refal time): 14.72800 seconds (86.0 %).
(Total refal time): 14.73000 seconds (85.7 %).
(Total refal time): 14.75700 seconds (85.8 %).
(Total refal time): 14.91500 seconds (86.5 %).
(Total refal time): 14.97700 seconds (86.8 %).
(Total refal time): 14.98500 seconds (87.2 %).
(Total refal time): 15.02500 seconds (87.1 %).
(Total refal time): 15.08100 seconds (87.8 %).
(Total refal time): 15.20200 seconds (87.1 %).
(Total refal time): 16.68500 seconds (86.0 %).
(Total refal time): 17.67000 seconds (86.3 %).
Context copy time: 0.01500 seconds (0.1 %).
Context copy time: 0.01500 seconds (0.1 %).
Context copy time: 0.01500 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.01600 seconds (0.1 %).
Context copy time: 0.03100 seconds (0.2 %).
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Identifiers allocated: 2417
Linear pattern time: 6.71100 seconds (39.0 %).
Linear pattern time: 6.74400 seconds (39.2 %).
Linear pattern time: 6.76800 seconds (39.4 %).
Linear pattern time: 6.79500 seconds (39.5 %).
Linear pattern time: 6.80100 seconds (39.6 %).
Linear pattern time: 6.84400 seconds (39.8 %).
Linear pattern time: 7.00900 seconds (40.6 %).
Linear pattern time: 7.12100 seconds (41.4 %).
Linear pattern time: 7.13300 seconds (41.7 %).
Linear pattern time: 7.14000 seconds (40.9 %).
Linear pattern time: 7.25100 seconds (42.0 %).
Linear pattern time: 7.27500 seconds (42.2 %).
Linear pattern time: 7.28200 seconds (42.3 %).
Linear pattern time: 7.29200 seconds (42.5 %).
Linear pattern time: 7.37500 seconds (42.9 %).
Linear pattern time: 8.37000 seconds (43.1 %).
Linear pattern time: 9.49800 seconds (46.4 %).
Linear result time: 4.52700 seconds (22.1 %).
Linear result time: 4.59100 seconds (26.7 %).
Linear result time: 4.61200 seconds (26.8 %).
Linear result time: 4.61600 seconds (26.8 %).
Linear result time: 4.64900 seconds (27.0 %).
Linear result time: 4.68600 seconds (27.2 %).
Linear result time: 4.75600 seconds (27.6 %).
Linear result time: 4.77000 seconds (27.7 %).
Linear result time: 4.77200 seconds (27.7 %).
Linear result time: 4.77900 seconds (27.8 %).
Linear result time: 4.79200 seconds (27.9 %).
Linear result time: 4.83300 seconds (28.2 %).
Linear result time: 4.86800 seconds (28.3 %).
Linear result time: 4.97300 seconds (28.9 %).
Linear result time: 5.03800 seconds (28.9 %).
Linear result time: 5.19700 seconds (26.8 %).
Linear result time: 5.43500 seconds (31.6 %).
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Memory used 665000 nodes, 665000 * 16 = 10640000 bytes
Native time: 1.39700 seconds (8.1 %).
Native time: 1.39800 seconds (8.2 %).
Native time: 1.48200 seconds (8.6 %).
Native time: 1.48400 seconds (8.6 %).
Native time: 1.51900 seconds (8.8 %).
Native time: 1.55500 seconds (9.0 %).
Native time: 1.55600 seconds (9.0 %).
Native time: 1.58700 seconds (9.2 %).
Native time: 1.61100 seconds (9.2 %).
Native time: 1.62000 seconds (9.4 %).
Native time: 1.62500 seconds (9.4 %).
Native time: 1.63700 seconds (9.5 %).
Native time: 1.64000 seconds (9.5 %).
Native time: 1.64600 seconds (8.5 %).
Native time: 1.65600 seconds (9.6 %).
Native time: 1.68100 seconds (9.8 %).
Native time: 1.97200 seconds (9.6 %).
Open e-loop time (clear): 1.62300 seconds (9.5 %).
Open e-loop time (clear): 1.66600 seconds (9.7 %).
Open e-loop time (clear): 1.74800 seconds (10.2 %).
Open e-loop time (clear): 1.76700 seconds (10.3 %).
Open e-loop time (clear): 1.81600 seconds (10.6 %).
Open e-loop time (clear): 1.83100 seconds (10.7 %).
Open e-loop time (clear): 1.84300 seconds (10.7 %).
Open e-loop time (clear): 1.85500 seconds (10.8 %).
Open e-loop time (clear): 1.86200 seconds (10.8 %).
Open e-loop time (clear): 1.87400 seconds (10.9 %).
Open e-loop time (clear): 1.89000 seconds (10.8 %).
Open e-loop time (clear): 1.94700 seconds (11.3 %).
Open e-loop time (clear): 1.97400 seconds (11.4 %).
Open e-loop time (clear): 2.02900 seconds (11.8 %).
Open e-loop time (clear): 2.06600 seconds (12.0 %).
Open e-loop time (clear): 2.08600 seconds (10.7 %).
Open e-loop time (clear): 2.28700 seconds (11.2 %).
Repeated e-var match time (inside e-loops): 0.10900 seconds (0.6 %).
Repeated e-var match time (inside e-loops): 0.10900 seconds (0.6 %).
Repeated e-var match time (inside e-loops): 0.11100 seconds (0.6 %).
Repeated e-var match time (inside e-loops): 0.12500 seconds (0.7 %).
Repeated e-var match time (inside e-loops): 0.12600 seconds (0.6 %).
Repeated e-var match time (inside e-loops): 0.12700 seconds (0.7 %).
Repeated e-var match time (inside e-loops): 0.12700 seconds (0.7 %).
Repeated e-var match time (inside e-loops): 0.15600 seconds (0.9 %).
Repeated e-var match time (inside e-loops): 0.15700 seconds (0.9 %).
Repeated e-var match time (inside e-loops): 0.17000 seconds (1.0 %).
Repeated e-var match time (inside e-loops): 0.17100 seconds (1.0 %).
Repeated e-var match time (inside e-loops): 0.17300 seconds (1.0 %).
Repeated e-var match time (inside e-loops): 0.17400 seconds (1.0 %).
Repeated e-var match time (inside e-loops): 0.17400 seconds (1.0 %).
Repeated e-var match time (inside e-loops): 0.23100 seconds (1.3 %).
Repeated e-var match time (inside e-loops): 0.24600 seconds (1.4 %).
Repeated e-var match time (inside e-loops): 0.25200 seconds (1.2 %).
Repeated e-var match time (outside e-loops): 0.01600 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01500 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01500 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01600 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01600 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01600 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01600 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.01600 seconds (0.1 %).
Repeated t-var match time (inside e-loops): 0.03000 seconds (0.2 %).
Repeated t-var match time (inside e-loops): 0.03100 seconds (0.2 %).
Repeated t-var match time (inside e-loops): 0.03200 seconds (0.2 %).
Repeated t-var match time (outside e-loops): 0.01600 seconds (0.1 %).
Runtime time overhead: 0.57600 seconds (3.4 %).
Runtime time overhead: 0.62400 seconds (3.6 %).
Runtime time overhead: 0.69000 seconds (4.0 %).
Runtime time overhead: 0.71800 seconds (4.2 %).
Runtime time overhead: 0.72000 seconds (4.2 %).
Runtime time overhead: 0.80500 seconds (4.7 %).
Runtime time overhead: 0.82800 seconds (4.0 %).
Runtime time overhead: 0.83900 seconds (4.9 %).
Runtime time overhead: 0.84600 seconds (4.9 %).
Runtime time overhead: 0.89000 seconds (5.2 %).
Runtime time overhead: 0.89200 seconds (5.2 %).
Runtime time overhead: 0.92200 seconds (5.3 %).
Runtime time overhead: 0.98300 seconds (5.7 %).
Runtime time overhead: 1.01100 seconds (5.9 %).
Runtime time overhead: 1.03600 seconds (6.0 %).
Runtime time overhead: 1.07500 seconds (5.5 %).
Runtime time overhead: 1.08500 seconds (6.3 %).
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
Step count 16521884
t- and e-var copy time: 0.84500 seconds (4.9 %).
t- and e-var copy time: 0.87600 seconds (5.1 %).
t- and e-var copy time: 0.87800 seconds (5.1 %).
t- and e-var copy time: 0.89000 seconds (4.6 %).
t- and e-var copy time: 0.89200 seconds (5.2 %).
t- and e-var copy time: 0.91000 seconds (5.3 %).
t- and e-var copy time: 0.91200 seconds (5.3 %).
t- and e-var copy time: 0.92100 seconds (5.3 %).
t- and e-var copy time: 0.92200 seconds (5.4 %).
t- and e-var copy time: 0.92900 seconds (5.3 %).
t- and e-var copy time: 0.94200 seconds (5.5 %).
t- and e-var copy time: 0.96400 seconds (5.6 %).
t- and e-var copy time: 0.96600 seconds (5.6 %).
t- and e-var copy time: 0.98100 seconds (5.7 %).
t- and e-var copy time: 1.01900 seconds (5.9 %).
t- and e-var copy time: 1.03200 seconds (6.0 %).
t- and e-var copy time: 1.09000 seconds (5.3 %).
Total program time: 17.12500 seconds (100.0 %).
Total program time: 17.17200 seconds (100.0 %).
Total program time: 17.18700 seconds (100.0 %).
Total program time: 17.18800 seconds (100.0 %).
Total program time: 17.20300 seconds (100.0 %).
Total program time: 17.20300 seconds (100.0 %).
Total program time: 17.20300 seconds (100.0 %).
Total program time: 17.20300 seconds (100.0 %).
Total program time: 17.20300 seconds (100.0 %).
Total program time: 17.20300 seconds (100.0 %).
Total program time: 17.21900 seconds (100.0 %).
Total program time: 17.25000 seconds (100.0 %).
Total program time: 17.25000 seconds (100.0 %).
Total program time: 17.25000 seconds (100.0 %).
Total program time: 17.45300 seconds (100.0 %).
Total program time: 19.40600 seconds (100.0 %).
Total program time: 20.48500 seconds (100.0 %).