X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow-alpha-no-ipi%2Furcu_free_single_flip.spin.input.trail;fp=formal-model%2Furcu-controldataflow-alpha-no-ipi%2Furcu_free_single_flip.spin.input.trail;h=fe033947d7ce90b82741c5d6a1d4a5de9339d105;hb=b6b17880a1a83b679d968907e2ff6cf72dd645fb;hp=0000000000000000000000000000000000000000;hpb=06e8b2a87f862183a26e0005bf04221633f49d0c;p=urcu.git

diff --git a/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail
new file mode 100644
index 0000000..fe03394
--- /dev/null
+++ b/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1147 @@
+-2:3:-2
+-4:-4:-4
+1:0:4465
+2:3:4385
+3:3:4388
+4:3:4388
+5:3:4391
+6:3:4399
+7:3:4399
+8:3:4402
+9:3:4408
+10:3:4412
+11:3:4412
+12:3:4415
+13:3:4425
+14:3:4433
+15:3:4433
+16:3:4436
+17:3:4442
+18:3:4446
+19:3:4446
+20:3:4449
+21:3:4455
+22:3:4459
+23:3:4460
+24:0:4465
+25:3:4462
+26:0:4465
+27:2:3117
+28:0:4465
+29:2:3123
+30:0:4465
+31:2:3124
+32:0:4465
+33:2:3126
+34:0:4465
+35:2:3127
+36:0:4465
+37:2:3128
+38:0:4465
+39:2:3129
+40:0:4465
+41:2:3130
+42:0:4465
+43:2:3131
+44:0:4465
+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:4465
+83:2:3131
+84:0:4465
+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:4465
+101:2:3131
+102:0:4465
+103:2:3312
+104:2:3313
+105:2:3314
+106:0:4465
+107:2:3131
+108:0:4465
+109:2:3319
+110:0:4465
+111:2:4022
+112:2:4023
+113:2:4027
+114:2:4031
+115:2:4032
+116:2:4036
+117:2:4041
+118:2:4049
+119:2:4053
+120:2:4054
+121:2:4049
+122:2:4053
+123:2:4054
+124:2:4058
+125:2:4065
+126:2:4072
+127:2:4073
+128:2:4080
+129:2:4085
+130:2:4092
+131:2:4093
+132:2:4092
+133:2:4093
+134:2:4100
+135:2:4104
+136:0:4465
+137:2:3321
+138:2:4003
+139:0:4465
+140:2:3131
+141:0:4465
+142:2:3322
+143:0:4465
+144:2:3131
+145:0:4465
+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:4465
+184:2:3131
+185:0:4465
+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:4465
+224:2:3131
+225:0:4465
+226:2:3991
+227:0:4465
+228:2:4295
+229:2:4296
+230:2:4300
+231:2:4304
+232:2:4305
+233:2:4309
+234:2:4317
+235:2:4318
+236:2:4322
+237:2:4326
+238:2:4327
+239:2:4322
+240:2:4326
+241:2:4327
+242:2:4331
+243:2:4338
+244:2:4345
+245:2:4346
+246:2:4353
+247:2:4358
+248:2:4365
+249:2:4366
+250:2:4365
+251:2:4366
+252:2:4373
+253:2:4377
+254:0:4465
+255:2:3993
+256:2:4003
+257:0:4465
+258:2:3131
+259:0:4465
+260:2:3994
+261:2:3995
+262:0:4465
+263:2:3131
+264:0:4465
+265:2:3999
+266:0:4465
+267:2:4007
+268:0:4465
+269:2:3124
+270:0:4465
+271:2:3126
+272:0:4465
+273:2:3127
+274:0:4465
+275:2:3128
+276:0:4465
+277:2:3129
+278:0:4465
+279:2:3130
+280:0:4465
+281:2:3131
+282:0:4465
+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:4465
+320:2:3131
+321:0:4465
+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:4465
+338:2:3131
+339:0:4465
+340:2:3312
+341:2:3313
+342:2:3314
+343:0:4465
+344:2:3131
+345:0:4465
+346:2:3319
+347:0:4465
+348:1:2
+349:0:4465
+350:1:8
+351:0:4465
+352:1:9
+353:0:4465
+354:1:10
+355:0:4465
+356:1:11
+357:0:4465
+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:4465
+395:1:11
+396:0:4465
+397:1:141
+398:1:142
+399:0:4465
+400:1:11
+401:0:4465
+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:4465
+439:1:11
+440:0:4465
+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:4465
+479:1:11
+480:0:4465
+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:4465
+507:1:11
+508:0:4465
+509:2:4022
+510:2:4023
+511:2:4027
+512:2:4031
+513:2:4032
+514:2:4036
+515:2:4041
+516:2:4049
+517:2:4053
+518:2:4054
+519:2:4049
+520:2:4053
+521:2:4054
+522:2:4058
+523:2:4065
+524:2:4072
+525:2:4073
+526:2:4080
+527:2:4085
+528:2:4092
+529:2:4093
+530:2:4092
+531:2:4093
+532:2:4100
+533:2:4104
+534:0:4465
+535:2:3321
+536:2:4003
+537:0:4465
+538:2:3131
+539:0:4465
+540:2:3322
+541:0:4465
+542:2:3131
+543:0:4465
+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:4465
+582:2:3131
+583:0:4465
+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:4465
+622:2:3131
+623:0:4465
+624:2:3991
+625:0:4465
+626:2:4295
+627:2:4296
+628:2:4300
+629:2:4304
+630:2:4305
+631:2:4309
+632:2:4317
+633:2:4318
+634:2:4322
+635:2:4326
+636:2:4327
+637:2:4322
+638:2:4326
+639:2:4327
+640:2:4331
+641:2:4338
+642:2:4345
+643:2:4346
+644:2:4353
+645:2:4358
+646:2:4365
+647:2:4366
+648:2:4365
+649:2:4366
+650:2:4373
+651:2:4377
+652:0:4465
+653:2:3993
+654:2:4003
+655:0:4465
+656:2:3131
+657:0:4465
+658:2:3994
+659:2:3995
+660:0:4465
+661:2:3131
+662:0:4465
+663:2:3999
+664:0:4465
+665:2:4007
+666:0:4465
+667:2:3124
+668:0:4465
+669:2:3126
+670:0:4465
+671:2:3127
+672:0:4465
+673:2:3128
+674:0:4465
+675:2:3129
+676:0:4465
+677:2:3130
+678:0:4465
+679:2:3131
+680:0:4465
+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:4465
+718:2:3131
+719:0:4465
+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:4465
+757:1:11
+758:0:4465
+759:1:761
+760:1:764
+761:1:765
+762:0:4465
+763:1:11
+764:0:4465
+765:1:768
+766:1:769
+767:1:773
+768:1:774
+769:1:782
+770:1:783
+771:1:787
+772:1:788
+773:1:796
+774:1:801
+775:1:805
+776:1:806
+777:1:814
+778:1:815
+779:1:819
+780:1:820
+781:1:814
+782:1:815
+783:1:819
+784:1:820
+785:1:828
+786:1:833
+787:1:834
+788:1:845
+789:1:846
+790:1:847
+791:1:858
+792:1:870
+793:1:871
+794:1:875
+795:1:876
+796:1:877
+797:1:875
+798:1:876
+799:1:877
+800:1:888
+801:0:4465
+802:1:11
+803:0:4465
+804:1:1028
+805:1:1029
+806:1:1033
+807:1:1034
+808:1:1042
+809:1:1043
+810:1:1047
+811:1:1048
+812:1:1056
+813:1:1061
+814:1:1065
+815:1:1066
+816:1:1074
+817:1:1075
+818:1:1079
+819:1:1080
+820:1:1074
+821:1:1075
+822:1:1079
+823:1:1080
+824:1:1088
+825:1:1093
+826:1:1094
+827:1:1105
+828:1:1106
+829:1:1107
+830:1:1118
+831:1:1130
+832:1:1131
+833:1:1135
+834:1:1136
+835:1:1137
+836:1:1135
+837:1:1136
+838:1:1137
+839:1:1148
+840:1:1155
+841:1:1159
+842:0:4465
+843:1:11
+844:0:4465
+845:1:1160
+846:1:1161
+847:1:1165
+848:1:1166
+849:1:1174
+850:1:1175
+851:1:1176
+852:1:1188
+853:1:1193
+854:1:1197
+855:1:1198
+856:1:1206
+857:1:1207
+858:1:1211
+859:1:1212
+860:1:1206
+861:1:1207
+862:1:1211
+863:1:1212
+864:1:1220
+865:1:1225
+866:1:1226
+867:1:1237
+868:1:1238
+869:1:1239
+870:1:1250
+871:1:1262
+872:1:1263
+873:1:1267
+874:1:1268
+875:1:1269
+876:1:1267
+877:1:1268
+878:1:1269
+879:1:1280
+880:0:4465
+881:1:11
+882:0:4465
+883:1:1289
+884:0:4465
+885:1:3023
+886:1:3030
+887:1:3031
+888:1:3038
+889:1:3043
+890:1:3050
+891:1:3051
+892:1:3050
+893:1:3051
+894:1:3058
+895:1:3062
+896:0:4465
+897:2:3264
+898:2:3268
+899:2:3269
+900:2:3273
+901:2:3277
+902:2:3278
+903:2:3282
+904:2:3290
+905:2:3291
+906:2:3295
+907:2:3299
+908:2:3300
+909:2:3295
+910:2:3296
+911:2:3304
+912:0:4465
+913:2:3131
+914:0:4465
+915:2:3312
+916:2:3313
+917:2:3314
+918:0:4465
+919:2:3131
+920:0:4465
+921:2:3319
+922:0:4465
+923:2:4022
+924:2:4023
+925:2:4027
+926:2:4031
+927:2:4032
+928:2:4036
+929:2:4041
+930:2:4049
+931:2:4053
+932:2:4054
+933:2:4049
+934:2:4053
+935:2:4054
+936:2:4058
+937:2:4065
+938:2:4072
+939:2:4073
+940:2:4080
+941:2:4085
+942:2:4092
+943:2:4093
+944:2:4092
+945:2:4093
+946:2:4100
+947:2:4104
+948:0:4465
+949:2:3321
+950:2:4003
+951:0:4465
+952:2:3131
+953:0:4465
+954:2:3322
+955:0:4465
+956:2:3131
+957:0:4465
+958:2:3325
+959:2:3326
+960:2:3330
+961:2:3331
+962:2:3339
+963:2:3340
+964:2:3344
+965:2:3345
+966:2:3353
+967:2:3358
+968:2:3362
+969:2:3363
+970:2:3371
+971:2:3372
+972:2:3376
+973:2:3377
+974:2:3371
+975:2:3372
+976:2:3376
+977:2:3377
+978:2:3385
+979:2:3390
+980:2:3391
+981:2:3402
+982:2:3403
+983:2:3404
+984:2:3415
+985:2:3420
+986:2:3421
+987:2:3432
+988:2:3433
+989:2:3434
+990:2:3432
+991:2:3433
+992:2:3434
+993:2:3445
+994:2:3452
+995:0:4465
+996:2:3131
+997:0:4465
+998:2:3456
+999:2:3457
+1000:2:3458
+1001:2:3470
+1002:2:3471
+1003:2:3475
+1004:2:3476
+1005:2:3484
+1006:2:3489
+1007:2:3493
+1008:2:3494
+1009:2:3502
+1010:2:3503
+1011:2:3507
+1012:2:3508
+1013:2:3502
+1014:2:3503
+1015:2:3507
+1016:2:3508
+1017:2:3516
+1018:2:3521
+1019:2:3522
+1020:2:3533
+1021:2:3534
+1022:2:3535
+1023:2:3546
+1024:2:3551
+1025:2:3552
+1026:2:3563
+1027:2:3564
+1028:2:3565
+1029:2:3563
+1030:2:3564
+1031:2:3565
+1032:2:3576
+1033:2:3584
+1034:0:4465
+1035:2:3131
+1036:0:4465
+1037:2:3590
+1038:0:4465
+1039:2:4113
+1040:2:4114
+1041:2:4118
+1042:2:4122
+1043:2:4123
+1044:2:4127
+1045:2:4135
+1046:2:4136
+1047:2:4140
+1048:2:4144
+1049:2:4145
+1050:2:4140
+1051:2:4144
+1052:2:4145
+1053:2:4149
+1054:2:4156
+1055:2:4163
+1056:2:4164
+1057:2:4171
+1058:2:4176
+1059:2:4183
+1060:2:4184
+1061:2:4183
+1062:2:4184
+1063:2:4191
+1064:2:4195
+1065:0:4465
+1066:2:3592
+1067:2:3593
+1068:0:4465
+1069:2:3131
+1070:0:4465
+1071:2:3456
+1072:2:3457
+1073:2:3461
+1074:2:3462
+1075:2:3470
+1076:2:3471
+1077:2:3475
+1078:2:3476
+1079:2:3484
+1080:2:3489
+1081:2:3493
+1082:2:3494
+1083:2:3502
+1084:2:3503
+1085:2:3507
+1086:2:3508
+1087:2:3502
+1088:2:3503
+1089:2:3507
+1090:2:3508
+1091:2:3516
+1092:2:3521
+1093:2:3522
+1094:2:3533
+1095:2:3534
+1096:2:3535
+1097:2:3546
+1098:2:3551
+1099:2:3552
+1100:2:3563
+1101:2:3564
+1102:2:3565
+1103:2:3563
+1104:2:3564
+1105:2:3565
+1106:2:3576
+1107:2:3584
+1108:0:4465
+1109:2:3131
+1110:0:4465
+1111:2:3590
+1112:0:4465
+1113:2:4113
+1114:2:4114
+1115:2:4118
+1116:2:4122
+1117:2:4123
+1118:2:4127
+1119:2:4135
+1120:2:4136
+1121:2:4140
+1122:2:4144
+1123:2:4145
+1124:2:4140
+1125:2:4144
+1126:2:4145
+1127:2:4149
+1128:2:4156
+1129:2:4163
+1130:2:4164
+1131:2:4171
+1132:2:4176
+1133:2:4183
+1134:2:4184
+1135:2:4183
+1136:2:4184
+1137:2:4191
+1138:2:4195
+1139:0:4465
+1140:1:1291
+1141:1:1292
+1142:0:4463
+1143:1:11
+1144:0:4469
+1145:2:3684