along/secondo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
secondo/Selftest/result1_simplify_Temporal
along dfd1e74548 firs commit
2026-01-23 17:03:45 +08:00

295 lines
12 KiB
Plaintext
Raw Permalink Blame History

(mpoint
(
(
("2003-11-20-06:06" "2003-11-20-06:06:32.264" TRUE FALSE)
(16821.0 1252.0 16344.0 1818.0))
(
("2003-11-20-06:06:32.264" "2003-11-20-06:06:50" TRUE FALSE)
(16344.0 1818.0 16013.0 2050.0))
(
("2003-11-20-06:06:50" "2003-11-20-06:07" TRUE FALSE)
(16013.0 2050.0 16013.0 2050.0))
(
("2003-11-20-06:07" "2003-11-20-06:07:50" TRUE FALSE)
(16013.0 2050.0 15373.0 2039.0))
(
("2003-11-20-06:07:50" "2003-11-20-06:08" TRUE FALSE)
(15373.0 2039.0 15373.0 2039.0))
(
("2003-11-20-06:08" "2003-11-20-06:09:50" TRUE FALSE)
(15373.0 2039.0 14600.0 2157.0))
(
("2003-11-20-06:09:50" "2003-11-20-06:10" TRUE FALSE)
(14600.0 2157.0 14600.0 2157.0))
(
("2003-11-20-06:10" "2003-11-20-06:10:26.136" TRUE FALSE)
(14600.0 2157.0 14217.0 2383.0))
(
("2003-11-20-06:10:26.136" "2003-11-20-06:10:50" TRUE FALSE)
(14217.0 2383.0 13933.0 2673.0))
(
("2003-11-20-06:10:50" "2003-11-20-06:11" TRUE FALSE)
(13933.0 2673.0 13933.0 2673.0))
(
("2003-11-20-06:11" "2003-11-20-06:11:19.024" TRUE FALSE)
(13933.0 2673.0 13837.0 2806.0))
(
("2003-11-20-06:11:19.024" "2003-11-20-06:12:50" TRUE FALSE)
(13837.0 2806.0 13582.0 3543.0))
(
("2003-11-20-06:12:50" "2003-11-20-06:13" TRUE FALSE)
(13582.0 3543.0 13582.0 3543.0))
(
("2003-11-20-06:13" "2003-11-20-06:13:25.780" TRUE FALSE)
(13582.0 3543.0 13491.0 4000.0))
(
("2003-11-20-06:13:25.780" "2003-11-20-06:13:50" TRUE FALSE)
(13491.0 4000.0 13643.0 4410.0))
(
("2003-11-20-06:13:50" "2003-11-20-06:14" TRUE FALSE)
(13643.0 4410.0 13643.0 4410.0))
(
("2003-11-20-06:14" "2003-11-20-06:15:50" TRUE FALSE)
(13643.0 4410.0 13592.0 5253.0))
(
("2003-11-20-06:15:50" "2003-11-20-06:16" TRUE FALSE)
(13592.0 5253.0 13592.0 5253.0))
(
("2003-11-20-06:16" "2003-11-20-06:16:25.041" TRUE FALSE)
(13592.0 5253.0 13525.0 5848.0))
(
("2003-11-20-06:16:25.041" "2003-11-20-06:16:50" TRUE FALSE)
(13525.0 5848.0 13262.0 6390.0))
(
("2003-11-20-06:16:50" "2003-11-20-06:17" TRUE FALSE)
(13262.0 6390.0 13262.0 6390.0))
(
("2003-11-20-06:17" "2003-11-20-06:17:47.323" TRUE FALSE)
(13262.0 6390.0 13113.0 6695.0))
(
("2003-11-20-06:17:47.323" "2003-11-20-06:18:50" TRUE FALSE)
(13113.0 6695.0 13049.0 7140.0))
(
("2003-11-20-06:18:50" "2003-11-20-06:19" TRUE FALSE)
(13049.0 7140.0 13049.0 7140.0))
(
("2003-11-20-06:19" "2003-11-20-06:19:20.226" TRUE FALSE)
(13049.0 7140.0 13029.0 7475.0))
(
("2003-11-20-06:19:20.226" "2003-11-20-06:19:50" TRUE FALSE)
(13029.0 7475.0 12871.0 7943.0))
(
("2003-11-20-06:19:50" "2003-11-20-06:20" TRUE FALSE)
(12871.0 7943.0 12871.0 7943.0))
(
("2003-11-20-06:20" "2003-11-20-06:21:10.297" TRUE FALSE)
(12871.0 7943.0 12693.0 8321.0))
(
("2003-11-20-06:21:10.297" "2003-11-20-06:22" TRUE FALSE)
(12693.0 8321.0 12518.0 8482.0))
(
("2003-11-20-06:22" "2003-11-20-06:22:50" TRUE FALSE)
(12518.0 8482.0 11837.0 8980.0))
(
("2003-11-20-06:22:50" "2003-11-20-06:23" TRUE FALSE)
(11837.0 8980.0 11837.0 8980.0))
(
("2003-11-20-06:23" "2003-11-20-06:24:50" TRUE FALSE)
(11837.0 8980.0 10684.0 9295.0))
(
("2003-11-20-06:24:50" "2003-11-20-06:25" TRUE FALSE)
(10684.0 9295.0 10684.0 9295.0))
(
("2003-11-20-06:25" "2003-11-20-06:26:50" TRUE FALSE)
(10684.0 9295.0 9883.0 9494.0))
(
("2003-11-20-06:26:50" "2003-11-20-06:27" TRUE FALSE)
(9883.0 9494.0 9883.0 9494.0))
(
("2003-11-20-06:27" "2003-11-20-06:27:35.899" TRUE FALSE)
(9883.0 9494.0 9356.0 9665.0))
(
("2003-11-20-06:27:35.899" "2003-11-20-06:27:50" TRUE FALSE)
(9356.0 9665.0 9396.0 9871.0))
(
("2003-11-20-06:27:50" "2003-11-20-06:28:12.989" TRUE FALSE)
(9396.0 9871.0 9421.0 9953.0))
(
("2003-11-20-06:28:12.989" "2003-11-20-06:28:48.607" TRUE FALSE)
(9421.0 9953.0 9357.0 10176.0))
(
("2003-11-20-06:28:48.607" "2003-11-20-06:29:50" TRUE FALSE)
(9357.0 10176.0 8988.0 10323.0))
(
("2003-11-20-06:29:50" "2003-11-20-06:30" TRUE FALSE)
(8988.0 10323.0 8988.0 10323.0))
(
("2003-11-20-06:30" "2003-11-20-06:30:33.783" TRUE FALSE)
(8988.0 10323.0 8664.0 10234.0))
(
("2003-11-20-06:30:33.783" "2003-11-20-06:31:27.240" TRUE FALSE)
(8664.0 10234.0 8434.0 9761.0))
(
("2003-11-20-06:31:27.240" "2003-11-20-06:31:50" TRUE FALSE)
(8434.0 9761.0 8238.0 9660.0))
(
("2003-11-20-06:31:50" "2003-11-20-06:32" TRUE FALSE)
(8238.0 9660.0 8238.0 9660.0))
(
("2003-11-20-06:32" "2003-11-20-06:32:12.509" TRUE FALSE)
(8238.0 9660.0 8023.0 9608.0))
(
("2003-11-20-06:32:12.509" "2003-11-20-06:32:28.383" TRUE FALSE)
(8023.0 9608.0 7829.0 9404.0))
(
("2003-11-20-06:32:28.383" "2003-11-20-06:32:44.654" TRUE FALSE)
(7829.0 9404.0 7546.0 9341.0))
(
("2003-11-20-06:32:44.654" "2003-11-20-06:32:50" TRUE FALSE)
(7546.0 9341.0 7451.0 9347.0))
(
("2003-11-20-06:32:50" "2003-11-20-06:33" TRUE FALSE)
(7451.0 9347.0 7451.0 9347.0))
(
("2003-11-20-06:33" "2003-11-20-06:34:50" TRUE FALSE)
(7451.0 9347.0 6805.0 9248.0))
(
("2003-11-20-06:34:50" "2003-11-20-06:35" TRUE FALSE)
(6805.0 9248.0 6805.0 9248.0))
(
("2003-11-20-06:35" "2003-11-20-06:35:50" TRUE FALSE)
(6805.0 9248.0 6126.0 9130.0))
(
("2003-11-20-06:35:50" "2003-11-20-06:36" TRUE FALSE)
(6126.0 9130.0 6126.0 9130.0))
(
("2003-11-20-06:36" "2003-11-20-06:36:50" TRUE FALSE)
(6126.0 9130.0 5505.0 8963.0))
(
("2003-11-20-06:36:50" "2003-11-20-06:37" TRUE FALSE)
(5505.0 8963.0 5505.0 8963.0))
(
("2003-11-20-06:37" "2003-11-20-06:37:50" TRUE FALSE)
(5505.0 8963.0 4911.0 8866.0))
(
("2003-11-20-06:37:50" "2003-11-20-06:38:24.778" TRUE FALSE)
(4911.0 8866.0 4761.0 8892.0))
(
("2003-11-20-06:38:24.778" "2003-11-20-06:39:50" TRUE FALSE)
(4761.0 8892.0 4381.0 9276.0))
(
("2003-11-20-06:39:50" "2003-11-20-06:40" TRUE FALSE)
(4381.0 9276.0 4381.0 9276.0))
(
("2003-11-20-06:40" "2003-11-20-06:40:50" TRUE FALSE)
(4381.0 9276.0 4072.0 9636.0))
(
("2003-11-20-06:40:50" "2003-11-20-06:41" TRUE FALSE)
(4072.0 9636.0 4072.0 9636.0))
(
("2003-11-20-06:41" "2003-11-20-06:41:10.793" TRUE FALSE)
(4072.0 9636.0 3975.0 9780.0))
(
("2003-11-20-06:41:10.793" "2003-11-20-06:41:50" TRUE FALSE)
(3975.0 9780.0 3853.0 10396.0))
(
("2003-11-20-06:41:50" "2003-11-20-06:42:32.390" TRUE FALSE)
(3853.0 10396.0 3886.0 10585.0))
(
("2003-11-20-06:42:32.390" "2003-11-20-06:43:50" TRUE FALSE)
(3886.0 10585.0 3809.0 11037.0))
(
("2003-11-20-06:43:50" "2003-11-20-06:44" TRUE FALSE)
(3809.0 11037.0 3809.0 11037.0))
(
("2003-11-20-06:44" "2003-11-20-06:44:50" TRUE FALSE)
(3809.0 11037.0 3683.0 11621.0))
(
("2003-11-20-06:44:50" "2003-11-20-06:45" TRUE FALSE)
(3683.0 11621.0 3683.0 11621.0))
(
("2003-11-20-06:45" "2003-11-20-06:45:50" TRUE FALSE)
(3683.0 11621.0 3770.0 12208.0))
(
("2003-11-20-06:45:50" "2003-11-20-06:46" TRUE FALSE)
(3770.0 12208.0 3770.0 12208.0))
(
("2003-11-20-06:46" "2003-11-20-06:47:38.161" TRUE FALSE)
(3770.0 12208.0 3699.0 13148.0))
(
("2003-11-20-06:47:38.161" "2003-11-20-06:47:50" TRUE FALSE)
(3699.0 13148.0 3643.0 13248.0))
(
("2003-11-20-06:47:50" "2003-11-20-06:48" TRUE FALSE)
(3643.0 13248.0 3643.0 13248.0))
(
("2003-11-20-06:48" "2003-11-20-06:48:37.170" TRUE FALSE)
(3643.0 13248.0 3393.0 13573.0))
(
("2003-11-20-06:48:37.170" "2003-11-20-06:49:34.594" TRUE FALSE)
(3393.0 13573.0 3324.0 14013.0))
(
("2003-11-20-06:49:34.594" "2003-11-20-06:50:09.600" TRUE FALSE)
(3324.0 14013.0 3166.0 14269.0))
(
("2003-11-20-06:50:09.600" "2003-11-20-06:50:50" TRUE FALSE)
(3166.0 14269.0 2823.0 14355.0))
(
("2003-11-20-06:50:50" "2003-11-20-06:51" TRUE FALSE)
(2823.0 14355.0 2823.0 14355.0))
(
("2003-11-20-06:51" "2003-11-20-06:51:50" TRUE FALSE)
(2823.0 14355.0 2354.0 14384.0))
(
("2003-11-20-06:51:50" "2003-11-20-06:52" TRUE FALSE)
(2354.0 14384.0 2354.0 14384.0))
(
("2003-11-20-06:52" "2003-11-20-06:52:50" TRUE FALSE)
(2354.0 14384.0 1429.0 14388.0))
(
("2003-11-20-06:52:50" "2003-11-20-06:55" TRUE FALSE)
(1429.0 14388.0 863.0 14383.0))
(
("2003-11-20-06:55" "2003-11-20-06:55:50" TRUE FALSE)
(863.0 14383.0 -267.0 14501.0))
(
("2003-11-20-06:55:50" "2003-11-20-06:56" TRUE FALSE)
(-267.0 14501.0 -267.0 14501.0))
(
("2003-11-20-06:56" "2003-11-20-06:57:12.933" TRUE FALSE)
(-267.0 14501.0 -946.0 14597.0))
(
("2003-11-20-06:57:12.933" "2003-11-20-06:57:50" TRUE FALSE)
(-946.0 14597.0 -1288.0 14532.0))
(
("2003-11-20-06:57:50" "2003-11-20-06:58" TRUE FALSE)
(-1288.0 14532.0 -1288.0 14532.0))
(
("2003-11-20-06:58" "2003-11-20-06:59:20.653" TRUE FALSE)
(-1288.0 14532.0 -2051.0 14345.0))
(
("2003-11-20-06:59:20.653" "2003-11-20-06:59:50" TRUE FALSE)
(-2051.0 14345.0 -2320.0 14423.0))
(
("2003-11-20-06:59:50" "2003-11-20-07:00" TRUE FALSE)
(-2320.0 14423.0 -2320.0 14423.0))
(
("2003-11-20-07:00" "2003-11-20-07:00:50" TRUE FALSE)
(-2320.0 14423.0 -3019.0 14499.0))
(
("2003-11-20-07:00:50" "2003-11-20-07:01" TRUE FALSE)
(-3019.0 14499.0 -3019.0 14499.0))
(
("2003-11-20-07:01" "2003-11-20-07:01:18.469" TRUE FALSE)
(-3019.0 14499.0 -3278.0 14555.0))
(
("2003-11-20-07:01:18.469" "2003-11-20-07:01:29.267" TRUE FALSE)
(-3278.0 14555.0 -3423.0 14495.0))
(
("2003-11-20-07:01:29.267" "2003-11-20-07:01:50" TRUE FALSE)
(-3423.0 14495.0 -3560.0 14235.0))
(
("2003-11-20-07:01:50" "2003-11-20-07:02" TRUE FALSE)
(-3560.0 14235.0 -3560.0 14235.0))))
Reference in New Issue View Git Blame Copy Permalink