Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fdiff_8
Name
Last modified
Size
Description
Parent Directory
-
fdiff_8__l5_fdiff_8
2024-07-27 02:59
12K
fdiff_8__l5_fdiff_8.depv1
2024-08-03 10:19
228
fdiff_8__l5_fdiff_8.depvmin1
2024-08-03 10:24
228
fdiff_8__l5_fdiff_8.vmin1
2024-08-03 10:19
1.5K
fdiff_8__l5_fdiff_8.vmin1out
2024-08-03 10:21
20K
fdiff_8__l5_fdiff_8.vout
2024-08-03 05:37
21K
fdiff_8__t1_fdiff_8
2024-07-27 03:00
31K
fdiff_8__t1_fdiff_8.vout
2024-08-03 05:35
7.8K
fdiff_8__t2_fdiff_8
2024-07-27 03:01
31K
fdiff_8__t2_fdiff_8.vout
2024-08-03 05:10
7.8K
fdiff_8__t3_fdiff_8
2024-07-27 03:03
39K
fdiff_8__t3_fdiff_8.vout
2024-08-03 04:52
7.3K
fdiff_8__t4_fdiff_8
2024-07-27 03:04
49K
fdiff_8__t4_fdiff_8.vout
2024-08-03 08:09
7.3K
fdiff_8__t5_fdiff_8
2024-07-27 03:06
62K
fdiff_8__t5_fdiff_8.vout
2024-08-03 07:03
6.8K
fdiff_8__t6_fdiff_8
2024-07-27 03:07
41K
fdiff_8__t6_fdiff_8.vout
2024-08-03 09:11
6.8K
fdiff_8__t7_fdiff_8
2024-07-27 03:09
49K
fdiff_8__t7_fdiff_8.vout
2024-08-03 04:17
6.8K
fdiff_8__t8_fdiff_8
2024-07-27 03:10
54K
fdiff_8__t8_fdiff_8.vout
2024-08-03 05:04
7.3K
fdiff_8__t9_fdiff_8
2024-07-27 03:12
54K
fdiff_8__t9_fdiff_8.vout
2024-08-03 04:25
7.3K
fdiff_8__t10_fdiff_8
2024-07-27 03:13
57K
fdiff_8__t10_fdiff_8.vout
2024-08-03 07:36
6.8K
fdiff_8__t11_fdiff_8
2024-07-27 03:15
68K
fdiff_8__t11_fdiff_8.vout
2024-08-03 10:12
7.3K
fdiff_8__t12_fdiff_8
2024-07-27 03:16
40K
fdiff_8__t12_fdiff_8.vout
2024-08-03 09:11
8.4K
fdiff_8__t13_fdiff_8
2024-07-27 03:18
48K
fdiff_8__t13_fdiff_8.vout
2024-08-03 06:29
7.8K
fdiff_8__t14_fdiff_8
2024-07-27 03:19
47K
fdiff_8__t14_fdiff_8.vout
2024-08-03 05:19
7.3K
fdiff_8__t15_fdiff_8
2024-07-27 03:21
59K
fdiff_8__t15_fdiff_8.vout
2024-08-03 08:03
7.3K
fdiff_8__t16_fdiff_8
2024-07-27 03:22
40K
fdiff_8__t16_fdiff_8.vout
2024-08-03 09:27
8.4K
fdiff_8__t17_fdiff_8
2024-07-27 03:24
48K
fdiff_8__t17_fdiff_8.vout
2024-08-03 08:46
7.8K
fdiff_8__t18_fdiff_8
2024-07-27 03:25
53K
fdiff_8__t18_fdiff_8.vout
2024-08-03 05:32
7.3K
fdiff_8__t19_fdiff_8
2024-07-27 03:27
65K
fdiff_8__t19_fdiff_8.vout
2024-08-03 07:55
7.3K
fdiff_8__t20_fdiff_8
2024-07-27 03:28
97K
fdiff_8__t20_fdiff_8.vout
2024-08-03 06:57
6.8K
fdiff_8__t21_fdiff_8
2024-07-27 03:30
97K
fdiff_8__t21_fdiff_8.vout
2024-08-03 07:13
6.8K
fdiff_8__t22_fdiff_8
2024-07-27 03:31
50K
fdiff_8__t22_fdiff_8.vout
2024-08-03 09:19
7.3K
fdiff_8__t23_fdiff_8
2024-07-27 03:33
51K
fdiff_8__t23_fdiff_8.vout
2024-08-03 07:08
7.3K
fdiff_8__t24_fdiff_8
2024-07-27 03:34
57K
fdiff_8__t24_fdiff_8.vout
2024-08-03 06:08
7.3K
fdiff_8__t25_fdiff_8
2024-07-27 03:36
59K
fdiff_8__t25_fdiff_8.vout
2024-08-03 07:10
7.3K
fdiff_8__t26_fdiff_8
2024-07-27 03:37
64K
fdiff_8__t26_fdiff_8.vout
2024-08-03 08:18
7.3K
fdiff_8__t27_fdiff_8
2024-07-27 03:39
64K
fdiff_8__t27_fdiff_8.vout
2024-08-03 07:48
6.8K
fdiff_8__t28_fdiff_8
2024-07-27 03:40
44K
fdiff_8__t28_fdiff_8.vout
2024-08-03 08:42
7.3K
fdiff_8__t29_fdiff_8
2024-07-27 03:42
52K
fdiff_8__t29_fdiff_8.vout
2024-08-03 06:56
6.8K
fdiff_8__t30_fdiff_8
2024-07-27 03:43
43K
fdiff_8__t30_fdiff_8.vout
2024-08-03 09:14
7.3K
fdiff_8__t31_fdiff_8
2024-07-27 03:45
51K
fdiff_8__t31_fdiff_8.vout
2024-08-03 05:18
7.4K
fdiff_8__t32_fdiff_8
2024-07-27 03:46
50K
fdiff_8__t32_fdiff_8.vout
2024-08-03 04:18
7.3K
fdiff_8__t33_fdiff_8
2024-07-27 03:48
62K
fdiff_8__t33_fdiff_8.vout
2024-08-03 07:00
7.3K
fdiff_8__t34_fdiff_8
2024-07-27 03:50
55K
fdiff_8__t34_fdiff_8.vout
2024-08-03 07:58
7.3K
fdiff_8__t35_fdiff_8
2024-07-27 03:51
55K
fdiff_8__t35_fdiff_8.vout
2024-08-03 10:06
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80