Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fdiff_9
Name
Last modified
Size
Description
Parent Directory
-
fdiff_9__l16_fdiff_9
2024-07-27 13:07
12K
fdiff_9__l16_fdiff_9.depv1
2024-08-03 10:19
229
fdiff_9__l16_fdiff_9.depvmin1
2024-08-03 10:24
229
fdiff_9__l16_fdiff_9.vmin1
2024-08-03 10:20
1.5K
fdiff_9__l16_fdiff_9.vmin1out
2024-08-03 10:22
20K
fdiff_9__l16_fdiff_9.vout
2024-08-03 04:42
21K
fdiff_9__t1_fdiff_9
2024-07-27 13:08
41K
fdiff_9__t1_fdiff_9.vout
2024-08-03 08:08
2.0K
fdiff_9__t2_fdiff_9
2024-07-27 13:10
41K
fdiff_9__t2_fdiff_9.depv1
2024-08-03 10:19
61
fdiff_9__t2_fdiff_9.depvmin1
2024-08-03 10:24
61
fdiff_9__t2_fdiff_9.vmin1
2024-08-03 10:20
1.1K
fdiff_9__t2_fdiff_9.vmin1out
2024-08-03 10:22
10K
fdiff_9__t2_fdiff_9.vout
2024-08-03 07:04
13K
fdiff_9__t3_fdiff_9
2024-07-27 13:10
12K
fdiff_9__t3_fdiff_9.depv1
2024-08-03 10:19
83
fdiff_9__t3_fdiff_9.depvmin1
2024-08-03 10:24
83
fdiff_9__t3_fdiff_9.vmin1
2024-08-03 10:20
850
fdiff_9__t3_fdiff_9.vmin1out
2024-08-03 10:21
8.6K
fdiff_9__t3_fdiff_9.vout
2024-08-03 04:12
17K
fdiff_9__t4_fdiff_9
2024-07-27 13:12
34K
fdiff_9__t4_fdiff_9.vout
2024-08-03 07:22
2.0K
fdiff_9__t5_fdiff_9
2024-07-27 13:13
42K
fdiff_9__t5_fdiff_9.depv1
2024-08-03 10:19
266
fdiff_9__t5_fdiff_9.depvmin1
2024-08-03 10:24
254
fdiff_9__t5_fdiff_9.vmin1
2024-08-03 10:20
3.0K
fdiff_9__t5_fdiff_9.vmin1out
2024-08-03 10:20
57K
fdiff_9__t5_fdiff_9.vout
2024-08-03 05:53
37K
fdiff_9__t6_fdiff_9
2024-07-27 13:14
40K
fdiff_9__t6_fdiff_9.vout
2024-08-03 10:13
6.8K
fdiff_9__t7_fdiff_9
2024-07-27 13:16
49K
fdiff_9__t7_fdiff_9.vout
2024-08-03 09:10
6.8K
fdiff_9__t8_fdiff_9
2024-07-27 13:17
53K
fdiff_9__t8_fdiff_9.vout
2024-08-03 07:43
7.3K
fdiff_9__t9_fdiff_9
2024-07-27 13:19
53K
fdiff_9__t9_fdiff_9.vout
2024-08-03 06:25
6.8K
fdiff_9__t10_fdiff_9
2024-07-27 13:20
57K
fdiff_9__t10_fdiff_9.vout
2024-08-03 05:20
6.8K
fdiff_9__t11_fdiff_9
2024-07-27 13:22
57K
fdiff_9__t11_fdiff_9.vout
2024-08-03 09:03
6.8K
fdiff_9__t12_fdiff_9
2024-07-27 13:23
40K
fdiff_9__t12_fdiff_9.vout
2024-08-03 09:41
8.4K
fdiff_9__t13_fdiff_9
2024-07-27 13:25
48K
fdiff_9__t13_fdiff_9.vout
2024-08-03 05:57
7.8K
fdiff_9__t14_fdiff_9
2024-07-27 13:26
47K
fdiff_9__t14_fdiff_9.vout
2024-08-03 09:01
7.3K
fdiff_9__t15_fdiff_9
2024-07-27 13:28
59K
fdiff_9__t15_fdiff_9.vout
2024-08-03 10:02
7.3K
fdiff_9__t16_fdiff_9
2024-07-27 13:29
40K
fdiff_9__t16_fdiff_9.vout
2024-08-03 09:41
8.4K
fdiff_9__t17_fdiff_9
2024-07-27 13:31
48K
fdiff_9__t17_fdiff_9.vout
2024-08-03 08:10
7.9K
fdiff_9__t18_fdiff_9
2024-07-27 13:32
49K
fdiff_9__t18_fdiff_9.vout
2024-08-03 08:19
7.3K
fdiff_9__t19_fdiff_9
2024-07-27 13:34
61K
fdiff_9__t19_fdiff_9.vout
2024-08-03 04:40
6.8K
fdiff_9__t20_fdiff_9
2024-07-27 13:36
99K
fdiff_9__t20_fdiff_9.vout
2024-08-03 04:14
6.8K
fdiff_9__t21_fdiff_9
2024-07-27 13:37
99K
fdiff_9__t21_fdiff_9.vout
2024-08-03 07:15
6.8K
fdiff_9__t22_fdiff_9
2024-07-27 13:39
57K
fdiff_9__t22_fdiff_9.vout
2024-08-03 05:26
7.3K
fdiff_9__t23_fdiff_9
2024-07-27 13:40
59K
fdiff_9__t23_fdiff_9.vout
2024-08-03 06:05
7.3K
fdiff_9__t24_fdiff_9
2024-07-27 13:42
43K
fdiff_9__t24_fdiff_9.vout
2024-08-03 07:14
7.3K
fdiff_9__t25_fdiff_9
2024-07-27 13:43
51K
fdiff_9__t25_fdiff_9.vout
2024-08-03 05:10
7.3K
fdiff_9__t26_fdiff_9
2024-07-27 13:45
64K
fdiff_9__t26_fdiff_9.vout
2024-08-03 08:02
6.8K
fdiff_9__t27_fdiff_9
2024-07-27 13:46
64K
fdiff_9__t27_fdiff_9.vout
2024-08-03 06:48
6.8K
fdiff_9__t28_fdiff_9
2024-07-27 13:48
44K
fdiff_9__t28_fdiff_9.vout
2024-08-03 09:23
6.8K
fdiff_9__t29_fdiff_9
2024-07-27 13:49
52K
fdiff_9__t29_fdiff_9.vout
2024-08-03 05:17
6.8K
fdiff_9__t30_fdiff_9
2024-07-27 13:51
50K
fdiff_9__t30_fdiff_9.vout
2024-08-03 06:13
7.3K
fdiff_9__t31_fdiff_9
2024-07-27 13:52
61K
fdiff_9__t31_fdiff_9.vout
2024-08-03 09:31
7.3K
fdiff_9__t32_fdiff_9
2024-07-27 13:54
53K
fdiff_9__t32_fdiff_9.vout
2024-08-03 07:52
7.3K
fdiff_9__t33_fdiff_9
2024-07-27 13:55
53K
fdiff_9__t33_fdiff_9.vout
2024-08-03 05:20
7.3K
fdiff_9__t34_fdiff_9
2024-07-27 13:57
39K
fdiff_9__t34_fdiff_9.vout
2024-08-03 07:26
8.4K
fdiff_9__t35_fdiff_9
2024-07-27 13:58
48K
fdiff_9__t35_fdiff_9.vout
2024-08-03 09:51
8.4K
fdiff_9__t36_fdiff_9
2024-07-27 14:00
48K
fdiff_9__t36_fdiff_9.vout
2024-08-03 06:16
8.4K
fdiff_9__t37_fdiff_9
2024-07-27 14:01
48K
fdiff_9__t37_fdiff_9.vout
2024-08-03 07:30
8.4K
fdiff_9__t38_fdiff_9
2024-07-27 14:02
41K
fdiff_9__t38_fdiff_9.vout
2024-08-03 06:11
7.9K
fdiff_9__t39_fdiff_9
2024-07-27 14:04
49K
fdiff_9__t39_fdiff_9.vout
2024-08-03 04:29
7.8K
fdiff_9__t40_fdiff_9
2024-07-27 14:05
49K
fdiff_9__t40_fdiff_9.vout
2024-08-03 08:05
7.9K
fdiff_9__t41_fdiff_9
2024-07-27 14:07
49K
fdiff_9__t41_fdiff_9.vout
2024-08-03 05:19
7.9K
fdiff_9__t42_fdiff_9
2024-07-27 14:08
44K
fdiff_9__t42_fdiff_9.vout
2024-08-03 07:54
7.3K
fdiff_9__t43_fdiff_9
2024-07-27 14:10
52K
fdiff_9__t43_fdiff_9.vout
2024-08-03 04:44
7.3K
fdiff_9__t44_fdiff_9
2024-07-27 14:11
52K
fdiff_9__t44_fdiff_9.vout
2024-08-03 05:59
7.3K
fdiff_9__t45_fdiff_9
2024-07-27 14:13
52K
fdiff_9__t45_fdiff_9.vout
2024-08-03 06:28
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80