Verification run #1, ipi and no-ipi results

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

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail
new file mode 100644 (file)
index 0000000..de65bad
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail
@@ -0,0 +1,1215 @@
+-2:3:-2
+-4:-4:-4
+1:0:4499
+2:3:4419
+3:3:4422
+4:3:4422
+5:3:4425
+6:3:4433
+7:3:4433
+8:3:4436
+9:3:4442
+10:3:4446
+11:3:4446
+12:3:4449
+13:3:4459
+14:3:4467
+15:3:4467
+16:3:4470
+17:3:4476
+18:3:4480
+19:3:4480
+20:3:4483
+21:3:4489
+22:3:4493
+23:3:4494
+24:0:4499
+25:3:4496
+26:0:4499
+27:2:2873
+28:0:4499
+29:2:2879
+30:0:4499
+31:2:2880
+32:0:4499
+33:2:2881
+34:0:4497
+35:2:2882
+36:0:4503
+37:2:2883
+38:0:4503
+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:4503
+77:2:2883
+78:0:4503
+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:4503
+95:2:2883
+96:0:4503
+97:2:3064
+98:2:3065
+99:2:3066
+100:0:4503
+101:2:2883
+102:0:4503
+103:2:3071
+104:0:4503
+105:2:4024
+106:2:4025
+107:2:4029
+108:2:4033
+109:2:4034
+110:2:4038
+111:2:4043
+112:2:4051
+113:2:4055
+114:2:4056
+115:2:4051
+116:2:4055
+117:2:4056
+118:2:4060
+119:2:4067
+120:2:4074
+121:2:4075
+122:2:4082
+123:2:4087
+124:2:4094
+125:2:4095
+126:2:4094
+127:2:4095
+128:2:4102
+129:2:4106
+130:0:4503
+131:2:4111
+132:0:4503
+133:2:4112
+134:0:4503
+135:2:4113
+136:0:4503
+137:2:4114
+138:0:4503
+139:1:2
+140:0:4503
+141:2:4115
+142:0:4503
+143:1:8
+144:0:4503
+145:1:9
+146:0:4503
+147:2:4114
+148:0:4503
+149:2:4115
+150:0:4503
+151:1:10
+152:0:4503
+153:2:4114
+154:0:4503
+155:2:4115
+156:0:4503
+157:1:11
+158:0:4503
+159:2:4114
+160:0:4503
+161:2:4115
+162:0:4503
+163:1:12
+164:0:4503
+165:2:4114
+166:0:4503
+167:2:4115
+168:0:4503
+169:1:13
+170:0:4503
+171:2:4114
+172:0:4503
+173:2:4115
+174:0:4503
+175:1:14
+176:0:4503
+177:1:15
+178:0:4503
+179:1:23
+180:0:4503
+181:1:24
+182:0:4503
+183:2:4114
+184:0:4503
+185:2:4115
+186:0:4503
+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:4503
+224:1:15
+225:0:4503
+226:1:23
+227:0:4503
+228:1:24
+229:0:4503
+230:2:4114
+231:0:4503
+232:2:4115
+233:0:4503
+234:1:257
+235:1:258
+236:0:4503
+237:1:15
+238:0:4503
+239:1:23
+240:0:4503
+241:1:24
+242:0:4503
+243:2:4114
+244:0:4503
+245:2:4115
+246:0:4503
+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:4503
+284:1:15
+285:0:4503
+286:1:23
+287:0:4503
+288:1:24
+289:0:4503
+290:2:4114
+291:0:4503
+292:2:4115
+293:0:4503
+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:4503
+332:1:15
+333:0:4503
+334:1:23
+335:0:4503
+336:1:24
+337:0:4503
+338:2:4114
+339:0:4503
+340:2:4115
+341:0:4503
+342:1:658
+343:1:659
+344:1:663
+345:1:664
+346:1:672
+347:1:673
+348:1:674
+349:1:686
+350:1:691
+351:1:695
+352:1:696
+353:1:704
+354:1:705
+355:1:709
+356:1:710
+357:1:704
+358:1:705
+359:1:709
+360:1:710
+361:1:718
+362:1:723
+363:1:724
+364:1:735
+365:1:736
+366:1:737
+367:1:748
+368:1:753
+369:1:754
+370:1:765
+371:1:766
+372:1:767
+373:1:765
+374:1:766
+375:1:767
+376:1:778
+377:0:4503
+378:1:15
+379:0:4503
+380:1:23
+381:0:4503
+382:1:24
+383:0:4503
+384:2:4114
+385:0:4503
+386:2:4115
+387:0:4503
+388:1:787
+389:1:790
+390:1:791
+391:0:4503
+392:1:15
+393:0:4503
+394:1:23
+395:0:4503
+396:1:24
+397:0:4503
+398:2:4114
+399:0:4503
+400:2:4115
+401:0:4503
+402:1:1054
+403:1:1055
+404:1:1059
+405:1:1060
+406:1:1068
+407:1:1069
+408:1:1073
+409:1:1074
+410:1:1082
+411:1:1087
+412:1:1091
+413:1:1092
+414:1:1100
+415:1:1101
+416:1:1105
+417:1:1106
+418:1:1100
+419:1:1101
+420:1:1105
+421:1:1106
+422:1:1114
+423:1:1119
+424:1:1120
+425:1:1131
+426:1:1132
+427:1:1133
+428:1:1144
+429:1:1149
+430:1:1150
+431:1:1161
+432:1:1162
+433:1:1163
+434:1:1161
+435:1:1162
+436:1:1163
+437:1:1174
+438:1:1181
+439:1:1185
+440:0:4503
+441:1:15
+442:0:4503
+443:1:23
+444:0:4503
+445:1:24
+446:0:4503
+447:2:4114
+448:0:4503
+449:2:4115
+450:0:4503
+451:1:1186
+452:1:1187
+453:1:1191
+454:1:1192
+455:1:1200
+456:1:1201
+457:1:1202
+458:1:1214
+459:1:1219
+460:1:1223
+461:1:1224
+462:1:1232
+463:1:1233
+464:1:1237
+465:1:1238
+466:1:1232
+467:1:1233
+468:1:1237
+469:1:1238
+470:1:1246
+471:1:1251
+472:1:1252
+473:1:1263
+474:1:1264
+475:1:1265
+476:1:1276
+477:1:1281
+478:1:1282
+479:1:1293
+480:1:1294
+481:1:1295
+482:1:1293
+483:1:1294
+484:1:1295
+485:1:1306
+486:0:4503
+487:1:15
+488:0:4503
+489:1:23
+490:0:4503
+491:1:24
+492:0:4503
+493:2:4114
+494:0:4503
+495:2:4115
+496:0:4503
+497:1:1315
+498:0:4503
+499:2:4114
+500:0:4503
+501:2:4115
+502:0:4503
+503:1:2779
+504:1:2786
+505:1:2787
+506:1:2794
+507:1:2799
+508:1:2806
+509:1:2807
+510:1:2806
+511:1:2807
+512:1:2814
+513:1:2818
+514:0:4503
+515:2:4114
+516:0:4503
+517:2:4115
+518:0:4503
+519:1:1317
+520:1:1318
+521:0:4503
+522:1:15
+523:0:4503
+524:1:23
+525:0:4503
+526:1:24
+527:0:4503
+528:2:4114
+529:0:4503
+530:2:4115
+531:0:4503
+532:1:1319
+533:1:1320
+534:1:1324
+535:1:1325
+536:1:1333
+537:1:1334
+538:1:1338
+539:1:1339
+540:1:1347
+541:1:1352
+542:1:1356
+543:1:1357
+544:1:1365
+545:1:1366
+546:1:1370
+547:1:1371
+548:1:1365
+549:1:1366
+550:1:1370
+551:1:1371
+552:1:1379
+553:1:1384
+554:1:1385
+555:1:1396
+556:1:1397
+557:1:1398
+558:1:1409
+559:1:1414
+560:1:1415
+561:1:1426
+562:1:1427
+563:1:1428
+564:1:1426
+565:1:1427
+566:1:1428
+567:1:1439
+568:0:4503
+569:1:15
+570:0:4503
+571:1:23
+572:0:4503
+573:1:24
+574:0:4503
+575:2:4114
+576:0:4503
+577:2:4115
+578:0:4503
+579:1:1448
+580:1:1449
+581:1:1453
+582:1:1454
+583:1:1462
+584:1:1463
+585:1:1467
+586:1:1468
+587:1:1476
+588:1:1481
+589:1:1485
+590:1:1486
+591:1:1494
+592:1:1495
+593:1:1499
+594:1:1500
+595:1:1494
+596:1:1495
+597:1:1499
+598:1:1500
+599:1:1508
+600:1:1513
+601:1:1514
+602:1:1525
+603:1:1526
+604:1:1527
+605:1:1538
+606:1:1543
+607:1:1544
+608:1:1555
+609:1:1556
+610:1:1557
+611:1:1555
+612:1:1556
+613:1:1557
+614:1:1568
+615:1:1575
+616:1:1579
+617:0:4503
+618:1:15
+619:0:4503
+620:1:23
+621:0:4503
+622:1:24
+623:0:4503
+624:2:4114
+625:0:4503
+626:2:4115
+627:0:4503
+628:1:1582
+629:1:1583
+630:1:1587
+631:1:1588
+632:1:1596
+633:1:1597
+634:1:1598
+635:1:1610
+636:1:1615
+637:1:1619
+638:1:1620
+639:1:1628
+640:1:1629
+641:1:1633
+642:1:1634
+643:1:1628
+644:1:1629
+645:1:1633
+646:1:1634
+647:1:1642
+648:1:1647
+649:1:1648
+650:1:1659
+651:1:1660
+652:1:1661
+653:1:1672
+654:1:1677
+655:1:1678
+656:1:1689
+657:1:1690
+658:1:1691
+659:1:1689
+660:1:1690
+661:1:1691
+662:1:1702
+663:0:4503
+664:1:15
+665:0:4503
+666:1:23
+667:0:4503
+668:1:24
+669:0:4503
+670:2:4114
+671:0:4503
+672:2:4115
+673:0:4503
+674:1:1711
+675:1:1712
+676:1:1716
+677:1:1717
+678:1:1725
+679:1:1726
+680:1:1730
+681:1:1731
+682:1:1739
+683:1:1744
+684:1:1748
+685:1:1749
+686:1:1757
+687:1:1758
+688:1:1762
+689:1:1763
+690:1:1757
+691:1:1758
+692:1:1762
+693:1:1763
+694:1:1771
+695:1:1776
+696:1:1777
+697:1:1788
+698:1:1789
+699:1:1790
+700:1:1801
+701:1:1806
+702:1:1807
+703:1:1818
+704:1:1819
+705:1:1820
+706:1:1818
+707:1:1819
+708:1:1820
+709:1:1831
+710:1:1838
+711:1:1842
+712:0:4503
+713:1:15
+714:0:4503
+715:1:23
+716:0:4503
+717:1:24
+718:0:4503
+719:2:4114
+720:0:4503
+721:2:4115
+722:0:4503
+723:1:1843
+724:1:1844
+725:1:1848
+726:1:1849
+727:1:1857
+728:1:1858
+729:1:1859
+730:1:1871
+731:1:1876
+732:1:1880
+733:1:1881
+734:1:1889
+735:1:1890
+736:1:1894
+737:1:1895
+738:1:1889
+739:1:1890
+740:1:1894
+741:1:1895
+742:1:1903
+743:1:1908
+744:1:1909
+745:1:1920
+746:1:1921
+747:1:1922
+748:1:1933
+749:1:1938
+750:1:1939
+751:1:1950
+752:1:1951
+753:1:1952
+754:1:1950
+755:1:1951
+756:1:1952
+757:1:1963
+758:0:4503
+759:1:15
+760:0:4503
+761:1:23
+762:0:4503
+763:1:24
+764:0:4503
+765:2:4114
+766:0:4503
+767:2:4115
+768:0:4503
+769:1:1972
+770:1:1973
+771:0:4503
+772:1:15
+773:0:4503
+774:1:23
+775:0:4503
+776:1:24
+777:0:4503
+778:2:4114
+779:0:4503
+780:2:4115
+781:0:4503
+782:1:1979
+783:1:1980
+784:1:1984
+785:1:1985
+786:1:1993
+787:1:1994
+788:1:1998
+789:1:1999
+790:1:2007
+791:1:2012
+792:1:2016
+793:1:2017
+794:1:2025
+795:1:2026
+796:1:2030
+797:1:2031
+798:1:2025
+799:1:2026
+800:1:2030
+801:1:2031
+802:1:2039
+803:1:2044
+804:1:2045
+805:1:2056
+806:1:2057
+807:1:2058
+808:1:2069
+809:1:2074
+810:1:2075
+811:1:2086
+812:1:2087
+813:1:2088
+814:1:2086
+815:1:2087
+816:1:2088
+817:1:2099
+818:0:4503
+819:1:15
+820:0:4503
+821:1:23
+822:0:4503
+823:1:24
+824:0:4503
+825:2:4114
+826:0:4503
+827:2:4115
+828:0:4503
+829:1:2108
+830:1:2109
+831:1:2113
+832:1:2114
+833:1:2122
+834:1:2123
+835:1:2127
+836:1:2128
+837:1:2136
+838:1:2141
+839:1:2145
+840:1:2146
+841:1:2154
+842:1:2155
+843:1:2159
+844:1:2160
+845:1:2154
+846:1:2155
+847:1:2159
+848:1:2160
+849:1:2168
+850:1:2173
+851:1:2174
+852:1:2185
+853:1:2186
+854:1:2187
+855:1:2198
+856:1:2203
+857:1:2204
+858:1:2215
+859:1:2216
+860:1:2217
+861:1:2215
+862:1:2216
+863:1:2217
+864:1:2228
+865:1:2235
+866:0:4503
+867:1:15
+868:0:4503
+869:1:23
+870:0:4503
+871:1:24
+872:0:4503
+873:2:4114
+874:0:4503
+875:2:4115
+876:0:4503
+877:1:2373
+878:1:2374
+879:1:2378
+880:1:2379
+881:1:2387
+882:1:2388
+883:1:2389
+884:1:2401
+885:1:2406
+886:1:2410
+887:1:2411
+888:1:2419
+889:1:2420
+890:1:2424
+891:1:2425
+892:1:2419
+893:1:2420
+894:1:2424
+895:1:2425
+896:1:2433
+897:1:2438
+898:1:2439
+899:1:2450
+900:1:2451
+901:1:2452
+902:1:2463
+903:1:2468
+904:1:2469
+905:1:2480
+906:1:2481
+907:1:2482
+908:1:2480
+909:1:2481
+910:1:2482
+911:1:2493
+912:0:4503
+913:1:15
+914:0:4503
+915:1:23
+916:0:4503
+917:1:24
+918:0:4503
+919:2:4114
+920:0:4503
+921:2:4115
+922:0:4503
+923:1:2502
+924:0:4503
+925:2:4114
+926:0:4503
+927:2:4115
+928:0:4503
+929:1:2822
+930:1:2829
+931:1:2830
+932:1:2837
+933:1:2842
+934:1:2849
+935:1:2850
+936:1:2849
+937:1:2850
+938:1:2857
+939:1:2861
+940:0:4503
+941:2:4114
+942:0:4503
+943:2:4115
+944:0:4503
+945:1:2504
+946:1:2505
+947:0:4503
+948:1:15
+949:0:4503
+950:1:23
+951:0:4503
+952:1:24
+953:0:4503
+954:2:4114
+955:0:4503
+956:2:4115
+957:0:4503
+958:1:2508
+959:1:2509
+960:1:2513
+961:1:2514
+962:1:2522
+963:1:2523
+964:1:2527
+965:1:2528
+966:1:2536
+967:1:2541
+968:1:2545
+969:1:2546
+970:1:2554
+971:1:2555
+972:1:2559
+973:1:2560
+974:1:2554
+975:1:2555
+976:1:2559
+977:1:2560
+978:1:2568
+979:1:2573
+980:1:2574
+981:1:2585
+982:1:2586
+983:1:2587
+984:1:2598
+985:1:2603
+986:1:2604
+987:1:2615
+988:1:2616
+989:1:2617
+990:1:2615
+991:1:2616
+992:1:2617
+993:1:2628
+994:0:4503
+995:1:15
+996:0:4503
+997:1:23
+998:0:4503
+999:1:24
+1000:0:4503
+1001:2:4114
+1002:0:4503
+1003:2:4115
+1004:0:4503
+1005:1:2637
+1006:1:2638
+1007:1:2642
+1008:1:2643
+1009:1:2651
+1010:1:2652
+1011:1:2656
+1012:1:2657
+1013:1:2665
+1014:1:2670
+1015:1:2674
+1016:1:2675
+1017:1:2683
+1018:1:2684
+1019:1:2688
+1020:1:2689
+1021:1:2683
+1022:1:2684
+1023:1:2688
+1024:1:2689
+1025:1:2697
+1026:1:2702
+1027:1:2703
+1028:1:2714
+1029:1:2715
+1030:1:2716
+1031:1:2727
+1032:1:2732
+1033:1:2733
+1034:1:2744
+1035:1:2745
+1036:1:2746
+1037:1:2744
+1038:1:2745
+1039:1:2746
+1040:1:2757
+1041:1:2764
+1042:1:2768
+1043:0:4503
+1044:1:15
+1045:0:4503
+1046:1:23
+1047:0:4503
+1048:1:24
+1049:0:4503
+1050:2:4114
+1051:0:4503
+1052:2:4115
+1053:0:4503
+1054:1:2769
+1055:0:4503
+1056:1:2777
+1057:0:4503
+1058:1:2865
+1059:0:4503
+1060:1:9
+1061:0:4503
+1062:2:4114
+1063:0:4503
+1064:2:4115
+1065:0:4503
+1066:1:10
+1067:0:4503
+1068:2:4114
+1069:0:4503
+1070:2:4115
+1071:0:4503
+1072:1:11
+1073:0:4503
+1074:2:4114
+1075:0:4503
+1076:2:4115
+1077:0:4503
+1078:1:12
+1079:0:4503
+1080:2:4114
+1081:0:4503
+1082:2:4115
+1083:0:4503
+1084:1:13
+1085:0:4503
+1086:2:4114
+1087:0:4503
+1088:2:4115
+1089:0:4503
+1090:1:14
+1091:0:4503
+1092:1:15
+1093:0:4503
+1094:1:23
+1095:0:4503
+1096:1:24
+1097:0:4503
+1098:2:4114
+1099:0:4503
+1100:2:4115
+1101:0:4503
+1102:1:128
+1103:1:129
+1104:1:133
+1105:1:134
+1106:1:142
+1107:1:143
+1108:1:144
+1109:1:156
+1110:1:161
+1111:1:165
+1112:1:166
+1113:1:174
+1114:1:175
+1115:1:179
+1116:1:180
+1117:1:174
+1118:1:175
+1119:1:179
+1120:1:180
+1121:1:188
+1122:1:193
+1123:1:194
+1124:1:205
+1125:1:206
+1126:1:207
+1127:1:218
+1128:1:223
+1129:1:224
+1130:1:235
+1131:1:236
+1132:1:237
+1133:1:235
+1134:1:236
+1135:1:237
+1136:1:248
+1137:0:4503
+1138:1:15
+1139:0:4503
+1140:1:23
+1141:0:4503
+1142:1:24
+1143:0:4503
+1144:2:4114
+1145:0:4503
+1146:2:4115
+1147:0:4503
+1148:1:257
+1149:1:258
+1150:0:4503
+1151:1:15
+1152:0:4503
+1153:1:23
+1154:0:4503
+1155:1:24
+1156:0:4503
+1157:2:4114
+1158:0:4503
+1159:2:4115
+1160:0:4503
+1161:1:1186
+1162:1:1187
+1163:1:1191
+1164:1:1192
+1165:1:1200
+1166:1:1201
+1167:1:1205
+1168:1:1206
+1169:1:1214
+1170:1:1219
+1171:1:1223
+1172:1:1224
+1173:1:1232
+1174:1:1233
+1175:1:1237
+1176:1:1238
+1177:1:1232
+1178:1:1233
+1179:1:1237
+1180:1:1238
+1181:1:1246
+1182:1:1251
+1183:1:1252
+1184:1:1263
+1185:1:1264
+1186:1:1265
+1187:1:1276
+1188:1:1281
+1189:1:1282
+1190:1:1293
+1191:1:1294
+1192:1:1295
+1193:1:1293
+1194:1:1294
+1195:1:1295
+1196:1:1306
+1197:0:4503
+1198:1:15
+1199:0:4503
+1200:1:16
+-1:-1:-1
+1201:0:4503
+1202:2:4114
+1203:0:4503
+1204:2:4115
+1205:0:4503
+1206:2:4114
+1207:0:4503
+1208:2:4115
+1209:0:4503
+1210:2:4114
+1211:0:4503
+1212:2:4115