Stabilise benchmarks wrt. GC
[nofib.git] / spectral / constraints / constraints.stdout
1 40
2 40
3 40
4 40
5 40
6 40
7 40
8 40
9 40
10 40
11 40
12 40
13 40
14 40
15 40
16 40
17 40
18 40
19 40
20 40
21 40
22 40
23 40
24 40
25 40
26 40
27 40
28 40
29 40
30 40
31 40
32 40
33 40
34 40
35 40
36 40
37 40
38 40
39 40
40 40
41 40
42 40
43 40
44 40
45 40
46 40
47 40
48 40
49 40
50 40
51 40
52 40
53 40
54 40
55 40
56 40
57 40
58 40
59 40
60 40
61 40
62 40
63 40
64 40
65 40
66 40
67 40
68 40
69 40
70 40
71 40
72 40
73 40
74 40
75 40
76 40
77 40
78 40
79 40
80 40
81 40
82 40
83 40
84 40
85 40
86 40
87 40
88 40
89 40
90 40
91 40
92 40
93 40
94 40
95 40
96 40
97 40
98 40
99 40
100 40
101 40
102 40
103 40
104 40
105 40
106 40
107 40
108 40
109 40
110 40
111 40
112 40
113 40
114 40
115 40
116 40
117 40
118 40
119 40
120 40
121 40
122 40
123 40
124 40
125 40
126 40
127 40
128 40
129 40
130 40
131 40
132 40
133 40
134 40
135 40
136 40
137 40
138 40
139 40
140 40
141 40
142 40
143 40
144 40
145 40
146 40
147 40
148 40
149 40
150 40
151 40
152 40
153 40
154 40
155 40
156 40
157 40
158 40
159 40
160 40
161 40
162 40
163 40
164 40
165 40
166 40
167 40
168 40
169 40
170 40
171 40
172 40
173 40
174 40
175 40
176 40
177 40
178 40
179 40
180 40
181 40
182 40
183 40
184 40
185 40
186 40
187 40
188 40
189 40
190 40
191 40
192 40
193 40
194 40
195 40
196 40
197 40
198 40
199 40
200 40
201 40
202 40
203 40
204 40
205 40
206 40
207 40
208 40
209 40
210 40
211 40
212 40
213 40
214 40
215 40
216 40
217 40
218 40
219 40
220 40
221 40
222 40
223 40
224 40
225 40
226 40
227 40
228 40
229 40
230 40
231 40
232 40
233 40
234 40
235 40
236 40
237 40
238 40
239 40
240 40
241 40
242 40
243 40
244 40
245 40
246 40
247 40
248 40
249 40
250 40
251 40
252 40
253 40
254 40
255 40
256 40
257 40
258 40
259 40
260 40
261 40
262 40
263 40
264 40
265 40
266 40
267 40
268 40
269 40
270 40
271 40
272 40
273 40
274 40
275 40
276 40
277 40
278 40
279 40
280 40
281 40
282 40
283 40
284 40
285 40
286 40
287 40
288 40
289 40
290 40
291 40
292 40
293 40
294 40
295 40
296 40
297 40
298 40
299 40
300 40
301 40
302 40
303 40
304 40
305 40
306 40
307 40
308 40
309 40
310 40
311 40
312 40
313 40
314 40
315 40
316 40
317 40
318 40
319 40
320 40
321 40
322 40
323 40
324 40
325 40
326 40
327 40
328 40
329 40
330 40
331 40
332 40
333 40
334 40
335 40
336 40
337 40
338 40
339 40
340 40
341 40
342 40
343 40
344 40
345 40
346 40
347 40
348 40
349 40
350 40
351 40
352 40
353 40
354 40
355 40
356 40
357 40
358 40
359 40
360 40
361 40
362 40
363 40
364 40
365 40
366 40
367 40
368 40
369 40
370 40
371 40
372 40
373 40
374 40
375 40
376 40
377 40
378 40
379 40
380 40
381 40
382 40
383 40
384 40
385 40
386 40
387 40
388 40
389 40
390 40
391 40
392 40
393 40
394 40
395 40
396 40
397 40
398 40
399 40
400 40
401 40
402 40
403 40
404 40
405 40
406 40
407 40
408 40
409 40
410 40
411 40
412 40
413 40
414 40
415 40
416 40
417 40
418 40
419 40
420 40
421 40
422 40
423 40
424 40
425 40
426 40
427 40
428 40
429 40
430 40
431 40
432 40
433 40
434 40
435 40
436 40
437 40
438 40
439 40
440 40
441 40
442 40
443 40
444 40
445 40
446 40
447 40
448 40
449 40
450 40
451 40
452 40
453 40
454 40
455 40
456 40
457 40
458 40
459 40
460 40
461 40
462 40
463 40
464 40
465 40
466 40
467 40
468 40
469 40
470 40
471 40
472 40
473 40
474 40
475 40
476 40
477 40
478 40
479 40
480 40
481 40
482 40
483 40
484 40
485 40
486 40
487 40
488 40
489 40
490 40
491 40
492 40
493 40
494 40
495 40
496 40
497 40
498 40
499 40
500 40
501 40
502 40
503 40
504 40
505 40
506 40
507 40
508 40
509 40
510 40
511 40
512 40
513 40
514 40
515 40
516 40
517 40
518 40
519 40
520 40
521 40
522 40
523 40
524 40
525 40
526 40
527 40
528 40
529 40
530 40
531 40
532 40
533 40
534 40
535 40
536 40
537 40
538 40
539 40
540 40
541 40
542 40
543 40
544 40
545 40
546 40
547 40
548 40
549 40
550 40
551 40
552 40
553 40
554 40
555 40
556 40
557 40
558 40
559 40
560 40
561 40
562 40
563 40
564 40
565 40
566 40
567 40
568 40
569 40
570 40
571 40
572 40
573 40
574 40
575 40
576 40
577 40
578 40
579 40
580 40
581 40
582 40
583 40
584 40
585 40
586 40
587 40
588 40
589 40
590 40
591 40
592 40
593 40
594 40
595 40
596 40
597 40
598 40
599 40
600 40
601 40
602 40
603 40
604 40
605 40
606 40
607 40
608 40
609 40
610 40
611 40
612 40
613 40
614 40
615 40
616 40
617 40
618 40
619 40
620 40
621 40
622 40
623 40
624 40
625 40
626 40
627 40
628 40
629 40
630 40
631 40
632 40
633 40
634 40
635 40
636 40
637 40
638 40
639 40
640 40
641 40
642 40
643 40
644 40
645 40
646 40
647 40
648 40
649 40
650 40
651 40
652 40
653 40
654 40
655 40
656 40
657 40
658 40
659 40
660 40
661 40
662 40
663 40
664 40
665 40
666 40
667 40
668 40
669 40
670 40
671 40
672 40
673 40
674 40
675 40
676 40
677 40
678 40
679 40
680 40
681 40
682 40
683 40
684 40
685 40
686 40
687 40
688 40
689 40
690 40
691 40
692 40
693 40
694 40
695 40
696 40
697 40
698 40
699 40
700 40
701 40
702 40
703 40
704 40
705 40
706 40
707 40
708 40
709 40
710 40
711 40
712 40
713 40
714 40
715 40
716 40
717 40
718 40
719 40
720 40
721 40
722 40
723 40
724 40
725 40
726 40
727 40
728 40
729 40
730 40
731 40
732 40
733 40
734 40
735 40
736 40
737 40
738 40
739 40
740 40
741 40
742 40
743 40
744 40
745 40
746 40
747 40
748 40
749 40
750 40
751 40
752 40
753 40
754 40
755 40
756 40
757 40
758 40
759 40
760 40
761 40
762 40
763 40
764 40
765 40
766 40
767 40
768 40
769 40
770 40
771 40
772 40
773 40
774 40
775 40
776 40
777 40
778 40
779 40
780 40
781 40
782 40
783 40
784 40
785 40
786 40
787 40
788 40
789 40
790 40
791 40
792 40
793 40
794 40
795 40
796 40
797 40
798 40
799 40
800 40
801 40
802 40
803 40
804 40
805 40
806 40
807 40
808 40
809 40
810 40
811 40
812 40
813 40
814 40
815 40
816 40
817 40
818 40
819 40
820 40
821 40
822 40
823 40
824 40
825 40
826 40
827 40
828 40
829 40
830 40
831 40
832 40
833 40
834 40
835 40
836 40
837 40
838 40
839 40
840 40
841 40
842 40
843 40
844 40
845 40
846 40
847 40
848 40
849 40
850 40
851 40
852 40
853 40
854 40
855 40
856 40
857 40
858 40
859 40
860 40
861 40
862 40
863 40
864 40
865 40
866 40
867 40
868 40
869 40
870 40
871 40
872 40
873 40
874 40
875 40
876 40
877 40
878 40
879 40
880 40
881 40
882 40
883 40
884 40
885 40
886 40
887 40
888 40
889 40
890 40
891 40
892 40
893 40
894 40
895 40
896 40
897 40
898 40
899 40
900 40
901 40
902 40
903 40
904 40
905 40
906 40
907 40
908 40
909 40
910 40
911 40
912 40
913 40
914 40
915 40
916 40
917 40
918 40
919 40
920 40
921 40
922 40
923 40
924 40
925 40
926 40
927 40
928 40
929 40
930 40
931 40
932 40
933 40
934 40
935 40
936 40
937 40
938 40
939 40
940 40
941 40
942 40
943 40
944 40
945 40
946 40
947 40
948 40
949 40
950 40
951 40
952 40
953 40
954 40
955 40
956 40
957 40
958 40
959 40
960 40
961 40
962 40
963 40
964 40
965 40
966 40
967 40
968 40
969 40
970 40
971 40
972 40
973 40
974 40
975 40
976 40
977 40
978 40
979 40
980 40
981 40
982 40
983 40
984 40
985 40
986 40
987 40
988 40
989 40
990 40
991 40
992 40
993 40
994 40
995 40
996 40
997 40
998 40
999 40
1000 40
1001 40
1002 40
1003 40
1004 40
1005 40
1006 40
1007 40
1008 40
1009 40
1010 40
1011 40
1012 40
1013 40
1014 40
1015 40
1016 40
1017 40
1018 40
1019 40
1020 40
1021 40
1022 40
1023 40
1024 40
1025 40
1026 40
1027 40
1028 40
1029 40
1030 40
1031 40
1032 40
1033 40
1034 40
1035 40
1036 40
1037 40
1038 40
1039 40
1040 40
1041 40
1042 40
1043 40
1044 40
1045 40
1046 40
1047 40
1048 40
1049 40
1050 40
1051 40
1052 40
1053 40
1054 40
1055 40
1056 40
1057 40
1058 40
1059 40
1060 40
1061 40
1062 40
1063 40
1064 40
1065 40
1066 40
1067 40
1068 40
1069 40
1070 40
1071 40
1072 40
1073 40
1074 40
1075 40
1076 40
1077 40
1078 40
1079 40
1080 40
1081 40
1082 40
1083 40
1084 40
1085 40
1086 40
1087 40
1088 40
1089 40
1090 40
1091 40
1092 40
1093 40
1094 40
1095 40
1096 40
1097 40
1098 40
1099 40
1100 40
1101 40
1102 40
1103 40
1104 40
1105 40
1106 40
1107 40
1108 40
1109 40
1110 40
1111 40
1112 40
1113 40
1114 40
1115 40
1116 40
1117 40
1118 40
1119 40
1120 40
1121 40
1122 40
1123 40
1124 40
1125 40
1126 40
1127 40
1128 40
1129 40
1130 40
1131 40
1132 40
1133 40
1134 40
1135 40
1136 40
1137 40
1138 40
1139 40
1140 40
1141 40
1142 40
1143 40
1144 40
1145 40
1146 40
1147 40
1148 40
1149 40
1150 40
1151 40
1152 40
1153 40
1154 40
1155 40
1156 40
1157 40
1158 40
1159 40
1160 40
1161 40
1162 40
1163 40
1164 40
1165 40
1166 40
1167 40
1168 40
1169 40
1170 40
1171 40
1172 40
1173 40
1174 40
1175 40
1176 40
1177 40
1178 40
1179 40
1180 40
1181 40
1182 40
1183 40
1184 40
1185 40
1186 40
1187 40
1188 40
1189 40
1190 40
1191 40
1192 40
1193 40
1194 40
1195 40
1196 40
1197 40
1198 40
1199 40
1200 40