Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4462
2:3:4382
3:3:4385
4:3:4385
5:3:4388
6:3:4396
7:3:4396
8:3:4399
9:3:4405
10:3:4409
11:3:4409
12:3:4412
13:3:4422
14:3:4430
15:3:4430
16:3:4433
17:3:4439
18:3:4443
19:3:4443
20:3:4446
21:3:4452
22:3:4456
23:3:4457
24:0:4462
25:3:4459
26:0:4462
27:2:3117
28:0:4462
29:2:3123
30:0:4462
31:2:3124
32:0:4462
33:2:3126
34:0:4462
35:2:3127
36:0:4462
37:2:3128
38:0:4462
39:2:3129
40:2:3130
41:2:3134
42:2:3135
43:2:3143
44:2:3144
45:2:3148
46:2:3149
47:2:3157
48:2:3162
49:2:3166
50:2:3167
51:2:3175
52:2:3176
53:2:3180
54:2:3181
55:2:3175
56:2:3176
57:2:3180
58:2:3181
59:2:3189
60:2:3194
61:2:3195
62:2:3206
63:2:3207
64:2:3208
65:2:3219
66:2:3224
67:2:3225
68:2:3236
69:2:3237
70:2:3238
71:2:3236
72:2:3237
73:2:3238
74:2:3249
75:2:3257
76:0:4462
77:2:3128
78:0:4462
79:2:3309
80:2:3310
81:2:3311
82:0:4462
83:2:3128
84:0:4462
85:2:3316
86:0:4462
87:2:4019
88:2:4020
89:2:4024
90:2:4028
91:2:4029
92:2:4033
93:2:4038
94:2:4046
95:2:4050
96:2:4051
97:2:4046
98:2:4047
99:2:4055
100:2:4062
101:2:4069
102:2:4070
103:2:4077
104:2:4082
105:2:4089
106:2:4090
107:2:4089
108:2:4090
109:2:4097
110:2:4101
111:0:4462
112:2:3318
113:2:4000
114:0:4462
115:2:3128
116:0:4462
117:2:3319
118:0:4462
119:2:3128
120:0:4462
121:2:3322
122:2:3323
123:2:3327
124:2:3328
125:2:3336
126:2:3337
127:2:3341
128:2:3342
129:2:3350
130:2:3355
131:2:3359
132:2:3360
133:2:3368
134:2:3369
135:2:3373
136:2:3374
137:2:3368
138:2:3369
139:2:3373
140:2:3374
141:2:3382
142:2:3387
143:2:3388
144:2:3399
145:2:3400
146:2:3401
147:2:3412
148:2:3417
149:2:3418
150:2:3429
151:2:3430
152:2:3431
153:2:3429
154:2:3430
155:2:3431
156:2:3442
157:2:3449
158:0:4462
159:2:3128
160:0:4462
161:2:3453
162:2:3454
163:2:3455
164:2:3467
165:2:3468
166:2:3472
167:2:3473
168:2:3481
169:2:3486
170:2:3490
171:2:3491
172:2:3499
173:2:3500
174:2:3504
175:2:3505
176:2:3499
177:2:3500
178:2:3504
179:2:3505
180:2:3513
181:2:3518
182:2:3519
183:2:3530
184:2:3531
185:2:3532
186:2:3543
187:2:3548
188:2:3549
189:2:3560
190:2:3561
191:2:3562
192:2:3560
193:2:3561
194:2:3562
195:2:3573
196:2:3584
197:2:3585
198:0:4462
199:2:3128
200:0:4462
201:2:3591
202:2:3592
203:2:3596
204:2:3597
205:2:3605
206:2:3606
207:2:3610
208:2:3611
209:2:3619
210:2:3624
211:2:3628
212:2:3629
213:2:3637
214:2:3638
215:2:3642
216:2:3643
217:2:3637
218:2:3638
219:2:3642
220:2:3643
221:2:3651
222:2:3656
223:2:3657
224:2:3668
225:2:3669
226:2:3670
227:2:3681
228:2:3686
229:2:3687
230:2:3698
231:2:3699
232:2:3700
233:2:3698
234:2:3699
235:2:3700
236:2:3711
237:0:4462
238:2:3128
239:0:4462
240:2:3720
241:2:3721
242:2:3725
243:2:3726
244:2:3734
245:2:3735
246:2:3739
247:2:3740
248:2:3748
249:2:3753
250:2:3757
251:2:3758
252:2:3766
253:2:3767
254:2:3771
255:2:3772
256:2:3766
257:2:3767
258:2:3771
259:2:3772
260:2:3780
261:2:3785
262:2:3786
263:2:3797
264:2:3798
265:2:3799
266:2:3810
267:2:3815
268:2:3816
269:2:3827
270:2:3828
271:2:3829
272:2:3827
273:2:3828
274:2:3829
275:2:3840
276:2:3847
277:0:4462
278:2:3128
279:0:4462
280:2:3851
281:2:3852
282:2:3853
283:2:3865
284:2:3866
285:2:3870
286:2:3871
287:2:3879
288:2:3884
289:2:3888
290:2:3889
291:2:3897
292:2:3898
293:2:3902
294:2:3903
295:2:3897
296:2:3898
297:2:3902
298:2:3903
299:2:3911
300:2:3916
301:2:3917
302:2:3928
303:2:3929
304:2:3930
305:2:3941
306:2:3946
307:2:3947
308:2:3958
309:2:3959
310:2:3960
311:2:3958
312:2:3959
313:2:3960
314:2:3971
315:2:3981
316:2:3982
317:0:4462
318:2:3128
319:0:4462
320:2:3988
321:0:4462
322:2:4292
323:2:4293
324:2:4297
325:2:4301
326:2:4302
327:2:4306
328:2:4314
329:2:4315
330:2:4319
331:2:4323
332:2:4324
333:2:4319
334:2:4323
335:2:4324
336:2:4328
337:2:4335
338:2:4342
339:2:4343
340:2:4350
341:2:4355
342:2:4362
343:2:4363
344:2:4362
345:2:4363
346:2:4370
347:2:4374
348:0:4462
349:2:3990
350:2:4000
351:0:4462
352:2:3128
353:0:4462
354:2:3991
355:2:3992
356:0:4462
357:2:3128
358:0:4462
359:2:3996
360:0:4462
361:2:4004
362:0:4462
363:2:3124
364:0:4462
365:2:3126
366:0:4462
367:2:3127
368:0:4462
369:2:3128
370:0:4462
371:2:3309
372:2:3310
373:2:3311
374:0:4462
375:2:3128
376:0:4462
377:2:3129
378:2:3130
379:2:3134
380:2:3135
381:2:3143
382:2:3144
383:2:3148
384:2:3149
385:2:3157
386:2:3162
387:2:3163
388:2:3175
389:2:3176
390:2:3177
391:2:3175
392:2:3176
393:2:3180
394:2:3181
395:2:3189
396:2:3194
397:2:3195
398:2:3206
399:2:3207
400:2:3208
401:2:3219
402:2:3224
403:2:3225
404:2:3236
405:2:3237
406:2:3238
407:2:3236
408:2:3237
409:2:3238
410:2:3249
411:2:3257
412:0:4462
413:2:3128
414:0:4462
415:2:3316
416:0:4462
417:2:4019
418:2:4020
419:2:4024
420:2:4028
421:2:4029
422:2:4033
423:2:4041
424:2:4042
425:2:4046
426:2:4047
427:2:4046
428:2:4050
429:2:4051
430:2:4055
431:2:4062
432:2:4069
433:2:4070
434:2:4077
435:2:4082
436:2:4089
437:2:4090
438:2:4089
439:2:4090
440:2:4097
441:2:4101
442:0:4462
443:2:3318
444:2:4000
445:0:4462
446:2:3128
447:0:4462
448:2:3319
449:0:4462
450:2:3128
451:0:4462
452:2:3322
453:2:3323
454:2:3327
455:2:3328
456:2:3336
457:2:3337
458:2:3341
459:2:3342
460:2:3350
461:2:3355
462:2:3359
463:2:3360
464:2:3368
465:2:3369
466:2:3373
467:2:3374
468:2:3368
469:2:3369
470:2:3373
471:2:3374
472:2:3382
473:2:3387
474:2:3388
475:2:3399
476:2:3400
477:2:3401
478:2:3412
479:2:3417
480:2:3418
481:2:3429
482:2:3430
483:2:3431
484:2:3429
485:2:3430
486:2:3431
487:2:3442
488:2:3449
489:0:4462
490:2:3128
491:0:4462
492:2:3453
493:2:3454
494:2:3455
495:2:3467
496:2:3468
497:2:3472
498:2:3473
499:2:3481
500:2:3486
501:2:3490
502:2:3491
503:2:3499
504:2:3500
505:2:3504
506:2:3505
507:2:3499
508:2:3500
509:2:3504
510:2:3505
511:2:3513
512:2:3518
513:2:3519
514:2:3530
515:2:3531
516:2:3532
517:2:3543
518:2:3548
519:2:3549
520:2:3560
521:2:3561
522:2:3562
523:2:3560
524:2:3561
525:2:3562
526:2:3573
527:2:3584
528:2:3585
529:0:4462
530:2:3128
531:0:4462
532:2:3591
533:2:3592
534:2:3596
535:2:3597
536:2:3605
537:2:3606
538:2:3610
539:2:3611
540:2:3619
541:2:3624
542:2:3628
543:2:3629
544:2:3637
545:2:3638
546:2:3642
547:2:3643
548:2:3637
549:2:3638
550:2:3642
551:2:3643
552:2:3651
553:2:3656
554:2:3657
555:2:3668
556:2:3669
557:2:3670
558:2:3681
559:2:3686
560:2:3687
561:2:3698
562:2:3699
563:2:3700
564:2:3698
565:2:3699
566:2:3700
567:2:3711
568:0:4462
569:2:3128
570:0:4462
571:2:3720
572:2:3721
573:2:3725
574:2:3726
575:2:3734
576:2:3735
577:2:3739
578:2:3740
579:2:3748
580:2:3753
581:2:3757
582:2:3758
583:2:3766
584:2:3767
585:2:3771
586:2:3772
587:2:3766
588:2:3767
589:2:3771
590:2:3772
591:2:3780
592:2:3785
593:2:3786
594:2:3797
595:2:3798
596:2:3799
597:2:3810
598:2:3815
599:2:3816
600:2:3827
601:2:3828
602:2:3829
603:2:3827
604:2:3828
605:2:3829
606:2:3840
607:2:3847
608:0:4462
609:2:3128
610:0:4462
611:2:3851
612:2:3852
613:2:3853
614:2:3865
615:2:3866
616:2:3870
617:2:3871
618:2:3879
619:2:3884
620:2:3888
621:2:3889
622:2:3897
623:2:3898
624:2:3902
625:2:3903
626:2:3897
627:2:3898
628:2:3902
629:2:3903
630:2:3911
631:2:3916
632:2:3917
633:2:3928
634:2:3929
635:2:3930
636:2:3941
637:2:3946
638:2:3947
639:2:3958
640:2:3959
641:2:3960
642:2:3958
643:2:3959
644:2:3960
645:2:3971
646:2:3981
647:2:3982
648:0:4462
649:2:3128
650:0:4462
651:2:3988
652:0:4462
653:2:4292
654:2:4293
655:2:4297
656:2:4301
657:2:4302
658:2:4306
659:2:4314
660:2:4315
661:2:4319
662:2:4323
663:2:4324
664:2:4319
665:2:4323
666:2:4324
667:2:4328
668:2:4335
669:2:4342
670:2:4343
671:2:4350
672:2:4355
673:2:4362
674:2:4363
675:2:4362
676:2:4363
677:2:4370
678:2:4374
679:0:4462
680:2:3990
681:2:4000
682:0:4462
683:2:3128
684:0:4462
685:2:3991
686:2:3992
687:0:4462
688:2:3128
689:0:4462
690:2:3996
691:0:4462
692:2:4004
693:0:4462
694:2:3124
695:0:4462
696:2:3126
697:0:4462
698:2:3127
699:0:4462
700:2:3128
701:0:4462
702:2:3129
703:2:3130
704:2:3134
705:2:3135
706:2:3143
707:2:3144
708:2:3148
709:2:3149
710:2:3157
711:2:3162
712:2:3166
713:2:3167
714:2:3175
715:2:3176
716:2:3180
717:2:3181
718:2:3175
719:2:3176
720:2:3177
721:2:3189
722:2:3194
723:2:3195
724:2:3206
725:2:3207
726:2:3208
727:2:3219
728:2:3224
729:2:3225
730:2:3236
731:2:3237
732:2:3238
733:2:3236
734:2:3237
735:2:3238
736:2:3249
737:2:3257
738:0:4462
739:2:3128
740:0:4462
741:2:3309
742:2:3310
743:2:3311
744:0:4462
745:2:3128
746:0:4462
747:2:3316
748:0:4462
749:1:2
750:0:4462
751:1:8
752:0:4462
753:1:9
754:0:4462
755:1:10
756:0:4462
757:1:11
758:0:4462
759:1:12
760:1:13
761:1:17
762:1:18
763:1:26
764:1:27
765:1:31
766:1:32
767:1:40
768:1:45
769:1:49
770:1:50
771:1:58
772:1:59
773:1:63
774:1:64
775:1:58
776:1:59
777:1:63
778:1:64
779:1:72
780:1:77
781:1:78
782:1:89
783:1:90
784:1:91
785:1:102
786:1:107
787:1:108
788:1:119
789:1:120
790:1:121
791:1:119
792:1:120
793:1:121
794:1:132
795:0:4462
796:1:11
797:0:4462
798:1:141
799:1:142
800:0:4462
801:1:11
802:0:4462
803:1:148
804:1:149
805:1:153
806:1:154
807:1:162
808:1:163
809:1:167
810:1:168
811:1:176
812:1:181
813:1:185
814:1:186
815:1:194
816:1:195
817:1:199
818:1:200
819:1:194
820:1:195
821:1:199
822:1:200
823:1:208
824:1:213
825:1:214
826:1:225
827:1:226
828:1:227
829:1:238
830:1:243
831:1:244
832:1:255
833:1:256
834:1:257
835:1:255
836:1:256
837:1:257
838:1:268
839:0:4462
840:1:11
841:0:4462
842:1:277
843:1:278
844:1:282
845:1:283
846:1:291
847:1:292
848:1:296
849:1:297
850:1:305
851:1:310
852:1:314
853:1:315
854:1:323
855:1:324
856:1:328
857:1:329
858:1:323
859:1:324
860:1:328
861:1:329
862:1:337
863:1:342
864:1:343
865:1:354
866:1:355
867:1:356
868:1:367
869:1:372
870:1:373
871:1:384
872:1:385
873:1:386
874:1:384
875:1:385
876:1:386
877:1:397
878:1:404
879:0:4462
880:1:11
881:0:4462
882:1:540
883:1:544
884:1:545
885:1:549
886:1:550
887:1:558
888:1:566
889:1:567
890:1:571
891:1:575
892:1:576
893:1:571
894:1:575
895:1:576
896:1:580
897:1:587
898:1:594
899:1:595
900:1:602
901:1:607
902:1:614
903:1:615
904:1:614
905:1:615
906:1:622
907:0:4462
908:1:11
909:0:4462
910:1:632
911:1:633
912:1:637
913:1:638
914:1:646
915:1:647
916:1:651
917:1:652
918:1:660
919:1:665
920:1:669
921:1:670
922:1:678
923:1:679
924:1:683
925:1:684
926:1:678
927:1:679
928:1:683
929:1:684
930:1:692
931:1:697
932:1:698
933:1:709
934:1:710
935:1:711
936:1:722
937:1:727
938:1:728
939:1:739
940:1:740
941:1:741
942:1:739
943:1:740
944:1:741
945:1:752
946:0:4462
947:1:11
948:0:4462
949:1:761
950:1:764
951:1:765
952:0:4462
953:1:11
954:0:4462
955:1:1028
956:1:1029
957:1:1033
958:1:1034
959:1:1042
960:1:1043
961:1:1047
962:1:1048
963:1:1056
964:1:1061
965:1:1065
966:1:1066
967:1:1074
968:1:1075
969:1:1079
970:1:1080
971:1:1074
972:1:1075
973:1:1079
974:1:1080
975:1:1088
976:1:1093
977:1:1094
978:1:1105
979:1:1106
980:1:1107
981:1:1118
982:1:1123
983:1:1124
984:1:1135
985:1:1136
986:1:1137
987:1:1135
988:1:1136
989:1:1137
990:1:1148
991:1:1155
992:1:1159
993:0:4462
994:1:11
995:0:4462
996:1:1160
997:1:1161
998:1:1165
999:1:1166
1000:1:1174
1001:1:1175
1002:1:1176
1003:1:1188
1004:1:1193
1005:1:1197
1006:1:1198
1007:1:1206
1008:1:1207
1009:1:1211
1010:1:1212
1011:1:1206
1012:1:1207
1013:1:1211
1014:1:1212
1015:1:1220
1016:1:1225
1017:1:1226
1018:1:1237
1019:1:1238
1020:1:1239
1021:1:1250
1022:1:1255
1023:1:1256
1024:1:1267
1025:1:1268
1026:1:1269
1027:1:1267
1028:1:1268
1029:1:1269
1030:1:1280
1031:0:4462
1032:1:11
1033:0:4462
1034:1:1289
1035:0:4462
1036:1:3023
1037:1:3030
1038:1:3031
1039:1:3038
1040:1:3043
1041:1:3050
1042:1:3051
1043:1:3050
1044:1:3051
1045:1:3058
1046:1:3062
1047:0:4462
1048:2:4019
1049:2:4020
1050:2:4024
1051:2:4028
1052:2:4029
1053:2:4033
1054:2:4038
1055:2:4046
1056:2:4050
1057:2:4051
1058:2:4046
1059:2:4047
1060:2:4055
1061:2:4062
1062:2:4069
1063:2:4070
1064:2:4077
1065:2:4082
1066:2:4089
1067:2:4090
1068:2:4089
1069:2:4090
1070:2:4097
1071:2:4101
1072:0:4462
1073:2:3318
1074:2:4000
1075:0:4462
1076:2:3128
1077:0:4462
1078:2:3319
1079:0:4462
1080:2:3128
1081:0:4462
1082:2:3322
1083:2:3323
1084:2:3327
1085:2:3328
1086:2:3336
1087:2:3337
1088:2:3341
1089:2:3342
1090:2:3350
1091:2:3355
1092:2:3359
1093:2:3360
1094:2:3368
1095:2:3369
1096:2:3373
1097:2:3374
1098:2:3368
1099:2:3369
1100:2:3373
1101:2:3374
1102:2:3382
1103:2:3387
1104:2:3388
1105:2:3399
1106:2:3400
1107:2:3401
1108:2:3412
1109:2:3417
1110:2:3418
1111:2:3429
1112:2:3430
1113:2:3431
1114:2:3429
1115:2:3430
1116:2:3431
1117:2:3442
1118:2:3449
1119:0:4462
1120:2:3128
1121:0:4462
1122:2:3453
1123:2:3454
1124:2:3455
1125:2:3467
1126:2:3468
1127:2:3472
1128:2:3473
1129:2:3481
1130:2:3486
1131:2:3490
1132:2:3491
1133:2:3499
1134:2:3500
1135:2:3504
1136:2:3505
1137:2:3499
1138:2:3500
1139:2:3504
1140:2:3505
1141:2:3513
1142:2:3518
1143:2:3519
1144:2:3530
1145:2:3531
1146:2:3532
1147:2:3543
1148:2:3548
1149:2:3549
1150:2:3560
1151:2:3561
1152:2:3562
1153:2:3560
1154:2:3561
1155:2:3562
1156:2:3573
1157:2:3582
1158:0:4462
1159:2:3128
1160:0:4462
1161:2:3588
1162:0:4462
1163:2:4110
1164:2:4111
1165:2:4115
1166:2:4119
1167:2:4120
1168:2:4124
1169:2:4132
1170:2:4133
1171:2:4137
1172:2:4141
1173:2:4142
1174:2:4137
1175:2:4141
1176:2:4142
1177:2:4146
1178:2:4153
1179:2:4160
1180:2:4161
1181:2:4168
1182:2:4173
1183:2:4180
1184:2:4181
1185:2:4180
1186:2:4181
1187:2:4188
1188:2:4192
1189:0:4462
1190:2:3590
1191:2:4000
1192:0:4462
1193:2:3128
1194:0:4462
1195:1:1291
1196:1:1292
1197:0:4460
1198:1:11
1199:0:4466
1200:2:3477