Add verif results

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_free_single_flip.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail
new file mode 100644 (file)
index 0000000..53de47d
--- /dev/null
+++ b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1238 @@
+-2:3:-2
+-4:-4:-4
+1:0:2889
+2:2:1136
+3:2:1141
+4:2:1145
+5:2:1153
+6:2:1157
+7:2:1161
+8:0:2889
+9:1:0
+10:1:5
+11:1:9
+12:1:17
+13:1:21
+14:1:25
+15:0:2889
+16:3:2861
+17:3:2864
+18:3:2869
+19:3:2876
+20:3:2879
+21:3:2883
+22:3:2884
+23:0:2889
+24:3:2886
+25:0:2889
+26:2:1165
+27:0:2889
+28:2:1171
+29:0:2889
+30:2:1172
+31:0:2889
+32:2:1174
+33:0:2889
+34:2:1175
+35:0:2889
+36:2:1176
+37:0:2889
+38:2:1177
+39:0:2889
+40:2:1178
+41:0:2889
+42:2:1179
+43:0:2889
+44:2:1180
+45:2:1181
+46:2:1185
+47:2:1186
+48:2:1194
+49:2:1195
+50:2:1199
+51:2:1200
+52:2:1208
+53:2:1213
+54:2:1217
+55:2:1218
+56:2:1226
+57:2:1227
+58:2:1231
+59:2:1232
+60:2:1226
+61:2:1227
+62:2:1231
+63:2:1232
+64:2:1240
+65:2:1245
+66:2:1246
+67:2:1257
+68:2:1258
+69:2:1259
+70:2:1270
+71:2:1275
+72:2:1276
+73:2:1287
+74:2:1288
+75:2:1289
+76:2:1287
+77:2:1288
+78:2:1289
+79:2:1300
+80:2:1308
+81:0:2889
+82:2:1179
+83:0:2889
+84:2:1312
+85:2:1316
+86:2:1317
+87:2:1321
+88:2:1325
+89:2:1326
+90:2:1330
+91:2:1338
+92:2:1339
+93:2:1343
+94:2:1347
+95:2:1348
+96:2:1343
+97:2:1344
+98:2:1352
+99:0:2889
+100:2:1179
+101:0:2889
+102:2:1360
+103:2:1361
+104:2:1362
+105:0:2889
+106:2:1179
+107:0:2889
+108:2:1367
+109:0:2889
+110:2:2070
+111:2:2071
+112:2:2075
+113:2:2079
+114:2:2080
+115:2:2084
+116:2:2089
+117:2:2097
+118:2:2101
+119:2:2102
+120:2:2097
+121:2:2101
+122:2:2102
+123:2:2106
+124:2:2113
+125:2:2120
+126:2:2121
+127:2:2128
+128:2:2133
+129:2:2140
+130:2:2141
+131:2:2140
+132:2:2141
+133:2:2148
+134:2:2152
+135:0:2889
+136:2:2157
+137:0:2889
+138:2:2158
+139:0:2889
+140:2:2159
+141:0:2889
+142:2:2160
+143:0:2889
+144:1:29
+145:0:2889
+146:2:2161
+147:0:2889
+148:1:35
+149:0:2889
+150:1:36
+151:0:2889
+152:2:2160
+153:0:2889
+154:1:37
+155:0:2889
+156:2:2161
+157:0:2889
+158:1:38
+159:0:2889
+160:2:2160
+161:0:2889
+162:1:39
+163:0:2889
+164:2:2161
+165:0:2889
+166:1:40
+167:0:2889
+168:1:41
+169:0:2889
+170:2:2160
+171:0:2889
+172:1:42
+173:0:2889
+174:2:2161
+175:0:2889
+176:1:51
+177:0:2889
+178:2:2160
+179:0:2889
+180:1:55
+181:1:56
+182:1:60
+183:1:64
+184:1:65
+185:1:69
+186:1:77
+187:1:78
+188:1:82
+189:1:86
+190:1:87
+191:1:82
+192:1:86
+193:1:87
+194:1:91
+195:1:98
+196:1:105
+197:1:106
+198:1:113
+199:1:118
+200:1:125
+201:1:126
+202:1:125
+203:1:126
+204:1:133
+205:1:137
+206:0:2889
+207:2:2161
+208:0:2889
+209:1:142
+210:0:2889
+211:2:2162
+212:0:2889
+213:2:2167
+214:0:2889
+215:2:2168
+216:0:2889
+217:2:2176
+218:2:2177
+219:2:2181
+220:2:2185
+221:2:2186
+222:2:2190
+223:2:2198
+224:2:2199
+225:2:2203
+226:2:2207
+227:2:2208
+228:2:2203
+229:2:2207
+230:2:2208
+231:2:2212
+232:2:2219
+233:2:2226
+234:2:2227
+235:2:2234
+236:2:2239
+237:2:2246
+238:2:2247
+239:2:2246
+240:2:2247
+241:2:2254
+242:2:2258
+243:0:2889
+244:2:1369
+245:2:2051
+246:0:2889
+247:2:1179
+248:0:2889
+249:2:1370
+250:0:2889
+251:2:1179
+252:0:2889
+253:2:1373
+254:2:1374
+255:2:1378
+256:2:1379
+257:2:1387
+258:2:1388
+259:2:1392
+260:2:1393
+261:2:1401
+262:2:1406
+263:2:1410
+264:2:1411
+265:2:1419
+266:2:1420
+267:2:1424
+268:2:1425
+269:2:1419
+270:2:1420
+271:2:1424
+272:2:1425
+273:2:1433
+274:2:1438
+275:2:1439
+276:2:1450
+277:2:1451
+278:2:1452
+279:2:1463
+280:2:1468
+281:2:1469
+282:2:1480
+283:2:1481
+284:2:1482
+285:2:1480
+286:2:1481
+287:2:1482
+288:2:1493
+289:2:1500
+290:0:2889
+291:2:1179
+292:0:2889
+293:2:1504
+294:2:1505
+295:2:1506
+296:2:1518
+297:2:1519
+298:2:1523
+299:2:1524
+300:2:1532
+301:2:1537
+302:2:1541
+303:2:1542
+304:2:1550
+305:2:1551
+306:2:1555
+307:2:1556
+308:2:1550
+309:2:1551
+310:2:1555
+311:2:1556
+312:2:1564
+313:2:1569
+314:2:1570
+315:2:1581
+316:2:1582
+317:2:1583
+318:2:1594
+319:2:1599
+320:2:1600
+321:2:1611
+322:2:1612
+323:2:1613
+324:2:1611
+325:2:1612
+326:2:1613
+327:2:1624
+328:2:1634
+329:2:1635
+330:0:2889
+331:2:1179
+332:0:2889
+333:2:2039
+334:0:2889
+335:2:2664
+336:2:2665
+337:2:2669
+338:2:2673
+339:2:2674
+340:2:2678
+341:2:2686
+342:2:2687
+343:2:2691
+344:2:2695
+345:2:2696
+346:2:2691
+347:2:2695
+348:2:2696
+349:2:2700
+350:2:2707
+351:2:2714
+352:2:2715
+353:2:2722
+354:2:2727
+355:2:2734
+356:2:2735
+357:2:2734
+358:2:2735
+359:2:2742
+360:2:2746
+361:0:2889
+362:2:2751
+363:0:2889
+364:2:2752
+365:0:2889
+366:2:2753
+367:0:2889
+368:2:2754
+369:0:2889
+370:1:143
+371:0:2889
+372:2:2755
+373:0:2889
+374:1:145
+375:0:2889
+376:2:2754
+377:0:2889
+378:1:44
+379:0:2889
+380:2:2755
+381:0:2889
+382:1:151
+383:1:152
+384:1:156
+385:1:157
+386:1:165
+387:1:166
+388:1:170
+389:1:171
+390:1:179
+391:1:184
+392:1:188
+393:1:189
+394:1:197
+395:1:198
+396:1:202
+397:1:203
+398:1:197
+399:1:198
+400:1:202
+401:1:203
+402:1:211
+403:1:223
+404:1:224
+405:1:228
+406:1:229
+407:1:230
+408:1:241
+409:1:246
+410:1:247
+411:1:258
+412:1:259
+413:1:260
+414:1:258
+415:1:259
+416:1:260
+417:1:271
+418:0:2889
+419:1:40
+420:0:2889
+421:1:41
+422:0:2889
+423:2:2754
+424:0:2889
+425:1:42
+426:0:2889
+427:2:2755
+428:0:2889
+429:1:143
+430:0:2889
+431:1:145
+432:0:2889
+433:2:2754
+434:0:2889
+435:1:44
+436:0:2889
+437:2:2755
+438:0:2889
+439:1:280
+440:1:281
+441:0:2889
+442:1:40
+443:0:2889
+444:1:41
+445:0:2889
+446:2:2754
+447:0:2889
+448:1:42
+449:0:2889
+450:2:2755
+451:0:2889
+452:1:143
+453:0:2889
+454:1:145
+455:0:2889
+456:2:2754
+457:0:2889
+458:1:44
+459:0:2889
+460:2:2755
+461:0:2889
+462:1:287
+463:1:288
+464:1:292
+465:1:293
+466:1:301
+467:1:302
+468:1:306
+469:1:307
+470:1:315
+471:1:320
+472:1:324
+473:1:325
+474:1:333
+475:1:334
+476:1:338
+477:1:339
+478:1:333
+479:1:334
+480:1:338
+481:1:339
+482:1:347
+483:1:359
+484:1:360
+485:1:364
+486:1:365
+487:1:366
+488:1:377
+489:1:382
+490:1:383
+491:1:394
+492:1:395
+493:1:396
+494:1:394
+495:1:395
+496:1:396
+497:1:407
+498:0:2889
+499:1:40
+500:0:2889
+501:1:41
+502:0:2889
+503:2:2754
+504:0:2889
+505:1:42
+506:0:2889
+507:2:2755
+508:0:2889
+509:1:51
+510:0:2889
+511:2:2754
+512:0:2889
+513:1:55
+514:1:56
+515:1:60
+516:1:64
+517:1:65
+518:1:69
+519:1:77
+520:1:78
+521:1:82
+522:1:86
+523:1:87
+524:1:82
+525:1:86
+526:1:87
+527:1:91
+528:1:98
+529:1:105
+530:1:106
+531:1:113
+532:1:118
+533:1:125
+534:1:126
+535:1:125
+536:1:126
+537:1:133
+538:1:137
+539:0:2889
+540:2:2755
+541:0:2889
+542:1:142
+543:0:2889
+544:2:2756
+545:0:2889
+546:2:2761
+547:0:2889
+548:2:2762
+549:0:2889
+550:2:2770
+551:2:2771
+552:2:2775
+553:2:2779
+554:2:2780
+555:2:2784
+556:2:2792
+557:2:2793
+558:2:2797
+559:2:2801
+560:2:2802
+561:2:2797
+562:2:2801
+563:2:2802
+564:2:2806
+565:2:2813
+566:2:2820
+567:2:2821
+568:2:2828
+569:2:2833
+570:2:2840
+571:2:2841
+572:2:2840
+573:2:2841
+574:2:2848
+575:2:2852
+576:0:2889
+577:2:2041
+578:2:2051
+579:0:2889
+580:2:1179
+581:0:2889
+582:2:2042
+583:2:2043
+584:0:2889
+585:2:1179
+586:0:2889
+587:2:2047
+588:0:2889
+589:2:2055
+590:0:2889
+591:2:1172
+592:0:2889
+593:2:1174
+594:0:2889
+595:2:1175
+596:0:2889
+597:2:1176
+598:0:2889
+599:2:1177
+600:0:2889
+601:2:1178
+602:0:2889
+603:2:1179
+604:0:2889
+605:2:1180
+606:2:1181
+607:2:1185
+608:2:1186
+609:2:1194
+610:2:1195
+611:2:1199
+612:2:1200
+613:2:1208
+614:2:1213
+615:2:1217
+616:2:1218
+617:2:1226
+618:2:1227
+619:2:1228
+620:2:1226
+621:2:1227
+622:2:1231
+623:2:1232
+624:2:1240
+625:2:1245
+626:2:1246
+627:2:1257
+628:2:1258
+629:2:1259
+630:2:1270
+631:2:1275
+632:2:1276
+633:2:1287
+634:2:1288
+635:2:1289
+636:2:1287
+637:2:1288
+638:2:1289
+639:2:1300
+640:2:1308
+641:0:2889
+642:2:1179
+643:0:2889
+644:2:1312
+645:2:1316
+646:2:1317
+647:2:1321
+648:2:1325
+649:2:1326
+650:2:1330
+651:2:1338
+652:2:1339
+653:2:1343
+654:2:1344
+655:2:1343
+656:2:1347
+657:2:1348
+658:2:1352
+659:0:2889
+660:2:1179
+661:0:2889
+662:2:1360
+663:2:1361
+664:2:1362
+665:0:2889
+666:2:1179
+667:0:2889
+668:2:1367
+669:0:2889
+670:2:2070
+671:2:2071
+672:2:2075
+673:2:2079
+674:2:2080
+675:2:2084
+676:2:2089
+677:2:2097
+678:2:2101
+679:2:2102
+680:2:2097
+681:2:2101
+682:2:2102
+683:2:2106
+684:2:2113
+685:2:2120
+686:2:2121
+687:2:2128
+688:2:2133
+689:2:2140
+690:2:2141
+691:2:2140
+692:2:2141
+693:2:2148
+694:2:2152
+695:0:2889
+696:2:2157
+697:0:2889
+698:2:2158
+699:0:2889
+700:2:2159
+701:0:2889
+702:2:2160
+703:0:2889
+704:1:143
+705:0:2889
+706:2:2161
+707:0:2889
+708:1:145
+709:0:2889
+710:2:2160
+711:0:2889
+712:1:44
+713:0:2889
+714:2:2161
+715:0:2889
+716:1:416
+717:1:417
+718:1:421
+719:1:422
+720:1:430
+721:1:431
+722:1:435
+723:1:436
+724:1:444
+725:1:449
+726:1:453
+727:1:454
+728:1:462
+729:1:463
+730:1:467
+731:1:468
+732:1:462
+733:1:463
+734:1:467
+735:1:468
+736:1:476
+737:1:481
+738:1:482
+739:1:493
+740:1:494
+741:1:495
+742:1:506
+743:1:518
+744:1:519
+745:1:523
+746:1:524
+747:1:525
+748:1:523
+749:1:524
+750:1:525
+751:1:536
+752:1:543
+753:0:2889
+754:1:40
+755:0:2889
+756:1:41
+757:0:2889
+758:2:2160
+759:0:2889
+760:1:42
+761:0:2889
+762:2:2161
+763:0:2889
+764:1:143
+765:0:2889
+766:1:145
+767:0:2889
+768:2:2160
+769:0:2889
+770:1:44
+771:0:2889
+772:2:2161
+773:0:2889
+774:1:681
+775:1:682
+776:1:686
+777:1:687
+778:1:695
+779:1:696
+780:1:697
+781:1:709
+782:1:714
+783:1:718
+784:1:719
+785:1:727
+786:1:728
+787:1:732
+788:1:733
+789:1:727
+790:1:728
+791:1:732
+792:1:733
+793:1:741
+794:1:746
+795:1:747
+796:1:758
+797:1:759
+798:1:760
+799:1:771
+800:1:783
+801:1:784
+802:1:788
+803:1:789
+804:1:790
+805:1:788
+806:1:789
+807:1:790
+808:1:801
+809:0:2889
+810:1:40
+811:0:2889
+812:1:41
+813:0:2889
+814:2:2160
+815:0:2889
+816:1:42
+817:0:2889
+818:2:2161
+819:0:2889
+820:1:51
+821:0:2889
+822:2:2160
+823:0:2889
+824:1:55
+825:1:56
+826:1:60
+827:1:64
+828:1:65
+829:1:69
+830:1:77
+831:1:78
+832:1:82
+833:1:86
+834:1:87
+835:1:82
+836:1:86
+837:1:87
+838:1:91
+839:1:98
+840:1:105
+841:1:106
+842:1:113
+843:1:118
+844:1:125
+845:1:126
+846:1:125
+847:1:126
+848:1:133
+849:1:137
+850:0:2889
+851:2:2161
+852:0:2889
+853:1:142
+854:0:2889
+855:2:2162
+856:0:2889
+857:2:2167
+858:0:2889
+859:2:2168
+860:0:2889
+861:2:2176
+862:2:2177
+863:2:2181
+864:2:2185
+865:2:2186
+866:2:2190
+867:2:2198
+868:2:2199
+869:2:2203
+870:2:2207
+871:2:2208
+872:2:2203
+873:2:2207
+874:2:2208
+875:2:2212
+876:2:2219
+877:2:2226
+878:2:2227
+879:2:2234
+880:2:2239
+881:2:2246
+882:2:2247
+883:2:2246
+884:2:2247
+885:2:2254
+886:2:2258
+887:0:2889
+888:2:1369
+889:2:2051
+890:0:2889
+891:2:1179
+892:0:2889
+893:2:1370
+894:0:2889
+895:2:1179
+896:0:2889
+897:2:1373
+898:2:1374
+899:2:1378
+900:2:1379
+901:2:1387
+902:2:1388
+903:2:1392
+904:2:1393
+905:2:1401
+906:2:1406
+907:2:1410
+908:2:1411
+909:2:1419
+910:2:1420
+911:2:1424
+912:2:1425
+913:2:1419
+914:2:1420
+915:2:1424
+916:2:1425
+917:2:1433
+918:2:1438
+919:2:1439
+920:2:1450
+921:2:1451
+922:2:1452
+923:2:1463
+924:2:1468
+925:2:1469
+926:2:1480
+927:2:1481
+928:2:1482
+929:2:1480
+930:2:1481
+931:2:1482
+932:2:1493
+933:2:1500
+934:0:2889
+935:2:1179
+936:0:2889
+937:2:1504
+938:2:1505
+939:2:1506
+940:2:1518
+941:2:1519
+942:2:1523
+943:2:1524
+944:2:1532
+945:2:1537
+946:2:1541
+947:2:1542
+948:2:1550
+949:2:1551
+950:2:1555
+951:2:1556
+952:2:1550
+953:2:1551
+954:2:1555
+955:2:1556
+956:2:1564
+957:2:1569
+958:2:1570
+959:2:1581
+960:2:1582
+961:2:1583
+962:2:1594
+963:2:1599
+964:2:1600
+965:2:1611
+966:2:1612
+967:2:1613
+968:2:1611
+969:2:1612
+970:2:1613
+971:2:1624
+972:2:1634
+973:2:1635
+974:0:2889
+975:2:1179
+976:0:2889
+977:2:2039
+978:0:2889
+979:2:2664
+980:2:2665
+981:2:2669
+982:2:2673
+983:2:2674
+984:2:2678
+985:2:2686
+986:2:2687
+987:2:2691
+988:2:2695
+989:2:2696
+990:2:2691
+991:2:2695
+992:2:2696
+993:2:2700
+994:2:2707
+995:2:2714
+996:2:2715
+997:2:2722
+998:2:2727
+999:2:2734
+1000:2:2735
+1001:2:2734
+1002:2:2735
+1003:2:2742
+1004:2:2746
+1005:0:2889
+1006:2:2751
+1007:0:2889
+1008:2:2752
+1009:0:2889
+1010:2:2753
+1011:0:2889
+1012:2:2754
+1013:0:2889
+1014:1:51
+1015:0:2889
+1016:2:2755
+1017:0:2889
+1018:1:55
+1019:1:56
+1020:1:60
+1021:1:64
+1022:1:65
+1023:1:69
+1024:1:77
+1025:1:78
+1026:1:82
+1027:1:86
+1028:1:87
+1029:1:82
+1030:1:86
+1031:1:87
+1032:1:91
+1033:1:98
+1034:1:105
+1035:1:106
+1036:1:113
+1037:1:118
+1038:1:125
+1039:1:126
+1040:1:125
+1041:1:126
+1042:1:133
+1043:1:137
+1044:0:2889
+1045:2:2754
+1046:0:2889
+1047:1:142
+1048:0:2889
+1049:2:2755
+1050:0:2889
+1051:2:2756
+1052:0:2889
+1053:2:2761
+1054:0:2889
+1055:2:2762
+1056:0:2889
+1057:2:2770
+1058:2:2771
+1059:2:2775
+1060:2:2779
+1061:2:2780
+1062:2:2784
+1063:2:2792
+1064:2:2793
+1065:2:2797
+1066:2:2801
+1067:2:2802
+1068:2:2797
+1069:2:2801
+1070:2:2802
+1071:2:2806
+1072:2:2813
+1073:2:2820
+1074:2:2821
+1075:2:2828
+1076:2:2833
+1077:2:2840
+1078:2:2841
+1079:2:2840
+1080:2:2841
+1081:2:2848
+1082:2:2852
+1083:0:2889
+1084:2:2041
+1085:2:2051
+1086:0:2889
+1087:2:1179
+1088:0:2889
+1089:2:2042
+1090:2:2043
+1091:0:2889
+1092:2:1179
+1093:0:2889
+1094:2:2047
+1095:0:2889
+1096:2:2055
+1097:0:2889
+1098:2:1172
+1099:0:2889
+1100:2:1174
+1101:0:2889
+1102:2:1175
+1103:0:2889
+1104:2:1176
+1105:0:2889
+1106:2:1177
+1107:0:2889
+1108:2:1178
+1109:0:2889
+1110:2:1179
+1111:0:2889
+1112:2:1180
+1113:2:1181
+1114:2:1185
+1115:2:1186
+1116:2:1194
+1117:2:1195
+1118:2:1199
+1119:2:1200
+1120:2:1208
+1121:2:1213
+1122:2:1217
+1123:2:1218
+1124:2:1226
+1125:2:1227
+1126:2:1231
+1127:2:1232
+1128:2:1226
+1129:2:1227
+1130:2:1228
+1131:2:1240
+1132:2:1245
+1133:2:1246
+1134:2:1257
+1135:2:1258
+1136:2:1259
+1137:2:1270
+1138:2:1275
+1139:2:1276
+1140:2:1287
+1141:2:1288
+1142:2:1289
+1143:2:1287
+1144:2:1288
+1145:2:1289
+1146:2:1300
+1147:2:1308
+1148:0:2889
+1149:2:1179
+1150:0:2889
+1151:1:143
+1152:0:2889
+1153:1:145
+1154:0:2889
+1155:1:44
+1156:0:2889
+1157:1:810
+1158:0:2889
+1159:1:1087
+1160:1:1094
+1161:1:1095
+1162:1:1102
+1163:1:1107
+1164:1:1114
+1165:1:1115
+1166:1:1114
+1167:1:1115
+1168:1:1122
+1169:1:1126
+1170:0:2889
+1171:2:1312
+1172:2:1316
+1173:2:1317
+1174:2:1321
+1175:2:1325
+1176:2:1326
+1177:2:1330
+1178:2:1338
+1179:2:1339
+1180:2:1343
+1181:2:1347
+1182:2:1348
+1183:2:1343
+1184:2:1344
+1185:2:1352
+1186:0:2889
+1187:2:1179
+1188:0:2889
+1189:2:1360
+1190:2:1361
+1191:2:1362
+1192:0:2889
+1193:2:1179
+1194:0:2889
+1195:2:1367
+1196:0:2889
+1197:2:2070
+1198:2:2071
+1199:2:2075
+1200:2:2079
+1201:2:2080
+1202:2:2084
+1203:2:2089
+1204:2:2097
+1205:2:2101
+1206:2:2102
+1207:2:2097
+1208:2:2101
+1209:2:2102
+1210:2:2106
+1211:2:2113
+1212:2:2120
+1213:2:2121
+1214:2:2128
+1215:2:2133
+1216:2:2140
+1217:2:2141
+1218:2:2140
+1219:2:2141
+1220:2:2148
+1221:2:2152
+1222:0:2889
+1223:2:2157
+1224:0:2889
+1225:2:2158
+1226:0:2889
+1227:2:2159
+1228:0:2889
+1229:2:2160
+1230:0:2889
+1231:1:812
+1232:1:813
+1233:0:2887
+1234:2:2161
+1235:0:2893
+1236:1:1005