Fichier exporap.ex / 26 mai 1999 Programme: exporap.drs > *p3* ((0 2 2) (0 0 2) (0 0 0)) > (expo-rapide *p3* 2) ((0 0 4) (0 0 0) (0 0 0)) > (expo-rapide *p3* 3) ((0 0 0) (0 0 0) (0 0 0)) > *p16* ((0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0) (1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0) (1 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0) (1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0) (1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0) (1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0) (1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0) (1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0) (1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0) (1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0) (1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0)) > (expo-rapide *p16* 2) ((0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (4 0 0 0 1 0 0 0 0 0 2 0 0 0 3 0) (8 3 0 0 5 0 0 2 0 0 6 0 4 1 7 0) (10 5 1 0 7 0 0 4 0 2 8 0 6 3 9 0) (2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (13 8 4 2 10 0 3 7 1 5 11 0 9 6 12 0) (9 4 0 0 6 0 0 3 0 1 7 0 5 2 8 0) (5 0 0 0 2 0 0 0 0 0 3 0 1 0 4 0) (11 6 2 0 8 0 1 5 0 3 9 0 7 4 10 0) (7 2 0 0 4 0 0 1 0 0 5 0 3 0 6 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (12 7 3 1 9 0 2 6 0 4 10 0 8 5 11 0) (3 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0) (6 1 0 0 3 0 0 0 0 0 4 0 2 0 5 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (14 9 5 3 11 0 4 8 2 6 12 1 10 7 13 0)) > (expo-rapide *p16* 16) ((0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) > (affiche-temps *p16* 50 100) n=50 rapide = cpu time: 1800 real time: 1800 gc time: 0 normal = cpu time: 13650 real time: 13650 gc time: 400 n=60 rapide = cpu time: 2016 real time: 2016 gc time: 0 normal = cpu time: 16617 real time: 16617 gc time: 384 n=70 rapide = cpu time: 2416 real time: 2416 gc time: 383 normal = cpu time: 19450 real time: 19450 gc time: 367 n=80 rapide = cpu time: 1783 real time: 1783 gc time: 0 normal = cpu time: 22333 real time: 22333 gc time: 750 n=90 rapide = cpu time: 2283 real time: 2283 gc time: 0 normal = cpu time: 24883 real time: 24883 gc time: 750 n=100 rapide = cpu time: 2050 real time: 2050 gc time: 0 normal = cpu time: 27433 real time: 27433 gc time: 733 stop >