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

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail
deleted file mode 100644
index d8a0531..0000000
--- a/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1039 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4464
-2:3:4384
-3:3:4387
-4:3:4387
-5:3:4390
-6:3:4398
-7:3:4398
-8:3:4401
-9:3:4407
-10:3:4411
-11:3:4411
-12:3:4414
-13:3:4424
-14:3:4432
-15:3:4432
-16:3:4435
-17:3:4441
-18:3:4445
-19:3:4445
-20:3:4448
-21:3:4454
-22:3:4458
-23:3:4459
-24:0:4464
-25:3:4461
-26:0:4464
-27:2:3117
-28:0:4464
-29:2:3123
-30:0:4464
-31:2:3124
-32:0:4464
-33:2:3126
-34:0:4464
-35:2:3127
-36:0:4464
-37:2:3128
-38:0:4464
-39:2:3129
-40:0:4464
-41:2:3130
-42:0:4464
-43:2:3131
-44:0:4464
-45:2:3132
-46:2:3133
-47:2:3137
-48:2:3138
-49:2:3146
-50:2:3147
-51:2:3151
-52:2:3152
-53:2:3160
-54:2:3165
-55:2:3169
-56:2:3170
-57:2:3178
-58:2:3179
-59:2:3183
-60:2:3184
-61:2:3178
-62:2:3179
-63:2:3183
-64:2:3184
-65:2:3192
-66:2:3197
-67:2:3198
-68:2:3209
-69:2:3210
-70:2:3211
-71:2:3222
-72:2:3227
-73:2:3228
-74:2:3239
-75:2:3240
-76:2:3241
-77:2:3239
-78:2:3240
-79:2:3241
-80:2:3252
-81:2:3260
-82:0:4464
-83:2:3131
-84:0:4464
-85:2:3264
-86:2:3268
-87:2:3269
-88:2:3273
-89:2:3277
-90:2:3278
-91:2:3282
-92:2:3290
-93:2:3291
-94:2:3295
-95:2:3299
-96:2:3300
-97:2:3295
-98:2:3296
-99:2:3304
-100:0:4464
-101:2:3131
-102:0:4464
-103:2:3312
-104:2:3313
-105:2:3314
-106:0:4464
-107:2:3131
-108:0:4464
-109:2:3319
-110:0:4464
-111:2:4021
-112:2:4022
-113:2:4026
-114:2:4030
-115:2:4031
-116:2:4035
-117:2:4040
-118:2:4048
-119:2:4052
-120:2:4053
-121:2:4048
-122:2:4052
-123:2:4053
-124:2:4057
-125:2:4064
-126:2:4071
-127:2:4072
-128:2:4079
-129:2:4084
-130:2:4091
-131:2:4092
-132:2:4091
-133:2:4092
-134:2:4099
-135:2:4103
-136:0:4464
-137:2:3321
-138:2:4002
-139:0:4464
-140:2:3131
-141:0:4464
-142:2:3322
-143:0:4464
-144:2:3131
-145:0:4464
-146:2:3325
-147:2:3326
-148:2:3330
-149:2:3331
-150:2:3339
-151:2:3340
-152:2:3344
-153:2:3345
-154:2:3353
-155:2:3358
-156:2:3362
-157:2:3363
-158:2:3371
-159:2:3372
-160:2:3376
-161:2:3377
-162:2:3371
-163:2:3372
-164:2:3376
-165:2:3377
-166:2:3385
-167:2:3390
-168:2:3391
-169:2:3402
-170:2:3403
-171:2:3404
-172:2:3415
-173:2:3420
-174:2:3421
-175:2:3432
-176:2:3433
-177:2:3434
-178:2:3432
-179:2:3433
-180:2:3434
-181:2:3445
-182:2:3452
-183:0:4464
-184:2:3131
-185:0:4464
-186:2:3456
-187:2:3457
-188:2:3458
-189:2:3470
-190:2:3471
-191:2:3475
-192:2:3476
-193:2:3484
-194:2:3489
-195:2:3493
-196:2:3494
-197:2:3502
-198:2:3503
-199:2:3507
-200:2:3508
-201:2:3502
-202:2:3503
-203:2:3507
-204:2:3508
-205:2:3516
-206:2:3521
-207:2:3522
-208:2:3533
-209:2:3534
-210:2:3535
-211:2:3546
-212:2:3551
-213:2:3552
-214:2:3563
-215:2:3564
-216:2:3565
-217:2:3563
-218:2:3564
-219:2:3565
-220:2:3576
-221:2:3586
-222:2:3587
-223:0:4464
-224:2:3131
-225:0:4464
-226:2:3990
-227:0:4464
-228:2:4294
-229:2:4295
-230:2:4299
-231:2:4303
-232:2:4304
-233:2:4308
-234:2:4316
-235:2:4317
-236:2:4321
-237:2:4325
-238:2:4326
-239:2:4321
-240:2:4325
-241:2:4326
-242:2:4330
-243:2:4337
-244:2:4344
-245:2:4345
-246:2:4352
-247:2:4357
-248:2:4364
-249:2:4365
-250:2:4364
-251:2:4365
-252:2:4372
-253:2:4376
-254:0:4464
-255:2:3992
-256:2:4002
-257:0:4464
-258:2:3131
-259:0:4464
-260:2:3993
-261:2:3994
-262:0:4464
-263:2:3131
-264:0:4464
-265:2:3998
-266:0:4464
-267:2:4006
-268:0:4464
-269:2:3124
-270:0:4464
-271:2:3126
-272:0:4464
-273:2:3127
-274:0:4464
-275:2:3128
-276:0:4464
-277:2:3129
-278:0:4464
-279:2:3130
-280:0:4464
-281:2:3131
-282:0:4464
-283:2:3132
-284:2:3133
-285:2:3137
-286:2:3138
-287:2:3146
-288:2:3147
-289:2:3151
-290:2:3152
-291:2:3160
-292:2:3165
-293:2:3169
-294:2:3170
-295:2:3178
-296:2:3179
-297:2:3180
-298:2:3178
-299:2:3179
-300:2:3183
-301:2:3184
-302:2:3192
-303:2:3197
-304:2:3198
-305:2:3209
-306:2:3210
-307:2:3211
-308:2:3222
-309:2:3227
-310:2:3228
-311:2:3239
-312:2:3240
-313:2:3241
-314:2:3239
-315:2:3240
-316:2:3241
-317:2:3252
-318:2:3260
-319:0:4464
-320:2:3131
-321:0:4464
-322:2:3264
-323:2:3268
-324:2:3269
-325:2:3273
-326:2:3277
-327:2:3278
-328:2:3282
-329:2:3290
-330:2:3291
-331:2:3295
-332:2:3296
-333:2:3295
-334:2:3299
-335:2:3300
-336:2:3304
-337:0:4464
-338:2:3131
-339:0:4464
-340:2:3312
-341:2:3313
-342:2:3314
-343:0:4464
-344:2:3131
-345:0:4464
-346:2:3319
-347:0:4464
-348:1:2
-349:0:4464
-350:1:8
-351:0:4464
-352:1:9
-353:0:4464
-354:1:10
-355:0:4464
-356:1:11
-357:0:4464
-358:1:12
-359:1:13
-360:1:17
-361:1:18
-362:1:26
-363:1:27
-364:1:31
-365:1:32
-366:1:40
-367:1:45
-368:1:49
-369:1:50
-370:1:58
-371:1:59
-372:1:63
-373:1:64
-374:1:58
-375:1:59
-376:1:63
-377:1:64
-378:1:72
-379:1:84
-380:1:85
-381:1:89
-382:1:90
-383:1:91
-384:1:102
-385:1:107
-386:1:108
-387:1:119
-388:1:120
-389:1:121
-390:1:119
-391:1:120
-392:1:121
-393:1:132
-394:0:4464
-395:1:11
-396:0:4464
-397:1:141
-398:1:142
-399:0:4464
-400:1:11
-401:0:4464
-402:1:148
-403:1:149
-404:1:153
-405:1:154
-406:1:162
-407:1:163
-408:1:167
-409:1:168
-410:1:176
-411:1:181
-412:1:185
-413:1:186
-414:1:194
-415:1:195
-416:1:199
-417:1:200
-418:1:194
-419:1:195
-420:1:199
-421:1:200
-422:1:208
-423:1:220
-424:1:221
-425:1:225
-426:1:226
-427:1:227
-428:1:238
-429:1:243
-430:1:244
-431:1:255
-432:1:256
-433:1:257
-434:1:255
-435:1:256
-436:1:257
-437:1:268
-438:0:4464
-439:1:11
-440:0:4464
-441:1:277
-442:1:278
-443:1:282
-444:1:283
-445:1:291
-446:1:292
-447:1:296
-448:1:297
-449:1:305
-450:1:310
-451:1:314
-452:1:315
-453:1:323
-454:1:324
-455:1:328
-456:1:329
-457:1:323
-458:1:324
-459:1:328
-460:1:329
-461:1:337
-462:1:342
-463:1:343
-464:1:354
-465:1:355
-466:1:356
-467:1:367
-468:1:372
-469:1:373
-470:1:384
-471:1:385
-472:1:386
-473:1:384
-474:1:385
-475:1:386
-476:1:397
-477:1:404
-478:0:4464
-479:1:11
-480:0:4464
-481:1:540
-482:1:544
-483:1:545
-484:1:549
-485:1:550
-486:1:558
-487:1:566
-488:1:567
-489:1:571
-490:1:575
-491:1:576
-492:1:571
-493:1:575
-494:1:576
-495:1:580
-496:1:587
-497:1:594
-498:1:595
-499:1:602
-500:1:607
-501:1:614
-502:1:615
-503:1:614
-504:1:615
-505:1:622
-506:0:4464
-507:1:11
-508:0:4464
-509:2:4021
-510:2:4022
-511:2:4026
-512:2:4030
-513:2:4031
-514:2:4035
-515:2:4040
-516:2:4048
-517:2:4052
-518:2:4053
-519:2:4048
-520:2:4052
-521:2:4053
-522:2:4057
-523:2:4064
-524:2:4071
-525:2:4072
-526:2:4079
-527:2:4084
-528:2:4091
-529:2:4092
-530:2:4091
-531:2:4092
-532:2:4099
-533:2:4103
-534:0:4464
-535:2:3321
-536:2:4002
-537:0:4464
-538:2:3131
-539:0:4464
-540:2:3322
-541:0:4464
-542:2:3131
-543:0:4464
-544:2:3325
-545:2:3326
-546:2:3330
-547:2:3331
-548:2:3339
-549:2:3340
-550:2:3344
-551:2:3345
-552:2:3353
-553:2:3358
-554:2:3362
-555:2:3363
-556:2:3371
-557:2:3372
-558:2:3376
-559:2:3377
-560:2:3371
-561:2:3372
-562:2:3376
-563:2:3377
-564:2:3385
-565:2:3390
-566:2:3391
-567:2:3402
-568:2:3403
-569:2:3404
-570:2:3415
-571:2:3420
-572:2:3421
-573:2:3432
-574:2:3433
-575:2:3434
-576:2:3432
-577:2:3433
-578:2:3434
-579:2:3445
-580:2:3452
-581:0:4464
-582:2:3131
-583:0:4464
-584:2:3456
-585:2:3457
-586:2:3458
-587:2:3470
-588:2:3471
-589:2:3475
-590:2:3476
-591:2:3484
-592:2:3489
-593:2:3493
-594:2:3494
-595:2:3502
-596:2:3503
-597:2:3507
-598:2:3508
-599:2:3502
-600:2:3503
-601:2:3507
-602:2:3508
-603:2:3516
-604:2:3521
-605:2:3522
-606:2:3533
-607:2:3534
-608:2:3535
-609:2:3546
-610:2:3551
-611:2:3552
-612:2:3563
-613:2:3564
-614:2:3565
-615:2:3563
-616:2:3564
-617:2:3565
-618:2:3576
-619:2:3586
-620:2:3587
-621:0:4464
-622:2:3131
-623:0:4464
-624:2:3990
-625:0:4464
-626:2:4294
-627:2:4295
-628:2:4299
-629:2:4303
-630:2:4304
-631:2:4308
-632:2:4316
-633:2:4317
-634:2:4321
-635:2:4325
-636:2:4326
-637:2:4321
-638:2:4325
-639:2:4326
-640:2:4330
-641:2:4337
-642:2:4344
-643:2:4345
-644:2:4352
-645:2:4357
-646:2:4364
-647:2:4365
-648:2:4364
-649:2:4365
-650:2:4372
-651:2:4376
-652:0:4464
-653:2:3992
-654:2:4002
-655:0:4464
-656:2:3131
-657:0:4464
-658:2:3993
-659:2:3994
-660:0:4464
-661:2:3131
-662:0:4464
-663:2:3998
-664:0:4464
-665:2:4006
-666:0:4464
-667:2:3124
-668:0:4464
-669:2:3126
-670:0:4464
-671:2:3127
-672:0:4464
-673:2:3128
-674:0:4464
-675:2:3129
-676:0:4464
-677:2:3130
-678:0:4464
-679:2:3131
-680:0:4464
-681:2:3132
-682:2:3133
-683:2:3137
-684:2:3138
-685:2:3146
-686:2:3147
-687:2:3151
-688:2:3152
-689:2:3160
-690:2:3165
-691:2:3169
-692:2:3170
-693:2:3178
-694:2:3179
-695:2:3183
-696:2:3184
-697:2:3178
-698:2:3179
-699:2:3180
-700:2:3192
-701:2:3197
-702:2:3198
-703:2:3209
-704:2:3210
-705:2:3211
-706:2:3222
-707:2:3227
-708:2:3228
-709:2:3239
-710:2:3240
-711:2:3241
-712:2:3239
-713:2:3240
-714:2:3241
-715:2:3252
-716:2:3260
-717:0:4464
-718:2:3131
-719:0:4464
-720:1:632
-721:1:633
-722:1:637
-723:1:638
-724:1:646
-725:1:647
-726:1:651
-727:1:652
-728:1:660
-729:1:665
-730:1:669
-731:1:670
-732:1:678
-733:1:679
-734:1:683
-735:1:684
-736:1:678
-737:1:679
-738:1:683
-739:1:684
-740:1:692
-741:1:697
-742:1:698
-743:1:709
-744:1:710
-745:1:711
-746:1:722
-747:1:734
-748:1:735
-749:1:739
-750:1:740
-751:1:741
-752:1:739
-753:1:740
-754:1:741
-755:1:752
-756:0:4464
-757:1:11
-758:0:4464
-759:1:761
-760:1:764
-761:1:765
-762:0:4464
-763:1:11
-764:0:4464
-765:1:1028
-766:1:1029
-767:1:1033
-768:1:1034
-769:1:1042
-770:1:1043
-771:1:1047
-772:1:1048
-773:1:1056
-774:1:1061
-775:1:1065
-776:1:1066
-777:1:1074
-778:1:1075
-779:1:1079
-780:1:1080
-781:1:1074
-782:1:1075
-783:1:1079
-784:1:1080
-785:1:1088
-786:1:1093
-787:1:1094
-788:1:1105
-789:1:1106
-790:1:1107
-791:1:1118
-792:1:1130
-793:1:1131
-794:1:1135
-795:1:1136
-796:1:1137
-797:1:1135
-798:1:1136
-799:1:1137
-800:1:1148
-801:1:1155
-802:1:1159
-803:0:4464
-804:1:11
-805:0:4464
-806:1:1160
-807:1:1161
-808:1:1165
-809:1:1166
-810:1:1174
-811:1:1175
-812:1:1176
-813:1:1188
-814:1:1193
-815:1:1197
-816:1:1198
-817:1:1206
-818:1:1207
-819:1:1211
-820:1:1212
-821:1:1206
-822:1:1207
-823:1:1211
-824:1:1212
-825:1:1220
-826:1:1225
-827:1:1226
-828:1:1237
-829:1:1238
-830:1:1239
-831:1:1250
-832:1:1262
-833:1:1263
-834:1:1267
-835:1:1268
-836:1:1269
-837:1:1267
-838:1:1268
-839:1:1269
-840:1:1280
-841:0:4464
-842:1:11
-843:0:4464
-844:1:1289
-845:0:4464
-846:1:3023
-847:1:3030
-848:1:3031
-849:1:3038
-850:1:3043
-851:1:3050
-852:1:3051
-853:1:3050
-854:1:3051
-855:1:3058
-856:1:3062
-857:0:4464
-858:2:3264
-859:2:3268
-860:2:3269
-861:2:3273
-862:2:3277
-863:2:3278
-864:2:3282
-865:2:3290
-866:2:3291
-867:2:3295
-868:2:3299
-869:2:3300
-870:2:3295
-871:2:3296
-872:2:3304
-873:0:4464
-874:2:3131
-875:0:4464
-876:2:3312
-877:2:3313
-878:2:3314
-879:0:4464
-880:2:3131
-881:0:4464
-882:2:3319
-883:0:4464
-884:2:4021
-885:2:4022
-886:2:4026
-887:2:4030
-888:2:4031
-889:2:4035
-890:2:4040
-891:2:4048
-892:2:4052
-893:2:4053
-894:2:4048
-895:2:4052
-896:2:4053
-897:2:4057
-898:2:4064
-899:2:4071
-900:2:4072
-901:2:4079
-902:2:4084
-903:2:4091
-904:2:4092
-905:2:4091
-906:2:4092
-907:2:4099
-908:2:4103
-909:0:4464
-910:2:3321
-911:2:4002
-912:0:4464
-913:2:3131
-914:0:4464
-915:2:3322
-916:0:4464
-917:2:3131
-918:0:4464
-919:2:3325
-920:2:3326
-921:2:3330
-922:2:3331
-923:2:3339
-924:2:3340
-925:2:3344
-926:2:3345
-927:2:3353
-928:2:3358
-929:2:3362
-930:2:3363
-931:2:3371
-932:2:3372
-933:2:3376
-934:2:3377
-935:2:3371
-936:2:3372
-937:2:3376
-938:2:3377
-939:2:3385
-940:2:3390
-941:2:3391
-942:2:3402
-943:2:3403
-944:2:3404
-945:2:3415
-946:2:3420
-947:2:3421
-948:2:3432
-949:2:3433
-950:2:3434
-951:2:3432
-952:2:3433
-953:2:3434
-954:2:3445
-955:2:3452
-956:0:4464
-957:2:3131
-958:0:4464
-959:2:3456
-960:2:3457
-961:2:3458
-962:2:3470
-963:2:3471
-964:2:3475
-965:2:3476
-966:2:3484
-967:2:3489
-968:2:3493
-969:2:3494
-970:2:3502
-971:2:3503
-972:2:3507
-973:2:3508
-974:2:3502
-975:2:3503
-976:2:3507
-977:2:3508
-978:2:3516
-979:2:3521
-980:2:3522
-981:2:3533
-982:2:3534
-983:2:3535
-984:2:3546
-985:2:3551
-986:2:3552
-987:2:3563
-988:2:3564
-989:2:3565
-990:2:3563
-991:2:3564
-992:2:3565
-993:2:3576
-994:2:3584
-995:0:4464
-996:2:3131
-997:0:4464
-998:2:3590
-999:0:4464
-1000:2:4112
-1001:2:4113
-1002:2:4117
-1003:2:4121
-1004:2:4122
-1005:2:4126
-1006:2:4134
-1007:2:4135
-1008:2:4139
-1009:2:4143
-1010:2:4144
-1011:2:4139
-1012:2:4143
-1013:2:4144
-1014:2:4148
-1015:2:4155
-1016:2:4162
-1017:2:4163
-1018:2:4170
-1019:2:4175
-1020:2:4182
-1021:2:4183
-1022:2:4182
-1023:2:4183
-1024:2:4190
-1025:2:4194
-1026:0:4464
-1027:2:3592
-1028:2:4002
-1029:0:4464
-1030:2:3131
-1031:0:4464
-1032:1:1291
-1033:1:1292
-1034:0:4462
-1035:1:11
-1036:0:4468
-1037:2:3480