Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4176
2:3:4096
3:3:4099
4:3:4099
5:3:4102
6:3:4110
7:3:4110
8:3:4113
9:3:4119
10:3:4123
11:3:4123
12:3:4126
13:3:4136
14:3:4144
15:3:4144
16:3:4147
17:3:4153
18:3:4157
19:3:4157
20:3:4160
21:3:4166
22:3:4170
23:3:4171
24:0:4176
25:3:4173
26:0:4176
27:2:2511
28:0:4176
29:2:2517
30:0:4176
31:2:2518
32:0:4176
33:2:2520
34:0:4176
35:2:2521
36:0:4176
37:2:2522
38:0:4176
39:2:2523
40:2:2524
41:2:2528
42:2:2529
43:2:2537
44:2:2538
45:2:2542
46:2:2543
47:2:2551
48:2:2556
49:2:2560
50:2:2561
51:2:2569
52:2:2570
53:2:2574
54:2:2575
55:2:2569
56:2:2570
57:2:2574
58:2:2575
59:2:2583
60:2:2588
61:2:2595
62:2:2596
63:2:2603
64:2:2608
65:2:2615
66:2:2616
67:2:2615
68:2:2616
69:2:2623
70:2:2633
71:0:4176
72:2:2522
73:0:4176
74:2:2685
75:2:2686
76:2:2687
77:0:4176
78:2:2522
79:0:4176
80:2:2692
81:0:4176
82:2:3305
83:2:3306
84:2:3310
85:2:3314
86:2:3315
87:2:3319
88:2:3324
89:2:3332
90:2:3336
91:2:3337
92:2:3332
93:2:3333
94:2:3341
95:2:3348
96:2:3355
97:2:3356
98:2:3363
99:2:3368
100:2:3375
101:2:3376
102:2:3375
103:2:3376
104:2:3383
105:2:3387
106:0:4176
107:2:3392
108:0:4176
109:2:3393
110:0:4176
111:2:3394
112:0:4176
113:2:3395
114:0:4176
115:1:2
116:0:4176
117:2:3396
118:0:4176
119:1:8
120:0:4176
121:1:9
122:0:4176
123:2:3395
124:0:4176
125:1:10
126:0:4176
127:2:3396
128:0:4176
129:1:11
130:0:4176
131:2:3395
132:0:4176
133:1:12
134:0:4176
135:2:3396
136:0:4176
137:1:13
138:0:4176
139:2:3395
140:0:4176
141:1:14
142:0:4176
143:2:3396
144:0:4176
145:1:15
146:0:4176
147:1:16
148:0:4176
149:2:3395
150:0:4176
151:1:17
152:0:4176
153:2:3396
154:0:4176
155:1:26
156:0:4176
157:2:3395
158:0:4176
159:1:30
160:1:31
161:1:35
162:1:39
163:1:40
164:1:44
165:1:52
166:1:53
167:1:57
168:1:61
169:1:62
170:1:57
171:1:61
172:1:62
173:1:66
174:1:73
175:1:80
176:1:81
177:1:88
178:1:93
179:1:100
180:1:101
181:1:100
182:1:101
183:1:108
184:1:112
185:0:4176
186:2:3396
187:0:4176
188:1:117
189:0:4176
190:2:3397
191:0:4176
192:2:3402
193:0:4176
194:2:3403
195:0:4176
196:2:3411
197:2:3412
198:2:3416
199:2:3420
200:2:3421
201:2:3425
202:2:3433
203:2:3434
204:2:3438
205:2:3442
206:2:3443
207:2:3438
208:2:3442
209:2:3443
210:2:3447
211:2:3454
212:2:3461
213:2:3462
214:2:3469
215:2:3474
216:2:3481
217:2:3482
218:2:3481
219:2:3482
220:2:3489
221:2:3493
222:0:4176
223:2:2694
224:2:3286
225:0:4176
226:2:2522
227:0:4176
228:2:2695
229:0:4176
230:2:2522
231:0:4176
232:2:2698
233:2:2699
234:2:2703
235:2:2704
236:2:2712
237:2:2713
238:2:2717
239:2:2718
240:2:2726
241:2:2731
242:2:2735
243:2:2736
244:2:2744
245:2:2745
246:2:2749
247:2:2750
248:2:2744
249:2:2745
250:2:2749
251:2:2750
252:2:2758
253:2:2763
254:2:2770
255:2:2771
256:2:2778
257:2:2783
258:2:2790
259:2:2791
260:2:2790
261:2:2791
262:2:2798
263:2:2807
264:0:4176
265:2:2522
266:0:4176
267:2:2811
268:2:2812
269:2:2813
270:2:2825
271:2:2826
272:2:2830
273:2:2831
274:2:2839
275:2:2844
276:2:2848
277:2:2849
278:2:2857
279:2:2858
280:2:2862
281:2:2863
282:2:2857
283:2:2858
284:2:2862
285:2:2863
286:2:2871
287:2:2876
288:2:2883
289:2:2884
290:2:2891
291:2:2896
292:2:2903
293:2:2904
294:2:2903
295:2:2904
296:2:2911
297:2:2924
298:2:2925
299:0:4176
300:2:2522
301:0:4176
302:2:2931
303:2:2932
304:2:2936
305:2:2937
306:2:2945
307:2:2946
308:2:2950
309:2:2951
310:2:2959
311:2:2964
312:2:2968
313:2:2969
314:2:2977
315:2:2978
316:2:2982
317:2:2983
318:2:2977
319:2:2978
320:2:2982
321:2:2983
322:2:2991
323:2:2996
324:2:3003
325:2:3004
326:2:3011
327:2:3016
328:2:3023
329:2:3024
330:2:3023
331:2:3024
332:2:3031
333:0:4176
334:2:2522
335:0:4176
336:2:3042
337:2:3043
338:2:3047
339:2:3048
340:2:3056
341:2:3057
342:2:3061
343:2:3062
344:2:3070
345:2:3075
346:2:3079
347:2:3080
348:2:3088
349:2:3089
350:2:3093
351:2:3094
352:2:3088
353:2:3089
354:2:3093
355:2:3094
356:2:3102
357:2:3107
358:2:3114
359:2:3115
360:2:3122
361:2:3127
362:2:3134
363:2:3135
364:2:3134
365:2:3135
366:2:3142
367:2:3151
368:0:4176
369:2:2522
370:0:4176
371:2:3155
372:2:3156
373:2:3157
374:2:3169
375:2:3170
376:2:3174
377:2:3175
378:2:3183
379:2:3188
380:2:3192
381:2:3193
382:2:3201
383:2:3202
384:2:3206
385:2:3207
386:2:3201
387:2:3202
388:2:3206
389:2:3207
390:2:3215
391:2:3220
392:2:3227
393:2:3228
394:2:3235
395:2:3240
396:2:3247
397:2:3248
398:2:3247
399:2:3248
400:2:3255
401:2:3267
402:2:3268
403:0:4176
404:2:2522
405:0:4176
406:2:3274
407:0:4176
408:2:3899
409:2:3900
410:2:3904
411:2:3908
412:2:3909
413:2:3913
414:2:3921
415:2:3922
416:2:3926
417:2:3930
418:2:3931
419:2:3926
420:2:3930
421:2:3931
422:2:3935
423:2:3942
424:2:3949
425:2:3950
426:2:3957
427:2:3962
428:2:3969
429:2:3970
430:2:3969
431:2:3970
432:2:3977
433:2:3981
434:0:4176
435:2:3986
436:0:4176
437:2:3987
438:0:4176
439:2:3988
440:0:4176
441:2:3989
442:0:4176
443:1:26
444:0:4176
445:2:3990
446:0:4176
447:1:30
448:1:31
449:1:35
450:1:39
451:1:40
452:1:44
453:1:52
454:1:53
455:1:57
456:1:61
457:1:62
458:1:57
459:1:61
460:1:62
461:1:66
462:1:73
463:1:80
464:1:81
465:1:88
466:1:93
467:1:100
468:1:101
469:1:100
470:1:101
471:1:108
472:1:112
473:0:4176
474:2:3989
475:0:4176
476:1:117
477:0:4176
478:2:3990
479:0:4176
480:2:3991
481:0:4176
482:2:3996
483:0:4176
484:2:3997
485:0:4176
486:2:4005
487:2:4006
488:2:4010
489:2:4014
490:2:4015
491:2:4019
492:2:4027
493:2:4028
494:2:4032
495:2:4036
496:2:4037
497:2:4032
498:2:4036
499:2:4037
500:2:4041
501:2:4048
502:2:4055
503:2:4056
504:2:4063
505:2:4068
506:2:4075
507:2:4076
508:2:4075
509:2:4076
510:2:4083
511:2:4087
512:0:4176
513:2:3276
514:2:3286
515:0:4176
516:2:2522
517:0:4176
518:2:3277
519:2:3278
520:0:4176
521:2:2522
522:0:4176
523:2:3282
524:0:4176
525:2:3290
526:0:4176
527:2:2518
528:0:4176
529:2:2520
530:0:4176
531:2:2521
532:0:4176
533:2:2522
534:0:4176
535:2:2685
536:2:2686
537:2:2687
538:0:4176
539:2:2522
540:0:4176
541:2:2523
542:2:2524
543:2:2528
544:2:2529
545:2:2537
546:2:2538
547:2:2542
548:2:2543
549:2:2551
550:2:2556
551:2:2557
552:2:2569
553:2:2570
554:2:2571
555:2:2569
556:2:2570
557:2:2574
558:2:2575
559:2:2583
560:2:2588
561:2:2595
562:2:2596
563:2:2603
564:2:2608
565:2:2615
566:2:2616
567:2:2615
568:2:2616
569:2:2623
570:2:2633
571:0:4176
572:2:2522
573:0:4176
574:2:2692
575:0:4176
576:2:3305
577:2:3306
578:2:3310
579:2:3314
580:2:3315
581:2:3319
582:2:3327
583:2:3328
584:2:3332
585:2:3333
586:2:3332
587:2:3336
588:2:3337
589:2:3341
590:2:3348
591:2:3355
592:2:3356
593:2:3363
594:2:3368
595:2:3375
596:2:3376
597:2:3375
598:2:3376
599:2:3383
600:2:3387
601:0:4176
602:2:3392
603:0:4176
604:2:3393
605:0:4176
606:2:3394
607:0:4176
608:2:3395
609:0:4176
610:1:26
611:0:4176
612:2:3396
613:0:4176
614:1:30
615:1:31
616:1:35
617:1:39
618:1:40
619:1:44
620:1:52
621:1:53
622:1:57
623:1:61
624:1:62
625:1:57
626:1:61
627:1:62
628:1:66
629:1:73
630:1:80
631:1:81
632:1:88
633:1:93
634:1:100
635:1:101
636:1:100
637:1:101
638:1:108
639:1:112
640:0:4176
641:2:3395
642:0:4176
643:1:117
644:0:4176
645:2:3396
646:0:4176
647:2:3397
648:0:4176
649:2:3402
650:0:4176
651:2:3403
652:0:4176
653:2:3411
654:2:3412
655:2:3416
656:2:3420
657:2:3421
658:2:3425
659:2:3433
660:2:3434
661:2:3438
662:2:3442
663:2:3443
664:2:3438
665:2:3442
666:2:3443
667:2:3447
668:2:3454
669:2:3461
670:2:3462
671:2:3469
672:2:3474
673:2:3481
674:2:3482
675:2:3481
676:2:3482
677:2:3489
678:2:3493
679:0:4176
680:2:2694
681:2:3286
682:0:4176
683:2:2522
684:0:4176
685:2:2695
686:0:4176
687:2:2522
688:0:4176
689:2:2698
690:2:2699
691:2:2703
692:2:2704
693:2:2712
694:2:2713
695:2:2717
696:2:2718
697:2:2726
698:2:2731
699:2:2735
700:2:2736
701:2:2744
702:2:2745
703:2:2749
704:2:2750
705:2:2744
706:2:2745
707:2:2749
708:2:2750
709:2:2758
710:2:2763
711:2:2770
712:2:2771
713:2:2778
714:2:2783
715:2:2790
716:2:2791
717:2:2790
718:2:2791
719:2:2798
720:2:2807
721:0:4176
722:2:2522
723:0:4176
724:2:2811
725:2:2812
726:2:2813
727:2:2825
728:2:2826
729:2:2830
730:2:2831
731:2:2839
732:2:2844
733:2:2848
734:2:2849
735:2:2857
736:2:2858
737:2:2862
738:2:2863
739:2:2857
740:2:2858
741:2:2862
742:2:2863
743:2:2871
744:2:2876
745:2:2883
746:2:2884
747:2:2891
748:2:2896
749:2:2903
750:2:2904
751:2:2903
752:2:2904
753:2:2911
754:2:2924
755:2:2925
756:0:4176
757:2:2522
758:0:4176
759:2:2931
760:2:2932
761:2:2936
762:2:2937
763:2:2945
764:2:2946
765:2:2950
766:2:2951
767:2:2959
768:2:2964
769:2:2968
770:2:2969
771:2:2977
772:2:2978
773:2:2982
774:2:2983
775:2:2977
776:2:2978
777:2:2982
778:2:2983
779:2:2991
780:2:2996
781:2:3003
782:2:3004
783:2:3011
784:2:3016
785:2:3023
786:2:3024
787:2:3023
788:2:3024
789:2:3031
790:0:4176
791:2:2522
792:0:4176
793:2:3042
794:2:3043
795:2:3047
796:2:3048
797:2:3056
798:2:3057
799:2:3061
800:2:3062
801:2:3070
802:2:3075
803:2:3079
804:2:3080
805:2:3088
806:2:3089
807:2:3093
808:2:3094
809:2:3088
810:2:3089
811:2:3093
812:2:3094
813:2:3102
814:2:3107
815:2:3114
816:2:3115
817:2:3122
818:2:3127
819:2:3134
820:2:3135
821:2:3134
822:2:3135
823:2:3142
824:2:3151
825:0:4176
826:2:2522
827:0:4176
828:2:3155
829:2:3156
830:2:3157
831:2:3169
832:2:3170
833:2:3174
834:2:3175
835:2:3183
836:2:3188
837:2:3192
838:2:3193
839:2:3201
840:2:3202
841:2:3206
842:2:3207
843:2:3201
844:2:3202
845:2:3206
846:2:3207
847:2:3215
848:2:3220
849:2:3227
850:2:3228
851:2:3235
852:2:3240
853:2:3247
854:2:3248
855:2:3247
856:2:3248
857:2:3255
858:2:3267
859:2:3268
860:0:4176
861:2:2522
862:0:4176
863:2:3274
864:0:4176
865:2:3899
866:2:3900
867:2:3904
868:2:3908
869:2:3909
870:2:3913
871:2:3921
872:2:3922
873:2:3926
874:2:3930
875:2:3931
876:2:3926
877:2:3930
878:2:3931
879:2:3935
880:2:3942
881:2:3949
882:2:3950
883:2:3957
884:2:3962
885:2:3969
886:2:3970
887:2:3969
888:2:3970
889:2:3977
890:2:3981
891:0:4176
892:2:3986
893:0:4176
894:2:3987
895:0:4176
896:2:3988
897:0:4176
898:2:3989
899:0:4176
900:1:26
901:0:4176
902:2:3990
903:0:4176
904:1:30
905:1:31
906:1:35
907:1:39
908:1:40
909:1:44
910:1:52
911:1:53
912:1:57
913:1:61
914:1:62
915:1:57
916:1:61
917:1:62
918:1:66
919:1:73
920:1:80
921:1:81
922:1:88
923:1:93
924:1:100
925:1:101
926:1:100
927:1:101
928:1:108
929:1:112
930:0:4176
931:2:3989
932:0:4176
933:1:117
934:0:4176
935:2:3990
936:0:4176
937:2:3991
938:0:4176
939:2:3996
940:0:4176
941:2:3997
942:0:4176
943:2:4005
944:2:4006
945:2:4010
946:2:4014
947:2:4015
948:2:4019
949:2:4027
950:2:4028
951:2:4032
952:2:4036
953:2:4037
954:2:4032
955:2:4036
956:2:4037
957:2:4041
958:2:4048
959:2:4055
960:2:4056
961:2:4063
962:2:4068
963:2:4075
964:2:4076
965:2:4075
966:2:4076
967:2:4083
968:2:4087
969:0:4176
970:2:3276
971:2:3286
972:0:4176
973:2:2522
974:0:4176
975:2:3277
976:2:3278
977:0:4176
978:2:2522
979:0:4176
980:2:3282
981:0:4176
982:2:3290
983:0:4176
984:2:2518
985:0:4176
986:2:2520
987:0:4176
988:2:2521
989:0:4176
990:2:2522
991:0:4176
992:2:2523
993:2:2524
994:2:2528
995:2:2529
996:2:2537
997:2:2538
998:2:2542
999:2:2543
1000:2:2551
1001:2:2556
1002:2:2560
1003:2:2561
1004:2:2569
1005:2:2570
1006:2:2574
1007:2:2575
1008:2:2569
1009:2:2570
1010:2:2571
1011:2:2583
1012:2:2588
1013:2:2595
1014:2:2596
1015:2:2603
1016:2:2608
1017:2:2615
1018:2:2616
1019:2:2615
1020:2:2616
1021:2:2623
1022:2:2633
1023:0:4176
1024:2:2522
1025:0:4176
1026:2:2685
1027:2:2686
1028:2:2687
1029:0:4176
1030:2:2522
1031:0:4176
1032:2:2692
1033:0:4176
1034:1:118
1035:0:4176
1036:1:120
1037:0:4176
1038:1:19
1039:0:4176
1040:1:126
1041:1:127
1042:1:131
1043:1:132
1044:1:140
1045:1:141
1046:1:145
1047:1:146
1048:1:154
1049:1:159
1050:1:163
1051:1:164
1052:1:172
1053:1:173
1054:1:177
1055:1:178
1056:1:172
1057:1:173
1058:1:177
1059:1:178
1060:1:186
1061:1:191
1062:1:198
1063:1:199
1064:1:206
1065:1:211
1066:1:218
1067:1:219
1068:1:218
1069:1:219
1070:1:226
1071:0:4176
1072:1:15
1073:0:4176
1074:1:16
1075:0:4176
1076:1:17
1077:0:4176
1078:1:118
1079:0:4176
1080:1:120
1081:0:4176
1082:1:19
1083:0:4176
1084:1:237
1085:1:238
1086:0:4176
1087:1:15
1088:0:4176
1089:1:16
1090:0:4176
1091:1:17
1092:0:4176
1093:1:118
1094:0:4176
1095:1:120
1096:0:4176
1097:1:19
1098:0:4176
1099:1:244
1100:1:245
1101:1:249
1102:1:250
1103:1:258
1104:1:259
1105:1:263
1106:1:264
1107:1:272
1108:1:277
1109:1:281
1110:1:282
1111:1:290
1112:1:291
1113:1:295
1114:1:296
1115:1:290
1116:1:291
1117:1:295
1118:1:296
1119:1:304
1120:1:309
1121:1:316
1122:1:317
1123:1:324
1124:1:329
1125:1:336
1126:1:337
1127:1:336
1128:1:337
1129:1:344
1130:0:4176
1131:1:15
1132:0:4176
1133:1:16
1134:0:4176
1135:1:17
1136:0:4176
1137:1:118
1138:0:4176
1139:1:120
1140:0:4176
1141:1:19
1142:0:4176
1143:1:355
1144:1:356
1145:1:360
1146:1:361
1147:1:369
1148:1:370
1149:1:374
1150:1:375
1151:1:383
1152:1:388
1153:1:392
1154:1:393
1155:1:401
1156:1:402
1157:1:406
1158:1:407
1159:1:401
1160:1:402
1161:1:406
1162:1:407
1163:1:415
1164:1:420
1165:1:427
1166:1:428
1167:1:435
1168:1:440
1169:1:447
1170:1:448
1171:1:447
1172:1:448
1173:1:455
1174:1:464
1175:0:4176
1176:1:15
1177:0:4176
1178:1:16
1179:0:4176
1180:1:17
1181:0:4176
1182:1:118
1183:0:4176
1184:1:120
1185:0:4176
1186:1:19
1187:0:4176
1188:1:584
1189:1:585
1190:1:589
1191:1:590
1192:1:598
1193:1:599
1194:1:600
1195:1:612
1196:1:617
1197:1:621
1198:1:622
1199:1:630
1200:1:631
1201:1:635
1202:1:636
1203:1:630
1204:1:631
1205:1:635
1206:1:636
1207:1:644
1208:1:649
1209:1:656
1210:1:657
1211:1:664
1212:1:669
1213:1:676
1214:1:677
1215:1:676
1216:1:677
1217:1:684
1218:0:4176
1219:1:15
1220:0:4176
1221:1:16
1222:0:4176
1223:1:17
1224:0:4176
1225:1:118
1226:0:4176
1227:1:120
1228:0:4176
1229:1:19
1230:0:4176
1231:1:695
1232:1:698
1233:1:699
1234:0:4176
1235:1:15
1236:0:4176
1237:1:16
1238:0:4176
1239:1:17
1240:0:4176
1241:1:118
1242:0:4176
1243:1:120
1244:0:4176
1245:1:19
1246:0:4176
1247:1:926
1248:1:927
1249:1:931
1250:1:932
1251:1:940
1252:1:941
1253:1:945
1254:1:946
1255:1:954
1256:1:959
1257:1:963
1258:1:964
1259:1:972
1260:1:973
1261:1:977
1262:1:978
1263:1:972
1264:1:973
1265:1:977
1266:1:978
1267:1:986
1268:1:991
1269:1:998
1270:1:999
1271:1:1006
1272:1:1011
1273:1:1018
1274:1:1019
1275:1:1018
1276:1:1019
1277:1:1026
1278:1:1035
1279:1:1039
1280:0:4176
1281:1:15
1282:0:4176
1283:1:16
1284:0:4176
1285:1:17
1286:0:4176
1287:1:118
1288:0:4176
1289:1:120
1290:0:4176
1291:1:19
1292:0:4176
1293:1:1040
1294:1:1041
1295:1:1045
1296:1:1046
1297:1:1054
1298:1:1055
1299:1:1056
1300:1:1068
1301:1:1073
1302:1:1077
1303:1:1078
1304:1:1086
1305:1:1087
1306:1:1091
1307:1:1092
1308:1:1086
1309:1:1087
1310:1:1091
1311:1:1092
1312:1:1100
1313:1:1105
1314:1:1112
1315:1:1113
1316:1:1120
1317:1:1125
1318:1:1132
1319:1:1133
1320:1:1132
1321:1:1133
1322:1:1140
1323:0:4176
1324:1:15
1325:0:4176
1326:1:16
1327:0:4176
1328:1:17
1329:0:4176
1330:1:118
1331:0:4176
1332:1:120
1333:0:4176
1334:1:19
1335:0:4176
1336:1:1151
1337:0:4176
1338:1:2417
1339:1:2424
1340:1:2425
1341:1:2432
1342:1:2437
1343:1:2444
1344:1:2445
1345:1:2444
1346:1:2445
1347:1:2452
1348:1:2456
1349:0:4176
1350:2:3305
1351:2:3306
1352:2:3310
1353:2:3314
1354:2:3315
1355:2:3319
1356:2:3324
1357:2:3332
1358:2:3336
1359:2:3337
1360:2:3332
1361:2:3333
1362:2:3341
1363:2:3348
1364:2:3355
1365:2:3356
1366:2:3363
1367:2:3368
1368:2:3375
1369:2:3376
1370:2:3375
1371:2:3376
1372:2:3383
1373:2:3387
1374:0:4176
1375:2:3392
1376:0:4176
1377:2:3393
1378:0:4176
1379:2:3394
1380:0:4176
1381:2:3395
1382:0:4176
1383:1:1153
1384:1:1154
1385:0:4174
1386:2:3396
1387:0:4180
1388:1:2165