X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;ds=sidebyside;f=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Fresult-ipi-urcu_free%2Furcu_progress_writer_error.spin.input.trail;fp=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Fresult-ipi-urcu_free%2Furcu_progress_writer_error.spin.input.trail;h=0000000000000000000000000000000000000000;hb=8322221dc666e720badeb06bc780a1f8e69020a0;hp=de65badfe60254c875570751214e9499883539e0;hpb=1d268896f82b053d886a4242433f3c2abcb5a203;p=urcu.git

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail
deleted file mode 100644
index de65bad..0000000
--- a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail
+++ /dev/null
@@ -1,1215 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4499
-2:3:4419
-3:3:4422
-4:3:4422
-5:3:4425
-6:3:4433
-7:3:4433
-8:3:4436
-9:3:4442
-10:3:4446
-11:3:4446
-12:3:4449
-13:3:4459
-14:3:4467
-15:3:4467
-16:3:4470
-17:3:4476
-18:3:4480
-19:3:4480
-20:3:4483
-21:3:4489
-22:3:4493
-23:3:4494
-24:0:4499
-25:3:4496
-26:0:4499
-27:2:2873
-28:0:4499
-29:2:2879
-30:0:4499
-31:2:2880
-32:0:4499
-33:2:2881
-34:0:4497
-35:2:2882
-36:0:4503
-37:2:2883
-38:0:4503
-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:4503
-77:2:2883
-78:0:4503
-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:4503
-95:2:2883
-96:0:4503
-97:2:3064
-98:2:3065
-99:2:3066
-100:0:4503
-101:2:2883
-102:0:4503
-103:2:3071
-104:0:4503
-105:2:4024
-106:2:4025
-107:2:4029
-108:2:4033
-109:2:4034
-110:2:4038
-111:2:4043
-112:2:4051
-113:2:4055
-114:2:4056
-115:2:4051
-116:2:4055
-117:2:4056
-118:2:4060
-119:2:4067
-120:2:4074
-121:2:4075
-122:2:4082
-123:2:4087
-124:2:4094
-125:2:4095
-126:2:4094
-127:2:4095
-128:2:4102
-129:2:4106
-130:0:4503
-131:2:4111
-132:0:4503
-133:2:4112
-134:0:4503
-135:2:4113
-136:0:4503
-137:2:4114
-138:0:4503
-139:1:2
-140:0:4503
-141:2:4115
-142:0:4503
-143:1:8
-144:0:4503
-145:1:9
-146:0:4503
-147:2:4114
-148:0:4503
-149:2:4115
-150:0:4503
-151:1:10
-152:0:4503
-153:2:4114
-154:0:4503
-155:2:4115
-156:0:4503
-157:1:11
-158:0:4503
-159:2:4114
-160:0:4503
-161:2:4115
-162:0:4503
-163:1:12
-164:0:4503
-165:2:4114
-166:0:4503
-167:2:4115
-168:0:4503
-169:1:13
-170:0:4503
-171:2:4114
-172:0:4503
-173:2:4115
-174:0:4503
-175:1:14
-176:0:4503
-177:1:15
-178:0:4503
-179:1:23
-180:0:4503
-181:1:24
-182:0:4503
-183:2:4114
-184:0:4503
-185:2:4115
-186:0:4503
-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:4503
-224:1:15
-225:0:4503
-226:1:23
-227:0:4503
-228:1:24
-229:0:4503
-230:2:4114
-231:0:4503
-232:2:4115
-233:0:4503
-234:1:257
-235:1:258
-236:0:4503
-237:1:15
-238:0:4503
-239:1:23
-240:0:4503
-241:1:24
-242:0:4503
-243:2:4114
-244:0:4503
-245:2:4115
-246:0:4503
-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:4503
-284:1:15
-285:0:4503
-286:1:23
-287:0:4503
-288:1:24
-289:0:4503
-290:2:4114
-291:0:4503
-292:2:4115
-293:0:4503
-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:4503
-332:1:15
-333:0:4503
-334:1:23
-335:0:4503
-336:1:24
-337:0:4503
-338:2:4114
-339:0:4503
-340:2:4115
-341:0:4503
-342:1:658
-343:1:659
-344:1:663
-345:1:664
-346:1:672
-347:1:673
-348:1:674
-349:1:686
-350:1:691
-351:1:695
-352:1:696
-353:1:704
-354:1:705
-355:1:709
-356:1:710
-357:1:704
-358:1:705
-359:1:709
-360:1:710
-361:1:718
-362:1:723
-363:1:724
-364:1:735
-365:1:736
-366:1:737
-367:1:748
-368:1:753
-369:1:754
-370:1:765
-371:1:766
-372:1:767
-373:1:765
-374:1:766
-375:1:767
-376:1:778
-377:0:4503
-378:1:15
-379:0:4503
-380:1:23
-381:0:4503
-382:1:24
-383:0:4503
-384:2:4114
-385:0:4503
-386:2:4115
-387:0:4503
-388:1:787
-389:1:790
-390:1:791
-391:0:4503
-392:1:15
-393:0:4503
-394:1:23
-395:0:4503
-396:1:24
-397:0:4503
-398:2:4114
-399:0:4503
-400:2:4115
-401:0:4503
-402:1:1054
-403:1:1055
-404:1:1059
-405:1:1060
-406:1:1068
-407:1:1069
-408:1:1073
-409:1:1074
-410:1:1082
-411:1:1087
-412:1:1091
-413:1:1092
-414:1:1100
-415:1:1101
-416:1:1105
-417:1:1106
-418:1:1100
-419:1:1101
-420:1:1105
-421:1:1106
-422:1:1114
-423:1:1119
-424:1:1120
-425:1:1131
-426:1:1132
-427:1:1133
-428:1:1144
-429:1:1149
-430:1:1150
-431:1:1161
-432:1:1162
-433:1:1163
-434:1:1161
-435:1:1162
-436:1:1163
-437:1:1174
-438:1:1181
-439:1:1185
-440:0:4503
-441:1:15
-442:0:4503
-443:1:23
-444:0:4503
-445:1:24
-446:0:4503
-447:2:4114
-448:0:4503
-449:2:4115
-450:0:4503
-451:1:1186
-452:1:1187
-453:1:1191
-454:1:1192
-455:1:1200
-456:1:1201
-457:1:1202
-458:1:1214
-459:1:1219
-460:1:1223
-461:1:1224
-462:1:1232
-463:1:1233
-464:1:1237
-465:1:1238
-466:1:1232
-467:1:1233
-468:1:1237
-469:1:1238
-470:1:1246
-471:1:1251
-472:1:1252
-473:1:1263
-474:1:1264
-475:1:1265
-476:1:1276
-477:1:1281
-478:1:1282
-479:1:1293
-480:1:1294
-481:1:1295
-482:1:1293
-483:1:1294
-484:1:1295
-485:1:1306
-486:0:4503
-487:1:15
-488:0:4503
-489:1:23
-490:0:4503
-491:1:24
-492:0:4503
-493:2:4114
-494:0:4503
-495:2:4115
-496:0:4503
-497:1:1315
-498:0:4503
-499:2:4114
-500:0:4503
-501:2:4115
-502:0:4503
-503:1:2779
-504:1:2786
-505:1:2787
-506:1:2794
-507:1:2799
-508:1:2806
-509:1:2807
-510:1:2806
-511:1:2807
-512:1:2814
-513:1:2818
-514:0:4503
-515:2:4114
-516:0:4503
-517:2:4115
-518:0:4503
-519:1:1317
-520:1:1318
-521:0:4503
-522:1:15
-523:0:4503
-524:1:23
-525:0:4503
-526:1:24
-527:0:4503
-528:2:4114
-529:0:4503
-530:2:4115
-531:0:4503
-532:1:1319
-533:1:1320
-534:1:1324
-535:1:1325
-536:1:1333
-537:1:1334
-538:1:1338
-539:1:1339
-540:1:1347
-541:1:1352
-542:1:1356
-543:1:1357
-544:1:1365
-545:1:1366
-546:1:1370
-547:1:1371
-548:1:1365
-549:1:1366
-550:1:1370
-551:1:1371
-552:1:1379
-553:1:1384
-554:1:1385
-555:1:1396
-556:1:1397
-557:1:1398
-558:1:1409
-559:1:1414
-560:1:1415
-561:1:1426
-562:1:1427
-563:1:1428
-564:1:1426
-565:1:1427
-566:1:1428
-567:1:1439
-568:0:4503
-569:1:15
-570:0:4503
-571:1:23
-572:0:4503
-573:1:24
-574:0:4503
-575:2:4114
-576:0:4503
-577:2:4115
-578:0:4503
-579:1:1448
-580:1:1449
-581:1:1453
-582:1:1454
-583:1:1462
-584:1:1463
-585:1:1467
-586:1:1468
-587:1:1476
-588:1:1481
-589:1:1485
-590:1:1486
-591:1:1494
-592:1:1495
-593:1:1499
-594:1:1500
-595:1:1494
-596:1:1495
-597:1:1499
-598:1:1500
-599:1:1508
-600:1:1513
-601:1:1514
-602:1:1525
-603:1:1526
-604:1:1527
-605:1:1538
-606:1:1543
-607:1:1544
-608:1:1555
-609:1:1556
-610:1:1557
-611:1:1555
-612:1:1556
-613:1:1557
-614:1:1568
-615:1:1575
-616:1:1579
-617:0:4503
-618:1:15
-619:0:4503
-620:1:23
-621:0:4503
-622:1:24
-623:0:4503
-624:2:4114
-625:0:4503
-626:2:4115
-627:0:4503
-628:1:1582
-629:1:1583
-630:1:1587
-631:1:1588
-632:1:1596
-633:1:1597
-634:1:1598
-635:1:1610
-636:1:1615
-637:1:1619
-638:1:1620
-639:1:1628
-640:1:1629
-641:1:1633
-642:1:1634
-643:1:1628
-644:1:1629
-645:1:1633
-646:1:1634
-647:1:1642
-648:1:1647
-649:1:1648
-650:1:1659
-651:1:1660
-652:1:1661
-653:1:1672
-654:1:1677
-655:1:1678
-656:1:1689
-657:1:1690
-658:1:1691
-659:1:1689
-660:1:1690
-661:1:1691
-662:1:1702
-663:0:4503
-664:1:15
-665:0:4503
-666:1:23
-667:0:4503
-668:1:24
-669:0:4503
-670:2:4114
-671:0:4503
-672:2:4115
-673:0:4503
-674:1:1711
-675:1:1712
-676:1:1716
-677:1:1717
-678:1:1725
-679:1:1726
-680:1:1730
-681:1:1731
-682:1:1739
-683:1:1744
-684:1:1748
-685:1:1749
-686:1:1757
-687:1:1758
-688:1:1762
-689:1:1763
-690:1:1757
-691:1:1758
-692:1:1762
-693:1:1763
-694:1:1771
-695:1:1776
-696:1:1777
-697:1:1788
-698:1:1789
-699:1:1790
-700:1:1801
-701:1:1806
-702:1:1807
-703:1:1818
-704:1:1819
-705:1:1820
-706:1:1818
-707:1:1819
-708:1:1820
-709:1:1831
-710:1:1838
-711:1:1842
-712:0:4503
-713:1:15
-714:0:4503
-715:1:23
-716:0:4503
-717:1:24
-718:0:4503
-719:2:4114
-720:0:4503
-721:2:4115
-722:0:4503
-723:1:1843
-724:1:1844
-725:1:1848
-726:1:1849
-727:1:1857
-728:1:1858
-729:1:1859
-730:1:1871
-731:1:1876
-732:1:1880
-733:1:1881
-734:1:1889
-735:1:1890
-736:1:1894
-737:1:1895
-738:1:1889
-739:1:1890
-740:1:1894
-741:1:1895
-742:1:1903
-743:1:1908
-744:1:1909
-745:1:1920
-746:1:1921
-747:1:1922
-748:1:1933
-749:1:1938
-750:1:1939
-751:1:1950
-752:1:1951
-753:1:1952
-754:1:1950
-755:1:1951
-756:1:1952
-757:1:1963
-758:0:4503
-759:1:15
-760:0:4503
-761:1:23
-762:0:4503
-763:1:24
-764:0:4503
-765:2:4114
-766:0:4503
-767:2:4115
-768:0:4503
-769:1:1972
-770:1:1973
-771:0:4503
-772:1:15
-773:0:4503
-774:1:23
-775:0:4503
-776:1:24
-777:0:4503
-778:2:4114
-779:0:4503
-780:2:4115
-781:0:4503
-782:1:1979
-783:1:1980
-784:1:1984
-785:1:1985
-786:1:1993
-787:1:1994
-788:1:1998
-789:1:1999
-790:1:2007
-791:1:2012
-792:1:2016
-793:1:2017
-794:1:2025
-795:1:2026
-796:1:2030
-797:1:2031
-798:1:2025
-799:1:2026
-800:1:2030
-801:1:2031
-802:1:2039
-803:1:2044
-804:1:2045
-805:1:2056
-806:1:2057
-807:1:2058
-808:1:2069
-809:1:2074
-810:1:2075
-811:1:2086
-812:1:2087
-813:1:2088
-814:1:2086
-815:1:2087
-816:1:2088
-817:1:2099
-818:0:4503
-819:1:15
-820:0:4503
-821:1:23
-822:0:4503
-823:1:24
-824:0:4503
-825:2:4114
-826:0:4503
-827:2:4115
-828:0:4503
-829:1:2108
-830:1:2109
-831:1:2113
-832:1:2114
-833:1:2122
-834:1:2123
-835:1:2127
-836:1:2128
-837:1:2136
-838:1:2141
-839:1:2145
-840:1:2146
-841:1:2154
-842:1:2155
-843:1:2159
-844:1:2160
-845:1:2154
-846:1:2155
-847:1:2159
-848:1:2160
-849:1:2168
-850:1:2173
-851:1:2174
-852:1:2185
-853:1:2186
-854:1:2187
-855:1:2198
-856:1:2203
-857:1:2204
-858:1:2215
-859:1:2216
-860:1:2217
-861:1:2215
-862:1:2216
-863:1:2217
-864:1:2228
-865:1:2235
-866:0:4503
-867:1:15
-868:0:4503
-869:1:23
-870:0:4503
-871:1:24
-872:0:4503
-873:2:4114
-874:0:4503
-875:2:4115
-876:0:4503
-877:1:2373
-878:1:2374
-879:1:2378
-880:1:2379
-881:1:2387
-882:1:2388
-883:1:2389
-884:1:2401
-885:1:2406
-886:1:2410
-887:1:2411
-888:1:2419
-889:1:2420
-890:1:2424
-891:1:2425
-892:1:2419
-893:1:2420
-894:1:2424
-895:1:2425
-896:1:2433
-897:1:2438
-898:1:2439
-899:1:2450
-900:1:2451
-901:1:2452
-902:1:2463
-903:1:2468
-904:1:2469
-905:1:2480
-906:1:2481
-907:1:2482
-908:1:2480
-909:1:2481
-910:1:2482
-911:1:2493
-912:0:4503
-913:1:15
-914:0:4503
-915:1:23
-916:0:4503
-917:1:24
-918:0:4503
-919:2:4114
-920:0:4503
-921:2:4115
-922:0:4503
-923:1:2502
-924:0:4503
-925:2:4114
-926:0:4503
-927:2:4115
-928:0:4503
-929:1:2822
-930:1:2829
-931:1:2830
-932:1:2837
-933:1:2842
-934:1:2849
-935:1:2850
-936:1:2849
-937:1:2850
-938:1:2857
-939:1:2861
-940:0:4503
-941:2:4114
-942:0:4503
-943:2:4115
-944:0:4503
-945:1:2504
-946:1:2505
-947:0:4503
-948:1:15
-949:0:4503
-950:1:23
-951:0:4503
-952:1:24
-953:0:4503
-954:2:4114
-955:0:4503
-956:2:4115
-957:0:4503
-958:1:2508
-959:1:2509
-960:1:2513
-961:1:2514
-962:1:2522
-963:1:2523
-964:1:2527
-965:1:2528
-966:1:2536
-967:1:2541
-968:1:2545
-969:1:2546
-970:1:2554
-971:1:2555
-972:1:2559
-973:1:2560
-974:1:2554
-975:1:2555
-976:1:2559
-977:1:2560
-978:1:2568
-979:1:2573
-980:1:2574
-981:1:2585
-982:1:2586
-983:1:2587
-984:1:2598
-985:1:2603
-986:1:2604
-987:1:2615
-988:1:2616
-989:1:2617
-990:1:2615
-991:1:2616
-992:1:2617
-993:1:2628
-994:0:4503
-995:1:15
-996:0:4503
-997:1:23
-998:0:4503
-999:1:24
-1000:0:4503
-1001:2:4114
-1002:0:4503
-1003:2:4115
-1004:0:4503
-1005:1:2637
-1006:1:2638
-1007:1:2642
-1008:1:2643
-1009:1:2651
-1010:1:2652
-1011:1:2656
-1012:1:2657
-1013:1:2665
-1014:1:2670
-1015:1:2674
-1016:1:2675
-1017:1:2683
-1018:1:2684
-1019:1:2688
-1020:1:2689
-1021:1:2683
-1022:1:2684
-1023:1:2688
-1024:1:2689
-1025:1:2697
-1026:1:2702
-1027:1:2703
-1028:1:2714
-1029:1:2715
-1030:1:2716
-1031:1:2727
-1032:1:2732
-1033:1:2733
-1034:1:2744
-1035:1:2745
-1036:1:2746
-1037:1:2744
-1038:1:2745
-1039:1:2746
-1040:1:2757
-1041:1:2764
-1042:1:2768
-1043:0:4503
-1044:1:15
-1045:0:4503
-1046:1:23
-1047:0:4503
-1048:1:24
-1049:0:4503
-1050:2:4114
-1051:0:4503
-1052:2:4115
-1053:0:4503
-1054:1:2769
-1055:0:4503
-1056:1:2777
-1057:0:4503
-1058:1:2865
-1059:0:4503
-1060:1:9
-1061:0:4503
-1062:2:4114
-1063:0:4503
-1064:2:4115
-1065:0:4503
-1066:1:10
-1067:0:4503
-1068:2:4114
-1069:0:4503
-1070:2:4115
-1071:0:4503
-1072:1:11
-1073:0:4503
-1074:2:4114
-1075:0:4503
-1076:2:4115
-1077:0:4503
-1078:1:12
-1079:0:4503
-1080:2:4114
-1081:0:4503
-1082:2:4115
-1083:0:4503
-1084:1:13
-1085:0:4503
-1086:2:4114
-1087:0:4503
-1088:2:4115
-1089:0:4503
-1090:1:14
-1091:0:4503
-1092:1:15
-1093:0:4503
-1094:1:23
-1095:0:4503
-1096:1:24
-1097:0:4503
-1098:2:4114
-1099:0:4503
-1100:2:4115
-1101:0:4503
-1102:1:128
-1103:1:129
-1104:1:133
-1105:1:134
-1106:1:142
-1107:1:143
-1108:1:144
-1109:1:156
-1110:1:161
-1111:1:165
-1112:1:166
-1113:1:174
-1114:1:175
-1115:1:179
-1116:1:180
-1117:1:174
-1118:1:175
-1119:1:179
-1120:1:180
-1121:1:188
-1122:1:193
-1123:1:194
-1124:1:205
-1125:1:206
-1126:1:207
-1127:1:218
-1128:1:223
-1129:1:224
-1130:1:235
-1131:1:236
-1132:1:237
-1133:1:235
-1134:1:236
-1135:1:237
-1136:1:248
-1137:0:4503
-1138:1:15
-1139:0:4503
-1140:1:23
-1141:0:4503
-1142:1:24
-1143:0:4503
-1144:2:4114
-1145:0:4503
-1146:2:4115
-1147:0:4503
-1148:1:257
-1149:1:258
-1150:0:4503
-1151:1:15
-1152:0:4503
-1153:1:23
-1154:0:4503
-1155:1:24
-1156:0:4503
-1157:2:4114
-1158:0:4503
-1159:2:4115
-1160:0:4503
-1161:1:1186
-1162:1:1187
-1163:1:1191
-1164:1:1192
-1165:1:1200
-1166:1:1201
-1167:1:1205
-1168:1:1206
-1169:1:1214
-1170:1:1219
-1171:1:1223
-1172:1:1224
-1173:1:1232
-1174:1:1233
-1175:1:1237
-1176:1:1238
-1177:1:1232
-1178:1:1233
-1179:1:1237
-1180:1:1238
-1181:1:1246
-1182:1:1251
-1183:1:1252
-1184:1:1263
-1185:1:1264
-1186:1:1265
-1187:1:1276
-1188:1:1281
-1189:1:1282
-1190:1:1293
-1191:1:1294
-1192:1:1295
-1193:1:1293
-1194:1:1294
-1195:1:1295
-1196:1:1306
-1197:0:4503
-1198:1:15
-1199:0:4503
-1200:1:16
--1:-1:-1
-1201:0:4503
-1202:2:4114
-1203:0:4503
-1204:2:4115
-1205:0:4503
-1206:2:4114
-1207:0:4503
-1208:2:4115
-1209:0:4503
-1210:2:4114
-1211:0:4503
-1212:2:4115