Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail
deleted file mode 100644 (file)
index ea8ed03..0000000
--- a/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail
+++ /dev/null
@@ -1,1227 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4467
-2:3:4387
-3:3:4390
-4:3:4390
-5:3:4393
-6:3:4401
-7:3:4401
-8:3:4404
-9:3:4410
-10:3:4414
-11:3:4414
-12:3:4417
-13:3:4427
-14:3:4435
-15:3:4435
-16:3:4438
-17:3:4444
-18:3:4448
-19:3:4448
-20:3:4451
-21:3:4457
-22:3:4461
-23:3:4462
-24:0:4467
-25:3:4464
-26:0:4467
-27:2:3121
-28:0:4467
-29:2:3127
-30:0:4467
-31:2:3128
-32:0:4467
-33:2:3130
-34:0:4467
-35:2:3131
-36:0:4467
-37:2:3132
-38:0:4467
-39:2:3133
-40:0:4467
-41:2:3134
-42:2:3135
-43:2:3139
-44:2:3140
-45:2:3148
-46:2:3149
-47:2:3153
-48:2:3154
-49:2:3162
-50:2:3167
-51:2:3171
-52:2:3172
-53:2:3180
-54:2:3181
-55:2:3185
-56:2:3186
-57:2:3180
-58:2:3181
-59:2:3185
-60:2:3186
-61:2:3194
-62:2:3199
-63:2:3200
-64:2:3211
-65:2:3212
-66:2:3213
-67:2:3224
-68:2:3229
-69:2:3230
-70:2:3241
-71:2:3242
-72:2:3243
-73:2:3241
-74:2:3242
-75:2:3243
-76:2:3254
-77:2:3262
-78:0:4467
-79:2:3133
-80:0:4467
-81:2:3266
-82:2:3270
-83:2:3271
-84:2:3275
-85:2:3279
-86:2:3280
-87:2:3284
-88:2:3292
-89:2:3293
-90:2:3297
-91:2:3301
-92:2:3302
-93:2:3297
-94:2:3298
-95:2:3306
-96:0:4467
-97:2:3133
-98:0:4467
-99:2:3314
-100:2:3315
-101:2:3316
-102:0:4467
-103:2:3133
-104:0:4467
-105:2:3324
-106:0:4467
-107:2:3133
-108:0:4467
-109:2:3327
-110:2:3328
-111:2:3332
-112:2:3333
-113:2:3341
-114:2:3342
-115:2:3346
-116:2:3347
-117:2:3355
-118:2:3360
-119:2:3361
-120:2:3373
-121:2:3374
-122:2:3378
-123:2:3379
-124:2:3373
-125:2:3374
-126:2:3378
-127:2:3379
-128:2:3387
-129:2:3392
-130:2:3393
-131:2:3404
-132:2:3405
-133:2:3406
-134:2:3417
-135:2:3422
-136:2:3423
-137:2:3434
-138:2:3435
-139:2:3436
-140:2:3434
-141:2:3435
-142:2:3436
-143:2:3447
-144:2:3454
-145:0:4467
-146:2:3133
-147:0:4467
-148:2:3458
-149:2:3459
-150:2:3460
-151:2:3472
-152:2:3473
-153:2:3477
-154:2:3478
-155:2:3486
-156:2:3491
-157:2:3495
-158:2:3496
-159:2:3504
-160:2:3505
-161:2:3509
-162:2:3510
-163:2:3504
-164:2:3505
-165:2:3509
-166:2:3510
-167:2:3518
-168:2:3523
-169:2:3524
-170:2:3535
-171:2:3536
-172:2:3537
-173:2:3548
-174:2:3553
-175:2:3554
-176:2:3565
-177:2:3566
-178:2:3567
-179:2:3565
-180:2:3566
-181:2:3567
-182:2:3578
-183:2:3589
-184:2:3590
-185:0:4467
-186:2:3133
-187:0:4467
-188:2:3596
-189:2:3597
-190:2:3601
-191:2:3602
-192:2:3610
-193:2:3611
-194:2:3615
-195:2:3616
-196:2:3624
-197:2:3629
-198:2:3633
-199:2:3634
-200:2:3642
-201:2:3643
-202:2:3647
-203:2:3648
-204:2:3642
-205:2:3643
-206:2:3647
-207:2:3648
-208:2:3656
-209:2:3661
-210:2:3662
-211:2:3673
-212:2:3674
-213:2:3675
-214:2:3686
-215:2:3691
-216:2:3692
-217:2:3703
-218:2:3704
-219:2:3705
-220:2:3703
-221:2:3704
-222:2:3705
-223:2:3716
-224:0:4467
-225:2:3133
-226:0:4467
-227:2:3725
-228:2:3726
-229:2:3730
-230:2:3731
-231:2:3739
-232:2:3740
-233:2:3744
-234:2:3745
-235:2:3753
-236:2:3758
-237:2:3762
-238:2:3763
-239:2:3771
-240:2:3772
-241:2:3776
-242:2:3777
-243:2:3771
-244:2:3772
-245:2:3776
-246:2:3777
-247:2:3785
-248:2:3790
-249:2:3791
-250:2:3802
-251:2:3803
-252:2:3804
-253:2:3815
-254:2:3820
-255:2:3821
-256:2:3832
-257:2:3833
-258:2:3834
-259:2:3832
-260:2:3833
-261:2:3834
-262:2:3845
-263:2:3852
-264:0:4467
-265:2:3133
-266:0:4467
-267:2:3856
-268:2:3857
-269:2:3858
-270:2:3870
-271:2:3871
-272:2:3875
-273:2:3876
-274:2:3884
-275:2:3889
-276:2:3893
-277:2:3894
-278:2:3902
-279:2:3903
-280:2:3907
-281:2:3908
-282:2:3902
-283:2:3903
-284:2:3907
-285:2:3908
-286:2:3916
-287:2:3921
-288:2:3922
-289:2:3933
-290:2:3934
-291:2:3935
-292:2:3946
-293:2:3951
-294:2:3952
-295:2:3963
-296:2:3964
-297:2:3965
-298:2:3963
-299:2:3964
-300:2:3965
-301:2:3976
-302:2:3986
-303:2:3987
-304:0:4467
-305:2:3133
-306:0:4467
-307:2:3996
-308:2:3997
-309:0:4467
-310:2:3133
-311:0:4467
-312:2:4001
-313:0:4467
-314:2:4009
-315:0:4467
-316:2:3128
-317:0:4467
-318:2:3130
-319:0:4467
-320:2:3131
-321:0:4467
-322:2:3132
-323:0:4467
-324:2:3133
-325:0:4467
-326:2:3134
-327:2:3135
-328:2:3139
-329:2:3140
-330:2:3148
-331:2:3149
-332:2:3153
-333:2:3154
-334:2:3162
-335:2:3167
-336:2:3171
-337:2:3172
-338:2:3180
-339:2:3181
-340:2:3182
-341:2:3180
-342:2:3181
-343:2:3185
-344:2:3186
-345:2:3194
-346:2:3199
-347:2:3200
-348:2:3211
-349:2:3212
-350:2:3213
-351:2:3224
-352:2:3229
-353:2:3230
-354:2:3241
-355:2:3242
-356:2:3243
-357:2:3241
-358:2:3242
-359:2:3243
-360:2:3254
-361:2:3262
-362:0:4467
-363:2:3133
-364:0:4467
-365:2:3266
-366:2:3270
-367:2:3271
-368:2:3275
-369:2:3279
-370:2:3280
-371:2:3284
-372:2:3292
-373:2:3293
-374:2:3297
-375:2:3298
-376:2:3297
-377:2:3301
-378:2:3302
-379:2:3306
-380:0:4467
-381:2:3133
-382:0:4467
-383:2:3314
-384:2:3315
-385:2:3316
-386:0:4467
-387:2:3133
-388:0:4467
-389:2:3324
-390:0:4467
-391:2:3133
-392:0:4467
-393:2:3327
-394:2:3328
-395:2:3332
-396:2:3333
-397:2:3341
-398:2:3342
-399:2:3346
-400:2:3347
-401:2:3355
-402:2:3360
-403:2:3361
-404:2:3373
-405:2:3374
-406:2:3378
-407:2:3379
-408:2:3373
-409:2:3374
-410:2:3378
-411:2:3379
-412:2:3387
-413:2:3392
-414:2:3393
-415:2:3404
-416:2:3405
-417:2:3406
-418:2:3417
-419:2:3422
-420:2:3423
-421:2:3434
-422:2:3435
-423:2:3436
-424:2:3434
-425:2:3435
-426:2:3436
-427:2:3447
-428:2:3454
-429:0:4467
-430:2:3133
-431:0:4467
-432:2:3458
-433:2:3459
-434:2:3460
-435:2:3472
-436:2:3473
-437:2:3477
-438:2:3478
-439:2:3486
-440:2:3491
-441:2:3495
-442:2:3496
-443:2:3504
-444:2:3505
-445:2:3509
-446:2:3510
-447:2:3504
-448:2:3505
-449:2:3509
-450:2:3510
-451:2:3518
-452:2:3523
-453:2:3524
-454:2:3535
-455:2:3536
-456:2:3537
-457:2:3548
-458:2:3553
-459:2:3554
-460:2:3565
-461:2:3566
-462:2:3567
-463:2:3565
-464:2:3566
-465:2:3567
-466:2:3578
-467:2:3589
-468:2:3590
-469:0:4467
-470:2:3133
-471:0:4467
-472:2:3596
-473:2:3597
-474:2:3601
-475:2:3602
-476:2:3610
-477:2:3611
-478:2:3615
-479:2:3616
-480:2:3624
-481:2:3629
-482:2:3633
-483:2:3634
-484:2:3642
-485:2:3643
-486:2:3647
-487:2:3648
-488:2:3642
-489:2:3643
-490:2:3647
-491:2:3648
-492:2:3656
-493:2:3661
-494:2:3662
-495:2:3673
-496:2:3674
-497:2:3675
-498:2:3686
-499:2:3691
-500:2:3692
-501:2:3703
-502:2:3704
-503:2:3705
-504:2:3703
-505:2:3704
-506:2:3705
-507:2:3716
-508:0:4467
-509:2:3133
-510:0:4467
-511:2:3725
-512:2:3726
-513:2:3730
-514:2:3731
-515:2:3739
-516:2:3740
-517:2:3744
-518:2:3745
-519:2:3753
-520:2:3758
-521:2:3762
-522:2:3763
-523:2:3771
-524:2:3772
-525:2:3776
-526:2:3777
-527:2:3771
-528:2:3772
-529:2:3776
-530:2:3777
-531:2:3785
-532:2:3790
-533:2:3791
-534:2:3802
-535:2:3803
-536:2:3804
-537:2:3815
-538:2:3820
-539:2:3821
-540:2:3832
-541:2:3833
-542:2:3834
-543:2:3832
-544:2:3833
-545:2:3834
-546:2:3845
-547:2:3852
-548:0:4467
-549:2:3133
-550:0:4467
-551:2:3856
-552:2:3857
-553:2:3858
-554:2:3870
-555:2:3871
-556:2:3875
-557:2:3876
-558:2:3884
-559:2:3889
-560:2:3893
-561:2:3894
-562:2:3902
-563:2:3903
-564:2:3907
-565:2:3908
-566:2:3902
-567:2:3903
-568:2:3907
-569:2:3908
-570:2:3916
-571:2:3921
-572:2:3922
-573:2:3933
-574:2:3934
-575:2:3935
-576:2:3946
-577:2:3951
-578:2:3952
-579:2:3963
-580:2:3964
-581:2:3965
-582:2:3963
-583:2:3964
-584:2:3965
-585:2:3976
-586:2:3986
-587:2:3987
-588:0:4467
-589:2:3133
-590:0:4467
-591:2:3996
-592:2:3997
-593:0:4467
-594:2:3133
-595:0:4467
-596:2:4001
-597:0:4467
-598:2:4009
-599:0:4467
-600:2:3128
-601:0:4467
-602:2:3130
-603:0:4467
-604:2:3131
-605:0:4467
-606:2:3132
-607:0:4467
-608:2:3133
-609:0:4467
-610:2:3134
-611:2:3135
-612:2:3139
-613:2:3140
-614:2:3148
-615:2:3149
-616:2:3153
-617:2:3154
-618:2:3162
-619:2:3167
-620:2:3171
-621:2:3172
-622:2:3180
-623:2:3181
-624:2:3185
-625:2:3186
-626:2:3180
-627:2:3181
-628:2:3182
-629:2:3194
-630:2:3199
-631:2:3200
-632:2:3211
-633:2:3212
-634:2:3213
-635:2:3224
-636:2:3229
-637:2:3230
-638:2:3241
-639:2:3242
-640:2:3243
-641:2:3241
-642:2:3242
-643:2:3243
-644:2:3254
-645:2:3262
-646:0:4467
-647:2:3133
-648:0:4467
-649:2:3266
-650:2:3270
-651:2:3271
-652:2:3275
-653:2:3279
-654:2:3280
-655:2:3284
-656:2:3292
-657:2:3293
-658:2:3297
-659:2:3301
-660:2:3302
-661:2:3297
-662:2:3298
-663:2:3306
-664:0:4467
-665:2:3133
-666:0:4467
-667:2:3314
-668:2:3315
-669:2:3316
-670:0:4467
-671:2:3133
-672:0:4467
-673:2:3324
-674:0:4467
-675:2:3133
-676:0:4467
-677:2:3327
-678:2:3328
-679:2:3332
-680:2:3333
-681:2:3341
-682:2:3342
-683:2:3346
-684:2:3347
-685:2:3355
-686:2:3360
-687:2:3361
-688:2:3373
-689:2:3374
-690:2:3378
-691:2:3379
-692:2:3373
-693:2:3374
-694:2:3378
-695:2:3379
-696:2:3387
-697:2:3392
-698:2:3393
-699:2:3404
-700:2:3405
-701:2:3406
-702:2:3417
-703:2:3422
-704:2:3423
-705:2:3434
-706:2:3435
-707:2:3436
-708:2:3434
-709:2:3435
-710:2:3436
-711:2:3447
-712:2:3454
-713:0:4467
-714:2:3133
-715:0:4467
-716:2:3458
-717:2:3459
-718:2:3460
-719:2:3472
-720:2:3473
-721:2:3477
-722:2:3478
-723:2:3486
-724:2:3491
-725:2:3495
-726:2:3496
-727:2:3504
-728:2:3505
-729:2:3509
-730:2:3510
-731:2:3504
-732:2:3505
-733:2:3509
-734:2:3510
-735:2:3518
-736:2:3523
-737:2:3524
-738:2:3535
-739:2:3536
-740:2:3537
-741:2:3548
-742:2:3553
-743:2:3554
-744:2:3565
-745:2:3566
-746:2:3567
-747:2:3565
-748:2:3566
-749:2:3567
-750:2:3578
-751:2:3589
-752:2:3590
-753:0:4467
-754:2:3133
-755:0:4467
-756:2:3596
-757:2:3597
-758:2:3601
-759:2:3602
-760:2:3610
-761:2:3611
-762:2:3615
-763:2:3616
-764:2:3624
-765:2:3629
-766:2:3633
-767:2:3634
-768:2:3642
-769:2:3643
-770:2:3647
-771:2:3648
-772:2:3642
-773:2:3643
-774:2:3647
-775:2:3648
-776:2:3656
-777:2:3661
-778:2:3662
-779:2:3673
-780:2:3674
-781:2:3675
-782:2:3686
-783:2:3691
-784:2:3692
-785:2:3703
-786:2:3704
-787:2:3705
-788:2:3703
-789:2:3704
-790:2:3705
-791:2:3716
-792:0:4467
-793:2:3133
-794:0:4467
-795:2:3856
-796:2:3857
-797:2:3861
-798:2:3862
-799:2:3870
-800:2:3871
-801:2:3875
-802:2:3876
-803:2:3884
-804:2:3889
-805:2:3893
-806:2:3894
-807:2:3902
-808:2:3903
-809:2:3907
-810:2:3908
-811:2:3902
-812:2:3903
-813:2:3907
-814:2:3908
-815:2:3916
-816:2:3921
-817:2:3922
-818:2:3933
-819:2:3934
-820:2:3935
-821:2:3946
-822:2:3951
-823:2:3952
-824:2:3963
-825:2:3964
-826:2:3965
-827:2:3963
-828:2:3964
-829:2:3965
-830:2:3976
-831:2:3986
-832:2:3987
-833:0:4467
-834:2:3133
-835:0:4467
-836:2:3996
-837:2:3997
-838:0:4467
-839:2:3133
-840:0:4467
-841:2:3725
-842:2:3726
-843:2:3730
-844:2:3731
-845:2:3739
-846:2:3740
-847:2:3744
-848:2:3745
-849:2:3753
-850:2:3758
-851:2:3762
-852:2:3763
-853:2:3771
-854:2:3772
-855:2:3773
-856:2:3771
-857:2:3772
-858:2:3776
-859:2:3777
-860:2:3785
-861:2:3790
-862:2:3791
-863:2:3802
-864:2:3803
-865:2:3804
-866:2:3815
-867:2:3820
-868:2:3821
-869:2:3832
-870:2:3833
-871:2:3834
-872:2:3832
-873:2:3833
-874:2:3834
-875:2:3845
-876:2:3852
-877:0:4467
-878:2:3133
-879:0:4467
-880:2:4001
-881:0:4467
-882:2:4009
-883:0:4467
-884:2:4010
-885:0:4467
-886:2:4015
-887:0:4467
-888:1:2
-889:0:4467
-890:2:4016
-891:0:4467
-892:1:8
-893:0:4467
-894:2:4015
-895:0:4467
-896:1:9
-897:0:4467
-898:2:4016
-899:0:4467
-900:1:10
-901:0:4467
-902:2:4015
-903:0:4467
-904:1:11
-905:0:4467
-906:2:4016
-907:0:4467
-908:1:12
-909:0:4467
-910:2:4015
-911:0:4467
-912:1:13
-913:0:4467
-914:2:4016
-915:0:4467
-916:1:14
-917:0:4467
-918:2:4015
-919:0:4467
-920:1:15
-921:0:4467
-922:2:4016
-923:0:4467
-924:1:16
-925:1:17
-926:1:21
-927:1:22
-928:1:30
-929:1:31
-930:1:35
-931:1:36
-932:1:44
-933:1:49
-934:1:53
-935:1:54
-936:1:62
-937:1:63
-938:1:67
-939:1:68
-940:1:62
-941:1:63
-942:1:67
-943:1:68
-944:1:76
-945:1:81
-946:1:82
-947:1:93
-948:1:94
-949:1:95
-950:1:106
-951:1:118
-952:1:119
-953:1:123
-954:1:124
-955:1:125
-956:1:123
-957:1:124
-958:1:125
-959:1:136
-960:0:4467
-961:2:4015
-962:0:4467
-963:1:15
-964:0:4467
-965:2:4016
-966:0:4467
-967:1:145
-968:1:146
-969:0:4467
-970:2:4015
-971:0:4467
-972:1:15
-973:0:4467
-974:2:4016
-975:0:4467
-976:1:152
-977:1:153
-978:1:157
-979:1:158
-980:1:166
-981:1:167
-982:1:171
-983:1:172
-984:1:180
-985:1:185
-986:1:189
-987:1:190
-988:1:198
-989:1:199
-990:1:203
-991:1:204
-992:1:198
-993:1:199
-994:1:203
-995:1:204
-996:1:212
-997:1:217
-998:1:218
-999:1:229
-1000:1:230
-1001:1:231
-1002:1:242
-1003:1:254
-1004:1:255
-1005:1:259
-1006:1:260
-1007:1:261
-1008:1:259
-1009:1:260
-1010:1:261
-1011:1:272
-1012:0:4467
-1013:2:4015
-1014:0:4467
-1015:1:15
-1016:0:4467
-1017:2:4016
-1018:0:4467
-1019:1:281
-1020:1:282
-1021:1:286
-1022:1:287
-1023:1:295
-1024:1:296
-1025:1:300
-1026:1:301
-1027:1:309
-1028:1:314
-1029:1:318
-1030:1:319
-1031:1:327
-1032:1:328
-1033:1:332
-1034:1:333
-1035:1:327
-1036:1:328
-1037:1:332
-1038:1:333
-1039:1:341
-1040:1:346
-1041:1:347
-1042:1:358
-1043:1:359
-1044:1:360
-1045:1:371
-1046:1:383
-1047:1:384
-1048:1:388
-1049:1:389
-1050:1:390
-1051:1:388
-1052:1:389
-1053:1:390
-1054:1:401
-1055:1:408
-1056:0:4467
-1057:2:4015
-1058:0:4467
-1059:1:15
-1060:0:4467
-1061:2:4016
-1062:0:4467
-1063:1:636
-1064:1:637
-1065:1:641
-1066:1:642
-1067:1:650
-1068:1:651
-1069:1:652
-1070:1:664
-1071:1:669
-1072:1:673
-1073:1:674
-1074:1:682
-1075:1:683
-1076:1:687
-1077:1:688
-1078:1:682
-1079:1:683
-1080:1:687
-1081:1:688
-1082:1:696
-1083:1:701
-1084:1:702
-1085:1:713
-1086:1:714
-1087:1:715
-1088:1:726
-1089:1:738
-1090:1:739
-1091:1:743
-1092:1:744
-1093:1:745
-1094:1:743
-1095:1:744
-1096:1:745
-1097:1:756
-1098:0:4467
-1099:2:4015
-1100:0:4467
-1101:1:15
-1102:0:4467
-1103:2:4016
-1104:0:4467
-1105:1:765
-1106:1:768
-1107:1:769
-1108:0:4467
-1109:2:4015
-1110:0:4467
-1111:1:15
-1112:0:4467
-1113:2:4016
-1114:0:4467
-1115:1:1032
-1116:1:1033
-1117:1:1037
-1118:1:1038
-1119:1:1046
-1120:1:1047
-1121:1:1051
-1122:1:1052
-1123:1:1060
-1124:1:1065
-1125:1:1069
-1126:1:1070
-1127:1:1078
-1128:1:1079
-1129:1:1083
-1130:1:1084
-1131:1:1078
-1132:1:1079
-1133:1:1083
-1134:1:1084
-1135:1:1092
-1136:1:1097
-1137:1:1098
-1138:1:1109
-1139:1:1110
-1140:1:1111
-1141:1:1122
-1142:1:1134
-1143:1:1135
-1144:1:1139
-1145:1:1140
-1146:1:1141
-1147:1:1139
-1148:1:1140
-1149:1:1141
-1150:1:1152
-1151:1:1159
-1152:1:1163
-1153:0:4467
-1154:2:4015
-1155:0:4467
-1156:1:15
-1157:0:4467
-1158:2:4016
-1159:0:4467
-1160:1:1164
-1161:1:1165
-1162:1:1169
-1163:1:1170
-1164:1:1178
-1165:1:1179
-1166:1:1180
-1167:1:1192
-1168:1:1197
-1169:1:1201
-1170:1:1202
-1171:1:1210
-1172:1:1211
-1173:1:1215
-1174:1:1216
-1175:1:1210
-1176:1:1211
-1177:1:1215
-1178:1:1216
-1179:1:1224
-1180:1:1229
-1181:1:1230
-1182:1:1241
-1183:1:1242
-1184:1:1243
-1185:1:1254
-1186:1:1266
-1187:1:1267
-1188:1:1271
-1189:1:1272
-1190:1:1273
-1191:1:1271
-1192:1:1272
-1193:1:1273
-1194:1:1284
-1195:0:4467
-1196:2:4015
-1197:0:4467
-1198:1:15
-1199:0:4467
-1200:2:4016
-1201:0:4467
-1202:1:1293
-1203:0:4467
-1204:2:4015
-1205:0:4467
-1206:1:3027
-1207:1:3034
-1208:1:3035
-1209:1:3042
-1210:1:3047
-1211:1:3054
-1212:1:3055
-1213:1:3054
-1214:1:3055
-1215:1:3062
-1216:1:3066
-1217:0:4467
-1218:2:4016
-1219:0:4467
-1220:1:1295
-1221:1:1296
-1222:0:4465
-1223:2:4015
-1224:0:4471
-1225:1:1135