Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4645
2:3:4565
3:3:4568
4:3:4568
5:3:4571
6:3:4579
7:3:4579
8:3:4582
9:3:4588
10:3:4592
11:3:4592
12:3:4595
13:3:4605
14:3:4613
15:3:4613
16:3:4616
17:3:4622
18:3:4626
19:3:4626
20:3:4629
21:3:4635
22:3:4639
23:3:4640
24:0:4645
25:3:4642
26:0:4645
27:2:2873
28:0:4645
29:2:2879
30:0:4645
31:2:2880
32:0:4645
33:2:2881
34:0:4643
35:2:2882
36:0:4649
37:2:2883
38:0:4649
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:4649
77:2:2883
78:0:4649
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:4649
95:2:2883
96:0:4649
97:2:3064
98:2:3065
99:2:3066
100:0:4649
101:2:2883
102:0:4649
103:2:3071
104:0:4649
105:2:3774
106:2:3775
107:2:3779
108:2:3783
109:2:3784
110:2:3788
111:2:3793
112:2:3801
113:2:3805
114:2:3806
115:2:3801
116:2:3805
117:2:3806
118:2:3810
119:2:3817
120:2:3824
121:2:3825
122:2:3832
123:2:3837
124:2:3844
125:2:3845
126:2:3844
127:2:3845
128:2:3852
129:2:3856
130:0:4649
131:2:3861
132:0:4649
133:2:3862
134:0:4649
135:2:3863
136:0:4649
137:2:3864
138:0:4649
139:1:2
140:0:4649
141:2:3865
142:0:4649
143:1:8
144:0:4649
145:1:9
146:0:4649
147:2:3864
148:0:4649
149:2:3865
150:0:4649
151:1:10
152:0:4649
153:2:3864
154:0:4649
155:2:3865
156:0:4649
157:1:11
158:0:4649
159:2:3864
160:0:4649
161:2:3865
162:0:4649
163:1:12
164:0:4649
165:2:3864
166:0:4649
167:2:3865
168:0:4649
169:1:13
170:0:4649
171:2:3864
172:0:4649
173:2:3865
174:0:4649
175:1:14
176:0:4649
177:1:15
178:0:4649
179:1:23
180:0:4649
181:1:24
182:0:4649
183:2:3864
184:0:4649
185:2:3865
186:0:4649
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:4649
224:1:15
225:0:4649
226:1:23
227:0:4649
228:1:24
229:0:4649
230:2:3864
231:0:4649
232:2:3865
233:0:4649
234:1:257
235:1:258
236:0:4649
237:1:15
238:0:4649
239:1:23
240:0:4649
241:1:24
242:0:4649
243:2:3864
244:0:4649
245:2:3865
246:0:4649
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:4649
284:1:15
285:0:4649
286:1:23
287:0:4649
288:1:24
289:0:4649
290:2:3864
291:0:4649
292:2:3865
293:0:4649
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:4649
332:1:15
333:0:4649
334:1:16
335:0:4649
336:2:3864
337:0:4649
338:2:3865
339:0:4649
340:1:17
341:0:4649
342:2:3864
343:0:4649
344:2:3865
345:0:4649
346:1:28
347:0:4649
348:2:3864
349:0:4649
350:2:3865
351:0:4649
352:1:32
353:1:33
354:1:37
355:1:38
356:1:46
357:1:54
358:1:55
359:1:59
360:1:63
361:1:64
362:1:59
363:1:63
364:1:64
365:1:68
366:1:75
367:1:82
368:1:83
369:1:90
370:1:95
371:1:102
372:1:103
373:1:102
374:1:103
375:1:110
376:1:114
377:0:4649
378:2:3864
379:0:4649
380:2:3865
381:0:4649
382:1:119
383:0:4649
384:2:3866
385:0:4649
386:2:3871
387:0:4649
388:2:3872
389:0:4649
390:2:3880
391:2:3881
392:2:3885
393:2:3889
394:2:3890
395:2:3894
396:2:3902
397:2:3903
398:2:3907
399:2:3911
400:2:3912
401:2:3907
402:2:3911
403:2:3912
404:2:3916
405:2:3923
406:2:3930
407:2:3931
408:2:3938
409:2:3943
410:2:3950
411:2:3951
412:2:3950
413:2:3951
414:2:3958
415:2:3962
416:0:4649
417:2:3073
418:2:3755
419:0:4649
420:2:2883
421:0:4649
422:2:3074
423:0:4649
424:2:2883
425:0:4649
426:2:3077
427:2:3078
428:2:3082
429:2:3083
430:2:3091
431:2:3092
432:2:3096
433:2:3097
434:2:3105
435:2:3110
436:2:3114
437:2:3115
438:2:3123
439:2:3124
440:2:3128
441:2:3129
442:2:3123
443:2:3124
444:2:3128
445:2:3129
446:2:3137
447:2:3142
448:2:3143
449:2:3154
450:2:3155
451:2:3156
452:2:3167
453:2:3172
454:2:3173
455:2:3184
456:2:3185
457:2:3186
458:2:3184
459:2:3185
460:2:3186
461:2:3197
462:2:3204
463:0:4649
464:2:2883
465:0:4649
466:2:3208
467:2:3209
468:2:3210
469:2:3222
470:2:3223
471:2:3227
472:2:3228
473:2:3236
474:2:3241
475:2:3245
476:2:3246
477:2:3254
478:2:3255
479:2:3259
480:2:3260
481:2:3254
482:2:3255
483:2:3259
484:2:3260
485:2:3268
486:2:3273
487:2:3274
488:2:3285
489:2:3286
490:2:3287
491:2:3298
492:2:3303
493:2:3304
494:2:3315
495:2:3316
496:2:3317
497:2:3315
498:2:3316
499:2:3317
500:2:3328
501:2:3337
502:0:4649
503:2:2883
504:0:4649
505:2:3343
506:0:4649
507:2:3972
508:2:3973
509:2:3977
510:2:3981
511:2:3982
512:2:3986
513:2:3994
514:2:3995
515:2:3999
516:2:4003
517:2:4004
518:2:3999
519:2:4003
520:2:4004
521:2:4008
522:2:4015
523:2:4022
524:2:4023
525:2:4030
526:2:4035
527:2:4042
528:2:4043
529:2:4042
530:2:4043
531:2:4050
532:2:4054
533:0:4649
534:2:4059
535:0:4649
536:2:4060
537:0:4649
538:2:4061
539:0:4649
540:2:4062
541:0:4649
542:1:28
543:0:4649
544:2:4063
545:0:4649
546:2:4062
547:0:4649
548:1:32
549:1:33
550:1:37
551:1:41
552:1:42
553:1:46
554:1:54
555:1:55
556:1:59
557:1:63
558:1:64
559:1:59
560:1:63
561:1:64
562:1:68
563:1:75
564:1:82
565:1:83
566:1:90
567:1:95
568:1:102
569:1:103
570:1:102
571:1:103
572:1:110
573:1:114
-1:-1:-1
574:0:4649
575:2:4063
576:0:4649
577:2:4062
578:0:4649
579:1:119
580:0:4649
581:2:4063
582:0:4649
583:2:4064
584:0:4649
585:2:4069
586:0:4649
587:2:4070
588:0:4649
589:2:4078
590:2:4079
591:2:4083
592:2:4087
593:2:4088
594:2:4092
595:2:4100
596:2:4101
597:2:4105
598:2:4109
599:2:4110
600:2:4105
601:2:4109
602:2:4110
603:2:4114
604:2:4121
605:2:4128
606:2:4129
607:2:4136
608:2:4141
609:2:4148
610:2:4149
611:2:4148
612:2:4149
613:2:4156
614:2:4160
615:0:4649
616:2:3345
617:2:3755
618:0:4649
619:2:2883
620:0:4649
621:2:3208
622:2:3209
623:2:3213
624:2:3214
625:2:3222
626:2:3223
627:2:3227
628:2:3228
629:2:3236
630:2:3241
631:2:3245
632:2:3246
633:2:3254
634:2:3255
635:2:3259
636:2:3260
637:2:3254
638:2:3255
639:2:3259
640:2:3260
641:2:3268
642:2:3273
643:2:3274
644:2:3285
645:2:3286
646:2:3287
647:2:3298
648:2:3303
649:2:3304
650:2:3315
651:2:3316
652:2:3317
653:2:3315
654:2:3316
655:2:3317
656:2:3328
657:2:3337
658:0:4649
659:2:2883
660:0:4649
661:2:3343
662:0:4649
663:2:3972
664:2:3973
665:2:3977
666:2:3981
667:2:3982
668:2:3986
669:2:3994
670:2:3995
671:2:3999
672:2:4003
673:2:4004
674:2:3999
675:2:4003
676:2:4004
677:2:4008
678:2:4015
679:2:4022
680:2:4023
681:2:4030
682:2:4035
683:2:4042
684:2:4043
685:2:4042
686:2:4043
687:2:4050
688:2:4054
689:0:4649
690:2:4059
691:0:4649
692:2:4060
693:0:4649
694:2:4061
695:0:4649
696:2:4062
697:0:4649
698:1:28
699:0:4649
700:2:4063
701:0:4649
702:1:32
703:1:33
704:1:37
705:1:41
706:1:42
707:1:46
708:1:54
709:1:55
710:1:59
711:1:63
712:1:64
713:1:59
714:1:63
715:1:64
716:1:68
717:1:75
718:1:82
719:1:83
720:1:90
721:1:95
722:1:102
723:1:103
724:1:102
725:1:103
726:1:110
727:1:114
728:0:4649
729:2:4062
730:0:4649
731:2:4063
732:0:4649
733:1:119
734:0:4649
735:2:4064
736:0:4649
737:2:4069
738:0:4649
739:2:4070
740:0:4649
741:2:4078
742:2:4079
743:2:4083
744:2:4087
745:2:4088
746:2:4092
747:2:4100
748:2:4101
749:2:4105
750:2:4109
751:2:4110
752:2:4105
753:2:4109
754:2:4110
755:2:4114
756:2:4121
757:2:4128
758:2:4129
759:2:4136
760:2:4141
761:2:4148
762:2:4149
763:2:4148
764:2:4149
765:2:4156
766:2:4160
767:0:4649
768:2:3345
769:2:3755
770:0:4649
771:2:2883
772:0:4649
773:2:3208
774:2:3209
775:2:3213
776:2:3214
777:2:3222
778:2:3223
779:2:3227
780:2:3228
781:2:3236
782:2:3241
783:2:3245
784:2:3246
785:2:3254
786:2:3255
787:2:3259
788:2:3260
789:2:3254
790:2:3255
791:2:3259
792:2:3260
793:2:3268
794:2:3273
795:2:3274
796:2:3285
797:2:3286
798:2:3287
799:2:3298
800:2:3303
801:2:3304
802:2:3315
803:2:3316
804:2:3317
805:2:3315
806:2:3316
807:2:3317
808:2:3328
809:2:3337
810:0:4649
811:2:2883
812:0:4649
813:2:3343
814:0:4649
815:2:3972
816:2:3973
817:2:3977
818:2:3981
819:2:3982
820:2:3986
821:2:3994
822:2:3995
823:2:3999
824:2:4003
825:2:4004
826:2:3999
827:2:4003
828:2:4004
829:2:4008
830:2:4015
831:2:4022
832:2:4023
833:2:4030
834:2:4035
835:2:4042
836:2:4043
837:2:4042
838:2:4043
839:2:4050
840:2:4054
841:0:4649
842:2:4059
843:0:4649
844:2:4060
845:0:4649
846:2:4061
847:0:4649
848:2:4062
849:0:4649
850:1:28
851:0:4649
852:2:4063
853:0:4649
854:2:4062
855:0:4649
856:1:32
857:1:33
858:1:37
859:1:41
860:1:42
861:1:46
862:1:54
863:1:55
864:1:59
865:1:63
866:1:64
867:1:59
868:1:63
869:1:64
870:1:68
871:1:75
872:1:82
873:1:83
874:1:90
875:1:95
876:1:102
877:1:103
878:1:102
879:1:103
880:1:110
881:1:114