Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fdiff_2
Name
Last modified
Size
Description
Parent Directory
-
fdiff_2__l17_fdiff_2
2024-07-26 22:58
11K
fdiff_2__l17_fdiff_2.depv1
2024-08-03 10:19
81
fdiff_2__l17_fdiff_2.depvmin1
2024-08-03 10:24
81
fdiff_2__l17_fdiff_2.vmin1
2024-08-03 10:20
636
fdiff_2__l17_fdiff_2.vmin1out
2024-08-03 10:22
4.6K
fdiff_2__l17_fdiff_2.vout
2024-08-03 06:51
5.4K
fdiff_2__l24_fdiff_2
2024-07-27 00:08
38K
fdiff_2__l24_fdiff_2.vout
2024-08-03 05:23
7.3K
fdiff_2__t1_fdiff_2
2024-07-26 23:00
48K
fdiff_2__t1_fdiff_2.vout
2024-08-03 09:37
6.8K
fdiff_2__t2_fdiff_2
2024-07-26 23:01
47K
fdiff_2__t2_fdiff_2.vout
2024-08-03 08:53
6.8K
fdiff_2__t3_fdiff_2
2024-07-26 23:03
53K
fdiff_2__t3_fdiff_2.vout
2024-08-03 05:52
7.3K
fdiff_2__t4_fdiff_2
2024-07-26 23:04
42K
fdiff_2__t4_fdiff_2.vout
2024-08-03 06:01
4.7K
fdiff_2__t5_fdiff_2
2024-07-26 23:05
33K
fdiff_2__t5_fdiff_2.vout
2024-08-03 05:46
4.7K
fdiff_2__t6_fdiff_2
2024-07-26 23:07
41K
fdiff_2__t6_fdiff_2.vout
2024-08-03 08:57
4.7K
fdiff_2__t7_fdiff_2
2024-07-26 23:09
96K
fdiff_2__t7_fdiff_2.vout
2024-08-03 06:06
7.3K
fdiff_2__t9_fdiff_2
2024-07-26 23:10
38K
fdiff_2__t9_fdiff_2.depv1
2024-08-03 10:19
214
fdiff_2__t9_fdiff_2.depvmin1
2024-08-03 10:24
204
fdiff_2__t9_fdiff_2.vmin1
2024-08-03 10:20
2.9K
fdiff_2__t9_fdiff_2.vmin1out
2024-08-03 10:21
32K
fdiff_2__t9_fdiff_2.vout
2024-08-03 10:01
45K
fdiff_2__t10_fdiff_2
2024-07-26 22:58
30K
fdiff_2__t10_fdiff_2.vout
2024-08-03 04:56
7.3K
fdiff_2__t12_fdiff_2
2024-07-26 23:11
73K
fdiff_2__t12_fdiff_2.vout
2024-08-03 09:19
6.8K
fdiff_2__t13_fdiff_2
2024-07-26 23:13
38K
fdiff_2__t13_fdiff_2.vout
2024-08-03 04:32
7.3K
fdiff_2__t14_fdiff_2
2024-07-26 23:15
112K
fdiff_2__t14_fdiff_2.vout
2024-08-03 08:32
6.8K
fdiff_2__t15_fdiff_2
2024-07-26 23:17
69K
fdiff_2__t15_fdiff_2.vout
2024-08-03 05:24
6.8K
fdiff_2__t16_fdiff_2
2024-07-26 23:18
41K
fdiff_2__t16_fdiff_2.vout
2024-08-03 09:18
6.8K
fdiff_2__t17_fdiff_2
2024-07-26 23:20
40K
fdiff_2__t17_fdiff_2.vout
2024-08-03 09:42
6.8K
fdiff_2__t18_fdiff_2
2024-07-26 23:21
45K
fdiff_2__t18_fdiff_2.vout
2024-08-03 07:14
6.8K
fdiff_2__t19_fdiff_2
2024-07-26 23:22
35K
fdiff_2__t19_fdiff_2.vout
2024-08-03 08:14
6.8K
fdiff_2__t20_fdiff_2
2024-07-26 23:24
45K
fdiff_2__t20_fdiff_2.vout
2024-08-03 09:42
6.8K
fdiff_2__t23_fdiff_2
2024-07-26 23:25
51K
fdiff_2__t23_fdiff_2.vout
2024-08-03 08:10
6.8K
fdiff_2__t25_fdiff_2
2024-07-26 23:27
35K
fdiff_2__t25_fdiff_2.depv1
2024-08-03 10:19
120
fdiff_2__t25_fdiff_2.depvmin1
2024-08-03 10:24
120
fdiff_2__t25_fdiff_2.vmin1
2024-08-03 10:20
2.3K
fdiff_2__t25_fdiff_2.vmin1out
2024-08-03 10:23
39K
fdiff_2__t25_fdiff_2.vout
2024-08-03 09:32
34K
fdiff_2__t26_fdiff_2
2024-07-26 23:28
62K
fdiff_2__t26_fdiff_2.vout
2024-08-03 04:47
3.7K
fdiff_2__t27_fdiff_2
2024-07-26 23:30
62K
fdiff_2__t27_fdiff_2.vout
2024-08-03 09:45
3.6K
fdiff_2__t28_fdiff_2
2024-07-26 23:31
67K
fdiff_2__t28_fdiff_2.vout
2024-08-03 09:57
3.7K
fdiff_2__t29_fdiff_2
2024-07-26 23:33
43K
fdiff_2__t29_fdiff_2.vout
2024-08-03 08:27
3.7K
fdiff_2__t30_fdiff_2
2024-07-26 23:34
43K
fdiff_2__t30_fdiff_2.vout
2024-08-03 05:53
3.7K
fdiff_2__t31_fdiff_2
2024-07-26 23:36
42K
fdiff_2__t31_fdiff_2.vout
2024-08-03 06:01
3.7K
fdiff_2__t32_fdiff_2
2024-07-26 23:37
42K
fdiff_2__t32_fdiff_2.vout
2024-08-03 09:29
3.7K
fdiff_2__t33_fdiff_2
2024-07-26 23:39
41K
fdiff_2__t33_fdiff_2.vout
2024-08-03 08:03
3.7K
fdiff_2__t34_fdiff_2
2024-07-26 23:40
41K
fdiff_2__t34_fdiff_2.vout
2024-08-03 09:20
3.7K
fdiff_2__t35_fdiff_2
2024-07-26 23:42
41K
fdiff_2__t35_fdiff_2.vout
2024-08-03 08:06
3.7K
fdiff_2__t36_fdiff_2
2024-07-26 23:43
41K
fdiff_2__t36_fdiff_2.vout
2024-08-03 08:42
3.7K
fdiff_2__t37_fdiff_2
2024-07-26 23:45
46K
fdiff_2__t37_fdiff_2.vout
2024-08-03 04:28
3.7K
fdiff_2__t38_fdiff_2
2024-07-26 23:47
46K
fdiff_2__t38_fdiff_2.vout
2024-08-03 05:38
3.7K
fdiff_2__t39_fdiff_2
2024-07-26 23:48
45K
fdiff_2__t39_fdiff_2.vout
2024-08-03 04:41
3.7K
fdiff_2__t40_fdiff_2
2024-07-26 23:50
45K
fdiff_2__t40_fdiff_2.vout
2024-08-03 08:01
3.7K
fdiff_2__t41_fdiff_2
2024-07-26 23:51
32K
fdiff_2__t41_fdiff_2.depv1
2024-08-03 10:19
104
fdiff_2__t41_fdiff_2.depvmin1
2024-08-03 10:24
55
fdiff_2__t41_fdiff_2.vmin1
2024-08-03 10:20
2.6K
fdiff_2__t41_fdiff_2.vmin1out
2024-08-03 10:22
36K
fdiff_2__t41_fdiff_2.vout
2024-08-03 04:26
46K
fdiff_2__t42_fdiff_2
2024-07-26 23:52
33K
fdiff_2__t42_fdiff_2.depv1
2024-08-03 10:19
109
fdiff_2__t42_fdiff_2.depvmin1
2024-08-03 10:24
60
fdiff_2__t42_fdiff_2.vmin1
2024-08-03 10:20
2.6K
fdiff_2__t42_fdiff_2.vmin1out
2024-08-03 10:23
34K
fdiff_2__t42_fdiff_2.vout
2024-08-03 08:47
41K
fdiff_2__t43_fdiff_2
2024-07-26 23:54
33K
fdiff_2__t43_fdiff_2.depv1
2024-08-03 10:19
109
fdiff_2__t43_fdiff_2.depvmin1
2024-08-03 10:24
60
fdiff_2__t43_fdiff_2.vmin1
2024-08-03 10:20
2.6K
fdiff_2__t43_fdiff_2.vmin1out
2024-08-03 10:23
34K
fdiff_2__t43_fdiff_2.vout
2024-08-03 04:35
41K
fdiff_2__t44_fdiff_2
2024-07-26 23:55
32K
fdiff_2__t44_fdiff_2.depv1
2024-08-03 10:19
193
fdiff_2__t44_fdiff_2.depvmin1
2024-08-03 10:24
72
fdiff_2__t44_fdiff_2.vmin1
2024-08-03 10:20
3.1K
fdiff_2__t44_fdiff_2.vmin1out
2024-08-03 10:21
31K
fdiff_2__t44_fdiff_2.vout
2024-08-03 07:40
47K
fdiff_2__t45_fdiff_2
2024-07-26 23:57
118K
fdiff_2__t45_fdiff_2.vout
2024-08-03 06:47
6.8K
fdiff_2__t46_fdiff_2
2024-07-27 00:00
124K
fdiff_2__t46_fdiff_2.vout
2024-08-03 06:33
6.8K
fdiff_2__t47_fdiff_2
2024-07-27 00:02
124K
fdiff_2__t47_fdiff_2.vout
2024-08-03 09:39
7.3K
fdiff_2__t48_fdiff_2
2024-07-27 00:05
124K
fdiff_2__t48_fdiff_2.vout
2024-08-03 09:31
6.8K
fdiff_2__t49_fdiff_2
2024-07-27 00:06
127K
fdiff_2__t49_fdiff_2.vout
2024-08-03 04:37
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80