nico and md model

[lttv.git] / trunk / verif / md / model.spin.trail

diff --git a/trunk/verif/md/model.spin.trail b/trunk/verif/md/model.spin.trail
new file mode 100644 (file)
index 0000000..992c9aa
--- /dev/null
+++ b/trunk/verif/md/model.spin.trail
@@ -0,0 +1,172 @@
+-2:5:-2
+-4:-4:-4
+1:0:163
+2:1:120
+3:1:121
+4:1:121
+5:1:124
+6:1:131
+7:1:131
+8:1:131
+9:1:131
+10:1:134
+11:1:139
+12:1:140
+13:1:142
+14:1:144
+15:1:142
+16:1:144
+17:1:142
+18:1:144
+19:1:142
+20:1:144
+21:1:146
+22:1:152
+23:1:154
+24:1:156
+25:1:160
+26:0:167
+27:8:0
+28:8:3
+29:0:167
+30:8:29
+31:0:167
+32:8:30
+33:0:167
+34:7:31
+35:0:167
+36:7:36
+37:7:37
+38:0:167
+39:7:43
+40:7:44
+41:7:48
+42:7:52
+43:7:56
+44:0:167
+45:7:58
+46:7:59
+47:7:62
+48:7:70
+49:0:167
+50:7:77
+51:7:79
+52:0:167
+53:7:81
+54:0:167
+55:6:31
+56:0:167
+57:6:36
+58:6:37
+59:0:167
+60:6:43
+61:6:44
+62:6:48
+63:6:52
+64:6:56
+65:0:167
+66:6:58
+67:6:59
+68:6:62
+69:6:72
+70:6:73
+71:0:167
+72:6:77
+73:6:79
+74:0:167
+75:6:81
+76:0:167
+77:5:31
+78:0:167
+79:5:36
+80:5:37
+81:0:167
+82:5:43
+83:5:44
+84:5:48
+85:5:52
+86:5:56
+87:0:167
+88:5:58
+89:5:59
+90:5:62
+91:5:70
+92:0:167
+93:5:77
+94:5:79
+95:0:167
+96:5:81
+97:0:167
+98:4:31
+99:0:167
+100:4:36
+101:4:37
+102:0:167
+103:4:43
+104:4:44
+105:4:48
+106:4:52
+107:4:56
+108:0:167
+109:4:58
+110:4:59
+111:4:62
+112:4:72
+113:4:73
+114:0:167
+115:4:77
+116:4:79
+117:0:167
+118:4:81
+119:0:167
+120:3:111
+121:3:113
+122:3:117
+123:0:167
+124:4:0
+125:4:3
+126:0:167
+127:4:29
+128:0:167
+129:4:30
+130:0:167
+131:3:119
+132:0:167
+133:2:82
+134:0:167
+135:2:83
+136:2:84
+137:2:84
+138:2:88
+139:2:92
+140:0:167
+141:2:94
+142:2:95
+143:2:95
+144:2:98
+145:2:102
+146:2:103
+147:0:167
+148:2:82
+149:0:167
+150:2:83
+151:2:84
+152:2:84
+153:2:88
+154:2:92
+155:0:167
+156:2:94
+157:2:95
+158:2:95
+159:2:98
+160:2:102
+161:2:103
+162:0:167
+163:2:105
+164:0:167
+165:2:110
+166:0:167
+167:1:162
+-1:-1:-1
+168:0:167
+169:0:167