Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4178
2:3:4098
3:3:4101
4:3:4101
5:3:4104
6:3:4112
7:3:4112
8:3:4115
9:3:4121
10:3:4125
11:3:4125
12:3:4128
13:3:4138
14:3:4146
15:3:4146
16:3:4149
17:3:4155
18:3:4159
19:3:4159
20:3:4162
21:3:4168
22:3:4172
23:3:4173
24:0:4178
25:3:4175
26:0:4178
27:2:2511
28:0:4178
29:2:2517
30:0:4178
31:2:2518
32:0:4178
33:2:2520
34:0:4178
35:2:2521
36:0:4178
37:2:2522
38:0:4178
39:2:2523
40:0:4178
41:2:2524
42:0:4178
43:2:2525
44:0:4178
45:2:2526
46:2:2527
47:2:2531
48:2:2532
49:2:2540
50:2:2541
51:2:2545
52:2:2546
53:2:2554
54:2:2559
55:2:2563
56:2:2564
57:2:2572
58:2:2573
59:2:2577
60:2:2578
61:2:2572
62:2:2573
63:2:2577
64:2:2578
65:2:2586
66:2:2591
67:2:2598
68:2:2599
69:2:2606
70:2:2611
71:2:2618
72:2:2619
73:2:2618
74:2:2619
75:2:2626
76:2:2636
77:0:4178
78:2:2525
79:0:4178
80:2:2640
81:2:2644
82:2:2645
83:2:2649
84:2:2653
85:2:2654
86:2:2658
87:2:2666
88:2:2667
89:2:2671
90:2:2675
91:2:2676
92:2:2671
93:2:2672
94:2:2680
95:0:4178
96:2:2525
97:0:4178
98:2:2688
99:2:2689
100:2:2690
101:0:4178
102:2:2525
103:0:4178
104:2:2695
105:0:4178
106:2:3307
107:2:3308
108:2:3312
109:2:3316
110:2:3317
111:2:3321
112:2:3326
113:2:3334
114:2:3338
115:2:3339
116:2:3334
117:2:3338
118:2:3339
119:2:3343
120:2:3350
121:2:3357
122:2:3358
123:2:3365
124:2:3370
125:2:3377
126:2:3378
127:2:3377
128:2:3378
129:2:3385
130:2:3389
131:0:4178
132:2:3394
133:0:4178
134:2:3395
135:0:4178
136:2:3396
137:0:4178
138:2:3397
139:0:4178
140:1:2
141:0:4178
142:2:3398
143:0:4178
144:1:8
145:0:4178
146:1:9
147:0:4178
148:2:3397
149:0:4178
150:1:10
151:0:4178
152:2:3398
153:0:4178
154:1:11
155:0:4178
156:2:3397
157:0:4178
158:1:12
159:0:4178
160:2:3398
161:0:4178
162:1:13
163:0:4178
164:2:3397
165:0:4178
166:1:14
167:0:4178
168:2:3398
169:0:4178
170:1:15
171:0:4178
172:1:16
173:0:4178
174:2:3397
175:0:4178
176:1:17
177:0:4178
178:2:3398
179:0:4178
180:1:26
181:0:4178
182:2:3397
183:0:4178
184:1:30
185:1:31
186:1:35
187:1:39
188:1:40
189:1:44
190:1:52
191:1:53
192:1:57
193:1:61
194:1:62
195:1:57
196:1:61
197:1:62
198:1:66
199:1:73
200:1:80
201:1:81
202:1:88
203:1:93
204:1:100
205:1:101
206:1:100
207:1:101
208:1:108
209:1:112
210:0:4178
211:2:3398
212:0:4178
213:1:117
214:0:4178
215:2:3399
216:0:4178
217:2:3404
218:0:4178
219:2:3405
220:0:4178
221:2:3413
222:2:3414
223:2:3418
224:2:3422
225:2:3423
226:2:3427
227:2:3435
228:2:3436
229:2:3440
230:2:3444
231:2:3445
232:2:3440
233:2:3444
234:2:3445
235:2:3449
236:2:3456
237:2:3463
238:2:3464
239:2:3471
240:2:3476
241:2:3483
242:2:3484
243:2:3483
244:2:3484
245:2:3491
246:2:3495
247:0:4178
248:2:2697
249:2:3288
250:0:4178
251:2:2525
252:0:4178
253:2:2698
254:0:4178
255:2:2525
256:0:4178
257:2:2701
258:2:2702
259:2:2706
260:2:2707
261:2:2715
262:2:2716
263:2:2720
264:2:2721
265:2:2729
266:2:2734
267:2:2738
268:2:2739
269:2:2747
270:2:2748
271:2:2752
272:2:2753
273:2:2747
274:2:2748
275:2:2752
276:2:2753
277:2:2761
278:2:2766
279:2:2773
280:2:2774
281:2:2781
282:2:2786
283:2:2793
284:2:2794
285:2:2793
286:2:2794
287:2:2801
288:2:2810
289:0:4178
290:2:2525
291:0:4178
292:2:2814
293:2:2823
294:2:2824
295:2:2828
296:2:2829
297:2:2833
298:2:2834
299:2:2842
300:2:2847
301:2:2851
302:2:2852
303:2:2860
304:2:2861
305:2:2865
306:2:2866
307:2:2860
308:2:2861
309:2:2865
310:2:2866
311:2:2874
312:2:2881
313:2:2882
314:2:2886
315:2:2887
316:2:2894
317:2:2899
318:2:2906
319:2:2907
320:2:2906
321:2:2907
322:2:2914
323:2:2926
324:2:2927
325:0:4178
326:2:2525
327:0:4178
328:2:3276
329:0:4178
330:1:118
331:0:4178
332:1:120
333:0:4178
334:1:19
335:0:4178
336:1:126
337:1:127
338:1:131
339:1:132
340:1:140
341:1:141
342:1:145
343:1:146
344:1:154
345:1:159
346:1:163
347:1:164
348:1:172
349:1:173
350:1:177
351:1:178
352:1:172
353:1:173
354:1:177
355:1:178
356:1:186
357:1:191
358:1:198
359:1:199
360:1:206
361:1:211
362:1:218
363:1:219
364:1:218
365:1:219
366:1:226
367:0:4178
368:1:15
369:0:4178
370:1:16
371:0:4178
372:1:17
373:0:4178
374:1:118
375:0:4178
376:1:120
377:0:4178
378:1:19
379:0:4178
380:1:237
381:1:238
382:0:4178
383:1:15
384:0:4178
385:1:16
386:0:4178
387:1:17
388:0:4178
389:1:118
390:0:4178
391:1:120
392:0:4178
393:1:19
394:0:4178
395:1:244
396:1:245
397:1:249
398:1:250
399:1:258
400:1:259
401:1:263
402:1:264
403:1:272
404:1:277
405:1:281
406:1:282
407:1:290
408:1:291
409:1:295
410:1:296
411:1:290
412:1:291
413:1:295
414:1:296
415:1:304
416:1:309
417:1:316
418:1:317
419:1:324
420:1:329
421:1:336
422:1:337
423:1:336
424:1:337
425:1:344
426:0:4178
427:1:15
428:0:4178
429:1:16
430:0:4178
431:2:3898
432:2:3906
433:2:3910
434:2:3911
435:2:3915
436:2:3923
437:2:3924
438:2:3928
439:2:3932
440:2:3933
441:2:3928
442:2:3932
443:2:3933
444:2:3937
445:2:3944
446:2:3951
447:2:3952
448:2:3959
449:2:3964
450:2:3971
451:2:3972
452:2:3971
453:2:3972
454:2:3979
455:2:3983
456:0:4178
457:2:3988
458:0:4178
459:2:3989
460:0:4178
461:2:3990
462:0:4178
463:2:3991
464:0:4178
465:1:17
466:0:4178
467:2:3992
468:0:4178
469:1:26
470:0:4178
471:2:3991
472:0:4178
473:1:30
474:1:31
475:1:35
476:1:39
477:1:40
478:1:44
479:1:52
480:1:53
481:1:57
482:1:61
483:1:62
484:1:57
485:1:61
486:1:62
487:1:66
488:1:73
489:1:80
490:1:81
491:1:88
492:1:93
493:1:100
494:1:101
495:1:100
496:1:101
497:1:108
498:1:112
499:0:4178
500:2:3992
501:0:4178
502:1:117
503:0:4178
504:2:3993
505:0:4178
506:2:3998
507:0:4178
508:2:3999
509:0:4178
510:2:4007
511:2:4008
512:2:4012
513:2:4016
514:2:4017
515:2:4021
516:2:4029
517:2:4030
518:2:4034
519:2:4038
520:2:4039
521:2:4034
522:2:4038
523:2:4039
524:2:4043
525:2:4050
526:2:4057
527:2:4058
528:2:4065
529:2:4070
530:2:4077
531:2:4078
532:2:4077
533:2:4078
534:2:4085
535:2:4089
536:0:4178
537:2:3278
538:2:3288
539:0:4178
540:2:2525
541:0:4178
542:2:3279
543:2:3280
544:0:4178
545:2:2525
546:0:4178
547:2:3284
548:0:4178
549:2:3292
550:0:4178
551:2:2518
552:0:4178
553:2:2520
554:0:4178
555:2:2521
556:0:4178
557:2:2522
558:0:4178
559:2:2523
560:0:4178
561:2:2524
562:0:4178
563:2:2525
564:0:4178
565:2:2526
566:2:2527
567:2:2531
568:2:2532
569:2:2540
570:2:2541
571:2:2545
572:2:2546
573:2:2554
574:2:2559
575:2:2563
576:2:2564
577:2:2572
578:2:2573
579:2:2574
580:2:2572
581:2:2573
582:2:2577
583:2:2578
584:2:2586
585:2:2591
586:2:2598
587:2:2599
588:2:2606
589:2:2611
590:2:2618
591:2:2619
592:2:2618
593:2:2619
594:2:2626
595:2:2636
596:0:4178
597:2:2525
598:0:4178
599:2:2640
600:2:2644
601:2:2645
602:2:2649
603:2:2653
604:2:2654
605:2:2658
606:2:2666
607:2:2667
608:2:2671
609:2:2672
610:2:2671
611:2:2675
612:2:2676
613:2:2680
614:0:4178
615:2:2525
616:0:4178
617:2:2688
618:2:2689
619:2:2690
620:0:4178
621:2:2525
622:0:4178
623:2:2695
624:0:4178
625:1:118
626:0:4178
627:1:120
628:0:4178
629:1:19
630:0:4178
631:1:355
632:1:356
633:1:360
634:1:361
635:1:369
636:1:370
637:1:374
638:1:375
639:1:383
640:1:388
641:1:392
642:1:393
643:1:401
644:1:402
645:1:406
646:1:407
647:1:401
648:1:402
649:1:406
650:1:407
651:1:415
652:1:420
653:1:427
654:1:428
655:1:435
656:1:440
657:1:447
658:1:448
659:1:447
660:1:448
661:1:455
662:1:464
663:0:4178
664:1:15
665:0:4178
666:1:16
667:0:4178
668:1:17
669:0:4178
670:1:118
671:0:4178
672:1:120
673:0:4178
674:1:19
675:0:4178
676:1:584
677:1:585
678:1:589
679:1:590
680:1:598
681:1:599
682:1:600
683:1:612
684:1:617
685:1:621
686:1:622
687:1:630
688:1:631
689:1:635
690:1:636
691:1:630
692:1:631
693:1:635
694:1:636
695:1:644
696:1:649
697:1:656
698:1:657
699:1:664
700:1:669
701:1:676
702:1:677
703:1:676
704:1:677
705:1:684
706:0:4178
707:1:15
708:0:4178
709:1:16
710:0:4178
711:1:17
712:0:4178
713:1:118
714:0:4178
715:1:120
716:0:4178
717:1:19
718:0:4178
719:1:695
720:1:698
721:1:699
722:0:4178
723:1:15
724:0:4178
725:1:16
726:0:4178
727:1:17
728:0:4178
729:1:118
730:0:4178
731:1:120
732:0:4178
733:1:19
734:0:4178
735:1:926
736:1:927
737:1:931
738:1:932
739:1:940
740:1:941
741:1:945
742:1:946
743:1:954
744:1:959
745:1:963
746:1:964
747:1:972
748:1:973
749:1:977
750:1:978
751:1:972
752:1:973
753:1:977
754:1:978
755:1:986
756:1:991
757:1:998
758:1:999
759:1:1006
760:1:1011
761:1:1018
762:1:1019
763:1:1018
764:1:1019
765:1:1026
766:1:1035
767:1:1039
768:0:4178
769:1:15
770:0:4178
771:1:16
772:0:4178
773:1:17
774:0:4178
775:1:118
776:0:4178
777:1:120
778:0:4178
779:1:19
780:0:4178
781:1:1040
782:1:1041
783:1:1045
784:1:1046
785:1:1054
786:1:1055
787:1:1056
788:1:1068
789:1:1073
790:1:1077
791:1:1078
792:1:1086
793:1:1087
794:1:1091
795:1:1092
796:1:1086
797:1:1087
798:1:1091
799:1:1092
800:1:1100
801:1:1105
802:1:1112
803:1:1113
804:1:1120
805:1:1125
806:1:1132
807:1:1133
808:1:1132
809:1:1133
810:1:1140
811:0:4178
812:1:15
813:0:4178
814:1:16
815:0:4178
816:2:3307
817:2:3308
818:2:3312
819:2:3316
820:2:3317
821:2:3321
822:2:3326
823:2:3334
824:2:3338
825:2:3339
826:2:3334
827:2:3338
828:2:3339
829:2:3343
830:2:3350
831:2:3357
832:2:3358
833:2:3365
834:2:3370
835:2:3377
836:2:3378
837:2:3377
838:2:3378
839:2:3385
840:2:3389
841:0:4178
842:2:3394
843:0:4178
844:2:3395
845:0:4178
846:2:3396
847:0:4178
848:2:3397
849:0:4178
850:1:17
851:0:4178
852:2:3398
853:0:4178
854:1:26
855:0:4178
856:2:3397
857:0:4178
858:1:30
859:1:31
860:1:35
861:1:39
862:1:40
863:1:44
864:1:52
865:1:53
866:1:57
867:1:61
868:1:62
869:1:57
870:1:61
871:1:62
872:1:66
873:1:73
874:1:80
875:1:81
876:1:88
877:1:93
878:1:100
879:1:101
880:1:100
881:1:101
882:1:108
883:1:112
884:0:4178
885:2:3398
886:0:4178
887:1:117
888:0:4178
889:2:3399
890:0:4178
891:2:3404
892:0:4178
893:2:3405
894:0:4178
895:2:3413
896:2:3414
897:2:3418
898:2:3422
899:2:3423
900:2:3427
901:2:3435
902:2:3436
903:2:3440
904:2:3444
905:2:3445
906:2:3440
907:2:3444
908:2:3445
909:2:3449
910:2:3456
911:2:3463
912:2:3464
913:2:3471
914:2:3476
915:2:3483
916:2:3484
917:2:3483
918:2:3484
919:2:3491
920:2:3495
921:0:4178
922:2:2697
923:2:3288
924:0:4178
925:2:2525
926:0:4178
927:2:2698
928:0:4178
929:2:2525
930:0:4178
931:2:2701
932:2:2702
933:2:2706
934:2:2707
935:2:2715
936:2:2716
937:2:2720
938:2:2721
939:2:2729
940:2:2734
941:2:2738
942:2:2739
943:2:2747
944:2:2748
945:2:2752
946:2:2753
947:2:2747
948:2:2748
949:2:2752
950:2:2753
951:2:2761
952:2:2766
953:2:2773
954:2:2774
955:2:2781
956:2:2786
957:2:2793
958:2:2794
959:2:2793
960:2:2794
961:2:2801
962:2:2810
963:0:4178
964:2:2525
965:0:4178
966:2:2814
967:2:2815
968:2:2816
969:2:2828
970:2:2829
971:2:2833
972:2:2834
973:2:2842
974:2:2847
975:2:2851
976:2:2852
977:2:2860
978:2:2861
979:2:2865
980:2:2866
981:2:2860
982:2:2861
983:2:2865
984:2:2866
985:2:2874
986:2:2879
987:2:2886
988:2:2887
989:2:2894
990:2:2899
991:2:2906
992:2:2907
993:2:2906
994:2:2907
995:2:2914
996:2:2926
997:2:2927
998:0:4178
999:2:2525
1000:0:4178
1001:2:3276
1002:0:4178
1003:2:3901
1004:2:3902
1005:2:3906
1006:2:3910
1007:2:3911
1008:2:3915
1009:2:3923
1010:2:3924
1011:2:3928
1012:2:3932
1013:2:3933
1014:2:3928
1015:2:3932
1016:2:3933
1017:2:3937
1018:2:3944
1019:2:3951
1020:2:3952
1021:2:3959
1022:2:3964
1023:2:3971
1024:2:3972
1025:2:3971
1026:2:3972
1027:2:3979
1028:2:3983
1029:0:4178
1030:2:3988
1031:0:4178
1032:2:3989
1033:0:4178
1034:2:3990
1035:0:4178
1036:2:3991
1037:0:4178
1038:1:26
1039:0:4178
1040:2:3992
1041:0:4178
1042:1:30
1043:1:31
1044:1:35
1045:1:39
1046:1:40
1047:1:44
1048:1:52
1049:1:53
1050:1:57
1051:1:61
1052:1:62
1053:1:57
1054:1:61
1055:1:62
1056:1:66
1057:1:73
1058:1:80
1059:1:81
1060:1:88
1061:1:93
1062:1:100
1063:1:101
1064:1:100
1065:1:101
1066:1:108
1067:1:112
1068:0:4178
1069:2:3991
1070:0:4178
1071:1:117
1072:0:4178
1073:2:3992
1074:0:4178
1075:2:3993
1076:0:4178
1077:2:3998
1078:0:4178
1079:2:3999
1080:0:4178
1081:2:4007
1082:2:4008
1083:2:4012
1084:2:4016
1085:2:4017
1086:2:4021
1087:2:4029
1088:2:4030
1089:2:4034
1090:2:4038
1091:2:4039
1092:2:4034
1093:2:4038
1094:2:4039
1095:2:4043
1096:2:4050
1097:2:4057
1098:2:4058
1099:2:4065
1100:2:4070
1101:2:4077
1102:2:4078
1103:2:4077
1104:2:4078
1105:2:4085
1106:2:4089
1107:0:4178
1108:2:3278
1109:2:3288
1110:0:4178
1111:2:2525
1112:0:4178
1113:2:3279
1114:2:3280
1115:0:4178
1116:2:2525
1117:0:4178
1118:2:3284
1119:0:4178
1120:2:3292
1121:0:4178
1122:2:2518
1123:0:4178
1124:2:2520
1125:0:4178
1126:2:2521
1127:0:4178
1128:2:2522
1129:0:4178
1130:2:2523
1131:0:4178
1132:2:2524
1133:0:4178
1134:2:2525
1135:0:4178
1136:2:2526
1137:2:2527
1138:2:2531
1139:2:2532
1140:2:2540
1141:2:2541
1142:2:2545
1143:2:2546
1144:2:2554
1145:2:2559
1146:2:2563
1147:2:2564
1148:2:2572
1149:2:2573
1150:2:2577
1151:2:2578
1152:2:2572
1153:2:2573
1154:2:2574
1155:2:2586
1156:2:2591
1157:2:2598
1158:2:2599
1159:2:2606
1160:2:2611
1161:2:2618
1162:2:2619
1163:2:2618
1164:2:2619
1165:2:2626
1166:2:2636
1167:0:4178
1168:2:2525
1169:0:4178
1170:1:118
1171:0:4178
1172:1:120
1173:0:4178
1174:1:19
1175:0:4178
1176:1:1151
1177:0:4178
1178:1:2417
1179:1:2424
1180:1:2425
1181:1:2432
1182:1:2437
1183:1:2444
1184:1:2445
1185:1:2444
1186:1:2445
1187:1:2452
1188:1:2456
1189:0:4178
1190:2:2640
1191:2:2644
1192:2:2645
1193:2:2649
1194:2:2653
1195:2:2654
1196:2:2658
1197:2:2666
1198:2:2667
1199:2:2671
1200:2:2675
1201:2:2676
1202:2:2671
1203:2:2672
1204:2:2680
1205:0:4178
1206:2:2525
1207:0:4178
1208:2:2688
1209:2:2689
1210:2:2690
1211:0:4178
1212:2:2525
1213:0:4178
1214:2:2695
1215:0:4178
1216:2:3307
1217:2:3308
1218:2:3312
1219:2:3316
1220:2:3317
1221:2:3321
1222:2:3326
1223:2:3334
1224:2:3338
1225:2:3339
1226:2:3334
1227:2:3338
1228:2:3339
1229:2:3343
1230:2:3350
1231:2:3357
1232:2:3358
1233:2:3365
1234:2:3370
1235:2:3377
1236:2:3378
1237:2:3377
1238:2:3378
1239:2:3385
1240:2:3389
1241:0:4178
1242:2:3394
1243:0:4178
1244:2:3395
1245:0:4178
1246:2:3396
1247:0:4178
1248:2:3397
1249:0:4178
1250:1:1153
1251:1:1154
1252:0:4176
1253:2:3398
1254:0:4182
1255:1:2145