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