Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4499
2:3:4419
3:3:4422
4:3:4422
5:3:4425
6:3:4433
7:3:4433
8:3:4436
9:3:4442
10:3:4446
11:3:4446
12:3:4449
13:3:4459
14:3:4467
15:3:4467
16:3:4470
17:3:4476
18:3:4480
19:3:4480
20:3:4483
21:3:4489
22:3:4493
23:3:4494
24:0:4499
25:3:4496
26:0:4499
27:2:2873
28:0:4499
29:2:2879
30:0:4499
31:2:2880
32:0:4499
33:2:2881
34:0:4497
35:2:2882
36:0:4503
37:2:2883
38:0:4503
39:2:2884
40:2:2885
41:2:2889
42:2:2890
43:2:2898
44:2:2899
45:2:2903
46:2:2904
47:2:2912
48:2:2917
49:2:2921
50:2:2922
51:2:2930
52:2:2931
53:2:2935
54:2:2936
55:2:2930
56:2:2931
57:2:2935
58:2:2936
59:2:2944
60:2:2949
61:2:2950
62:2:2961
63:2:2962
64:2:2963
65:2:2974
66:2:2979
67:2:2980
68:2:2991
69:2:2992
70:2:2993
71:2:2991
72:2:2992
73:2:2993
74:2:3004
75:2:3012
76:0:4503
77:2:2883
78:0:4503
79:2:3016
80:2:3020
81:2:3021
82:2:3025
83:2:3029
84:2:3030
85:2:3034
86:2:3042
87:2:3043
88:2:3047
89:2:3051
90:2:3052
91:2:3047
92:2:3048
93:2:3056
94:0:4503
95:2:2883
96:0:4503
97:2:3064
98:2:3065
99:2:3066
100:0:4503
101:2:2883
102:0:4503
103:2:3071
104:0:4503
105:2:4024
106:2:4025
107:2:4029
108:2:4033
109:2:4034
110:2:4038
111:2:4043
112:2:4051
113:2:4055
114:2:4056
115:2:4051
116:2:4055
117:2:4056
118:2:4060
119:2:4067
120:2:4074
121:2:4075
122:2:4082
123:2:4087
124:2:4094
125:2:4095
126:2:4094
127:2:4095
128:2:4102
129:2:4106
130:0:4503
131:2:4111
132:0:4503
133:2:4112
134:0:4503
135:2:4113
136:0:4503
137:2:4114
138:0:4503
139:1:2
140:0:4503
141:2:4115
142:0:4503
143:1:8
144:0:4503
145:1:9
146:0:4503
147:2:4114
148:0:4503
149:2:4115
150:0:4503
151:1:10
152:0:4503
153:2:4114
154:0:4503
155:2:4115
156:0:4503
157:1:11
158:0:4503
159:2:4114
160:0:4503
161:2:4115
162:0:4503
163:1:12
164:0:4503
165:2:4114
166:0:4503
167:2:4115
168:0:4503
169:1:13
170:0:4503
171:2:4114
172:0:4503
173:2:4115
174:0:4503
175:1:14
176:0:4503
177:1:15
178:0:4503
179:1:23
180:0:4503
181:1:24
182:0:4503
183:2:4114
184:0:4503
185:2:4115
186:0:4503
187:1:128
188:1:129
189:1:133
190:1:134
191:1:142
192:1:143
193:1:147
194:1:148
195:1:156
196:1:161
197:1:165
198:1:166
199:1:174
200:1:175
201:1:179
202:1:180
203:1:174
204:1:175
205:1:179
206:1:180
207:1:188
208:1:193
209:1:194
210:1:205
211:1:206
212:1:207
213:1:218
214:1:223
215:1:224
216:1:235
217:1:236
218:1:237
219:1:235
220:1:236
221:1:237
222:1:248
223:0:4503
224:1:15
225:0:4503
226:1:23
227:0:4503
228:1:24
229:0:4503
230:2:4114
231:0:4503
232:2:4115
233:0:4503
234:1:257
235:1:258
236:0:4503
237:1:15
238:0:4503
239:1:23
240:0:4503
241:1:24
242:0:4503
243:2:4114
244:0:4503
245:2:4115
246:0:4503
247:1:264
248:1:265
249:1:269
250:1:270
251:1:278
252:1:279
253:1:283
254:1:284
255:1:292
256:1:297
257:1:301
258:1:302
259:1:310
260:1:311
261:1:315
262:1:316
263:1:310
264:1:311
265:1:315
266:1:316
267:1:324
268:1:329
269:1:330
270:1:341
271:1:342
272:1:343
273:1:354
274:1:359
275:1:360
276:1:371
277:1:372
278:1:373
279:1:371
280:1:372
281:1:373
282:1:384
283:0:4503
284:1:15
285:0:4503
286:1:23
287:0:4503
288:1:24
289:0:4503
290:2:4114
291:0:4503
292:2:4115
293:0:4503
294:1:393
295:1:394
296:1:398
297:1:399
298:1:407
299:1:408
300:1:412
301:1:413
302:1:421
303:1:426
304:1:430
305:1:431
306:1:439
307:1:440
308:1:444
309:1:445
310:1:439
311:1:440
312:1:444
313:1:445
314:1:453
315:1:458
316:1:459
317:1:470
318:1:471
319:1:472
320:1:483
321:1:488
322:1:489
323:1:500
324:1:501
325:1:502
326:1:500
327:1:501
328:1:502
329:1:513
330:1:520
331:0:4503
332:1:15
333:0:4503
334:1:23
335:0:4503
336:1:24
337:0:4503
338:2:4114
339:0:4503
340:2:4115
341:0:4503
342:1:658
343:1:659
344:1:663
345:1:664
346:1:672
347:1:673
348:1:674
349:1:686
350:1:691
351:1:695
352:1:696
353:1:704
354:1:705
355:1:709
356:1:710
357:1:704
358:1:705
359:1:709
360:1:710
361:1:718
362:1:723
363:1:724
364:1:735
365:1:736
366:1:737
367:1:748
368:1:753
369:1:754
370:1:765
371:1:766
372:1:767
373:1:765
374:1:766
375:1:767
376:1:778
377:0:4503
378:1:15
379:0:4503
380:1:23
381:0:4503
382:1:24
383:0:4503
384:2:4114
385:0:4503
386:2:4115
387:0:4503
388:1:787
389:1:790
390:1:791
391:0:4503
392:1:15
393:0:4503
394:1:23
395:0:4503
396:1:24
397:0:4503
398:2:4114
399:0:4503
400:2:4115
401:0:4503
402:1:1054
403:1:1055
404:1:1059
405:1:1060
406:1:1068
407:1:1069
408:1:1073
409:1:1074
410:1:1082
411:1:1087
412:1:1091
413:1:1092
414:1:1100
415:1:1101
416:1:1105
417:1:1106
418:1:1100
419:1:1101
420:1:1105
421:1:1106
422:1:1114
423:1:1119
424:1:1120
425:1:1131
426:1:1132
427:1:1133
428:1:1144
429:1:1149
430:1:1150
431:1:1161
432:1:1162
433:1:1163
434:1:1161
435:1:1162
436:1:1163
437:1:1174
438:1:1181
439:1:1185
440:0:4503
441:1:15
442:0:4503
443:1:23
444:0:4503
445:1:24
446:0:4503
447:2:4114
448:0:4503
449:2:4115
450:0:4503
451:1:1186
452:1:1187
453:1:1191
454:1:1192
455:1:1200
456:1:1201
457:1:1202
458:1:1214
459:1:1219
460:1:1223
461:1:1224
462:1:1232
463:1:1233
464:1:1237
465:1:1238
466:1:1232
467:1:1233
468:1:1237
469:1:1238
470:1:1246
471:1:1251
472:1:1252
473:1:1263
474:1:1264
475:1:1265
476:1:1276
477:1:1281
478:1:1282
479:1:1293
480:1:1294
481:1:1295
482:1:1293
483:1:1294
484:1:1295
485:1:1306
486:0:4503
487:1:15
488:0:4503
489:1:23
490:0:4503
491:1:24
492:0:4503
493:2:4114
494:0:4503
495:2:4115
496:0:4503
497:1:1315
498:0:4503
499:2:4114
500:0:4503
501:2:4115
502:0:4503
503:1:2779
504:1:2786
505:1:2787
506:1:2794
507:1:2799
508:1:2806
509:1:2807
510:1:2806
511:1:2807
512:1:2814
513:1:2818
514:0:4503
515:2:4114
516:0:4503
517:2:4115
518:0:4503
519:1:1317
520:1:1318
521:0:4503
522:1:15
523:0:4503
524:1:23
525:0:4503
526:1:24
527:0:4503
528:2:4114
529:0:4503
530:2:4115
531:0:4503
532:1:1319
533:1:1320
534:1:1324
535:1:1325
536:1:1333
537:1:1334
538:1:1338
539:1:1339
540:1:1347
541:1:1352
542:1:1356
543:1:1357
544:1:1365
545:1:1366
546:1:1370
547:1:1371
548:1:1365
549:1:1366
550:1:1370
551:1:1371
552:1:1379
553:1:1384
554:1:1385
555:1:1396
556:1:1397
557:1:1398
558:1:1409
559:1:1414
560:1:1415
561:1:1426
562:1:1427
563:1:1428
564:1:1426
565:1:1427
566:1:1428
567:1:1439
568:0:4503
569:1:15
570:0:4503
571:1:23
572:0:4503
573:1:24
574:0:4503
575:2:4114
576:0:4503
577:2:4115
578:0:4503
579:1:1448
580:1:1449
581:1:1453
582:1:1454
583:1:1462
584:1:1463
585:1:1467
586:1:1468
587:1:1476
588:1:1481
589:1:1485
590:1:1486
591:1:1494
592:1:1495
593:1:1499
594:1:1500
595:1:1494
596:1:1495
597:1:1499
598:1:1500
599:1:1508
600:1:1513
601:1:1514
602:1:1525
603:1:1526
604:1:1527
605:1:1538
606:1:1543
607:1:1544
608:1:1555
609:1:1556
610:1:1557
611:1:1555
612:1:1556
613:1:1557
614:1:1568
615:1:1575
616:1:1579
617:0:4503
618:1:15
619:0:4503
620:1:23
621:0:4503
622:1:24
623:0:4503
624:2:4114
625:0:4503
626:2:4115
627:0:4503
628:1:1582
629:1:1583
630:1:1587
631:1:1588
632:1:1596
633:1:1597
634:1:1598
635:1:1610
636:1:1615
637:1:1619
638:1:1620
639:1:1628
640:1:1629
641:1:1633
642:1:1634
643:1:1628
644:1:1629
645:1:1633
646:1:1634
647:1:1642
648:1:1647
649:1:1648
650:1:1659
651:1:1660
652:1:1661
653:1:1672
654:1:1677
655:1:1678
656:1:1689
657:1:1690
658:1:1691
659:1:1689
660:1:1690
661:1:1691
662:1:1702
663:0:4503
664:1:15
665:0:4503
666:1:23
667:0:4503
668:1:24
669:0:4503
670:2:4114
671:0:4503
672:2:4115
673:0:4503
674:1:1711
675:1:1712
676:1:1716
677:1:1717
678:1:1725
679:1:1726
680:1:1730
681:1:1731
682:1:1739
683:1:1744
684:1:1748
685:1:1749
686:1:1757
687:1:1758
688:1:1762
689:1:1763
690:1:1757
691:1:1758
692:1:1762
693:1:1763
694:1:1771
695:1:1776
696:1:1777
697:1:1788
698:1:1789
699:1:1790
700:1:1801
701:1:1806
702:1:1807
703:1:1818
704:1:1819
705:1:1820
706:1:1818
707:1:1819
708:1:1820
709:1:1831
710:1:1838
711:1:1842
712:0:4503
713:1:15
714:0:4503
715:1:23
716:0:4503
717:1:24
718:0:4503
719:2:4114
720:0:4503
721:2:4115
722:0:4503
723:1:1843
724:1:1844
725:1:1848
726:1:1849
727:1:1857
728:1:1858
729:1:1859
730:1:1871
731:1:1876
732:1:1880
733:1:1881
734:1:1889
735:1:1890
736:1:1894
737:1:1895
738:1:1889
739:1:1890
740:1:1894
741:1:1895
742:1:1903
743:1:1908
744:1:1909
745:1:1920
746:1:1921
747:1:1922
748:1:1933
749:1:1938
750:1:1939
751:1:1950
752:1:1951
753:1:1952
754:1:1950
755:1:1951
756:1:1952
757:1:1963
758:0:4503
759:1:15
760:0:4503
761:1:23
762:0:4503
763:1:24
764:0:4503
765:2:4114
766:0:4503
767:2:4115
768:0:4503
769:1:1972
770:1:1973
771:0:4503
772:1:15
773:0:4503
774:1:23
775:0:4503
776:1:24
777:0:4503
778:2:4114
779:0:4503
780:2:4115
781:0:4503
782:1:1979
783:1:1980
784:1:1984
785:1:1985
786:1:1993
787:1:1994
788:1:1998
789:1:1999
790:1:2007
791:1:2012
792:1:2016
793:1:2017
794:1:2025
795:1:2026
796:1:2030
797:1:2031
798:1:2025
799:1:2026
800:1:2030
801:1:2031
802:1:2039
803:1:2044
804:1:2045
805:1:2056
806:1:2057
807:1:2058
808:1:2069
809:1:2074
810:1:2075
811:1:2086
812:1:2087
813:1:2088
814:1:2086
815:1:2087
816:1:2088
817:1:2099
818:0:4503
819:1:15
820:0:4503
821:1:23
822:0:4503
823:1:24
824:0:4503
825:2:4114
826:0:4503
827:2:4115
828:0:4503
829:1:2108
830:1:2109
831:1:2113
832:1:2114
833:1:2122
834:1:2123
835:1:2127
836:1:2128
837:1:2136
838:1:2141
839:1:2145
840:1:2146
841:1:2154
842:1:2155
843:1:2159
844:1:2160
845:1:2154
846:1:2155
847:1:2159
848:1:2160
849:1:2168
850:1:2173
851:1:2174
852:1:2185
853:1:2186
854:1:2187
855:1:2198
856:1:2203
857:1:2204
858:1:2215
859:1:2216
860:1:2217
861:1:2215
862:1:2216
863:1:2217
864:1:2228
865:1:2235
866:0:4503
867:1:15
868:0:4503
869:1:23
870:0:4503
871:1:24
872:0:4503
873:2:4114
874:0:4503
875:2:4115
876:0:4503
877:1:2373
878:1:2374
879:1:2378
880:1:2379
881:1:2387
882:1:2388
883:1:2389
884:1:2401
885:1:2406
886:1:2410
887:1:2411
888:1:2419
889:1:2420
890:1:2424
891:1:2425
892:1:2419
893:1:2420
894:1:2424
895:1:2425
896:1:2433
897:1:2438
898:1:2439
899:1:2450
900:1:2451
901:1:2452
902:1:2463
903:1:2468
904:1:2469
905:1:2480
906:1:2481
907:1:2482
908:1:2480
909:1:2481
910:1:2482
911:1:2493
912:0:4503
913:1:15
914:0:4503
915:1:23
916:0:4503
917:1:24
918:0:4503
919:2:4114
920:0:4503
921:2:4115
922:0:4503
923:1:2502
924:0:4503
925:2:4114
926:0:4503
927:2:4115
928:0:4503
929:1:2822
930:1:2829
931:1:2830
932:1:2837
933:1:2842
934:1:2849
935:1:2850
936:1:2849
937:1:2850
938:1:2857
939:1:2861
940:0:4503
941:2:4114
942:0:4503
943:2:4115
944:0:4503
945:1:2504
946:1:2505
947:0:4503
948:1:15
949:0:4503
950:1:23
951:0:4503
952:1:24
953:0:4503
954:2:4114
955:0:4503
956:2:4115
957:0:4503
958:1:2508
959:1:2509
960:1:2513
961:1:2514
962:1:2522
963:1:2523
964:1:2527
965:1:2528
966:1:2536
967:1:2541
968:1:2545
969:1:2546
970:1:2554
971:1:2555
972:1:2559
973:1:2560
974:1:2554
975:1:2555
976:1:2559
977:1:2560
978:1:2568
979:1:2573
980:1:2574
981:1:2585
982:1:2586
983:1:2587
984:1:2598
985:1:2603
986:1:2604
987:1:2615
988:1:2616
989:1:2617
990:1:2615
991:1:2616
992:1:2617
993:1:2628
994:0:4503
995:1:15
996:0:4503
997:1:23
998:0:4503
999:1:24
1000:0:4503
1001:2:4114
1002:0:4503
1003:2:4115
1004:0:4503
1005:1:2637
1006:1:2638
1007:1:2642
1008:1:2643
1009:1:2651
1010:1:2652
1011:1:2656
1012:1:2657
1013:1:2665
1014:1:2670
1015:1:2674
1016:1:2675
1017:1:2683
1018:1:2684
1019:1:2688
1020:1:2689
1021:1:2683
1022:1:2684
1023:1:2688
1024:1:2689
1025:1:2697
1026:1:2702
1027:1:2703
1028:1:2714
1029:1:2715
1030:1:2716
1031:1:2727
1032:1:2732
1033:1:2733
1034:1:2744
1035:1:2745
1036:1:2746
1037:1:2744
1038:1:2745
1039:1:2746
1040:1:2757
1041:1:2764
1042:1:2768
1043:0:4503
1044:1:15
1045:0:4503
1046:1:23
1047:0:4503
1048:1:24
1049:0:4503
1050:2:4114
1051:0:4503
1052:2:4115
1053:0:4503
1054:1:2769
1055:0:4503
1056:1:2777
1057:0:4503
1058:1:2865
1059:0:4503
1060:1:9
1061:0:4503
1062:2:4114
1063:0:4503
1064:2:4115
1065:0:4503
1066:1:10
1067:0:4503
1068:2:4114
1069:0:4503
1070:2:4115
1071:0:4503
1072:1:11
1073:0:4503
1074:2:4114
1075:0:4503
1076:2:4115
1077:0:4503
1078:1:12
1079:0:4503
1080:2:4114
1081:0:4503
1082:2:4115
1083:0:4503
1084:1:13
1085:0:4503
1086:2:4114
1087:0:4503
1088:2:4115
1089:0:4503
1090:1:14
1091:0:4503
1092:1:15
1093:0:4503
1094:1:23
1095:0:4503
1096:1:24
1097:0:4503
1098:2:4114
1099:0:4503
1100:2:4115
1101:0:4503
1102:1:128
1103:1:129
1104:1:133
1105:1:134
1106:1:142
1107:1:143
1108:1:144
1109:1:156
1110:1:161
1111:1:165
1112:1:166
1113:1:174
1114:1:175
1115:1:179
1116:1:180
1117:1:174
1118:1:175
1119:1:179
1120:1:180
1121:1:188
1122:1:193
1123:1:194
1124:1:205
1125:1:206
1126:1:207
1127:1:218
1128:1:223
1129:1:224
1130:1:235
1131:1:236
1132:1:237
1133:1:235
1134:1:236
1135:1:237
1136:1:248
1137:0:4503
1138:1:15
1139:0:4503
1140:1:23
1141:0:4503
1142:1:24
1143:0:4503
1144:2:4114
1145:0:4503
1146:2:4115
1147:0:4503
1148:1:257
1149:1:258
1150:0:4503
1151:1:15
1152:0:4503
1153:1:23
1154:0:4503
1155:1:24
1156:0:4503
1157:2:4114
1158:0:4503
1159:2:4115
1160:0:4503
1161:1:1186
1162:1:1187
1163:1:1191
1164:1:1192
1165:1:1200
1166:1:1201
1167:1:1205
1168:1:1206
1169:1:1214
1170:1:1219
1171:1:1223
1172:1:1224
1173:1:1232
1174:1:1233
1175:1:1237
1176:1:1238
1177:1:1232
1178:1:1233
1179:1:1237
1180:1:1238
1181:1:1246
1182:1:1251
1183:1:1252
1184:1:1263
1185:1:1264
1186:1:1265
1187:1:1276
1188:1:1281
1189:1:1282
1190:1:1293
1191:1:1294
1192:1:1295
1193:1:1293
1194:1:1294
1195:1:1295
1196:1:1306
1197:0:4503
1198:1:15
1199:0:4503
1200:1:16
-1:-1:-1
1201:0:4503
1202:2:4114
1203:0:4503
1204:2:4115
1205:0:4503
1206:2:4114
1207:0:4503
1208:2:4115
1209:0:4503
1210:2:4114
1211:0:4503
1212:2:4115