Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4464
2:3:4384
3:3:4387
4:3:4387
5:3:4390
6:3:4398
7:3:4398
8:3:4401
9:3:4407
10:3:4411
11:3:4411
12:3:4414
13:3:4424
14:3:4432
15:3:4432
16:3:4435
17:3:4441
18:3:4445
19:3:4445
20:3:4448
21:3:4454
22:3:4458
23:3:4459
24:0:4464
25:3:4461
26:0:4464
27:2:3117
28:0:4464
29:2:3123
30:0:4464
31:2:3124
32:0:4464
33:2:3126
34:0:4464
35:2:3127
36:0:4464
37:2:3128
38:0:4464
39:2:3129
40:0:4464
41:2:3130
42:0:4464
43:2:3131
44:0:4464
45:2:3132
46:2:3133
47:2:3137
48:2:3138
49:2:3146
50:2:3147
51:2:3151
52:2:3152
53:2:3160
54:2:3165
55:2:3169
56:2:3170
57:2:3178
58:2:3179
59:2:3183
60:2:3184
61:2:3178
62:2:3179
63:2:3183
64:2:3184
65:2:3192
66:2:3197
67:2:3198
68:2:3209
69:2:3210
70:2:3211
71:2:3222
72:2:3227
73:2:3228
74:2:3239
75:2:3240
76:2:3241
77:2:3239
78:2:3240
79:2:3241
80:2:3252
81:2:3260
82:0:4464
83:2:3131
84:0:4464
85:2:3264
86:2:3268
87:2:3269
88:2:3273
89:2:3277
90:2:3278
91:2:3282
92:2:3290
93:2:3291
94:2:3295
95:2:3299
96:2:3300
97:2:3295
98:2:3296
99:2:3304
100:0:4464
101:2:3131
102:0:4464
103:2:3312
104:2:3313
105:2:3314
106:0:4464
107:2:3131
108:0:4464
109:2:3319
110:0:4464
111:2:4021
112:2:4022
113:2:4026
114:2:4030
115:2:4031
116:2:4035
117:2:4040
118:2:4048
119:2:4052
120:2:4053
121:2:4048
122:2:4052
123:2:4053
124:2:4057
125:2:4064
126:2:4071
127:2:4072
128:2:4079
129:2:4084
130:2:4091
131:2:4092
132:2:4091
133:2:4092
134:2:4099
135:2:4103
136:0:4464
137:2:3321
138:2:4002
139:0:4464
140:2:3131
141:0:4464
142:2:3322
143:0:4464
144:2:3131
145:0:4464
146:2:3325
147:2:3326
148:2:3330
149:2:3331
150:2:3339
151:2:3340
152:2:3344
153:2:3345
154:2:3353
155:2:3358
156:2:3362
157:2:3363
158:2:3371
159:2:3372
160:2:3376
161:2:3377
162:2:3371
163:2:3372
164:2:3376
165:2:3377
166:2:3385
167:2:3390
168:2:3391
169:2:3402
170:2:3403
171:2:3404
172:2:3415
173:2:3420
174:2:3421
175:2:3432
176:2:3433
177:2:3434
178:2:3432
179:2:3433
180:2:3434
181:2:3445
182:2:3452
183:0:4464
184:2:3131
185:0:4464
186:2:3456
187:2:3457
188:2:3458
189:2:3470
190:2:3471
191:2:3475
192:2:3476
193:2:3484
194:2:3489
195:2:3493
196:2:3494
197:2:3502
198:2:3503
199:2:3507
200:2:3508
201:2:3502
202:2:3503
203:2:3507
204:2:3508
205:2:3516
206:2:3521
207:2:3522
208:2:3533
209:2:3534
210:2:3535
211:2:3546
212:2:3551
213:2:3552
214:2:3563
215:2:3564
216:2:3565
217:2:3563
218:2:3564
219:2:3565
220:2:3576
221:2:3586
222:2:3587
223:0:4464
224:2:3131
225:0:4464
226:2:3990
227:0:4464
228:2:4294
229:2:4295
230:2:4299
231:2:4303
232:2:4304
233:2:4308
234:2:4316
235:2:4317
236:2:4321
237:2:4325
238:2:4326
239:2:4321
240:2:4325
241:2:4326
242:2:4330
243:2:4337
244:2:4344
245:2:4345
246:2:4352
247:2:4357
248:2:4364
249:2:4365
250:2:4364
251:2:4365
252:2:4372
253:2:4376
254:0:4464
255:2:3992
256:2:4002
257:0:4464
258:2:3131
259:0:4464
260:2:3993
261:2:3994
262:0:4464
263:2:3131
264:0:4464
265:2:3998
266:0:4464
267:2:4006
268:0:4464
269:2:3124
270:0:4464
271:2:3126
272:0:4464
273:2:3127
274:0:4464
275:2:3128
276:0:4464
277:2:3129
278:0:4464
279:2:3130
280:0:4464
281:2:3131
282:0:4464
283:2:3132
284:2:3133
285:2:3137
286:2:3138
287:2:3146
288:2:3147
289:2:3151
290:2:3152
291:2:3160
292:2:3165
293:2:3169
294:2:3170
295:2:3178
296:2:3179
297:2:3180
298:2:3178
299:2:3179
300:2:3183
301:2:3184
302:2:3192
303:2:3197
304:2:3198
305:2:3209
306:2:3210
307:2:3211
308:2:3222
309:2:3227
310:2:3228
311:2:3239
312:2:3240
313:2:3241
314:2:3239
315:2:3240
316:2:3241
317:2:3252
318:2:3260
319:0:4464
320:2:3131
321:0:4464
322:2:3264
323:2:3268
324:2:3269
325:2:3273
326:2:3277
327:2:3278
328:2:3282
329:2:3290
330:2:3291
331:2:3295
332:2:3296
333:2:3295
334:2:3299
335:2:3300
336:2:3304
337:0:4464
338:2:3131
339:0:4464
340:2:3312
341:2:3313
342:2:3314
343:0:4464
344:2:3131
345:0:4464
346:2:3319
347:0:4464
348:1:2
349:0:4464
350:1:8
351:0:4464
352:1:9
353:0:4464
354:1:10
355:0:4464
356:1:11
357:0:4464
358:1:12
359:1:13
360:1:17
361:1:18
362:1:26
363:1:27
364:1:31
365:1:32
366:1:40
367:1:45
368:1:49
369:1:50
370:1:58
371:1:59
372:1:63
373:1:64
374:1:58
375:1:59
376:1:63
377:1:64
378:1:72
379:1:84
380:1:85
381:1:89
382:1:90
383:1:91
384:1:102
385:1:107
386:1:108
387:1:119
388:1:120
389:1:121
390:1:119
391:1:120
392:1:121
393:1:132
394:0:4464
395:1:11
396:0:4464
397:1:141
398:1:142
399:0:4464
400:1:11
401:0:4464
402:1:148
403:1:149
404:1:153
405:1:154
406:1:162
407:1:163
408:1:167
409:1:168
410:1:176
411:1:181
412:1:185
413:1:186
414:1:194
415:1:195
416:1:199
417:1:200
418:1:194
419:1:195
420:1:199
421:1:200
422:1:208
423:1:220
424:1:221
425:1:225
426:1:226
427:1:227
428:1:238
429:1:243
430:1:244
431:1:255
432:1:256
433:1:257
434:1:255
435:1:256
436:1:257
437:1:268
438:0:4464
439:1:11
440:0:4464
441:1:277
442:1:278
443:1:282
444:1:283
445:1:291
446:1:292
447:1:296
448:1:297
449:1:305
450:1:310
451:1:314
452:1:315
453:1:323
454:1:324
455:1:328
456:1:329
457:1:323
458:1:324
459:1:328
460:1:329
461:1:337
462:1:342
463:1:343
464:1:354
465:1:355
466:1:356
467:1:367
468:1:372
469:1:373
470:1:384
471:1:385
472:1:386
473:1:384
474:1:385
475:1:386
476:1:397
477:1:404
478:0:4464
479:1:11
480:0:4464
481:1:540
482:1:544
483:1:545
484:1:549
485:1:550
486:1:558
487:1:566
488:1:567
489:1:571
490:1:575
491:1:576
492:1:571
493:1:575
494:1:576
495:1:580
496:1:587
497:1:594
498:1:595
499:1:602
500:1:607
501:1:614
502:1:615
503:1:614
504:1:615
505:1:622
506:0:4464
507:1:11
508:0:4464
509:2:4021
510:2:4022
511:2:4026
512:2:4030
513:2:4031
514:2:4035
515:2:4040
516:2:4048
517:2:4052
518:2:4053
519:2:4048
520:2:4052
521:2:4053
522:2:4057
523:2:4064
524:2:4071
525:2:4072
526:2:4079
527:2:4084
528:2:4091
529:2:4092
530:2:4091
531:2:4092
532:2:4099
533:2:4103
534:0:4464
535:2:3321
536:2:4002
537:0:4464
538:2:3131
539:0:4464
540:2:3322
541:0:4464
542:2:3131
543:0:4464
544:2:3325
545:2:3326
546:2:3330
547:2:3331
548:2:3339
549:2:3340
550:2:3344
551:2:3345
552:2:3353
553:2:3358
554:2:3362
555:2:3363
556:2:3371
557:2:3372
558:2:3376
559:2:3377
560:2:3371
561:2:3372
562:2:3376
563:2:3377
564:2:3385
565:2:3390
566:2:3391
567:2:3402
568:2:3403
569:2:3404
570:2:3415
571:2:3420
572:2:3421
573:2:3432
574:2:3433
575:2:3434
576:2:3432
577:2:3433
578:2:3434
579:2:3445
580:2:3452
581:0:4464
582:2:3131
583:0:4464
584:2:3456
585:2:3457
586:2:3458
587:2:3470
588:2:3471
589:2:3475
590:2:3476
591:2:3484
592:2:3489
593:2:3493
594:2:3494
595:2:3502
596:2:3503
597:2:3507
598:2:3508
599:2:3502
600:2:3503
601:2:3507
602:2:3508
603:2:3516
604:2:3521
605:2:3522
606:2:3533
607:2:3534
608:2:3535
609:2:3546
610:2:3551
611:2:3552
612:2:3563
613:2:3564
614:2:3565
615:2:3563
616:2:3564
617:2:3565
618:2:3576
619:2:3586
620:2:3587
621:0:4464
622:2:3131
623:0:4464
624:2:3990
625:0:4464
626:2:4294
627:2:4295
628:2:4299
629:2:4303
630:2:4304
631:2:4308
632:2:4316
633:2:4317
634:2:4321
635:2:4325
636:2:4326
637:2:4321
638:2:4325
639:2:4326
640:2:4330
641:2:4337
642:2:4344
643:2:4345
644:2:4352
645:2:4357
646:2:4364
647:2:4365
648:2:4364
649:2:4365
650:2:4372
651:2:4376
652:0:4464
653:2:3992
654:2:4002
655:0:4464
656:2:3131
657:0:4464
658:2:3993
659:2:3994
660:0:4464
661:2:3131
662:0:4464
663:2:3998
664:0:4464
665:2:4006
666:0:4464
667:2:3124
668:0:4464
669:2:3126
670:0:4464
671:2:3127
672:0:4464
673:2:3128
674:0:4464
675:2:3129
676:0:4464
677:2:3130
678:0:4464
679:2:3131
680:0:4464
681:2:3132
682:2:3133
683:2:3137
684:2:3138
685:2:3146
686:2:3147
687:2:3151
688:2:3152
689:2:3160
690:2:3165
691:2:3169
692:2:3170
693:2:3178
694:2:3179
695:2:3183
696:2:3184
697:2:3178
698:2:3179
699:2:3180
700:2:3192
701:2:3197
702:2:3198
703:2:3209
704:2:3210
705:2:3211
706:2:3222
707:2:3227
708:2:3228
709:2:3239
710:2:3240
711:2:3241
712:2:3239
713:2:3240
714:2:3241
715:2:3252
716:2:3260
717:0:4464
718:2:3131
719:0:4464
720:1:632
721:1:633
722:1:637
723:1:638
724:1:646
725:1:647
726:1:651
727:1:652
728:1:660
729:1:665
730:1:669
731:1:670
732:1:678
733:1:679
734:1:683
735:1:684
736:1:678
737:1:679
738:1:683
739:1:684
740:1:692
741:1:697
742:1:698
743:1:709
744:1:710
745:1:711
746:1:722
747:1:734
748:1:735
749:1:739
750:1:740
751:1:741
752:1:739
753:1:740
754:1:741
755:1:752
756:0:4464
757:1:11
758:0:4464
759:1:761
760:1:764
761:1:765
762:0:4464
763:1:11
764:0:4464
765:1:1028
766:1:1029
767:1:1033
768:1:1034
769:1:1042
770:1:1043
771:1:1047
772:1:1048
773:1:1056
774:1:1061
775:1:1065
776:1:1066
777:1:1074
778:1:1075
779:1:1079
780:1:1080
781:1:1074
782:1:1075
783:1:1079
784:1:1080
785:1:1088
786:1:1093
787:1:1094
788:1:1105
789:1:1106
790:1:1107
791:1:1118
792:1:1130
793:1:1131
794:1:1135
795:1:1136
796:1:1137
797:1:1135
798:1:1136
799:1:1137
800:1:1148
801:1:1155
802:1:1159
803:0:4464
804:1:11
805:0:4464
806:1:1160
807:1:1161
808:1:1165
809:1:1166
810:1:1174
811:1:1175
812:1:1176
813:1:1188
814:1:1193
815:1:1197
816:1:1198
817:1:1206
818:1:1207
819:1:1211
820:1:1212
821:1:1206
822:1:1207
823:1:1211
824:1:1212
825:1:1220
826:1:1225
827:1:1226
828:1:1237
829:1:1238
830:1:1239
831:1:1250
832:1:1262
833:1:1263
834:1:1267
835:1:1268
836:1:1269
837:1:1267
838:1:1268
839:1:1269
840:1:1280
841:0:4464
842:1:11
843:0:4464
844:1:1289
845:0:4464
846:1:3023
847:1:3030
848:1:3031
849:1:3038
850:1:3043
851:1:3050
852:1:3051
853:1:3050
854:1:3051
855:1:3058
856:1:3062
857:0:4464
858:2:3264
859:2:3268
860:2:3269
861:2:3273
862:2:3277
863:2:3278
864:2:3282
865:2:3290
866:2:3291
867:2:3295
868:2:3299
869:2:3300
870:2:3295
871:2:3296
872:2:3304
873:0:4464
874:2:3131
875:0:4464
876:2:3312
877:2:3313
878:2:3314
879:0:4464
880:2:3131
881:0:4464
882:2:3319
883:0:4464
884:2:4021
885:2:4022
886:2:4026
887:2:4030
888:2:4031
889:2:4035
890:2:4040
891:2:4048
892:2:4052
893:2:4053
894:2:4048
895:2:4052
896:2:4053
897:2:4057
898:2:4064
899:2:4071
900:2:4072
901:2:4079
902:2:4084
903:2:4091
904:2:4092
905:2:4091
906:2:4092
907:2:4099
908:2:4103
909:0:4464
910:2:3321
911:2:4002
912:0:4464
913:2:3131
914:0:4464
915:2:3322
916:0:4464
917:2:3131
918:0:4464
919:2:3325
920:2:3326
921:2:3330
922:2:3331
923:2:3339
924:2:3340
925:2:3344
926:2:3345
927:2:3353
928:2:3358
929:2:3362
930:2:3363
931:2:3371
932:2:3372
933:2:3376
934:2:3377
935:2:3371
936:2:3372
937:2:3376
938:2:3377
939:2:3385
940:2:3390
941:2:3391
942:2:3402
943:2:3403
944:2:3404
945:2:3415
946:2:3420
947:2:3421
948:2:3432
949:2:3433
950:2:3434
951:2:3432
952:2:3433
953:2:3434
954:2:3445
955:2:3452
956:0:4464
957:2:3131
958:0:4464
959:2:3456
960:2:3457
961:2:3458
962:2:3470
963:2:3471
964:2:3475
965:2:3476
966:2:3484
967:2:3489
968:2:3493
969:2:3494
970:2:3502
971:2:3503
972:2:3507
973:2:3508
974:2:3502
975:2:3503
976:2:3507
977:2:3508
978:2:3516
979:2:3521
980:2:3522
981:2:3533
982:2:3534
983:2:3535
984:2:3546
985:2:3551
986:2:3552
987:2:3563
988:2:3564
989:2:3565
990:2:3563
991:2:3564
992:2:3565
993:2:3576
994:2:3584
995:0:4464
996:2:3131
997:0:4464
998:2:3590
999:0:4464
1000:2:4112
1001:2:4113
1002:2:4117
1003:2:4121
1004:2:4122
1005:2:4126
1006:2:4134
1007:2:4135
1008:2:4139
1009:2:4143
1010:2:4144
1011:2:4139
1012:2:4143
1013:2:4144
1014:2:4148
1015:2:4155
1016:2:4162
1017:2:4163
1018:2:4170
1019:2:4175
1020:2:4182
1021:2:4183
1022:2:4182
1023:2:4183
1024:2:4190
1025:2:4194
1026:0:4464
1027:2:3592
1028:2:4002
1029:0:4464
1030:2:3131
1031:0:4464
1032:1:1291
1033:1:1292
1034:0:4462
1035:1:11
1036:0:4468
1037:2:3480