Add phase 3 : scalability run

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

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