userspace-rcu formal model removal

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_free_single_flip.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail
deleted file mode 100644 (file)
index 53de47d..0000000
--- a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1238 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:2889
-2:2:1136
-3:2:1141
-4:2:1145
-5:2:1153
-6:2:1157
-7:2:1161
-8:0:2889
-9:1:0
-10:1:5
-11:1:9
-12:1:17
-13:1:21
-14:1:25
-15:0:2889
-16:3:2861
-17:3:2864
-18:3:2869
-19:3:2876
-20:3:2879
-21:3:2883
-22:3:2884
-23:0:2889
-24:3:2886
-25:0:2889
-26:2:1165
-27:0:2889
-28:2:1171
-29:0:2889
-30:2:1172
-31:0:2889
-32:2:1174
-33:0:2889
-34:2:1175
-35:0:2889
-36:2:1176
-37:0:2889
-38:2:1177
-39:0:2889
-40:2:1178
-41:0:2889
-42:2:1179
-43:0:2889
-44:2:1180
-45:2:1181
-46:2:1185
-47:2:1186
-48:2:1194
-49:2:1195
-50:2:1199
-51:2:1200
-52:2:1208
-53:2:1213
-54:2:1217
-55:2:1218
-56:2:1226
-57:2:1227
-58:2:1231
-59:2:1232
-60:2:1226
-61:2:1227
-62:2:1231
-63:2:1232
-64:2:1240
-65:2:1245
-66:2:1246
-67:2:1257
-68:2:1258
-69:2:1259
-70:2:1270
-71:2:1275
-72:2:1276
-73:2:1287
-74:2:1288
-75:2:1289
-76:2:1287
-77:2:1288
-78:2:1289
-79:2:1300
-80:2:1308
-81:0:2889
-82:2:1179
-83:0:2889
-84:2:1312
-85:2:1316
-86:2:1317
-87:2:1321
-88:2:1325
-89:2:1326
-90:2:1330
-91:2:1338
-92:2:1339
-93:2:1343
-94:2:1347
-95:2:1348
-96:2:1343
-97:2:1344
-98:2:1352
-99:0:2889
-100:2:1179
-101:0:2889
-102:2:1360
-103:2:1361
-104:2:1362
-105:0:2889
-106:2:1179
-107:0:2889
-108:2:1367
-109:0:2889
-110:2:2070
-111:2:2071
-112:2:2075
-113:2:2079
-114:2:2080
-115:2:2084
-116:2:2089
-117:2:2097
-118:2:2101
-119:2:2102
-120:2:2097
-121:2:2101
-122:2:2102
-123:2:2106
-124:2:2113
-125:2:2120
-126:2:2121
-127:2:2128
-128:2:2133
-129:2:2140
-130:2:2141
-131:2:2140
-132:2:2141
-133:2:2148
-134:2:2152
-135:0:2889
-136:2:2157
-137:0:2889
-138:2:2158
-139:0:2889
-140:2:2159
-141:0:2889
-142:2:2160
-143:0:2889
-144:1:29
-145:0:2889
-146:2:2161
-147:0:2889
-148:1:35
-149:0:2889
-150:1:36
-151:0:2889
-152:2:2160
-153:0:2889
-154:1:37
-155:0:2889
-156:2:2161
-157:0:2889
-158:1:38
-159:0:2889
-160:2:2160
-161:0:2889
-162:1:39
-163:0:2889
-164:2:2161
-165:0:2889
-166:1:40
-167:0:2889
-168:1:41
-169:0:2889
-170:2:2160
-171:0:2889
-172:1:42
-173:0:2889
-174:2:2161
-175:0:2889
-176:1:51
-177:0:2889
-178:2:2160
-179:0:2889
-180:1:55
-181:1:56
-182:1:60
-183:1:64
-184:1:65
-185:1:69
-186:1:77
-187:1:78
-188:1:82
-189:1:86
-190:1:87
-191:1:82
-192:1:86
-193:1:87
-194:1:91
-195:1:98
-196:1:105
-197:1:106
-198:1:113
-199:1:118
-200:1:125
-201:1:126
-202:1:125
-203:1:126
-204:1:133
-205:1:137
-206:0:2889
-207:2:2161
-208:0:2889
-209:1:142
-210:0:2889
-211:2:2162
-212:0:2889
-213:2:2167
-214:0:2889
-215:2:2168
-216:0:2889
-217:2:2176
-218:2:2177
-219:2:2181
-220:2:2185
-221:2:2186
-222:2:2190
-223:2:2198
-224:2:2199
-225:2:2203
-226:2:2207
-227:2:2208
-228:2:2203
-229:2:2207
-230:2:2208
-231:2:2212
-232:2:2219
-233:2:2226
-234:2:2227
-235:2:2234
-236:2:2239
-237:2:2246
-238:2:2247
-239:2:2246
-240:2:2247
-241:2:2254
-242:2:2258
-243:0:2889
-244:2:1369
-245:2:2051
-246:0:2889
-247:2:1179
-248:0:2889
-249:2:1370
-250:0:2889
-251:2:1179
-252:0:2889
-253:2:1373
-254:2:1374
-255:2:1378
-256:2:1379
-257:2:1387
-258:2:1388
-259:2:1392
-260:2:1393
-261:2:1401
-262:2:1406
-263:2:1410
-264:2:1411
-265:2:1419
-266:2:1420
-267:2:1424
-268:2:1425
-269:2:1419
-270:2:1420
-271:2:1424
-272:2:1425
-273:2:1433
-274:2:1438
-275:2:1439
-276:2:1450
-277:2:1451
-278:2:1452
-279:2:1463
-280:2:1468
-281:2:1469
-282:2:1480
-283:2:1481
-284:2:1482
-285:2:1480
-286:2:1481
-287:2:1482
-288:2:1493
-289:2:1500
-290:0:2889
-291:2:1179
-292:0:2889
-293:2:1504
-294:2:1505
-295:2:1506
-296:2:1518
-297:2:1519
-298:2:1523
-299:2:1524
-300:2:1532
-301:2:1537
-302:2:1541
-303:2:1542
-304:2:1550
-305:2:1551
-306:2:1555
-307:2:1556
-308:2:1550
-309:2:1551
-310:2:1555
-311:2:1556
-312:2:1564
-313:2:1569
-314:2:1570
-315:2:1581
-316:2:1582
-317:2:1583
-318:2:1594
-319:2:1599
-320:2:1600
-321:2:1611
-322:2:1612
-323:2:1613
-324:2:1611
-325:2:1612
-326:2:1613
-327:2:1624
-328:2:1634
-329:2:1635
-330:0:2889
-331:2:1179
-332:0:2889
-333:2:2039
-334:0:2889
-335:2:2664
-336:2:2665
-337:2:2669
-338:2:2673
-339:2:2674
-340:2:2678
-341:2:2686
-342:2:2687
-343:2:2691
-344:2:2695
-345:2:2696
-346:2:2691
-347:2:2695
-348:2:2696
-349:2:2700
-350:2:2707
-351:2:2714
-352:2:2715
-353:2:2722
-354:2:2727
-355:2:2734
-356:2:2735
-357:2:2734
-358:2:2735
-359:2:2742
-360:2:2746
-361:0:2889
-362:2:2751
-363:0:2889
-364:2:2752
-365:0:2889
-366:2:2753
-367:0:2889
-368:2:2754
-369:0:2889
-370:1:143
-371:0:2889
-372:2:2755
-373:0:2889
-374:1:145
-375:0:2889
-376:2:2754
-377:0:2889
-378:1:44
-379:0:2889
-380:2:2755
-381:0:2889
-382:1:151
-383:1:152
-384:1:156
-385:1:157
-386:1:165
-387:1:166
-388:1:170
-389:1:171
-390:1:179
-391:1:184
-392:1:188
-393:1:189
-394:1:197
-395:1:198
-396:1:202
-397:1:203
-398:1:197
-399:1:198
-400:1:202
-401:1:203
-402:1:211
-403:1:223
-404:1:224
-405:1:228
-406:1:229
-407:1:230
-408:1:241
-409:1:246
-410:1:247
-411:1:258
-412:1:259
-413:1:260
-414:1:258
-415:1:259
-416:1:260
-417:1:271
-418:0:2889
-419:1:40
-420:0:2889
-421:1:41
-422:0:2889
-423:2:2754
-424:0:2889
-425:1:42
-426:0:2889
-427:2:2755
-428:0:2889
-429:1:143
-430:0:2889
-431:1:145
-432:0:2889
-433:2:2754
-434:0:2889
-435:1:44
-436:0:2889
-437:2:2755
-438:0:2889
-439:1:280
-440:1:281
-441:0:2889
-442:1:40
-443:0:2889
-444:1:41
-445:0:2889
-446:2:2754
-447:0:2889
-448:1:42
-449:0:2889
-450:2:2755
-451:0:2889
-452:1:143
-453:0:2889
-454:1:145
-455:0:2889
-456:2:2754
-457:0:2889
-458:1:44
-459:0:2889
-460:2:2755
-461:0:2889
-462:1:287
-463:1:288
-464:1:292
-465:1:293
-466:1:301
-467:1:302
-468:1:306
-469:1:307
-470:1:315
-471:1:320
-472:1:324
-473:1:325
-474:1:333
-475:1:334
-476:1:338
-477:1:339
-478:1:333
-479:1:334
-480:1:338
-481:1:339
-482:1:347
-483:1:359
-484:1:360
-485:1:364
-486:1:365
-487:1:366
-488:1:377
-489:1:382
-490:1:383
-491:1:394
-492:1:395
-493:1:396
-494:1:394
-495:1:395
-496:1:396
-497:1:407
-498:0:2889
-499:1:40
-500:0:2889
-501:1:41
-502:0:2889
-503:2:2754
-504:0:2889
-505:1:42
-506:0:2889
-507:2:2755
-508:0:2889
-509:1:51
-510:0:2889
-511:2:2754
-512:0:2889
-513:1:55
-514:1:56
-515:1:60
-516:1:64
-517:1:65
-518:1:69
-519:1:77
-520:1:78
-521:1:82
-522:1:86
-523:1:87
-524:1:82
-525:1:86
-526:1:87
-527:1:91
-528:1:98
-529:1:105
-530:1:106
-531:1:113
-532:1:118
-533:1:125
-534:1:126
-535:1:125
-536:1:126
-537:1:133
-538:1:137
-539:0:2889
-540:2:2755
-541:0:2889
-542:1:142
-543:0:2889
-544:2:2756
-545:0:2889
-546:2:2761
-547:0:2889
-548:2:2762
-549:0:2889
-550:2:2770
-551:2:2771
-552:2:2775
-553:2:2779
-554:2:2780
-555:2:2784
-556:2:2792
-557:2:2793
-558:2:2797
-559:2:2801
-560:2:2802
-561:2:2797
-562:2:2801
-563:2:2802
-564:2:2806
-565:2:2813
-566:2:2820
-567:2:2821
-568:2:2828
-569:2:2833
-570:2:2840
-571:2:2841
-572:2:2840
-573:2:2841
-574:2:2848
-575:2:2852
-576:0:2889
-577:2:2041
-578:2:2051
-579:0:2889
-580:2:1179
-581:0:2889
-582:2:2042
-583:2:2043
-584:0:2889
-585:2:1179
-586:0:2889
-587:2:2047
-588:0:2889
-589:2:2055
-590:0:2889
-591:2:1172
-592:0:2889
-593:2:1174
-594:0:2889
-595:2:1175
-596:0:2889
-597:2:1176
-598:0:2889
-599:2:1177
-600:0:2889
-601:2:1178
-602:0:2889
-603:2:1179
-604:0:2889
-605:2:1180
-606:2:1181
-607:2:1185
-608:2:1186
-609:2:1194
-610:2:1195
-611:2:1199
-612:2:1200
-613:2:1208
-614:2:1213
-615:2:1217
-616:2:1218
-617:2:1226
-618:2:1227
-619:2:1228
-620:2:1226
-621:2:1227
-622:2:1231
-623:2:1232
-624:2:1240
-625:2:1245
-626:2:1246
-627:2:1257
-628:2:1258
-629:2:1259
-630:2:1270
-631:2:1275
-632:2:1276
-633:2:1287
-634:2:1288
-635:2:1289
-636:2:1287
-637:2:1288
-638:2:1289
-639:2:1300
-640:2:1308
-641:0:2889
-642:2:1179
-643:0:2889
-644:2:1312
-645:2:1316
-646:2:1317
-647:2:1321
-648:2:1325
-649:2:1326
-650:2:1330
-651:2:1338
-652:2:1339
-653:2:1343
-654:2:1344
-655:2:1343
-656:2:1347
-657:2:1348
-658:2:1352
-659:0:2889
-660:2:1179
-661:0:2889
-662:2:1360
-663:2:1361
-664:2:1362
-665:0:2889
-666:2:1179
-667:0:2889
-668:2:1367
-669:0:2889
-670:2:2070
-671:2:2071
-672:2:2075
-673:2:2079
-674:2:2080
-675:2:2084
-676:2:2089
-677:2:2097
-678:2:2101
-679:2:2102
-680:2:2097
-681:2:2101
-682:2:2102
-683:2:2106
-684:2:2113
-685:2:2120
-686:2:2121
-687:2:2128
-688:2:2133
-689:2:2140
-690:2:2141
-691:2:2140
-692:2:2141
-693:2:2148
-694:2:2152
-695:0:2889
-696:2:2157
-697:0:2889
-698:2:2158
-699:0:2889
-700:2:2159
-701:0:2889
-702:2:2160
-703:0:2889
-704:1:143
-705:0:2889
-706:2:2161
-707:0:2889
-708:1:145
-709:0:2889
-710:2:2160
-711:0:2889
-712:1:44
-713:0:2889
-714:2:2161
-715:0:2889
-716:1:416
-717:1:417
-718:1:421
-719:1:422
-720:1:430
-721:1:431
-722:1:435
-723:1:436
-724:1:444
-725:1:449
-726:1:453
-727:1:454
-728:1:462
-729:1:463
-730:1:467
-731:1:468
-732:1:462
-733:1:463
-734:1:467
-735:1:468
-736:1:476
-737:1:481
-738:1:482
-739:1:493
-740:1:494
-741:1:495
-742:1:506
-743:1:518
-744:1:519
-745:1:523
-746:1:524
-747:1:525
-748:1:523
-749:1:524
-750:1:525
-751:1:536
-752:1:543
-753:0:2889
-754:1:40
-755:0:2889
-756:1:41
-757:0:2889
-758:2:2160
-759:0:2889
-760:1:42
-761:0:2889
-762:2:2161
-763:0:2889
-764:1:143
-765:0:2889
-766:1:145
-767:0:2889
-768:2:2160
-769:0:2889
-770:1:44
-771:0:2889
-772:2:2161
-773:0:2889
-774:1:681
-775:1:682
-776:1:686
-777:1:687
-778:1:695
-779:1:696
-780:1:697
-781:1:709
-782:1:714
-783:1:718
-784:1:719
-785:1:727
-786:1:728
-787:1:732
-788:1:733
-789:1:727
-790:1:728
-791:1:732
-792:1:733
-793:1:741
-794:1:746
-795:1:747
-796:1:758
-797:1:759
-798:1:760
-799:1:771
-800:1:783
-801:1:784
-802:1:788
-803:1:789
-804:1:790
-805:1:788
-806:1:789
-807:1:790
-808:1:801
-809:0:2889
-810:1:40
-811:0:2889
-812:1:41
-813:0:2889
-814:2:2160
-815:0:2889
-816:1:42
-817:0:2889
-818:2:2161
-819:0:2889
-820:1:51
-821:0:2889
-822:2:2160
-823:0:2889
-824:1:55
-825:1:56
-826:1:60
-827:1:64
-828:1:65
-829:1:69
-830:1:77
-831:1:78
-832:1:82
-833:1:86
-834:1:87
-835:1:82
-836:1:86
-837:1:87
-838:1:91
-839:1:98
-840:1:105
-841:1:106
-842:1:113
-843:1:118
-844:1:125
-845:1:126
-846:1:125
-847:1:126
-848:1:133
-849:1:137
-850:0:2889
-851:2:2161
-852:0:2889
-853:1:142
-854:0:2889
-855:2:2162
-856:0:2889
-857:2:2167
-858:0:2889
-859:2:2168
-860:0:2889
-861:2:2176
-862:2:2177
-863:2:2181
-864:2:2185
-865:2:2186
-866:2:2190
-867:2:2198
-868:2:2199
-869:2:2203
-870:2:2207
-871:2:2208
-872:2:2203
-873:2:2207
-874:2:2208
-875:2:2212
-876:2:2219
-877:2:2226
-878:2:2227
-879:2:2234
-880:2:2239
-881:2:2246
-882:2:2247
-883:2:2246
-884:2:2247
-885:2:2254
-886:2:2258
-887:0:2889
-888:2:1369
-889:2:2051
-890:0:2889
-891:2:1179
-892:0:2889
-893:2:1370
-894:0:2889
-895:2:1179
-896:0:2889
-897:2:1373
-898:2:1374
-899:2:1378
-900:2:1379
-901:2:1387
-902:2:1388
-903:2:1392
-904:2:1393
-905:2:1401
-906:2:1406
-907:2:1410
-908:2:1411
-909:2:1419
-910:2:1420
-911:2:1424
-912:2:1425
-913:2:1419
-914:2:1420
-915:2:1424
-916:2:1425
-917:2:1433
-918:2:1438
-919:2:1439
-920:2:1450
-921:2:1451
-922:2:1452
-923:2:1463
-924:2:1468
-925:2:1469
-926:2:1480
-927:2:1481
-928:2:1482
-929:2:1480
-930:2:1481
-931:2:1482
-932:2:1493
-933:2:1500
-934:0:2889
-935:2:1179
-936:0:2889
-937:2:1504
-938:2:1505
-939:2:1506
-940:2:1518
-941:2:1519
-942:2:1523
-943:2:1524
-944:2:1532
-945:2:1537
-946:2:1541
-947:2:1542
-948:2:1550
-949:2:1551
-950:2:1555
-951:2:1556
-952:2:1550
-953:2:1551
-954:2:1555
-955:2:1556
-956:2:1564
-957:2:1569
-958:2:1570
-959:2:1581
-960:2:1582
-961:2:1583
-962:2:1594
-963:2:1599
-964:2:1600
-965:2:1611
-966:2:1612
-967:2:1613
-968:2:1611
-969:2:1612
-970:2:1613
-971:2:1624
-972:2:1634
-973:2:1635
-974:0:2889
-975:2:1179
-976:0:2889
-977:2:2039
-978:0:2889
-979:2:2664
-980:2:2665
-981:2:2669
-982:2:2673
-983:2:2674
-984:2:2678
-985:2:2686
-986:2:2687
-987:2:2691
-988:2:2695
-989:2:2696
-990:2:2691
-991:2:2695
-992:2:2696
-993:2:2700
-994:2:2707
-995:2:2714
-996:2:2715
-997:2:2722
-998:2:2727
-999:2:2734
-1000:2:2735
-1001:2:2734
-1002:2:2735
-1003:2:2742
-1004:2:2746
-1005:0:2889
-1006:2:2751
-1007:0:2889
-1008:2:2752
-1009:0:2889
-1010:2:2753
-1011:0:2889
-1012:2:2754
-1013:0:2889
-1014:1:51
-1015:0:2889
-1016:2:2755
-1017:0:2889
-1018:1:55
-1019:1:56
-1020:1:60
-1021:1:64
-1022:1:65
-1023:1:69
-1024:1:77
-1025:1:78
-1026:1:82
-1027:1:86
-1028:1:87
-1029:1:82
-1030:1:86
-1031:1:87
-1032:1:91
-1033:1:98
-1034:1:105
-1035:1:106
-1036:1:113
-1037:1:118
-1038:1:125
-1039:1:126
-1040:1:125
-1041:1:126
-1042:1:133
-1043:1:137
-1044:0:2889
-1045:2:2754
-1046:0:2889
-1047:1:142
-1048:0:2889
-1049:2:2755
-1050:0:2889
-1051:2:2756
-1052:0:2889
-1053:2:2761
-1054:0:2889
-1055:2:2762
-1056:0:2889
-1057:2:2770
-1058:2:2771
-1059:2:2775
-1060:2:2779
-1061:2:2780
-1062:2:2784
-1063:2:2792
-1064:2:2793
-1065:2:2797
-1066:2:2801
-1067:2:2802
-1068:2:2797
-1069:2:2801
-1070:2:2802
-1071:2:2806
-1072:2:2813
-1073:2:2820
-1074:2:2821
-1075:2:2828
-1076:2:2833
-1077:2:2840
-1078:2:2841
-1079:2:2840
-1080:2:2841
-1081:2:2848
-1082:2:2852
-1083:0:2889
-1084:2:2041
-1085:2:2051
-1086:0:2889
-1087:2:1179
-1088:0:2889
-1089:2:2042
-1090:2:2043
-1091:0:2889
-1092:2:1179
-1093:0:2889
-1094:2:2047
-1095:0:2889
-1096:2:2055
-1097:0:2889
-1098:2:1172
-1099:0:2889
-1100:2:1174
-1101:0:2889
-1102:2:1175
-1103:0:2889
-1104:2:1176
-1105:0:2889
-1106:2:1177
-1107:0:2889
-1108:2:1178
-1109:0:2889
-1110:2:1179
-1111:0:2889
-1112:2:1180
-1113:2:1181
-1114:2:1185
-1115:2:1186
-1116:2:1194
-1117:2:1195
-1118:2:1199
-1119:2:1200
-1120:2:1208
-1121:2:1213
-1122:2:1217
-1123:2:1218
-1124:2:1226
-1125:2:1227
-1126:2:1231
-1127:2:1232
-1128:2:1226
-1129:2:1227
-1130:2:1228
-1131:2:1240
-1132:2:1245
-1133:2:1246
-1134:2:1257
-1135:2:1258
-1136:2:1259
-1137:2:1270
-1138:2:1275
-1139:2:1276
-1140:2:1287
-1141:2:1288
-1142:2:1289
-1143:2:1287
-1144:2:1288
-1145:2:1289
-1146:2:1300
-1147:2:1308
-1148:0:2889
-1149:2:1179
-1150:0:2889
-1151:1:143
-1152:0:2889
-1153:1:145
-1154:0:2889
-1155:1:44
-1156:0:2889
-1157:1:810
-1158:0:2889
-1159:1:1087
-1160:1:1094
-1161:1:1095
-1162:1:1102
-1163:1:1107
-1164:1:1114
-1165:1:1115
-1166:1:1114
-1167:1:1115
-1168:1:1122
-1169:1:1126
-1170:0:2889
-1171:2:1312
-1172:2:1316
-1173:2:1317
-1174:2:1321
-1175:2:1325
-1176:2:1326
-1177:2:1330
-1178:2:1338
-1179:2:1339
-1180:2:1343
-1181:2:1347
-1182:2:1348
-1183:2:1343
-1184:2:1344
-1185:2:1352
-1186:0:2889
-1187:2:1179
-1188:0:2889
-1189:2:1360
-1190:2:1361
-1191:2:1362
-1192:0:2889
-1193:2:1179
-1194:0:2889
-1195:2:1367
-1196:0:2889
-1197:2:2070
-1198:2:2071
-1199:2:2075
-1200:2:2079
-1201:2:2080
-1202:2:2084
-1203:2:2089
-1204:2:2097
-1205:2:2101
-1206:2:2102
-1207:2:2097
-1208:2:2101
-1209:2:2102
-1210:2:2106
-1211:2:2113
-1212:2:2120
-1213:2:2121
-1214:2:2128
-1215:2:2133
-1216:2:2140
-1217:2:2141
-1218:2:2140
-1219:2:2141
-1220:2:2148
-1221:2:2152
-1222:0:2889
-1223:2:2157
-1224:0:2889
-1225:2:2158
-1226:0:2889
-1227:2:2159
-1228:0:2889
-1229:2:2160
-1230:0:2889
-1231:1:812
-1232:1:813
-1233:0:2887
-1234:2:2161
-1235:0:2893
-1236:1:1005