X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow-intel-no-ipi%2Furcu_free_single_flip.spin.input.trail;fp=formal-model%2Furcu-controldataflow-intel-no-ipi%2Furcu_free_single_flip.spin.input.trail;h=6eb297f06c0f804acbdc6634b123806a66dd1074;hb=b6b17880a1a83b679d968907e2ff6cf72dd645fb;hp=0000000000000000000000000000000000000000;hpb=06e8b2a87f862183a26e0005bf04221633f49d0c;p=userspace-rcu.git

diff --git a/formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail
new file mode 100644
index 0000000..6eb297f
--- /dev/null
+++ b/formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1062 @@
+-2:3:-2
+-4:-4:-4
+1:0:3997
+2:3:3917
+3:3:3920
+4:3:3920
+5:3:3923
+6:3:3931
+7:3:3931
+8:3:3934
+9:3:3940
+10:3:3944
+11:3:3944
+12:3:3947
+13:3:3957
+14:3:3965
+15:3:3965
+16:3:3968
+17:3:3974
+18:3:3978
+19:3:3978
+20:3:3981
+21:3:3987
+22:3:3991
+23:3:3992
+24:0:3997
+25:3:3994
+26:0:3997
+27:2:2757
+28:0:3997
+29:2:2763
+30:0:3997
+31:2:2764
+32:0:3997
+33:2:2766
+34:0:3997
+35:2:2767
+36:0:3997
+37:2:2768
+38:0:3997
+39:2:2769
+40:0:3997
+41:2:2770
+42:0:3997
+43:2:2771
+44:0:3997
+45:2:2772
+46:2:2773
+47:2:2777
+48:2:2778
+49:2:2786
+50:2:2787
+51:2:2791
+52:2:2792
+53:2:2800
+54:2:2805
+55:2:2809
+56:2:2810
+57:2:2818
+58:2:2819
+59:2:2823
+60:2:2824
+61:2:2818
+62:2:2819
+63:2:2823
+64:2:2824
+65:2:2832
+66:2:2837
+67:2:2844
+68:2:2845
+69:2:2852
+70:2:2857
+71:2:2864
+72:2:2865
+73:2:2864
+74:2:2865
+75:2:2872
+76:2:2882
+77:0:3997
+78:2:2771
+79:0:3997
+80:2:2886
+81:2:2890
+82:2:2891
+83:2:2895
+84:2:2899
+85:2:2900
+86:2:2904
+87:2:2912
+88:2:2913
+89:2:2917
+90:2:2921
+91:2:2922
+92:2:2917
+93:2:2918
+94:2:2926
+95:0:3997
+96:2:2771
+97:0:3997
+98:2:2934
+99:2:2935
+100:2:2936
+101:0:3997
+102:2:2771
+103:0:3997
+104:2:2941
+105:0:3997
+106:2:3554
+107:2:3555
+108:2:3559
+109:2:3563
+110:2:3564
+111:2:3568
+112:2:3573
+113:2:3581
+114:2:3585
+115:2:3586
+116:2:3581
+117:2:3585
+118:2:3586
+119:2:3590
+120:2:3597
+121:2:3604
+122:2:3605
+123:2:3612
+124:2:3617
+125:2:3624
+126:2:3625
+127:2:3624
+128:2:3625
+129:2:3632
+130:2:3636
+131:0:3997
+132:2:2943
+133:2:3535
+134:0:3997
+135:2:2771
+136:0:3997
+137:2:2944
+138:0:3997
+139:2:2771
+140:0:3997
+141:2:2947
+142:2:2948
+143:2:2952
+144:2:2953
+145:2:2961
+146:2:2962
+147:2:2966
+148:2:2967
+149:2:2975
+150:2:2980
+151:2:2984
+152:2:2985
+153:2:2993
+154:2:2994
+155:2:2998
+156:2:2999
+157:2:2993
+158:2:2994
+159:2:2998
+160:2:2999
+161:2:3007
+162:2:3012
+163:2:3019
+164:2:3020
+165:2:3027
+166:2:3032
+167:2:3039
+168:2:3040
+169:2:3039
+170:2:3040
+171:2:3047
+172:2:3056
+173:0:3997
+174:2:2771
+175:0:3997
+176:2:3060
+177:2:3069
+178:2:3070
+179:2:3074
+180:2:3075
+181:2:3079
+182:2:3080
+183:2:3088
+184:2:3093
+185:2:3097
+186:2:3098
+187:2:3106
+188:2:3107
+189:2:3111
+190:2:3112
+191:2:3106
+192:2:3107
+193:2:3111
+194:2:3112
+195:2:3120
+196:2:3127
+197:2:3128
+198:2:3132
+199:2:3133
+200:2:3140
+201:2:3145
+202:2:3152
+203:2:3153
+204:2:3152
+205:2:3153
+206:2:3160
+207:2:3172
+208:2:3173
+209:0:3997
+210:2:2771
+211:0:3997
+212:2:3523
+213:0:3997
+214:1:2
+215:0:3997
+216:1:8
+217:0:3997
+218:1:9
+219:0:3997
+220:1:10
+221:0:3997
+222:1:11
+223:0:3997
+224:1:12
+225:1:13
+226:1:17
+227:1:18
+228:1:26
+229:1:27
+230:1:31
+231:1:32
+232:1:40
+233:1:45
+234:1:49
+235:1:50
+236:1:58
+237:1:59
+238:1:63
+239:1:64
+240:1:58
+241:1:59
+242:1:63
+243:1:64
+244:1:72
+245:1:77
+246:1:84
+247:1:85
+248:1:92
+249:1:97
+250:1:104
+251:1:105
+252:1:104
+253:1:105
+254:1:112
+255:0:3997
+256:1:11
+257:0:3997
+258:1:123
+259:1:124
+260:0:3997
+261:1:11
+262:0:3997
+263:1:130
+264:1:131
+265:1:135
+266:1:136
+267:1:144
+268:1:145
+269:1:149
+270:1:150
+271:1:158
+272:1:163
+273:1:167
+274:1:168
+275:1:176
+276:1:177
+277:1:181
+278:1:182
+279:1:176
+280:1:177
+281:1:181
+282:1:182
+283:1:190
+284:1:195
+285:1:202
+286:1:203
+287:1:210
+288:1:215
+289:1:222
+290:1:223
+291:1:222
+292:1:223
+293:1:230
+294:0:3997
+295:1:11
+296:0:3997
+297:2:3824
+298:2:3832
+299:2:3836
+300:2:3837
+301:2:3841
+302:2:3849
+303:2:3850
+304:2:3854
+305:2:3858
+306:2:3859
+307:2:3854
+308:2:3858
+309:2:3859
+310:2:3863
+311:2:3870
+312:2:3877
+313:2:3878
+314:2:3885
+315:2:3890
+316:2:3897
+317:2:3898
+318:2:3897
+319:2:3898
+320:2:3905
+321:2:3909
+322:0:3997
+323:2:3525
+324:2:3535
+325:0:3997
+326:2:2771
+327:0:3997
+328:2:3526
+329:2:3527
+330:0:3997
+331:2:2771
+332:0:3997
+333:2:3531
+334:0:3997
+335:2:3539
+336:0:3997
+337:2:2764
+338:0:3997
+339:2:2766
+340:0:3997
+341:2:2767
+342:0:3997
+343:2:2768
+344:0:3997
+345:2:2769
+346:0:3997
+347:2:2770
+348:0:3997
+349:2:2771
+350:0:3997
+351:2:2772
+352:2:2773
+353:2:2777
+354:2:2778
+355:2:2786
+356:2:2787
+357:2:2791
+358:2:2792
+359:2:2800
+360:2:2805
+361:2:2809
+362:2:2810
+363:2:2818
+364:2:2819
+365:2:2820
+366:2:2818
+367:2:2819
+368:2:2823
+369:2:2824
+370:2:2832
+371:2:2837
+372:2:2844
+373:2:2845
+374:2:2852
+375:2:2857
+376:2:2864
+377:2:2865
+378:2:2864
+379:2:2865
+380:2:2872
+381:2:2882
+382:0:3997
+383:2:2771
+384:0:3997
+385:2:2886
+386:2:2890
+387:2:2891
+388:2:2895
+389:2:2899
+390:2:2900
+391:2:2904
+392:2:2912
+393:2:2913
+394:2:2917
+395:2:2918
+396:2:2917
+397:2:2921
+398:2:2922
+399:2:2926
+400:0:3997
+401:2:2771
+402:0:3997
+403:2:2934
+404:2:2935
+405:2:2936
+406:0:3997
+407:2:2771
+408:0:3997
+409:2:2941
+410:0:3997
+411:1:241
+412:1:242
+413:1:246
+414:1:247
+415:1:255
+416:1:256
+417:1:260
+418:1:261
+419:1:269
+420:1:274
+421:1:278
+422:1:279
+423:1:287
+424:1:288
+425:1:292
+426:1:293
+427:1:287
+428:1:288
+429:1:292
+430:1:293
+431:1:301
+432:1:306
+433:1:313
+434:1:314
+435:1:321
+436:1:326
+437:1:333
+438:1:334
+439:1:333
+440:1:334
+441:1:341
+442:1:350
+443:0:3997
+444:1:11
+445:0:3997
+446:1:468
+447:1:472
+448:1:473
+449:1:477
+450:1:478
+451:1:486
+452:1:494
+453:1:495
+454:1:499
+455:1:503
+456:1:504
+457:1:499
+458:1:503
+459:1:504
+460:1:508
+461:1:515
+462:1:522
+463:1:523
+464:1:530
+465:1:535
+466:1:542
+467:1:543
+468:1:542
+469:1:543
+470:1:550
+471:0:3997
+472:1:11
+473:0:3997
+474:1:560
+475:1:561
+476:1:565
+477:1:566
+478:1:574
+479:1:575
+480:1:579
+481:1:580
+482:1:588
+483:1:593
+484:1:597
+485:1:598
+486:1:606
+487:1:607
+488:1:611
+489:1:612
+490:1:606
+491:1:607
+492:1:611
+493:1:612
+494:1:620
+495:1:625
+496:1:632
+497:1:633
+498:1:640
+499:1:645
+500:1:652
+501:1:653
+502:1:652
+503:1:653
+504:1:660
+505:0:3997
+506:1:11
+507:0:3997
+508:1:671
+509:1:674
+510:1:675
+511:0:3997
+512:1:11
+513:0:3997
+514:1:678
+515:1:679
+516:1:683
+517:1:684
+518:1:692
+519:1:693
+520:1:697
+521:1:698
+522:1:706
+523:1:711
+524:1:715
+525:1:716
+526:1:724
+527:1:725
+528:1:729
+529:1:730
+530:1:724
+531:1:725
+532:1:729
+533:1:730
+534:1:738
+535:1:743
+536:1:750
+537:1:751
+538:1:758
+539:1:763
+540:1:770
+541:1:771
+542:1:770
+543:1:771
+544:1:778
+545:0:3997
+546:1:11
+547:0:3997
+548:1:902
+549:1:903
+550:1:907
+551:1:908
+552:1:916
+553:1:917
+554:1:921
+555:1:922
+556:1:930
+557:1:935
+558:1:939
+559:1:940
+560:1:948
+561:1:949
+562:1:953
+563:1:954
+564:1:948
+565:1:949
+566:1:953
+567:1:954
+568:1:962
+569:1:967
+570:1:974
+571:1:975
+572:1:982
+573:1:987
+574:1:994
+575:1:995
+576:1:994
+577:1:995
+578:1:1002
+579:1:1011
+580:1:1015
+581:0:3997
+582:1:11
+583:0:3997
+584:1:1016
+585:1:1017
+586:1:1021
+587:1:1022
+588:1:1030
+589:1:1031
+590:1:1032
+591:1:1044
+592:1:1049
+593:1:1053
+594:1:1054
+595:1:1062
+596:1:1063
+597:1:1067
+598:1:1068
+599:1:1062
+600:1:1063
+601:1:1067
+602:1:1068
+603:1:1076
+604:1:1081
+605:1:1088
+606:1:1089
+607:1:1096
+608:1:1101
+609:1:1108
+610:1:1109
+611:1:1108
+612:1:1109
+613:1:1116
+614:0:3997
+615:1:11
+616:0:3997
+617:2:3554
+618:2:3555
+619:2:3559
+620:2:3563
+621:2:3564
+622:2:3568
+623:2:3573
+624:2:3581
+625:2:3585
+626:2:3586
+627:2:3581
+628:2:3585
+629:2:3586
+630:2:3590
+631:2:3597
+632:2:3604
+633:2:3605
+634:2:3612
+635:2:3617
+636:2:3624
+637:2:3625
+638:2:3624
+639:2:3625
+640:2:3632
+641:2:3636
+642:0:3997
+643:2:2943
+644:2:3535
+645:0:3997
+646:2:2771
+647:0:3997
+648:2:2944
+649:0:3997
+650:2:2771
+651:0:3997
+652:2:2947
+653:2:2948
+654:2:2952
+655:2:2953
+656:2:2961
+657:2:2962
+658:2:2966
+659:2:2967
+660:2:2975
+661:2:2980
+662:2:2984
+663:2:2985
+664:2:2993
+665:2:2994
+666:2:2998
+667:2:2999
+668:2:2993
+669:2:2994
+670:2:2998
+671:2:2999
+672:2:3007
+673:2:3012
+674:2:3019
+675:2:3020
+676:2:3027
+677:2:3032
+678:2:3039
+679:2:3040
+680:2:3039
+681:2:3040
+682:2:3047
+683:2:3056
+684:0:3997
+685:2:2771
+686:0:3997
+687:2:3060
+688:2:3061
+689:2:3062
+690:2:3074
+691:2:3075
+692:2:3079
+693:2:3080
+694:2:3088
+695:2:3093
+696:2:3097
+697:2:3098
+698:2:3106
+699:2:3107
+700:2:3111
+701:2:3112
+702:2:3106
+703:2:3107
+704:2:3111
+705:2:3112
+706:2:3120
+707:2:3125
+708:2:3132
+709:2:3133
+710:2:3140
+711:2:3145
+712:2:3152
+713:2:3153
+714:2:3152
+715:2:3153
+716:2:3160
+717:2:3172
+718:2:3173
+719:0:3997
+720:2:2771
+721:0:3997
+722:2:3523
+723:0:3997
+724:2:3827
+725:2:3828
+726:2:3832
+727:2:3836
+728:2:3837
+729:2:3841
+730:2:3849
+731:2:3850
+732:2:3854
+733:2:3858
+734:2:3859
+735:2:3854
+736:2:3858
+737:2:3859
+738:2:3863
+739:2:3870
+740:2:3877
+741:2:3878
+742:2:3885
+743:2:3890
+744:2:3897
+745:2:3898
+746:2:3897
+747:2:3898
+748:2:3905
+749:2:3909
+750:0:3997
+751:2:3525
+752:2:3535
+753:0:3997
+754:2:2771
+755:0:3997
+756:2:3526
+757:2:3527
+758:0:3997
+759:2:2771
+760:0:3997
+761:2:3531
+762:0:3997
+763:2:3539
+764:0:3997
+765:2:2764
+766:0:3997
+767:2:2766
+768:0:3997
+769:2:2767
+770:0:3997
+771:2:2768
+772:0:3997
+773:2:2769
+774:0:3997
+775:2:2770
+776:0:3997
+777:2:2771
+778:0:3997
+779:2:2772
+780:2:2773
+781:2:2777
+782:2:2778
+783:2:2786
+784:2:2787
+785:2:2791
+786:2:2792
+787:2:2800
+788:2:2805
+789:2:2809
+790:2:2810
+791:2:2818
+792:2:2819
+793:2:2823
+794:2:2824
+795:2:2818
+796:2:2819
+797:2:2820
+798:2:2832
+799:2:2837
+800:2:2844
+801:2:2845
+802:2:2852
+803:2:2857
+804:2:2864
+805:2:2865
+806:2:2864
+807:2:2865
+808:2:2872
+809:2:2882
+810:0:3997
+811:2:2771
+812:0:3997
+813:1:1127
+814:0:3997
+815:1:2663
+816:1:2670
+817:1:2671
+818:1:2678
+819:1:2683
+820:1:2690
+821:1:2691
+822:1:2690
+823:1:2691
+824:1:2698
+825:1:2702
+826:0:3997
+827:2:2886
+828:2:2890
+829:2:2891
+830:2:2895
+831:2:2899
+832:2:2900
+833:2:2904
+834:2:2912
+835:2:2913
+836:2:2917
+837:2:2921
+838:2:2922
+839:2:2917
+840:2:2918
+841:2:2926
+842:0:3997
+843:2:2771
+844:0:3997
+845:2:2934
+846:2:2935
+847:2:2936
+848:0:3997
+849:2:2771
+850:0:3997
+851:2:2941
+852:0:3997
+853:2:3554
+854:2:3555
+855:2:3559
+856:2:3563
+857:2:3564
+858:2:3568
+859:2:3573
+860:2:3581
+861:2:3585
+862:2:3586
+863:2:3581
+864:2:3585
+865:2:3586
+866:2:3590
+867:2:3597
+868:2:3604
+869:2:3605
+870:2:3612
+871:2:3617
+872:2:3624
+873:2:3625
+874:2:3624
+875:2:3625
+876:2:3632
+877:2:3636
+878:0:3997
+879:2:2943
+880:2:3535
+881:0:3997
+882:2:2771
+883:0:3997
+884:2:2944
+885:0:3997
+886:2:2771
+887:0:3997
+888:2:2947
+889:2:2948
+890:2:2952
+891:2:2953
+892:2:2961
+893:2:2962
+894:2:2966
+895:2:2967
+896:2:2975
+897:2:2980
+898:2:2984
+899:2:2985
+900:2:2993
+901:2:2994
+902:2:2998
+903:2:2999
+904:2:2993
+905:2:2994
+906:2:2998
+907:2:2999
+908:2:3007
+909:2:3012
+910:2:3019
+911:2:3020
+912:2:3027
+913:2:3032
+914:2:3039
+915:2:3040
+916:2:3039
+917:2:3040
+918:2:3047
+919:2:3056
+920:0:3997
+921:2:2771
+922:0:3997
+923:2:3060
+924:2:3061
+925:2:3062
+926:2:3074
+927:2:3075
+928:2:3079
+929:2:3080
+930:2:3088
+931:2:3093
+932:2:3097
+933:2:3098
+934:2:3106
+935:2:3107
+936:2:3111
+937:2:3112
+938:2:3106
+939:2:3107
+940:2:3111
+941:2:3112
+942:2:3120
+943:2:3125
+944:2:3132
+945:2:3133
+946:2:3140
+947:2:3145
+948:2:3152
+949:2:3153
+950:2:3152
+951:2:3153
+952:2:3160
+953:2:3170
+954:0:3997
+955:2:2771
+956:0:3997
+957:2:3176
+958:0:3997
+959:2:3645
+960:2:3646
+961:2:3650
+962:2:3654
+963:2:3655
+964:2:3659
+965:2:3667
+966:2:3668
+967:2:3672
+968:2:3676
+969:2:3677
+970:2:3672
+971:2:3676
+972:2:3677
+973:2:3681
+974:2:3688
+975:2:3695
+976:2:3696
+977:2:3703
+978:2:3708
+979:2:3715
+980:2:3716
+981:2:3715
+982:2:3716
+983:2:3723
+984:2:3727
+985:0:3997
+986:2:3178
+987:2:3179
+988:0:3997
+989:2:2771
+990:0:3997
+991:2:3060
+992:2:3061
+993:2:3065
+994:2:3066
+995:2:3074
+996:2:3075
+997:2:3079
+998:2:3080
+999:2:3088
+1000:2:3093
+1001:2:3097
+1002:2:3098
+1003:2:3106
+1004:2:3107
+1005:2:3111
+1006:2:3112
+1007:2:3106
+1008:2:3107
+1009:2:3111
+1010:2:3112
+1011:2:3120
+1012:2:3125
+1013:2:3132
+1014:2:3133
+1015:2:3140
+1016:2:3145
+1017:2:3152
+1018:2:3153
+1019:2:3152
+1020:2:3153
+1021:2:3160
+1022:2:3170
+1023:0:3997
+1024:2:2771
+1025:0:3997
+1026:2:3176
+1027:0:3997
+1028:2:3645
+1029:2:3646
+1030:2:3650
+1031:2:3654
+1032:2:3655
+1033:2:3659
+1034:2:3667
+1035:2:3668
+1036:2:3672
+1037:2:3676
+1038:2:3677
+1039:2:3672
+1040:2:3676
+1041:2:3677
+1042:2:3681
+1043:2:3688
+1044:2:3695
+1045:2:3696
+1046:2:3703
+1047:2:3708
+1048:2:3715
+1049:2:3716
+1050:2:3715
+1051:2:3716
+1052:2:3723
+1053:2:3727
+1054:0:3997
+1055:1:1129
+1056:1:1130
+1057:0:3995
+1058:1:11
+1059:0:4001
+1060:1:1715