Add phase 3 : scalability run

[urcu.git] / formal-model / results / urcu-controldataflow-ipi-intel / urcu_free_no_mb.spin.input.trail

-2:3:-2
-4:-4:-4
1:0:4181
2:3:4101
3:3:4104
4:3:4104
5:3:4107
6:3:4115
7:3:4115
8:3:4118
9:3:4124
10:3:4128
11:3:4128
12:3:4131
13:3:4141
14:3:4149
15:3:4149
16:3:4152
17:3:4158
18:3:4162
19:3:4162
20:3:4165
21:3:4171
22:3:4175
23:3:4176
24:0:4181
25:3:4178
26:0:4181
27:2:2515
28:0:4181
29:2:2521
30:0:4181
31:2:2522
32:0:4181
33:2:2524
34:0:4181
35:2:2525
36:0:4181
37:2:2526
38:0:4181
39:2:2527
40:0:4181
41:2:2528
42:2:2529
43:2:2533
44:2:2534
45:2:2542
46:2:2543
47:2:2547
48:2:2548
49:2:2556
50:2:2561
51:2:2565
52:2:2566
53:2:2574
54:2:2575
55:2:2579
56:2:2580
57:2:2574
58:2:2575
59:2:2579
60:2:2580
61:2:2588
62:2:2593
63:2:2600
64:2:2601
65:2:2608
66:2:2613
67:2:2620
68:2:2621
69:2:2620
70:2:2621
71:2:2628
72:2:2638
73:0:4181
74:2:2527
75:0:4181
76:2:2642
77:2:2646
78:2:2647
79:2:2651
80:2:2655
81:2:2656
82:2:2660
83:2:2668
84:2:2669
85:2:2673
86:2:2677
87:2:2678
88:2:2673
89:2:2674
90:2:2682
91:0:4181
92:2:2527
93:0:4181
94:2:2690
95:2:2691
96:2:2692
97:0:4181
98:2:2527
99:0:4181
100:2:2700
101:0:4181
102:2:2527
103:0:4181
104:2:2703
105:2:2704
106:2:2708
107:2:2709
108:2:2717
109:2:2718
110:2:2722
111:2:2723
112:2:2731
113:2:2736
114:2:2737
115:2:2749
116:2:2750
117:2:2754
118:2:2755
119:2:2749
120:2:2750
121:2:2754
122:2:2755
123:2:2763
124:2:2768
125:2:2775
126:2:2776
127:2:2783
128:2:2788
129:2:2795
130:2:2796
131:2:2795
132:2:2796
133:2:2803
134:2:2812
135:0:4181
136:2:2527
137:0:4181
138:2:2816
139:2:2817
140:2:2818
141:2:2830
142:2:2831
143:2:2835
144:2:2836
145:2:2844
146:2:2849
147:2:2853
148:2:2854
149:2:2862
150:2:2863
151:2:2867
152:2:2868
153:2:2862
154:2:2863
155:2:2867
156:2:2868
157:2:2876
158:2:2881
159:2:2888
160:2:2889
161:2:2896
162:2:2901
163:2:2908
164:2:2909
165:2:2908
166:2:2909
167:2:2916
168:2:2929
169:2:2930
170:0:4181
171:2:2527
172:0:4181
173:2:2936
174:2:2937
175:2:2941
176:2:2942
177:2:2950
178:2:2951
179:2:2955
180:2:2956
181:2:2964
182:2:2969
183:2:2973
184:2:2974
185:2:2982
186:2:2983
187:2:2987
188:2:2988
189:2:2982
190:2:2983
191:2:2987
192:2:2988
193:2:2996
194:2:3001
195:2:3008
196:2:3009
197:2:3016
198:2:3021
199:2:3028
200:2:3029
201:2:3028
202:2:3029
203:2:3036
204:0:4181
205:2:2527
206:0:4181
207:2:3047
208:2:3048
209:2:3052
210:2:3053
211:2:3061
212:2:3062
213:2:3066
214:2:3067
215:2:3075
216:2:3080
217:2:3084
218:2:3085
219:2:3093
220:2:3094
221:2:3098
222:2:3099
223:2:3093
224:2:3094
225:2:3098
226:2:3099
227:2:3107
228:2:3112
229:2:3119
230:2:3120
231:2:3127
232:2:3132
233:2:3139
234:2:3140
235:2:3139
236:2:3140
237:2:3147
238:2:3156
239:0:4181
240:2:2527
241:0:4181
242:2:3160
243:2:3161
244:2:3162
245:2:3174
246:2:3175
247:2:3179
248:2:3180
249:2:3188
250:2:3193
251:2:3197
252:2:3198
253:2:3206
254:2:3207
255:2:3211
256:2:3212
257:2:3206
258:2:3207
259:2:3211
260:2:3212
261:2:3220
262:2:3225
263:2:3232
264:2:3233
265:2:3240
266:2:3245
267:2:3252
268:2:3253
269:2:3252
270:2:3253
271:2:3260
272:2:3272
273:2:3273
274:0:4181
275:2:2527
276:0:4181
277:2:3282
278:2:3283
279:0:4181
280:2:2527
281:0:4181
282:2:3287
283:0:4181
284:2:3295
285:0:4181
286:2:2522
287:0:4181
288:2:2524
289:0:4181
290:2:2525
291:0:4181
292:2:2526
293:0:4181
294:2:2527
295:0:4181
296:2:2528
297:2:2529
298:2:2533
299:2:2534
300:2:2542
301:2:2543
302:2:2547
303:2:2548
304:2:2556
305:2:2561
306:2:2565
307:2:2566
308:2:2574
309:2:2575
310:2:2576
311:2:2574
312:2:2575
313:2:2579
314:2:2580
315:2:2588
316:2:2593
317:2:2600
318:2:2601
319:2:2608
320:2:2613
321:2:2620
322:2:2621
323:2:2620
324:2:2621
325:2:2628
326:2:2638
327:0:4181
328:2:2527
329:0:4181
330:2:2642
331:2:2646
332:2:2647
333:2:2651
334:2:2655
335:2:2656
336:2:2660
337:2:2668
338:2:2669
339:2:2673
340:2:2674
341:2:2673
342:2:2677
343:2:2678
344:2:2682
345:0:4181
346:2:2527
347:0:4181
348:2:2690
349:2:2691
350:2:2692
351:0:4181
352:2:2527
353:0:4181
354:2:2700
355:0:4181
356:2:2527
357:0:4181
358:2:2703
359:2:2704
360:2:2708
361:2:2709
362:2:2717
363:2:2718
364:2:2722
365:2:2723
366:2:2731
367:2:2736
368:2:2737
369:2:2749
370:2:2750
371:2:2754
372:2:2755
373:2:2749
374:2:2750
375:2:2754
376:2:2755
377:2:2763
378:2:2768
379:2:2775
380:2:2776
381:2:2783
382:2:2788
383:2:2795
384:2:2796
385:2:2795
386:2:2796
387:2:2803
388:2:2812
389:0:4181
390:2:2527
391:0:4181
392:2:2816
393:2:2817
394:2:2818
395:2:2830
396:2:2831
397:2:2835
398:2:2836
399:2:2844
400:2:2849
401:2:2853
402:2:2854
403:2:2862
404:2:2863
405:2:2867
406:2:2868
407:2:2862
408:2:2863
409:2:2867
410:2:2868
411:2:2876
412:2:2881
413:2:2888
414:2:2889
415:2:2896
416:2:2901
417:2:2908
418:2:2909
419:2:2908
420:2:2909
421:2:2916
422:2:2929
423:2:2930
424:0:4181
425:2:2527
426:0:4181
427:2:2936
428:2:2937
429:2:2941
430:2:2942
431:2:2950
432:2:2951
433:2:2955
434:2:2956
435:2:2964
436:2:2969
437:2:2973
438:2:2974
439:2:2982
440:2:2983
441:2:2987
442:2:2988
443:2:2982
444:2:2983
445:2:2987
446:2:2988
447:2:2996
448:2:3001
449:2:3008
450:2:3009
451:2:3016
452:2:3021
453:2:3028
454:2:3029
455:2:3028
456:2:3029
457:2:3036
458:0:4181
459:2:2527
460:0:4181
461:2:3047
462:2:3048
463:2:3052
464:2:3053
465:2:3061
466:2:3062
467:2:3066
468:2:3067
469:2:3075
470:2:3080
471:2:3084
472:2:3085
473:2:3093
474:2:3094
475:2:3098
476:2:3099
477:2:3093
478:2:3094
479:2:3098
480:2:3099
481:2:3107
482:2:3112
483:2:3119
484:2:3120
485:2:3127
486:2:3132
487:2:3139
488:2:3140
489:2:3139
490:2:3140
491:2:3147
492:2:3156
493:0:4181
494:2:2527
495:0:4181
496:2:3160
497:2:3161
498:2:3162
499:2:3174
500:2:3175
501:2:3179
502:2:3180
503:2:3188
504:2:3193
505:2:3197
506:2:3198
507:2:3206
508:2:3207
509:2:3211
510:2:3212
511:2:3206
512:2:3207
513:2:3211
514:2:3212
515:2:3220
516:2:3225
517:2:3232
518:2:3233
519:2:3240
520:2:3245
521:2:3252
522:2:3253
523:2:3252
524:2:3253
525:2:3260
526:2:3272
527:2:3273
528:0:4181
529:2:2527
530:0:4181
531:2:3282
532:2:3283
533:0:4181
534:2:2527
535:0:4181
536:2:3287
537:0:4181
538:2:3295
539:0:4181
540:2:2522
541:0:4181
542:2:2524
543:0:4181
544:2:2525
545:0:4181
546:2:2526
547:0:4181
548:2:2527
549:0:4181
550:2:2528
551:2:2529
552:2:2533
553:2:2534
554:2:2542
555:2:2543
556:2:2547
557:2:2548
558:2:2556
559:2:2561
560:2:2565
561:2:2566
562:2:2574
563:2:2575
564:2:2579
565:2:2580
566:2:2574
567:2:2575
568:2:2576
569:2:2588
570:2:2593
571:2:2600
572:2:2601
573:2:2608
574:2:2613
575:2:2620
576:2:2621
577:2:2620
578:2:2621
579:2:2628
580:2:2638
581:0:4181
582:2:2527
583:0:4181
584:2:2642
585:2:2646
586:2:2647
587:2:2651
588:2:2655
589:2:2656
590:2:2660
591:2:2668
592:2:2669
593:2:2673
594:2:2677
595:2:2678
596:2:2673
597:2:2674
598:2:2682
599:0:4181
600:2:2527
601:0:4181
602:2:2690
603:2:2691
604:2:2692
605:0:4181
606:2:2527
607:0:4181
608:2:2700
609:0:4181
610:2:2527
611:0:4181
612:2:2703
613:2:2704
614:2:2708
615:2:2709
616:2:2717
617:2:2718
618:2:2722
619:2:2723
620:2:2731
621:2:2744
622:2:2745
623:2:2749
624:2:2750
625:2:2754
626:2:2755
627:2:2749
628:2:2750
629:2:2754
630:2:2755
631:2:2763
632:2:2768
633:2:2775
634:2:2776
635:2:2783
636:2:2790
637:2:2791
638:2:2795
639:2:2796
640:2:2795
641:2:2796
642:2:2803
643:2:2812
644:0:4181
645:2:2527
646:0:4181
647:2:2816
648:2:2817
649:2:2818
650:2:2830
651:2:2831
652:2:2835
653:2:2836
654:2:2844
655:2:2857
656:2:2858
657:2:2862
658:2:2863
659:2:2867
660:2:2868
661:2:2862
662:2:2863
663:2:2867
664:2:2868
665:2:2876
666:2:2881
667:2:2888
668:2:2889
669:2:2896
670:2:2903
671:2:2904
672:2:2908
673:2:2909
674:2:2908
675:2:2909
676:2:2916
677:2:2929
678:2:2930
679:0:4181
680:2:2527
681:0:4181
682:2:2936
683:2:2937
684:2:2941
685:2:2942
686:2:2950
687:2:2951
688:2:2955
689:2:2956
690:2:2964
691:2:2977
692:2:2978
693:2:2982
694:2:2983
695:2:2987
696:2:2988
697:2:2982
698:2:2983
699:2:2987
700:2:2988
701:2:2996
702:2:3001
703:2:3008
704:2:3009
705:2:3016
706:2:3023
707:2:3024
708:2:3028
709:2:3029
710:2:3028
711:2:3029
712:2:3036
713:0:4181
714:2:2527
715:0:4181
716:2:3160
717:2:3161
718:2:3165
719:2:3166
720:2:3174
721:2:3175
722:2:3179
723:2:3180
724:2:3188
725:2:3201
726:2:3202
727:2:3206
728:2:3207
729:2:3211
730:2:3212
731:2:3206
732:2:3207
733:2:3211
734:2:3212
735:2:3220
736:2:3225
737:2:3232
738:2:3233
739:2:3240
740:2:3247
741:2:3248
742:2:3252
743:2:3253
744:2:3252
745:2:3253
746:2:3260
747:2:3272
748:2:3273
749:0:4181
750:2:2527
751:0:4181
752:2:3282
753:2:3283
754:0:4181
755:2:2527
756:0:4181
757:2:3047
758:2:3048
759:2:3052
760:2:3053
761:2:3061
762:2:3062
763:2:3066
764:2:3067
765:2:3075
766:2:3088
767:2:3089
768:2:3093
769:2:3094
770:2:3095
771:2:3093
772:2:3094
773:2:3098
774:2:3099
775:2:3107
776:2:3112
777:2:3119
778:2:3120
779:2:3127
780:2:3134
781:2:3135
782:2:3139
783:2:3140
784:2:3139
785:2:3140
786:2:3147
787:2:3156
788:0:4181
789:2:2527
790:0:4181
791:2:3287
792:0:4181
793:2:3295
794:0:4181
795:2:3296
796:0:4181
797:2:3301
798:0:4181
799:1:2
800:0:4181
801:2:3302
802:0:4181
803:1:8
804:0:4181
805:2:3301
806:0:4181
807:1:9
808:0:4181
809:2:3302
810:0:4181
811:1:10
812:0:4181
813:2:3301
814:0:4181
815:1:11
816:0:4181
817:2:3302
818:0:4181
819:1:12
820:0:4181
821:2:3301
822:0:4181
823:1:13
824:0:4181
825:2:3302
826:0:4181
827:1:14
828:0:4181
829:2:3301
830:0:4181
831:1:15
832:0:4181
833:2:3302
834:0:4181
835:1:16
836:0:4181
837:2:3301
838:0:4181
839:1:17
840:0:4181
841:2:3302
842:0:4181
843:1:18
844:0:4181
845:2:3301
846:0:4181
847:1:19
848:0:4181
849:2:3302
850:0:4181
851:1:20
852:0:4181
853:2:3301
854:0:4181
855:1:21
856:0:4181
857:2:3302
858:0:4181
859:1:122
860:0:4181
861:2:3301
862:0:4181
863:1:124
864:0:4181
865:2:3302
866:0:4181
867:1:23
868:0:4181
869:2:3301
870:0:4181
871:1:130
872:1:131
873:1:135
874:1:136
875:1:144
876:1:145
877:1:149
878:1:150
879:1:158
880:1:163
881:1:167
882:1:168
883:1:176
884:1:177
885:1:181
886:1:182
887:1:176
888:1:177
889:1:181
890:1:182
891:1:190
892:1:195
893:1:202
894:1:203
895:1:210
896:1:215
897:1:222
898:1:223
899:1:222
900:1:223
901:1:230
902:0:4181
903:2:3302
904:0:4181
905:1:19
906:0:4181
907:2:3301
908:0:4181
909:1:20
910:0:4181
911:2:3302
912:0:4181
913:1:21
914:0:4181
915:2:3301
916:0:4181
917:1:122
918:0:4181
919:2:3302
920:0:4181
921:1:124
922:0:4181
923:2:3301
924:0:4181
925:1:23
926:0:4181
927:2:3302
928:0:4181
929:1:241
930:1:242
931:0:4181
932:2:3301
933:0:4181
934:1:19
935:0:4181
936:2:3302
937:0:4181
938:1:20
939:0:4181
940:2:3301
941:0:4181
942:1:21
943:0:4181
944:2:3302
945:0:4181
946:1:122
947:0:4181
948:2:3301
949:0:4181
950:1:124
951:0:4181
952:2:3302
953:0:4181
954:1:23
955:0:4181
956:2:3301
957:0:4181
958:1:248
959:1:249
960:1:253
961:1:254
962:1:262
963:1:263
964:1:267
965:1:268
966:1:276
967:1:281
968:1:285
969:1:286
970:1:294
971:1:295
972:1:299
973:1:300
974:1:294
975:1:295
976:1:299
977:1:300
978:1:308
979:1:313
980:1:320
981:1:321
982:1:328
983:1:333
984:1:340
985:1:341
986:1:340
987:1:341
988:1:348
989:0:4181
990:2:3302
991:0:4181
992:1:19
993:0:4181
994:2:3301
995:0:4181
996:1:20
997:0:4181
998:2:3302
999:0:4181
1000:1:21
1001:0:4181
1002:2:3301
1003:0:4181
1004:1:122
1005:0:4181
1006:2:3302
1007:0:4181
1008:1:124
1009:0:4181
1010:2:3301
1011:0:4181
1012:1:23
1013:0:4181
1014:2:3302
1015:0:4181
1016:1:359
1017:1:360
1018:1:364
1019:1:365
1020:1:373
1021:1:374
1022:1:378
1023:1:379
1024:1:387
1025:1:392
1026:1:396
1027:1:397
1028:1:405
1029:1:406
1030:1:410
1031:1:411
1032:1:405
1033:1:406
1034:1:410
1035:1:411
1036:1:419
1037:1:424
1038:1:431
1039:1:432
1040:1:439
1041:1:444
1042:1:451
1043:1:452
1044:1:451
1045:1:452
1046:1:459
1047:1:468
1048:0:4181
1049:2:3301
1050:0:4181
1051:1:19
1052:0:4181
1053:2:3302
1054:0:4181
1055:1:20
1056:0:4181
1057:2:3301
1058:0:4181
1059:1:21
1060:0:4181
1061:2:3302
1062:0:4181
1063:1:122
1064:0:4181
1065:2:3301
1066:0:4181
1067:1:124
1068:0:4181
1069:2:3302
1070:0:4181
1071:1:23
1072:0:4181
1073:2:3301
1074:0:4181
1075:1:588
1076:1:589
1077:1:593
1078:1:594
1079:1:602
1080:1:603
1081:1:604
1082:1:616
1083:1:621
1084:1:625
1085:1:626
1086:1:634
1087:1:635
1088:1:639
1089:1:640
1090:1:634
1091:1:635
1092:1:639
1093:1:640
1094:1:648
1095:1:653
1096:1:660
1097:1:661
1098:1:668
1099:1:673
1100:1:680
1101:1:681
1102:1:680
1103:1:681
1104:1:688
1105:0:4181
1106:2:3302
1107:0:4181
1108:1:19
1109:0:4181
1110:2:3301
1111:0:4181
1112:1:20
1113:0:4181
1114:2:3302
1115:0:4181
1116:1:21
1117:0:4181
1118:2:3301
1119:0:4181
1120:1:122
1121:0:4181
1122:2:3302
1123:0:4181
1124:1:124
1125:0:4181
1126:2:3301
1127:0:4181
1128:1:23
1129:0:4181
1130:2:3302
1131:0:4181
1132:1:699
1133:1:702
1134:1:703
1135:0:4181
1136:2:3301
1137:0:4181
1138:1:19
1139:0:4181
1140:2:3302
1141:0:4181
1142:1:20
1143:0:4181
1144:2:3301
1145:0:4181
1146:1:21
1147:0:4181
1148:2:3302
1149:0:4181
1150:1:122
1151:0:4181
1152:2:3301
1153:0:4181
1154:1:124
1155:0:4181
1156:2:3302
1157:0:4181
1158:1:23
1159:0:4181
1160:2:3301
1161:0:4181
1162:1:930
1163:1:931
1164:1:935
1165:1:936
1166:1:944
1167:1:945
1168:1:949
1169:1:950
1170:1:958
1171:1:963
1172:1:967
1173:1:968
1174:1:976
1175:1:977
1176:1:981
1177:1:982
1178:1:976
1179:1:977
1180:1:981
1181:1:982
1182:1:990
1183:1:995
1184:1:1002
1185:1:1003
1186:1:1010
1187:1:1015
1188:1:1022
1189:1:1023
1190:1:1022
1191:1:1023
1192:1:1030
1193:1:1039
1194:1:1043
1195:0:4181
1196:2:3302
1197:0:4181
1198:1:19
1199:0:4181
1200:2:3301
1201:0:4181
1202:1:20
1203:0:4181
1204:2:3302
1205:0:4181
1206:1:21
1207:0:4181
1208:2:3301
1209:0:4181
1210:1:122
1211:0:4181
1212:2:3302
1213:0:4181
1214:1:124
1215:0:4181
1216:2:3301
1217:0:4181
1218:1:23
1219:0:4181
1220:2:3302
1221:0:4181
1222:1:1044
1223:1:1045
1224:1:1049
1225:1:1050
1226:1:1058
1227:1:1059
1228:1:1060
1229:1:1072
1230:1:1077
1231:1:1081
1232:1:1082
1233:1:1090
1234:1:1091
1235:1:1095
1236:1:1096
1237:1:1090
1238:1:1091
1239:1:1095
1240:1:1096
1241:1:1104
1242:1:1109
1243:1:1116
1244:1:1117
1245:1:1124
1246:1:1129
1247:1:1136
1248:1:1137
1249:1:1136
1250:1:1137
1251:1:1144
1252:0:4181
1253:2:3301
1254:0:4181
1255:1:19
1256:0:4181
1257:2:3302
1258:0:4181
1259:1:20
1260:0:4181
1261:2:3301
1262:0:4181
1263:1:21
1264:0:4181
1265:2:3302
1266:0:4181
1267:1:122
1268:0:4181
1269:2:3301
1270:0:4181
1271:1:124
1272:0:4181
1273:2:3302
1274:0:4181
1275:1:23
1276:0:4181
1277:2:3301
1278:0:4181
1279:1:1155
1280:0:4181
1281:2:3302
1282:0:4181
1283:1:2421
1284:1:2428
1285:1:2429
1286:1:2436
1287:1:2441
1288:1:2448
1289:1:2449
1290:1:2448
1291:1:2449
1292:1:2456
1293:1:2460
1294:0:4181
1295:2:3301
1296:0:4181
1297:1:1157
1298:1:1158
1299:0:4179
1300:2:3302
1301:0:4185
1302:1:2110