move everything out of trunk

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

diff --git a/trunk/verif/md/model.spin.trail b/trunk/verif/md/model.spin.trail
deleted file mode 100644 (file)
index 992c9aa..0000000
--- a/trunk/verif/md/model.spin.trail
+++ /dev/null
@@ -1,172 +0,0 @@
--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