X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Furcu_free_no_wmb.spin.input.trail;fp=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Furcu_free_no_wmb.spin.input.trail;h=09089883a5d45c6f586002ebdf4cc869dfa8939a;hp=0000000000000000000000000000000000000000;hb=dbf6928575dc30b5d8602b9a50ca385670f26ff1;hpb=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input.trail
new file mode 100644
index 0000000..0908988
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input.trail
@@ -0,0 +1,1202 @@
+-2:3:-2
+-4:-4:-4
+1:0:4462
+2:3:4382
+3:3:4385
+4:3:4385
+5:3:4388
+6:3:4396
+7:3:4396
+8:3:4399
+9:3:4405
+10:3:4409
+11:3:4409
+12:3:4412
+13:3:4422
+14:3:4430
+15:3:4430
+16:3:4433
+17:3:4439
+18:3:4443
+19:3:4443
+20:3:4446
+21:3:4452
+22:3:4456
+23:3:4457
+24:0:4462
+25:3:4459
+26:0:4462
+27:2:3117
+28:0:4462
+29:2:3123
+30:0:4462
+31:2:3124
+32:0:4462
+33:2:3126
+34:0:4462
+35:2:3127
+36:0:4462
+37:2:3128
+38:0:4462
+39:2:3129
+40:2:3130
+41:2:3134
+42:2:3135
+43:2:3143
+44:2:3144
+45:2:3148
+46:2:3149
+47:2:3157
+48:2:3162
+49:2:3166
+50:2:3167
+51:2:3175
+52:2:3176
+53:2:3180
+54:2:3181
+55:2:3175
+56:2:3176
+57:2:3180
+58:2:3181
+59:2:3189
+60:2:3194
+61:2:3195
+62:2:3206
+63:2:3207
+64:2:3208
+65:2:3219
+66:2:3224
+67:2:3225
+68:2:3236
+69:2:3237
+70:2:3238
+71:2:3236
+72:2:3237
+73:2:3238
+74:2:3249
+75:2:3257
+76:0:4462
+77:2:3128
+78:0:4462
+79:2:3309
+80:2:3310
+81:2:3311
+82:0:4462
+83:2:3128
+84:0:4462
+85:2:3316
+86:0:4462
+87:2:4019
+88:2:4020
+89:2:4024
+90:2:4028
+91:2:4029
+92:2:4033
+93:2:4038
+94:2:4046
+95:2:4050
+96:2:4051
+97:2:4046
+98:2:4047
+99:2:4055
+100:2:4062
+101:2:4069
+102:2:4070
+103:2:4077
+104:2:4082
+105:2:4089
+106:2:4090
+107:2:4089
+108:2:4090
+109:2:4097
+110:2:4101
+111:0:4462
+112:2:3318
+113:2:4000
+114:0:4462
+115:2:3128
+116:0:4462
+117:2:3319
+118:0:4462
+119:2:3128
+120:0:4462
+121:2:3322
+122:2:3323
+123:2:3327
+124:2:3328
+125:2:3336
+126:2:3337
+127:2:3341
+128:2:3342
+129:2:3350
+130:2:3355
+131:2:3359
+132:2:3360
+133:2:3368
+134:2:3369
+135:2:3373
+136:2:3374
+137:2:3368
+138:2:3369
+139:2:3373
+140:2:3374
+141:2:3382
+142:2:3387
+143:2:3388
+144:2:3399
+145:2:3400
+146:2:3401
+147:2:3412
+148:2:3417
+149:2:3418
+150:2:3429
+151:2:3430
+152:2:3431
+153:2:3429
+154:2:3430
+155:2:3431
+156:2:3442
+157:2:3449
+158:0:4462
+159:2:3128
+160:0:4462
+161:2:3453
+162:2:3454
+163:2:3455
+164:2:3467
+165:2:3468
+166:2:3472
+167:2:3473
+168:2:3481
+169:2:3486
+170:2:3490
+171:2:3491
+172:2:3499
+173:2:3500
+174:2:3504
+175:2:3505
+176:2:3499
+177:2:3500
+178:2:3504
+179:2:3505
+180:2:3513
+181:2:3518
+182:2:3519
+183:2:3530
+184:2:3531
+185:2:3532
+186:2:3543
+187:2:3548
+188:2:3549
+189:2:3560
+190:2:3561
+191:2:3562
+192:2:3560
+193:2:3561
+194:2:3562
+195:2:3573
+196:2:3584
+197:2:3585
+198:0:4462
+199:2:3128
+200:0:4462
+201:2:3591
+202:2:3592
+203:2:3596
+204:2:3597
+205:2:3605
+206:2:3606
+207:2:3610
+208:2:3611
+209:2:3619
+210:2:3624
+211:2:3628
+212:2:3629
+213:2:3637
+214:2:3638
+215:2:3642
+216:2:3643
+217:2:3637
+218:2:3638
+219:2:3642
+220:2:3643
+221:2:3651
+222:2:3656
+223:2:3657
+224:2:3668
+225:2:3669
+226:2:3670
+227:2:3681
+228:2:3686
+229:2:3687
+230:2:3698
+231:2:3699
+232:2:3700
+233:2:3698
+234:2:3699
+235:2:3700
+236:2:3711
+237:0:4462
+238:2:3128
+239:0:4462
+240:2:3720
+241:2:3721
+242:2:3725
+243:2:3726
+244:2:3734
+245:2:3735
+246:2:3739
+247:2:3740
+248:2:3748
+249:2:3753
+250:2:3757
+251:2:3758
+252:2:3766
+253:2:3767
+254:2:3771
+255:2:3772
+256:2:3766
+257:2:3767
+258:2:3771
+259:2:3772
+260:2:3780
+261:2:3785
+262:2:3786
+263:2:3797
+264:2:3798
+265:2:3799
+266:2:3810
+267:2:3815
+268:2:3816
+269:2:3827
+270:2:3828
+271:2:3829
+272:2:3827
+273:2:3828
+274:2:3829
+275:2:3840
+276:2:3847
+277:0:4462
+278:2:3128
+279:0:4462
+280:2:3851
+281:2:3852
+282:2:3853
+283:2:3865
+284:2:3866
+285:2:3870
+286:2:3871
+287:2:3879
+288:2:3884
+289:2:3888
+290:2:3889
+291:2:3897
+292:2:3898
+293:2:3902
+294:2:3903
+295:2:3897
+296:2:3898
+297:2:3902
+298:2:3903
+299:2:3911
+300:2:3916
+301:2:3917
+302:2:3928
+303:2:3929
+304:2:3930
+305:2:3941
+306:2:3946
+307:2:3947
+308:2:3958
+309:2:3959
+310:2:3960
+311:2:3958
+312:2:3959
+313:2:3960
+314:2:3971
+315:2:3981
+316:2:3982
+317:0:4462
+318:2:3128
+319:0:4462
+320:2:3988
+321:0:4462
+322:2:4292
+323:2:4293
+324:2:4297
+325:2:4301
+326:2:4302
+327:2:4306
+328:2:4314
+329:2:4315
+330:2:4319
+331:2:4323
+332:2:4324
+333:2:4319
+334:2:4323
+335:2:4324
+336:2:4328
+337:2:4335
+338:2:4342
+339:2:4343
+340:2:4350
+341:2:4355
+342:2:4362
+343:2:4363
+344:2:4362
+345:2:4363
+346:2:4370
+347:2:4374
+348:0:4462
+349:2:3990
+350:2:4000
+351:0:4462
+352:2:3128
+353:0:4462
+354:2:3991
+355:2:3992
+356:0:4462
+357:2:3128
+358:0:4462
+359:2:3996
+360:0:4462
+361:2:4004
+362:0:4462
+363:2:3124
+364:0:4462
+365:2:3126
+366:0:4462
+367:2:3127
+368:0:4462
+369:2:3128
+370:0:4462
+371:2:3309
+372:2:3310
+373:2:3311
+374:0:4462
+375:2:3128
+376:0:4462
+377:2:3129
+378:2:3130
+379:2:3134
+380:2:3135
+381:2:3143
+382:2:3144
+383:2:3148
+384:2:3149
+385:2:3157
+386:2:3162
+387:2:3163
+388:2:3175
+389:2:3176
+390:2:3177
+391:2:3175
+392:2:3176
+393:2:3180
+394:2:3181
+395:2:3189
+396:2:3194
+397:2:3195
+398:2:3206
+399:2:3207
+400:2:3208
+401:2:3219
+402:2:3224
+403:2:3225
+404:2:3236
+405:2:3237
+406:2:3238
+407:2:3236
+408:2:3237
+409:2:3238
+410:2:3249
+411:2:3257
+412:0:4462
+413:2:3128
+414:0:4462
+415:2:3316
+416:0:4462
+417:2:4019
+418:2:4020
+419:2:4024
+420:2:4028
+421:2:4029
+422:2:4033
+423:2:4041
+424:2:4042
+425:2:4046
+426:2:4047
+427:2:4046
+428:2:4050
+429:2:4051
+430:2:4055
+431:2:4062
+432:2:4069
+433:2:4070
+434:2:4077
+435:2:4082
+436:2:4089
+437:2:4090
+438:2:4089
+439:2:4090
+440:2:4097
+441:2:4101
+442:0:4462
+443:2:3318
+444:2:4000
+445:0:4462
+446:2:3128
+447:0:4462
+448:2:3319
+449:0:4462
+450:2:3128
+451:0:4462
+452:2:3322
+453:2:3323
+454:2:3327
+455:2:3328
+456:2:3336
+457:2:3337
+458:2:3341
+459:2:3342
+460:2:3350
+461:2:3355
+462:2:3359
+463:2:3360
+464:2:3368
+465:2:3369
+466:2:3373
+467:2:3374
+468:2:3368
+469:2:3369
+470:2:3373
+471:2:3374
+472:2:3382
+473:2:3387
+474:2:3388
+475:2:3399
+476:2:3400
+477:2:3401
+478:2:3412
+479:2:3417
+480:2:3418
+481:2:3429
+482:2:3430
+483:2:3431
+484:2:3429
+485:2:3430
+486:2:3431
+487:2:3442
+488:2:3449
+489:0:4462
+490:2:3128
+491:0:4462
+492:2:3453
+493:2:3454
+494:2:3455
+495:2:3467
+496:2:3468
+497:2:3472
+498:2:3473
+499:2:3481
+500:2:3486
+501:2:3490
+502:2:3491
+503:2:3499
+504:2:3500
+505:2:3504
+506:2:3505
+507:2:3499
+508:2:3500
+509:2:3504
+510:2:3505
+511:2:3513
+512:2:3518
+513:2:3519
+514:2:3530
+515:2:3531
+516:2:3532
+517:2:3543
+518:2:3548
+519:2:3549
+520:2:3560
+521:2:3561
+522:2:3562
+523:2:3560
+524:2:3561
+525:2:3562
+526:2:3573
+527:2:3584
+528:2:3585
+529:0:4462
+530:2:3128
+531:0:4462
+532:2:3591
+533:2:3592
+534:2:3596
+535:2:3597
+536:2:3605
+537:2:3606
+538:2:3610
+539:2:3611
+540:2:3619
+541:2:3624
+542:2:3628
+543:2:3629
+544:2:3637
+545:2:3638
+546:2:3642
+547:2:3643
+548:2:3637
+549:2:3638
+550:2:3642
+551:2:3643
+552:2:3651
+553:2:3656
+554:2:3657
+555:2:3668
+556:2:3669
+557:2:3670
+558:2:3681
+559:2:3686
+560:2:3687
+561:2:3698
+562:2:3699
+563:2:3700
+564:2:3698
+565:2:3699
+566:2:3700
+567:2:3711
+568:0:4462
+569:2:3128
+570:0:4462
+571:2:3720
+572:2:3721
+573:2:3725
+574:2:3726
+575:2:3734
+576:2:3735
+577:2:3739
+578:2:3740
+579:2:3748
+580:2:3753
+581:2:3757
+582:2:3758
+583:2:3766
+584:2:3767
+585:2:3771
+586:2:3772
+587:2:3766
+588:2:3767
+589:2:3771
+590:2:3772
+591:2:3780
+592:2:3785
+593:2:3786
+594:2:3797
+595:2:3798
+596:2:3799
+597:2:3810
+598:2:3815
+599:2:3816
+600:2:3827
+601:2:3828
+602:2:3829
+603:2:3827
+604:2:3828
+605:2:3829
+606:2:3840
+607:2:3847
+608:0:4462
+609:2:3128
+610:0:4462
+611:2:3851
+612:2:3852
+613:2:3853
+614:2:3865
+615:2:3866
+616:2:3870
+617:2:3871
+618:2:3879
+619:2:3884
+620:2:3888
+621:2:3889
+622:2:3897
+623:2:3898
+624:2:3902
+625:2:3903
+626:2:3897
+627:2:3898
+628:2:3902
+629:2:3903
+630:2:3911
+631:2:3916
+632:2:3917
+633:2:3928
+634:2:3929
+635:2:3930
+636:2:3941
+637:2:3946
+638:2:3947
+639:2:3958
+640:2:3959
+641:2:3960
+642:2:3958
+643:2:3959
+644:2:3960
+645:2:3971
+646:2:3981
+647:2:3982
+648:0:4462
+649:2:3128
+650:0:4462
+651:2:3988
+652:0:4462
+653:2:4292
+654:2:4293
+655:2:4297
+656:2:4301
+657:2:4302
+658:2:4306
+659:2:4314
+660:2:4315
+661:2:4319
+662:2:4323
+663:2:4324
+664:2:4319
+665:2:4323
+666:2:4324
+667:2:4328
+668:2:4335
+669:2:4342
+670:2:4343
+671:2:4350
+672:2:4355
+673:2:4362
+674:2:4363
+675:2:4362
+676:2:4363
+677:2:4370
+678:2:4374
+679:0:4462
+680:2:3990
+681:2:4000
+682:0:4462
+683:2:3128
+684:0:4462
+685:2:3991
+686:2:3992
+687:0:4462
+688:2:3128
+689:0:4462
+690:2:3996
+691:0:4462
+692:2:4004
+693:0:4462
+694:2:3124
+695:0:4462
+696:2:3126
+697:0:4462
+698:2:3127
+699:0:4462
+700:2:3128
+701:0:4462
+702:2:3129
+703:2:3130
+704:2:3134
+705:2:3135
+706:2:3143
+707:2:3144
+708:2:3148
+709:2:3149
+710:2:3157
+711:2:3162
+712:2:3166
+713:2:3167
+714:2:3175
+715:2:3176
+716:2:3180
+717:2:3181
+718:2:3175
+719:2:3176
+720:2:3177
+721:2:3189
+722:2:3194
+723:2:3195
+724:2:3206
+725:2:3207
+726:2:3208
+727:2:3219
+728:2:3224
+729:2:3225
+730:2:3236
+731:2:3237
+732:2:3238
+733:2:3236
+734:2:3237
+735:2:3238
+736:2:3249
+737:2:3257
+738:0:4462
+739:2:3128
+740:0:4462
+741:2:3309
+742:2:3310
+743:2:3311
+744:0:4462
+745:2:3128
+746:0:4462
+747:2:3316
+748:0:4462
+749:1:2
+750:0:4462
+751:1:8
+752:0:4462
+753:1:9
+754:0:4462
+755:1:10
+756:0:4462
+757:1:11
+758:0:4462
+759:1:12
+760:1:13
+761:1:17
+762:1:18
+763:1:26
+764:1:27
+765:1:31
+766:1:32
+767:1:40
+768:1:45
+769:1:49
+770:1:50
+771:1:58
+772:1:59
+773:1:63
+774:1:64
+775:1:58
+776:1:59
+777:1:63
+778:1:64
+779:1:72
+780:1:77
+781:1:78
+782:1:89
+783:1:90
+784:1:91
+785:1:102
+786:1:107
+787:1:108
+788:1:119
+789:1:120
+790:1:121
+791:1:119
+792:1:120
+793:1:121
+794:1:132
+795:0:4462
+796:1:11
+797:0:4462
+798:1:141
+799:1:142
+800:0:4462
+801:1:11
+802:0:4462
+803:1:148
+804:1:149
+805:1:153
+806:1:154
+807:1:162
+808:1:163
+809:1:167
+810:1:168
+811:1:176
+812:1:181
+813:1:185
+814:1:186
+815:1:194
+816:1:195
+817:1:199
+818:1:200
+819:1:194
+820:1:195
+821:1:199
+822:1:200
+823:1:208
+824:1:213
+825:1:214
+826:1:225
+827:1:226
+828:1:227
+829:1:238
+830:1:243
+831:1:244
+832:1:255
+833:1:256
+834:1:257
+835:1:255
+836:1:256
+837:1:257
+838:1:268
+839:0:4462
+840:1:11
+841:0:4462
+842:1:277
+843:1:278
+844:1:282
+845:1:283
+846:1:291
+847:1:292
+848:1:296
+849:1:297
+850:1:305
+851:1:310
+852:1:314
+853:1:315
+854:1:323
+855:1:324
+856:1:328
+857:1:329
+858:1:323
+859:1:324
+860:1:328
+861:1:329
+862:1:337
+863:1:342
+864:1:343
+865:1:354
+866:1:355
+867:1:356
+868:1:367
+869:1:372
+870:1:373
+871:1:384
+872:1:385
+873:1:386
+874:1:384
+875:1:385
+876:1:386
+877:1:397
+878:1:404
+879:0:4462
+880:1:11
+881:0:4462
+882:1:540
+883:1:544
+884:1:545
+885:1:549
+886:1:550
+887:1:558
+888:1:566
+889:1:567
+890:1:571
+891:1:575
+892:1:576
+893:1:571
+894:1:575
+895:1:576
+896:1:580
+897:1:587
+898:1:594
+899:1:595
+900:1:602
+901:1:607
+902:1:614
+903:1:615
+904:1:614
+905:1:615
+906:1:622
+907:0:4462
+908:1:11
+909:0:4462
+910:1:632
+911:1:633
+912:1:637
+913:1:638
+914:1:646
+915:1:647
+916:1:651
+917:1:652
+918:1:660
+919:1:665
+920:1:669
+921:1:670
+922:1:678
+923:1:679
+924:1:683
+925:1:684
+926:1:678
+927:1:679
+928:1:683
+929:1:684
+930:1:692
+931:1:697
+932:1:698
+933:1:709
+934:1:710
+935:1:711
+936:1:722
+937:1:727
+938:1:728
+939:1:739
+940:1:740
+941:1:741
+942:1:739
+943:1:740
+944:1:741
+945:1:752
+946:0:4462
+947:1:11
+948:0:4462
+949:1:761
+950:1:764
+951:1:765
+952:0:4462
+953:1:11
+954:0:4462
+955:1:1028
+956:1:1029
+957:1:1033
+958:1:1034
+959:1:1042
+960:1:1043
+961:1:1047
+962:1:1048
+963:1:1056
+964:1:1061
+965:1:1065
+966:1:1066
+967:1:1074
+968:1:1075
+969:1:1079
+970:1:1080
+971:1:1074
+972:1:1075
+973:1:1079
+974:1:1080
+975:1:1088
+976:1:1093
+977:1:1094
+978:1:1105
+979:1:1106
+980:1:1107
+981:1:1118
+982:1:1123
+983:1:1124
+984:1:1135
+985:1:1136
+986:1:1137
+987:1:1135
+988:1:1136
+989:1:1137
+990:1:1148
+991:1:1155
+992:1:1159
+993:0:4462
+994:1:11
+995:0:4462
+996:1:1160
+997:1:1161
+998:1:1165
+999:1:1166
+1000:1:1174
+1001:1:1175
+1002:1:1176
+1003:1:1188
+1004:1:1193
+1005:1:1197
+1006:1:1198
+1007:1:1206
+1008:1:1207
+1009:1:1211
+1010:1:1212
+1011:1:1206
+1012:1:1207
+1013:1:1211
+1014:1:1212
+1015:1:1220
+1016:1:1225
+1017:1:1226
+1018:1:1237
+1019:1:1238
+1020:1:1239
+1021:1:1250
+1022:1:1255
+1023:1:1256
+1024:1:1267
+1025:1:1268
+1026:1:1269
+1027:1:1267
+1028:1:1268
+1029:1:1269
+1030:1:1280
+1031:0:4462
+1032:1:11
+1033:0:4462
+1034:1:1289
+1035:0:4462
+1036:1:3023
+1037:1:3030
+1038:1:3031
+1039:1:3038
+1040:1:3043
+1041:1:3050
+1042:1:3051
+1043:1:3050
+1044:1:3051
+1045:1:3058
+1046:1:3062
+1047:0:4462
+1048:2:4019
+1049:2:4020
+1050:2:4024
+1051:2:4028
+1052:2:4029
+1053:2:4033
+1054:2:4038
+1055:2:4046
+1056:2:4050
+1057:2:4051
+1058:2:4046
+1059:2:4047
+1060:2:4055
+1061:2:4062
+1062:2:4069
+1063:2:4070
+1064:2:4077
+1065:2:4082
+1066:2:4089
+1067:2:4090
+1068:2:4089
+1069:2:4090
+1070:2:4097
+1071:2:4101
+1072:0:4462
+1073:2:3318
+1074:2:4000
+1075:0:4462
+1076:2:3128
+1077:0:4462
+1078:2:3319
+1079:0:4462
+1080:2:3128
+1081:0:4462
+1082:2:3322
+1083:2:3323
+1084:2:3327
+1085:2:3328
+1086:2:3336
+1087:2:3337
+1088:2:3341
+1089:2:3342
+1090:2:3350
+1091:2:3355
+1092:2:3359
+1093:2:3360
+1094:2:3368
+1095:2:3369
+1096:2:3373
+1097:2:3374
+1098:2:3368
+1099:2:3369
+1100:2:3373
+1101:2:3374
+1102:2:3382
+1103:2:3387
+1104:2:3388
+1105:2:3399
+1106:2:3400
+1107:2:3401
+1108:2:3412
+1109:2:3417
+1110:2:3418
+1111:2:3429
+1112:2:3430
+1113:2:3431
+1114:2:3429
+1115:2:3430
+1116:2:3431
+1117:2:3442
+1118:2:3449
+1119:0:4462
+1120:2:3128
+1121:0:4462
+1122:2:3453
+1123:2:3454
+1124:2:3455
+1125:2:3467
+1126:2:3468
+1127:2:3472
+1128:2:3473
+1129:2:3481
+1130:2:3486
+1131:2:3490
+1132:2:3491
+1133:2:3499
+1134:2:3500
+1135:2:3504
+1136:2:3505
+1137:2:3499
+1138:2:3500
+1139:2:3504
+1140:2:3505
+1141:2:3513
+1142:2:3518
+1143:2:3519
+1144:2:3530
+1145:2:3531
+1146:2:3532
+1147:2:3543
+1148:2:3548
+1149:2:3549
+1150:2:3560
+1151:2:3561
+1152:2:3562
+1153:2:3560
+1154:2:3561
+1155:2:3562
+1156:2:3573
+1157:2:3582
+1158:0:4462
+1159:2:3128
+1160:0:4462
+1161:2:3588
+1162:0:4462
+1163:2:4110
+1164:2:4111
+1165:2:4115
+1166:2:4119
+1167:2:4120
+1168:2:4124
+1169:2:4132
+1170:2:4133
+1171:2:4137
+1172:2:4141
+1173:2:4142
+1174:2:4137
+1175:2:4141
+1176:2:4142
+1177:2:4146
+1178:2:4153
+1179:2:4160
+1180:2:4161
+1181:2:4168
+1182:2:4173
+1183:2:4180
+1184:2:4181
+1185:2:4180
+1186:2:4181
+1187:2:4188
+1188:2:4192
+1189:0:4462
+1190:2:3590
+1191:2:4000
+1192:0:4462
+1193:2:3128
+1194:0:4462
+1195:1:1291
+1196:1:1292
+1197:0:4460
+1198:1:11
+1199:0:4466
+1200:2:3477