Verification run #1, ipi and no-ipi results

[urcu.git] / formal-model / results / urcu-controldataflow-no-ipi / result-ipi-urcu_free / urcu_progress_writer.spin.input.trail

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input.trail
new file mode 100644 (file)
index 0000000..e8b02f0
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input.trail
@@ -0,0 +1,884 @@
+-2:3:-2
+-4:-4:-4
+1:0:4645
+2:3:4565
+3:3:4568
+4:3:4568
+5:3:4571
+6:3:4579
+7:3:4579
+8:3:4582
+9:3:4588
+10:3:4592
+11:3:4592
+12:3:4595
+13:3:4605
+14:3:4613
+15:3:4613
+16:3:4616
+17:3:4622
+18:3:4626
+19:3:4626
+20:3:4629
+21:3:4635
+22:3:4639
+23:3:4640
+24:0:4645
+25:3:4642
+26:0:4645
+27:2:2873
+28:0:4645
+29:2:2879
+30:0:4645
+31:2:2880
+32:0:4645
+33:2:2881
+34:0:4643
+35:2:2882
+36:0:4649
+37:2:2883
+38:0:4649
+39:2:2884
+40:2:2885
+41:2:2889
+42:2:2890
+43:2:2898
+44:2:2899
+45:2:2903
+46:2:2904
+47:2:2912
+48:2:2917
+49:2:2921
+50:2:2922
+51:2:2930
+52:2:2931
+53:2:2935
+54:2:2936
+55:2:2930
+56:2:2931
+57:2:2935
+58:2:2936
+59:2:2944
+60:2:2949
+61:2:2950
+62:2:2961
+63:2:2962
+64:2:2963
+65:2:2974
+66:2:2979
+67:2:2980
+68:2:2991
+69:2:2992
+70:2:2993
+71:2:2991
+72:2:2992
+73:2:2993
+74:2:3004
+75:2:3012
+76:0:4649
+77:2:2883
+78:0:4649
+79:2:3016
+80:2:3020
+81:2:3021
+82:2:3025
+83:2:3029
+84:2:3030
+85:2:3034
+86:2:3042
+87:2:3043
+88:2:3047
+89:2:3051
+90:2:3052
+91:2:3047
+92:2:3048
+93:2:3056
+94:0:4649
+95:2:2883
+96:0:4649
+97:2:3064
+98:2:3065
+99:2:3066
+100:0:4649
+101:2:2883
+102:0:4649
+103:2:3071
+104:0:4649
+105:2:3774
+106:2:3775
+107:2:3779
+108:2:3783
+109:2:3784
+110:2:3788
+111:2:3793
+112:2:3801
+113:2:3805
+114:2:3806
+115:2:3801
+116:2:3805
+117:2:3806
+118:2:3810
+119:2:3817
+120:2:3824
+121:2:3825
+122:2:3832
+123:2:3837
+124:2:3844
+125:2:3845
+126:2:3844
+127:2:3845
+128:2:3852
+129:2:3856
+130:0:4649
+131:2:3861
+132:0:4649
+133:2:3862
+134:0:4649
+135:2:3863
+136:0:4649
+137:2:3864
+138:0:4649
+139:1:2
+140:0:4649
+141:2:3865
+142:0:4649
+143:1:8
+144:0:4649
+145:1:9
+146:0:4649
+147:2:3864
+148:0:4649
+149:2:3865
+150:0:4649
+151:1:10
+152:0:4649
+153:2:3864
+154:0:4649
+155:2:3865
+156:0:4649
+157:1:11
+158:0:4649
+159:2:3864
+160:0:4649
+161:2:3865
+162:0:4649
+163:1:12
+164:0:4649
+165:2:3864
+166:0:4649
+167:2:3865
+168:0:4649
+169:1:13
+170:0:4649
+171:2:3864
+172:0:4649
+173:2:3865
+174:0:4649
+175:1:14
+176:0:4649
+177:1:15
+178:0:4649
+179:1:23
+180:0:4649
+181:1:24
+182:0:4649
+183:2:3864
+184:0:4649
+185:2:3865
+186:0:4649
+187:1:128
+188:1:129
+189:1:133
+190:1:134
+191:1:142
+192:1:143
+193:1:147
+194:1:148
+195:1:156
+196:1:161
+197:1:165
+198:1:166
+199:1:174
+200:1:175
+201:1:179
+202:1:180
+203:1:174
+204:1:175
+205:1:179
+206:1:180
+207:1:188
+208:1:193
+209:1:194
+210:1:205
+211:1:206
+212:1:207
+213:1:218
+214:1:223
+215:1:224
+216:1:235
+217:1:236
+218:1:237
+219:1:235
+220:1:236
+221:1:237
+222:1:248
+223:0:4649
+224:1:15
+225:0:4649
+226:1:23
+227:0:4649
+228:1:24
+229:0:4649
+230:2:3864
+231:0:4649
+232:2:3865
+233:0:4649
+234:1:257
+235:1:258
+236:0:4649
+237:1:15
+238:0:4649
+239:1:23
+240:0:4649
+241:1:24
+242:0:4649
+243:2:3864
+244:0:4649
+245:2:3865
+246:0:4649
+247:1:264
+248:1:265
+249:1:269
+250:1:270
+251:1:278
+252:1:279
+253:1:283
+254:1:284
+255:1:292
+256:1:297
+257:1:301
+258:1:302
+259:1:310
+260:1:311
+261:1:315
+262:1:316
+263:1:310
+264:1:311
+265:1:315
+266:1:316
+267:1:324
+268:1:329
+269:1:330
+270:1:341
+271:1:342
+272:1:343
+273:1:354
+274:1:359
+275:1:360
+276:1:371
+277:1:372
+278:1:373
+279:1:371
+280:1:372
+281:1:373
+282:1:384
+283:0:4649
+284:1:15
+285:0:4649
+286:1:23
+287:0:4649
+288:1:24
+289:0:4649
+290:2:3864
+291:0:4649
+292:2:3865
+293:0:4649
+294:1:393
+295:1:394
+296:1:398
+297:1:399
+298:1:407
+299:1:408
+300:1:412
+301:1:413
+302:1:421
+303:1:426
+304:1:430
+305:1:431
+306:1:439
+307:1:440
+308:1:444
+309:1:445
+310:1:439
+311:1:440
+312:1:444
+313:1:445
+314:1:453
+315:1:458
+316:1:459
+317:1:470
+318:1:471
+319:1:472
+320:1:483
+321:1:488
+322:1:489
+323:1:500
+324:1:501
+325:1:502
+326:1:500
+327:1:501
+328:1:502
+329:1:513
+330:1:520
+331:0:4649
+332:1:15
+333:0:4649
+334:1:16
+335:0:4649
+336:2:3864
+337:0:4649
+338:2:3865
+339:0:4649
+340:1:17
+341:0:4649
+342:2:3864
+343:0:4649
+344:2:3865
+345:0:4649
+346:1:28
+347:0:4649
+348:2:3864
+349:0:4649
+350:2:3865
+351:0:4649
+352:1:32
+353:1:33
+354:1:37
+355:1:38
+356:1:46
+357:1:54
+358:1:55
+359:1:59
+360:1:63
+361:1:64
+362:1:59
+363:1:63
+364:1:64
+365:1:68
+366:1:75
+367:1:82
+368:1:83
+369:1:90
+370:1:95
+371:1:102
+372:1:103
+373:1:102
+374:1:103
+375:1:110
+376:1:114
+377:0:4649
+378:2:3864
+379:0:4649
+380:2:3865
+381:0:4649
+382:1:119
+383:0:4649
+384:2:3866
+385:0:4649
+386:2:3871
+387:0:4649
+388:2:3872
+389:0:4649
+390:2:3880
+391:2:3881
+392:2:3885
+393:2:3889
+394:2:3890
+395:2:3894
+396:2:3902
+397:2:3903
+398:2:3907
+399:2:3911
+400:2:3912
+401:2:3907
+402:2:3911
+403:2:3912
+404:2:3916
+405:2:3923
+406:2:3930
+407:2:3931
+408:2:3938
+409:2:3943
+410:2:3950
+411:2:3951
+412:2:3950
+413:2:3951
+414:2:3958
+415:2:3962
+416:0:4649
+417:2:3073
+418:2:3755
+419:0:4649
+420:2:2883
+421:0:4649
+422:2:3074
+423:0:4649
+424:2:2883
+425:0:4649
+426:2:3077
+427:2:3078
+428:2:3082
+429:2:3083
+430:2:3091
+431:2:3092
+432:2:3096
+433:2:3097
+434:2:3105
+435:2:3110
+436:2:3114
+437:2:3115
+438:2:3123
+439:2:3124
+440:2:3128
+441:2:3129
+442:2:3123
+443:2:3124
+444:2:3128
+445:2:3129
+446:2:3137
+447:2:3142
+448:2:3143
+449:2:3154
+450:2:3155
+451:2:3156
+452:2:3167
+453:2:3172
+454:2:3173
+455:2:3184
+456:2:3185
+457:2:3186
+458:2:3184
+459:2:3185
+460:2:3186
+461:2:3197
+462:2:3204
+463:0:4649
+464:2:2883
+465:0:4649
+466:2:3208
+467:2:3209
+468:2:3210
+469:2:3222
+470:2:3223
+471:2:3227
+472:2:3228
+473:2:3236
+474:2:3241
+475:2:3245
+476:2:3246
+477:2:3254
+478:2:3255
+479:2:3259
+480:2:3260
+481:2:3254
+482:2:3255
+483:2:3259
+484:2:3260
+485:2:3268
+486:2:3273
+487:2:3274
+488:2:3285
+489:2:3286
+490:2:3287
+491:2:3298
+492:2:3303
+493:2:3304
+494:2:3315
+495:2:3316
+496:2:3317
+497:2:3315
+498:2:3316
+499:2:3317
+500:2:3328
+501:2:3337
+502:0:4649
+503:2:2883
+504:0:4649
+505:2:3343
+506:0:4649
+507:2:3972
+508:2:3973
+509:2:3977
+510:2:3981
+511:2:3982
+512:2:3986
+513:2:3994
+514:2:3995
+515:2:3999
+516:2:4003
+517:2:4004
+518:2:3999
+519:2:4003
+520:2:4004
+521:2:4008
+522:2:4015
+523:2:4022
+524:2:4023
+525:2:4030
+526:2:4035
+527:2:4042
+528:2:4043
+529:2:4042
+530:2:4043
+531:2:4050
+532:2:4054
+533:0:4649
+534:2:4059
+535:0:4649
+536:2:4060
+537:0:4649
+538:2:4061
+539:0:4649
+540:2:4062
+541:0:4649
+542:1:28
+543:0:4649
+544:2:4063
+545:0:4649
+546:2:4062
+547:0:4649
+548:1:32
+549:1:33
+550:1:37
+551:1:41
+552:1:42
+553:1:46
+554:1:54
+555:1:55
+556:1:59
+557:1:63
+558:1:64
+559:1:59
+560:1:63
+561:1:64
+562:1:68
+563:1:75
+564:1:82
+565:1:83
+566:1:90
+567:1:95
+568:1:102
+569:1:103
+570:1:102
+571:1:103
+572:1:110
+573:1:114
+-1:-1:-1
+574:0:4649
+575:2:4063
+576:0:4649
+577:2:4062
+578:0:4649
+579:1:119
+580:0:4649
+581:2:4063
+582:0:4649
+583:2:4064
+584:0:4649
+585:2:4069
+586:0:4649
+587:2:4070
+588:0:4649
+589:2:4078
+590:2:4079
+591:2:4083
+592:2:4087
+593:2:4088
+594:2:4092
+595:2:4100
+596:2:4101
+597:2:4105
+598:2:4109
+599:2:4110
+600:2:4105
+601:2:4109
+602:2:4110
+603:2:4114
+604:2:4121
+605:2:4128
+606:2:4129
+607:2:4136
+608:2:4141
+609:2:4148
+610:2:4149
+611:2:4148
+612:2:4149
+613:2:4156
+614:2:4160
+615:0:4649
+616:2:3345
+617:2:3755
+618:0:4649
+619:2:2883
+620:0:4649
+621:2:3208
+622:2:3209
+623:2:3213
+624:2:3214
+625:2:3222
+626:2:3223
+627:2:3227
+628:2:3228
+629:2:3236
+630:2:3241
+631:2:3245
+632:2:3246
+633:2:3254
+634:2:3255
+635:2:3259
+636:2:3260
+637:2:3254
+638:2:3255
+639:2:3259
+640:2:3260
+641:2:3268
+642:2:3273
+643:2:3274
+644:2:3285
+645:2:3286
+646:2:3287
+647:2:3298
+648:2:3303
+649:2:3304
+650:2:3315
+651:2:3316
+652:2:3317
+653:2:3315
+654:2:3316
+655:2:3317
+656:2:3328
+657:2:3337
+658:0:4649
+659:2:2883
+660:0:4649
+661:2:3343
+662:0:4649
+663:2:3972
+664:2:3973
+665:2:3977
+666:2:3981
+667:2:3982
+668:2:3986
+669:2:3994
+670:2:3995
+671:2:3999
+672:2:4003
+673:2:4004
+674:2:3999
+675:2:4003
+676:2:4004
+677:2:4008
+678:2:4015
+679:2:4022
+680:2:4023
+681:2:4030
+682:2:4035
+683:2:4042
+684:2:4043
+685:2:4042
+686:2:4043
+687:2:4050
+688:2:4054
+689:0:4649
+690:2:4059
+691:0:4649
+692:2:4060
+693:0:4649
+694:2:4061
+695:0:4649
+696:2:4062
+697:0:4649
+698:1:28
+699:0:4649
+700:2:4063
+701:0:4649
+702:1:32
+703:1:33
+704:1:37
+705:1:41
+706:1:42
+707:1:46
+708:1:54
+709:1:55
+710:1:59
+711:1:63
+712:1:64
+713:1:59
+714:1:63
+715:1:64
+716:1:68
+717:1:75
+718:1:82
+719:1:83
+720:1:90
+721:1:95
+722:1:102
+723:1:103
+724:1:102
+725:1:103
+726:1:110
+727:1:114
+728:0:4649
+729:2:4062
+730:0:4649
+731:2:4063
+732:0:4649
+733:1:119
+734:0:4649
+735:2:4064
+736:0:4649
+737:2:4069
+738:0:4649
+739:2:4070
+740:0:4649
+741:2:4078
+742:2:4079
+743:2:4083
+744:2:4087
+745:2:4088
+746:2:4092
+747:2:4100
+748:2:4101
+749:2:4105
+750:2:4109
+751:2:4110
+752:2:4105
+753:2:4109
+754:2:4110
+755:2:4114
+756:2:4121
+757:2:4128
+758:2:4129
+759:2:4136
+760:2:4141
+761:2:4148
+762:2:4149
+763:2:4148
+764:2:4149
+765:2:4156
+766:2:4160
+767:0:4649
+768:2:3345
+769:2:3755
+770:0:4649
+771:2:2883
+772:0:4649
+773:2:3208
+774:2:3209
+775:2:3213
+776:2:3214
+777:2:3222
+778:2:3223
+779:2:3227
+780:2:3228
+781:2:3236
+782:2:3241
+783:2:3245
+784:2:3246
+785:2:3254
+786:2:3255
+787:2:3259
+788:2:3260
+789:2:3254
+790:2:3255
+791:2:3259
+792:2:3260
+793:2:3268
+794:2:3273
+795:2:3274
+796:2:3285
+797:2:3286
+798:2:3287
+799:2:3298
+800:2:3303
+801:2:3304
+802:2:3315
+803:2:3316
+804:2:3317
+805:2:3315
+806:2:3316
+807:2:3317
+808:2:3328
+809:2:3337
+810:0:4649
+811:2:2883
+812:0:4649
+813:2:3343
+814:0:4649
+815:2:3972
+816:2:3973
+817:2:3977
+818:2:3981
+819:2:3982
+820:2:3986
+821:2:3994
+822:2:3995
+823:2:3999
+824:2:4003
+825:2:4004
+826:2:3999
+827:2:4003
+828:2:4004
+829:2:4008
+830:2:4015
+831:2:4022
+832:2:4023
+833:2:4030
+834:2:4035
+835:2:4042
+836:2:4043
+837:2:4042
+838:2:4043
+839:2:4050
+840:2:4054
+841:0:4649
+842:2:4059
+843:0:4649
+844:2:4060
+845:0:4649
+846:2:4061
+847:0:4649
+848:2:4062
+849:0:4649
+850:1:28
+851:0:4649
+852:2:4063
+853:0:4649
+854:2:4062
+855:0:4649
+856:1:32
+857:1:33
+858:1:37
+859:1:41
+860:1:42
+861:1:46
+862:1:54
+863:1:55
+864:1:59
+865:1:63
+866:1:64
+867:1:59
+868:1:63
+869:1:64
+870:1:68
+871:1:75
+872:1:82
+873:1:83
+874:1:90
+875:1:95
+876:1:102
+877:1:103
+878:1:102
+879:1:103
+880:1:110
+881:1:114