X-Git-Url: https://git.lttng.org/?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=d8a05317e5ceeab681e12a3b42048b836e4a31b0;hb=dbf6928575dc30b5d8602b9a50ca385670f26ff1;hp=0000000000000000000000000000000000000000;hpb=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f;p=urcu.git

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
new file mode 100644
index 0000000..d8a0531
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1039 @@
+-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