userspace-rcu formal model removal

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

diff --git a/formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail
deleted file mode 100644 (file)
index 6eb297f..0000000
--- a/formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1062 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:3997
-2:3:3917
-3:3:3920
-4:3:3920
-5:3:3923
-6:3:3931
-7:3:3931
-8:3:3934
-9:3:3940
-10:3:3944
-11:3:3944
-12:3:3947
-13:3:3957
-14:3:3965
-15:3:3965
-16:3:3968
-17:3:3974
-18:3:3978
-19:3:3978
-20:3:3981
-21:3:3987
-22:3:3991
-23:3:3992
-24:0:3997
-25:3:3994
-26:0:3997
-27:2:2757
-28:0:3997
-29:2:2763
-30:0:3997
-31:2:2764
-32:0:3997
-33:2:2766
-34:0:3997
-35:2:2767
-36:0:3997
-37:2:2768
-38:0:3997
-39:2:2769
-40:0:3997
-41:2:2770
-42:0:3997
-43:2:2771
-44:0:3997
-45:2:2772
-46:2:2773
-47:2:2777
-48:2:2778
-49:2:2786
-50:2:2787
-51:2:2791
-52:2:2792
-53:2:2800
-54:2:2805
-55:2:2809
-56:2:2810
-57:2:2818
-58:2:2819
-59:2:2823
-60:2:2824
-61:2:2818
-62:2:2819
-63:2:2823
-64:2:2824
-65:2:2832
-66:2:2837
-67:2:2844
-68:2:2845
-69:2:2852
-70:2:2857
-71:2:2864
-72:2:2865
-73:2:2864
-74:2:2865
-75:2:2872
-76:2:2882
-77:0:3997
-78:2:2771
-79:0:3997
-80:2:2886
-81:2:2890
-82:2:2891
-83:2:2895
-84:2:2899
-85:2:2900
-86:2:2904
-87:2:2912
-88:2:2913
-89:2:2917
-90:2:2921
-91:2:2922
-92:2:2917
-93:2:2918
-94:2:2926
-95:0:3997
-96:2:2771
-97:0:3997
-98:2:2934
-99:2:2935
-100:2:2936
-101:0:3997
-102:2:2771
-103:0:3997
-104:2:2941
-105:0:3997
-106:2:3554
-107:2:3555
-108:2:3559
-109:2:3563
-110:2:3564
-111:2:3568
-112:2:3573
-113:2:3581
-114:2:3585
-115:2:3586
-116:2:3581
-117:2:3585
-118:2:3586
-119:2:3590
-120:2:3597
-121:2:3604
-122:2:3605
-123:2:3612
-124:2:3617
-125:2:3624
-126:2:3625
-127:2:3624
-128:2:3625
-129:2:3632
-130:2:3636
-131:0:3997
-132:2:2943
-133:2:3535
-134:0:3997
-135:2:2771
-136:0:3997
-137:2:2944
-138:0:3997
-139:2:2771
-140:0:3997
-141:2:2947
-142:2:2948
-143:2:2952
-144:2:2953
-145:2:2961
-146:2:2962
-147:2:2966
-148:2:2967
-149:2:2975
-150:2:2980
-151:2:2984
-152:2:2985
-153:2:2993
-154:2:2994
-155:2:2998
-156:2:2999
-157:2:2993
-158:2:2994
-159:2:2998
-160:2:2999
-161:2:3007
-162:2:3012
-163:2:3019
-164:2:3020
-165:2:3027
-166:2:3032
-167:2:3039
-168:2:3040
-169:2:3039
-170:2:3040
-171:2:3047
-172:2:3056
-173:0:3997
-174:2:2771
-175:0:3997
-176:2:3060
-177:2:3069
-178:2:3070
-179:2:3074
-180:2:3075
-181:2:3079
-182:2:3080
-183:2:3088
-184:2:3093
-185:2:3097
-186:2:3098
-187:2:3106
-188:2:3107
-189:2:3111
-190:2:3112
-191:2:3106
-192:2:3107
-193:2:3111
-194:2:3112
-195:2:3120
-196:2:3127
-197:2:3128
-198:2:3132
-199:2:3133
-200:2:3140
-201:2:3145
-202:2:3152
-203:2:3153
-204:2:3152
-205:2:3153
-206:2:3160
-207:2:3172
-208:2:3173
-209:0:3997
-210:2:2771
-211:0:3997
-212:2:3523
-213:0:3997
-214:1:2
-215:0:3997
-216:1:8
-217:0:3997
-218:1:9
-219:0:3997
-220:1:10
-221:0:3997
-222:1:11
-223:0:3997
-224:1:12
-225:1:13
-226:1:17
-227:1:18
-228:1:26
-229:1:27
-230:1:31
-231:1:32
-232:1:40
-233:1:45
-234:1:49
-235:1:50
-236:1:58
-237:1:59
-238:1:63
-239:1:64
-240:1:58
-241:1:59
-242:1:63
-243:1:64
-244:1:72
-245:1:77
-246:1:84
-247:1:85
-248:1:92
-249:1:97
-250:1:104
-251:1:105
-252:1:104
-253:1:105
-254:1:112
-255:0:3997
-256:1:11
-257:0:3997
-258:1:123
-259:1:124
-260:0:3997
-261:1:11
-262:0:3997
-263:1:130
-264:1:131
-265:1:135
-266:1:136
-267:1:144
-268:1:145
-269:1:149
-270:1:150
-271:1:158
-272:1:163
-273:1:167
-274:1:168
-275:1:176
-276:1:177
-277:1:181
-278:1:182
-279:1:176
-280:1:177
-281:1:181
-282:1:182
-283:1:190
-284:1:195
-285:1:202
-286:1:203
-287:1:210
-288:1:215
-289:1:222
-290:1:223
-291:1:222
-292:1:223
-293:1:230
-294:0:3997
-295:1:11
-296:0:3997
-297:2:3824
-298:2:3832
-299:2:3836
-300:2:3837
-301:2:3841
-302:2:3849
-303:2:3850
-304:2:3854
-305:2:3858
-306:2:3859
-307:2:3854
-308:2:3858
-309:2:3859
-310:2:3863
-311:2:3870
-312:2:3877
-313:2:3878
-314:2:3885
-315:2:3890
-316:2:3897
-317:2:3898
-318:2:3897
-319:2:3898
-320:2:3905
-321:2:3909
-322:0:3997
-323:2:3525
-324:2:3535
-325:0:3997
-326:2:2771
-327:0:3997
-328:2:3526
-329:2:3527
-330:0:3997
-331:2:2771
-332:0:3997
-333:2:3531
-334:0:3997
-335:2:3539
-336:0:3997
-337:2:2764
-338:0:3997
-339:2:2766
-340:0:3997
-341:2:2767
-342:0:3997
-343:2:2768
-344:0:3997
-345:2:2769
-346:0:3997
-347:2:2770
-348:0:3997
-349:2:2771
-350:0:3997
-351:2:2772
-352:2:2773
-353:2:2777
-354:2:2778
-355:2:2786
-356:2:2787
-357:2:2791
-358:2:2792
-359:2:2800
-360:2:2805
-361:2:2809
-362:2:2810
-363:2:2818
-364:2:2819
-365:2:2820
-366:2:2818
-367:2:2819
-368:2:2823
-369:2:2824
-370:2:2832
-371:2:2837
-372:2:2844
-373:2:2845
-374:2:2852
-375:2:2857
-376:2:2864
-377:2:2865
-378:2:2864
-379:2:2865
-380:2:2872
-381:2:2882
-382:0:3997
-383:2:2771
-384:0:3997
-385:2:2886
-386:2:2890
-387:2:2891
-388:2:2895
-389:2:2899
-390:2:2900
-391:2:2904
-392:2:2912
-393:2:2913
-394:2:2917
-395:2:2918
-396:2:2917
-397:2:2921
-398:2:2922
-399:2:2926
-400:0:3997
-401:2:2771
-402:0:3997
-403:2:2934
-404:2:2935
-405:2:2936
-406:0:3997
-407:2:2771
-408:0:3997
-409:2:2941
-410:0:3997
-411:1:241
-412:1:242
-413:1:246
-414:1:247
-415:1:255
-416:1:256
-417:1:260
-418:1:261
-419:1:269
-420:1:274
-421:1:278
-422:1:279
-423:1:287
-424:1:288
-425:1:292
-426:1:293
-427:1:287
-428:1:288
-429:1:292
-430:1:293
-431:1:301
-432:1:306
-433:1:313
-434:1:314
-435:1:321
-436:1:326
-437:1:333
-438:1:334
-439:1:333
-440:1:334
-441:1:341
-442:1:350
-443:0:3997
-444:1:11
-445:0:3997
-446:1:468
-447:1:472
-448:1:473
-449:1:477
-450:1:478
-451:1:486
-452:1:494
-453:1:495
-454:1:499
-455:1:503
-456:1:504
-457:1:499
-458:1:503
-459:1:504
-460:1:508
-461:1:515
-462:1:522
-463:1:523
-464:1:530
-465:1:535
-466:1:542
-467:1:543
-468:1:542
-469:1:543
-470:1:550
-471:0:3997
-472:1:11
-473:0:3997
-474:1:560
-475:1:561
-476:1:565
-477:1:566
-478:1:574
-479:1:575
-480:1:579
-481:1:580
-482:1:588
-483:1:593
-484:1:597
-485:1:598
-486:1:606
-487:1:607
-488:1:611
-489:1:612
-490:1:606
-491:1:607
-492:1:611
-493:1:612
-494:1:620
-495:1:625
-496:1:632
-497:1:633
-498:1:640
-499:1:645
-500:1:652
-501:1:653
-502:1:652
-503:1:653
-504:1:660
-505:0:3997
-506:1:11
-507:0:3997
-508:1:671
-509:1:674
-510:1:675
-511:0:3997
-512:1:11
-513:0:3997
-514:1:678
-515:1:679
-516:1:683
-517:1:684
-518:1:692
-519:1:693
-520:1:697
-521:1:698
-522:1:706
-523:1:711
-524:1:715
-525:1:716
-526:1:724
-527:1:725
-528:1:729
-529:1:730
-530:1:724
-531:1:725
-532:1:729
-533:1:730
-534:1:738
-535:1:743
-536:1:750
-537:1:751
-538:1:758
-539:1:763
-540:1:770
-541:1:771
-542:1:770
-543:1:771
-544:1:778
-545:0:3997
-546:1:11
-547:0:3997
-548:1:902
-549:1:903
-550:1:907
-551:1:908
-552:1:916
-553:1:917
-554:1:921
-555:1:922
-556:1:930
-557:1:935
-558:1:939
-559:1:940
-560:1:948
-561:1:949
-562:1:953
-563:1:954
-564:1:948
-565:1:949
-566:1:953
-567:1:954
-568:1:962
-569:1:967
-570:1:974
-571:1:975
-572:1:982
-573:1:987
-574:1:994
-575:1:995
-576:1:994
-577:1:995
-578:1:1002
-579:1:1011
-580:1:1015
-581:0:3997
-582:1:11
-583:0:3997
-584:1:1016
-585:1:1017
-586:1:1021
-587:1:1022
-588:1:1030
-589:1:1031
-590:1:1032
-591:1:1044
-592:1:1049
-593:1:1053
-594:1:1054
-595:1:1062
-596:1:1063
-597:1:1067
-598:1:1068
-599:1:1062
-600:1:1063
-601:1:1067
-602:1:1068
-603:1:1076
-604:1:1081
-605:1:1088
-606:1:1089
-607:1:1096
-608:1:1101
-609:1:1108
-610:1:1109
-611:1:1108
-612:1:1109
-613:1:1116
-614:0:3997
-615:1:11
-616:0:3997
-617:2:3554
-618:2:3555
-619:2:3559
-620:2:3563
-621:2:3564
-622:2:3568
-623:2:3573
-624:2:3581
-625:2:3585
-626:2:3586
-627:2:3581
-628:2:3585
-629:2:3586
-630:2:3590
-631:2:3597
-632:2:3604
-633:2:3605
-634:2:3612
-635:2:3617
-636:2:3624
-637:2:3625
-638:2:3624
-639:2:3625
-640:2:3632
-641:2:3636
-642:0:3997
-643:2:2943
-644:2:3535
-645:0:3997
-646:2:2771
-647:0:3997
-648:2:2944
-649:0:3997
-650:2:2771
-651:0:3997
-652:2:2947
-653:2:2948
-654:2:2952
-655:2:2953
-656:2:2961
-657:2:2962
-658:2:2966
-659:2:2967
-660:2:2975
-661:2:2980
-662:2:2984
-663:2:2985
-664:2:2993
-665:2:2994
-666:2:2998
-667:2:2999
-668:2:2993
-669:2:2994
-670:2:2998
-671:2:2999
-672:2:3007
-673:2:3012
-674:2:3019
-675:2:3020
-676:2:3027
-677:2:3032
-678:2:3039
-679:2:3040
-680:2:3039
-681:2:3040
-682:2:3047
-683:2:3056
-684:0:3997
-685:2:2771
-686:0:3997
-687:2:3060
-688:2:3061
-689:2:3062
-690:2:3074
-691:2:3075
-692:2:3079
-693:2:3080
-694:2:3088
-695:2:3093
-696:2:3097
-697:2:3098
-698:2:3106
-699:2:3107
-700:2:3111
-701:2:3112
-702:2:3106
-703:2:3107
-704:2:3111
-705:2:3112
-706:2:3120
-707:2:3125
-708:2:3132
-709:2:3133
-710:2:3140
-711:2:3145
-712:2:3152
-713:2:3153
-714:2:3152
-715:2:3153
-716:2:3160
-717:2:3172
-718:2:3173
-719:0:3997
-720:2:2771
-721:0:3997
-722:2:3523
-723:0:3997
-724:2:3827
-725:2:3828
-726:2:3832
-727:2:3836
-728:2:3837
-729:2:3841
-730:2:3849
-731:2:3850
-732:2:3854
-733:2:3858
-734:2:3859
-735:2:3854
-736:2:3858
-737:2:3859
-738:2:3863
-739:2:3870
-740:2:3877
-741:2:3878
-742:2:3885
-743:2:3890
-744:2:3897
-745:2:3898
-746:2:3897
-747:2:3898
-748:2:3905
-749:2:3909
-750:0:3997
-751:2:3525
-752:2:3535
-753:0:3997
-754:2:2771
-755:0:3997
-756:2:3526
-757:2:3527
-758:0:3997
-759:2:2771
-760:0:3997
-761:2:3531
-762:0:3997
-763:2:3539
-764:0:3997
-765:2:2764
-766:0:3997
-767:2:2766
-768:0:3997
-769:2:2767
-770:0:3997
-771:2:2768
-772:0:3997
-773:2:2769
-774:0:3997
-775:2:2770
-776:0:3997
-777:2:2771
-778:0:3997
-779:2:2772
-780:2:2773
-781:2:2777
-782:2:2778
-783:2:2786
-784:2:2787
-785:2:2791
-786:2:2792
-787:2:2800
-788:2:2805
-789:2:2809
-790:2:2810
-791:2:2818
-792:2:2819
-793:2:2823
-794:2:2824
-795:2:2818
-796:2:2819
-797:2:2820
-798:2:2832
-799:2:2837
-800:2:2844
-801:2:2845
-802:2:2852
-803:2:2857
-804:2:2864
-805:2:2865
-806:2:2864
-807:2:2865
-808:2:2872
-809:2:2882
-810:0:3997
-811:2:2771
-812:0:3997
-813:1:1127
-814:0:3997
-815:1:2663
-816:1:2670
-817:1:2671
-818:1:2678
-819:1:2683
-820:1:2690
-821:1:2691
-822:1:2690
-823:1:2691
-824:1:2698
-825:1:2702
-826:0:3997
-827:2:2886
-828:2:2890
-829:2:2891
-830:2:2895
-831:2:2899
-832:2:2900
-833:2:2904
-834:2:2912
-835:2:2913
-836:2:2917
-837:2:2921
-838:2:2922
-839:2:2917
-840:2:2918
-841:2:2926
-842:0:3997
-843:2:2771
-844:0:3997
-845:2:2934
-846:2:2935
-847:2:2936
-848:0:3997
-849:2:2771
-850:0:3997
-851:2:2941
-852:0:3997
-853:2:3554
-854:2:3555
-855:2:3559
-856:2:3563
-857:2:3564
-858:2:3568
-859:2:3573
-860:2:3581
-861:2:3585
-862:2:3586
-863:2:3581
-864:2:3585
-865:2:3586
-866:2:3590
-867:2:3597
-868:2:3604
-869:2:3605
-870:2:3612
-871:2:3617
-872:2:3624
-873:2:3625
-874:2:3624
-875:2:3625
-876:2:3632
-877:2:3636
-878:0:3997
-879:2:2943
-880:2:3535
-881:0:3997
-882:2:2771
-883:0:3997
-884:2:2944
-885:0:3997
-886:2:2771
-887:0:3997
-888:2:2947
-889:2:2948
-890:2:2952
-891:2:2953
-892:2:2961
-893:2:2962
-894:2:2966
-895:2:2967
-896:2:2975
-897:2:2980
-898:2:2984
-899:2:2985
-900:2:2993
-901:2:2994
-902:2:2998
-903:2:2999
-904:2:2993
-905:2:2994
-906:2:2998
-907:2:2999
-908:2:3007
-909:2:3012
-910:2:3019
-911:2:3020
-912:2:3027
-913:2:3032
-914:2:3039
-915:2:3040
-916:2:3039
-917:2:3040
-918:2:3047
-919:2:3056
-920:0:3997
-921:2:2771
-922:0:3997
-923:2:3060
-924:2:3061
-925:2:3062
-926:2:3074
-927:2:3075
-928:2:3079
-929:2:3080
-930:2:3088
-931:2:3093
-932:2:3097
-933:2:3098
-934:2:3106
-935:2:3107
-936:2:3111
-937:2:3112
-938:2:3106
-939:2:3107
-940:2:3111
-941:2:3112
-942:2:3120
-943:2:3125
-944:2:3132
-945:2:3133
-946:2:3140
-947:2:3145
-948:2:3152
-949:2:3153
-950:2:3152
-951:2:3153
-952:2:3160
-953:2:3170
-954:0:3997
-955:2:2771
-956:0:3997
-957:2:3176
-958:0:3997
-959:2:3645
-960:2:3646
-961:2:3650
-962:2:3654
-963:2:3655
-964:2:3659
-965:2:3667
-966:2:3668
-967:2:3672
-968:2:3676
-969:2:3677
-970:2:3672
-971:2:3676
-972:2:3677
-973:2:3681
-974:2:3688
-975:2:3695
-976:2:3696
-977:2:3703
-978:2:3708
-979:2:3715
-980:2:3716
-981:2:3715
-982:2:3716
-983:2:3723
-984:2:3727
-985:0:3997
-986:2:3178
-987:2:3179
-988:0:3997
-989:2:2771
-990:0:3997
-991:2:3060
-992:2:3061
-993:2:3065
-994:2:3066
-995:2:3074
-996:2:3075
-997:2:3079
-998:2:3080
-999:2:3088
-1000:2:3093
-1001:2:3097
-1002:2:3098
-1003:2:3106
-1004:2:3107
-1005:2:3111
-1006:2:3112
-1007:2:3106
-1008:2:3107
-1009:2:3111
-1010:2:3112
-1011:2:3120
-1012:2:3125
-1013:2:3132
-1014:2:3133
-1015:2:3140
-1016:2:3145
-1017:2:3152
-1018:2:3153
-1019:2:3152
-1020:2:3153
-1021:2:3160
-1022:2:3170
-1023:0:3997
-1024:2:2771
-1025:0:3997
-1026:2:3176
-1027:0:3997
-1028:2:3645
-1029:2:3646
-1030:2:3650
-1031:2:3654
-1032:2:3655
-1033:2:3659
-1034:2:3667
-1035:2:3668
-1036:2:3672
-1037:2:3676
-1038:2:3677
-1039:2:3672
-1040:2:3676
-1041:2:3677
-1042:2:3681
-1043:2:3688
-1044:2:3695
-1045:2:3696
-1046:2:3703
-1047:2:3708
-1048:2:3715
-1049:2:3716
-1050:2:3715
-1051:2:3716
-1052:2:3723
-1053:2:3727
-1054:0:3997
-1055:1:1129
-1056:1:1130
-1057:0:3995
-1058:1:11
-1059:0:4001
-1060:1:1715