Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input.trail
deleted file mode 100644 (file)
index e8b02f0..0000000
--- a/formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input.trail
+++ /dev/null
@@ -1,884 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4645
-2:3:4565
-3:3:4568
-4:3:4568
-5:3:4571
-6:3:4579
-7:3:4579
-8:3:4582
-9:3:4588
-10:3:4592
-11:3:4592
-12:3:4595
-13:3:4605
-14:3:4613
-15:3:4613
-16:3:4616
-17:3:4622
-18:3:4626
-19:3:4626
-20:3:4629
-21:3:4635
-22:3:4639
-23:3:4640
-24:0:4645
-25:3:4642
-26:0:4645
-27:2:2873
-28:0:4645
-29:2:2879
-30:0:4645
-31:2:2880
-32:0:4645
-33:2:2881
-34:0:4643
-35:2:2882
-36:0:4649
-37:2:2883
-38:0:4649
-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:4649
-77:2:2883
-78:0:4649
-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:4649
-95:2:2883
-96:0:4649
-97:2:3064
-98:2:3065
-99:2:3066
-100:0:4649
-101:2:2883
-102:0:4649
-103:2:3071
-104:0:4649
-105:2:3774
-106:2:3775
-107:2:3779
-108:2:3783
-109:2:3784
-110:2:3788
-111:2:3793
-112:2:3801
-113:2:3805
-114:2:3806
-115:2:3801
-116:2:3805
-117:2:3806
-118:2:3810
-119:2:3817
-120:2:3824
-121:2:3825
-122:2:3832
-123:2:3837
-124:2:3844
-125:2:3845
-126:2:3844
-127:2:3845
-128:2:3852
-129:2:3856
-130:0:4649
-131:2:3861
-132:0:4649
-133:2:3862
-134:0:4649
-135:2:3863
-136:0:4649
-137:2:3864
-138:0:4649
-139:1:2
-140:0:4649
-141:2:3865
-142:0:4649
-143:1:8
-144:0:4649
-145:1:9
-146:0:4649
-147:2:3864
-148:0:4649
-149:2:3865
-150:0:4649
-151:1:10
-152:0:4649
-153:2:3864
-154:0:4649
-155:2:3865
-156:0:4649
-157:1:11
-158:0:4649
-159:2:3864
-160:0:4649
-161:2:3865
-162:0:4649
-163:1:12
-164:0:4649
-165:2:3864
-166:0:4649
-167:2:3865
-168:0:4649
-169:1:13
-170:0:4649
-171:2:3864
-172:0:4649
-173:2:3865
-174:0:4649
-175:1:14
-176:0:4649
-177:1:15
-178:0:4649
-179:1:23
-180:0:4649
-181:1:24
-182:0:4649
-183:2:3864
-184:0:4649
-185:2:3865
-186:0:4649
-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:4649
-224:1:15
-225:0:4649
-226:1:23
-227:0:4649
-228:1:24
-229:0:4649
-230:2:3864
-231:0:4649
-232:2:3865
-233:0:4649
-234:1:257
-235:1:258
-236:0:4649
-237:1:15
-238:0:4649
-239:1:23
-240:0:4649
-241:1:24
-242:0:4649
-243:2:3864
-244:0:4649
-245:2:3865
-246:0:4649
-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:4649
-284:1:15
-285:0:4649
-286:1:23
-287:0:4649
-288:1:24
-289:0:4649
-290:2:3864
-291:0:4649
-292:2:3865
-293:0:4649
-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:4649
-332:1:15
-333:0:4649
-334:1:16
-335:0:4649
-336:2:3864
-337:0:4649
-338:2:3865
-339:0:4649
-340:1:17
-341:0:4649
-342:2:3864
-343:0:4649
-344:2:3865
-345:0:4649
-346:1:28
-347:0:4649
-348:2:3864
-349:0:4649
-350:2:3865
-351:0:4649
-352:1:32
-353:1:33
-354:1:37
-355:1:38
-356:1:46
-357:1:54
-358:1:55
-359:1:59
-360:1:63
-361:1:64
-362:1:59
-363:1:63
-364:1:64
-365:1:68
-366:1:75
-367:1:82
-368:1:83
-369:1:90
-370:1:95
-371:1:102
-372:1:103
-373:1:102
-374:1:103
-375:1:110
-376:1:114
-377:0:4649
-378:2:3864
-379:0:4649
-380:2:3865
-381:0:4649
-382:1:119
-383:0:4649
-384:2:3866
-385:0:4649
-386:2:3871
-387:0:4649
-388:2:3872
-389:0:4649
-390:2:3880
-391:2:3881
-392:2:3885
-393:2:3889
-394:2:3890
-395:2:3894
-396:2:3902
-397:2:3903
-398:2:3907
-399:2:3911
-400:2:3912
-401:2:3907
-402:2:3911
-403:2:3912
-404:2:3916
-405:2:3923
-406:2:3930
-407:2:3931
-408:2:3938
-409:2:3943
-410:2:3950
-411:2:3951
-412:2:3950
-413:2:3951
-414:2:3958
-415:2:3962
-416:0:4649
-417:2:3073
-418:2:3755
-419:0:4649
-420:2:2883
-421:0:4649
-422:2:3074
-423:0:4649
-424:2:2883
-425:0:4649
-426:2:3077
-427:2:3078
-428:2:3082
-429:2:3083
-430:2:3091
-431:2:3092
-432:2:3096
-433:2:3097
-434:2:3105
-435:2:3110
-436:2:3114
-437:2:3115
-438:2:3123
-439:2:3124
-440:2:3128
-441:2:3129
-442:2:3123
-443:2:3124
-444:2:3128
-445:2:3129
-446:2:3137
-447:2:3142
-448:2:3143
-449:2:3154
-450:2:3155
-451:2:3156
-452:2:3167
-453:2:3172
-454:2:3173
-455:2:3184
-456:2:3185
-457:2:3186
-458:2:3184
-459:2:3185
-460:2:3186
-461:2:3197
-462:2:3204
-463:0:4649
-464:2:2883
-465:0:4649
-466:2:3208
-467:2:3209
-468:2:3210
-469:2:3222
-470:2:3223
-471:2:3227
-472:2:3228
-473:2:3236
-474:2:3241
-475:2:3245
-476:2:3246
-477:2:3254
-478:2:3255
-479:2:3259
-480:2:3260
-481:2:3254
-482:2:3255
-483:2:3259
-484:2:3260
-485:2:3268
-486:2:3273
-487:2:3274
-488:2:3285
-489:2:3286
-490:2:3287
-491:2:3298
-492:2:3303
-493:2:3304
-494:2:3315
-495:2:3316
-496:2:3317
-497:2:3315
-498:2:3316
-499:2:3317
-500:2:3328
-501:2:3337
-502:0:4649
-503:2:2883
-504:0:4649
-505:2:3343
-506:0:4649
-507:2:3972
-508:2:3973
-509:2:3977
-510:2:3981
-511:2:3982
-512:2:3986
-513:2:3994
-514:2:3995
-515:2:3999
-516:2:4003
-517:2:4004
-518:2:3999
-519:2:4003
-520:2:4004
-521:2:4008
-522:2:4015
-523:2:4022
-524:2:4023
-525:2:4030
-526:2:4035
-527:2:4042
-528:2:4043
-529:2:4042
-530:2:4043
-531:2:4050
-532:2:4054
-533:0:4649
-534:2:4059
-535:0:4649
-536:2:4060
-537:0:4649
-538:2:4061
-539:0:4649
-540:2:4062
-541:0:4649
-542:1:28
-543:0:4649
-544:2:4063
-545:0:4649
-546:2:4062
-547:0:4649
-548:1:32
-549:1:33
-550:1:37
-551:1:41
-552:1:42
-553:1:46
-554:1:54
-555:1:55
-556:1:59
-557:1:63
-558:1:64
-559:1:59
-560:1:63
-561:1:64
-562:1:68
-563:1:75
-564:1:82
-565:1:83
-566:1:90
-567:1:95
-568:1:102
-569:1:103
-570:1:102
-571:1:103
-572:1:110
-573:1:114
--1:-1:-1
-574:0:4649
-575:2:4063
-576:0:4649
-577:2:4062
-578:0:4649
-579:1:119
-580:0:4649
-581:2:4063
-582:0:4649
-583:2:4064
-584:0:4649
-585:2:4069
-586:0:4649
-587:2:4070
-588:0:4649
-589:2:4078
-590:2:4079
-591:2:4083
-592:2:4087
-593:2:4088
-594:2:4092
-595:2:4100
-596:2:4101
-597:2:4105
-598:2:4109
-599:2:4110
-600:2:4105
-601:2:4109
-602:2:4110
-603:2:4114
-604:2:4121
-605:2:4128
-606:2:4129
-607:2:4136
-608:2:4141
-609:2:4148
-610:2:4149
-611:2:4148
-612:2:4149
-613:2:4156
-614:2:4160
-615:0:4649
-616:2:3345
-617:2:3755
-618:0:4649
-619:2:2883
-620:0:4649
-621:2:3208
-622:2:3209
-623:2:3213
-624:2:3214
-625:2:3222
-626:2:3223
-627:2:3227
-628:2:3228
-629:2:3236
-630:2:3241
-631:2:3245
-632:2:3246
-633:2:3254
-634:2:3255
-635:2:3259
-636:2:3260
-637:2:3254
-638:2:3255
-639:2:3259
-640:2:3260
-641:2:3268
-642:2:3273
-643:2:3274
-644:2:3285
-645:2:3286
-646:2:3287
-647:2:3298
-648:2:3303
-649:2:3304
-650:2:3315
-651:2:3316
-652:2:3317
-653:2:3315
-654:2:3316
-655:2:3317
-656:2:3328
-657:2:3337
-658:0:4649
-659:2:2883
-660:0:4649
-661:2:3343
-662:0:4649
-663:2:3972
-664:2:3973
-665:2:3977
-666:2:3981
-667:2:3982
-668:2:3986
-669:2:3994
-670:2:3995
-671:2:3999
-672:2:4003
-673:2:4004
-674:2:3999
-675:2:4003
-676:2:4004
-677:2:4008
-678:2:4015
-679:2:4022
-680:2:4023
-681:2:4030
-682:2:4035
-683:2:4042
-684:2:4043
-685:2:4042
-686:2:4043
-687:2:4050
-688:2:4054
-689:0:4649
-690:2:4059
-691:0:4649
-692:2:4060
-693:0:4649
-694:2:4061
-695:0:4649
-696:2:4062
-697:0:4649
-698:1:28
-699:0:4649
-700:2:4063
-701:0:4649
-702:1:32
-703:1:33
-704:1:37
-705:1:41
-706:1:42
-707:1:46
-708:1:54
-709:1:55
-710:1:59
-711:1:63
-712:1:64
-713:1:59
-714:1:63
-715:1:64
-716:1:68
-717:1:75
-718:1:82
-719:1:83
-720:1:90
-721:1:95
-722:1:102
-723:1:103
-724:1:102
-725:1:103
-726:1:110
-727:1:114
-728:0:4649
-729:2:4062
-730:0:4649
-731:2:4063
-732:0:4649
-733:1:119
-734:0:4649
-735:2:4064
-736:0:4649
-737:2:4069
-738:0:4649
-739:2:4070
-740:0:4649
-741:2:4078
-742:2:4079
-743:2:4083
-744:2:4087
-745:2:4088
-746:2:4092
-747:2:4100
-748:2:4101
-749:2:4105
-750:2:4109
-751:2:4110
-752:2:4105
-753:2:4109
-754:2:4110
-755:2:4114
-756:2:4121
-757:2:4128
-758:2:4129
-759:2:4136
-760:2:4141
-761:2:4148
-762:2:4149
-763:2:4148
-764:2:4149
-765:2:4156
-766:2:4160
-767:0:4649
-768:2:3345
-769:2:3755
-770:0:4649
-771:2:2883
-772:0:4649
-773:2:3208
-774:2:3209
-775:2:3213
-776:2:3214
-777:2:3222
-778:2:3223
-779:2:3227
-780:2:3228
-781:2:3236
-782:2:3241
-783:2:3245
-784:2:3246
-785:2:3254
-786:2:3255
-787:2:3259
-788:2:3260
-789:2:3254
-790:2:3255
-791:2:3259
-792:2:3260
-793:2:3268
-794:2:3273
-795:2:3274
-796:2:3285
-797:2:3286
-798:2:3287
-799:2:3298
-800:2:3303
-801:2:3304
-802:2:3315
-803:2:3316
-804:2:3317
-805:2:3315
-806:2:3316
-807:2:3317
-808:2:3328
-809:2:3337
-810:0:4649
-811:2:2883
-812:0:4649
-813:2:3343
-814:0:4649
-815:2:3972
-816:2:3973
-817:2:3977
-818:2:3981
-819:2:3982
-820:2:3986
-821:2:3994
-822:2:3995
-823:2:3999
-824:2:4003
-825:2:4004
-826:2:3999
-827:2:4003
-828:2:4004
-829:2:4008
-830:2:4015
-831:2:4022
-832:2:4023
-833:2:4030
-834:2:4035
-835:2:4042
-836:2:4043
-837:2:4042
-838:2:4043
-839:2:4050
-840:2:4054
-841:0:4649
-842:2:4059
-843:0:4649
-844:2:4060
-845:0:4649
-846:2:4061
-847:0:4649
-848:2:4062
-849:0:4649
-850:1:28
-851:0:4649
-852:2:4063
-853:0:4649
-854:2:4062
-855:0:4649
-856:1:32
-857:1:33
-858:1:37
-859:1:41
-860:1:42
-861:1:46
-862:1:54
-863:1:55
-864:1:59
-865:1:63
-866:1:64
-867:1:59
-868:1:63
-869:1:64
-870:1:68
-871:1:75
-872:1:82
-873:1:83
-874:1:90
-875:1:95
-876:1:102
-877:1:103
-878:1:102
-879:1:103
-880:1:110
-881:1:114