Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hfdiff_1
Name
Last modified
Size
Description
Parent Directory
-
hfdiff_1__l32_hfdiff_1
2024-07-27 12:20
41K
hfdiff_1__l32_hfdiff_1.vout
2024-08-03 05:02
2.0K
hfdiff_1__l46_hfdiff_1
2024-07-27 12:21
28K
hfdiff_1__l46_hfdiff_1.depv1
2024-08-03 10:19
203
hfdiff_1__l46_hfdiff_1.depvmin1
2024-08-03 10:24
191
hfdiff_1__l46_hfdiff_1.vmin1
2024-08-03 10:19
2.1K
hfdiff_1__l46_hfdiff_1.vmin1out
2024-08-03 10:20
24K
hfdiff_1__l46_hfdiff_1.vout
2024-08-03 05:20
26K
hfdiff_1__l66_hfdiff_1
2024-07-27 12:22
37K
hfdiff_1__l66_hfdiff_1.vout
2024-08-03 09:59
4.7K
hfdiff_1__l70_hfdiff_1
2024-07-27 12:24
44K
hfdiff_1__l70_hfdiff_1.vout
2024-08-03 04:22
7.3K
hfdiff_1__l71_hfdiff_1
2024-07-27 12:25
32K
hfdiff_1__l71_hfdiff_1.vout
2024-08-03 09:39
7.3K
hfdiff_1__t1_hfdiff_1
2024-07-27 10:50
31K
hfdiff_1__t1_hfdiff_1.depv1
2024-08-03 10:19
231
hfdiff_1__t1_hfdiff_1.depvmin1
2024-08-03 10:24
231
hfdiff_1__t1_hfdiff_1.vmin1
2024-08-03 10:19
2.0K
hfdiff_1__t1_hfdiff_1.vmin1out
2024-08-03 10:20
21K
hfdiff_1__t1_hfdiff_1.vout
2024-08-03 08:53
21K
hfdiff_1__t2_hfdiff_1
2024-07-27 10:51
36K
hfdiff_1__t2_hfdiff_1.vout
2024-08-03 08:27
7.3K
hfdiff_1__t3_hfdiff_1
2024-07-27 10:53
40K
hfdiff_1__t3_hfdiff_1.vout
2024-08-03 08:24
7.3K
hfdiff_1__t4_hfdiff_1
2024-07-27 10:54
29K
hfdiff_1__t4_hfdiff_1.vout
2024-08-03 07:25
6.3K
hfdiff_1__t5_hfdiff_1
2024-07-27 10:55
39K
hfdiff_1__t5_hfdiff_1.vout
2024-08-03 05:14
4.7K
hfdiff_1__t6_hfdiff_1
2024-07-27 10:56
26K
hfdiff_1__t6_hfdiff_1.depv1
2024-08-03 10:19
201
hfdiff_1__t6_hfdiff_1.depvmin1
2024-08-03 10:24
201
hfdiff_1__t6_hfdiff_1.vmin1
2024-08-03 10:19
2.4K
hfdiff_1__t6_hfdiff_1.vmin1out
2024-08-03 10:20
35K
hfdiff_1__t6_hfdiff_1.vout
2024-08-03 04:27
35K
hfdiff_1__t7_hfdiff_1
2024-07-27 10:58
41K
hfdiff_1__t7_hfdiff_1.vout
2024-08-03 08:32
4.7K
hfdiff_1__t8_hfdiff_1
2024-07-27 10:59
32K
hfdiff_1__t8_hfdiff_1.depv1
2024-08-03 10:19
309
hfdiff_1__t8_hfdiff_1.depvmin1
2024-08-03 10:24
276
hfdiff_1__t8_hfdiff_1.vmin1
2024-08-03 10:19
2.7K
hfdiff_1__t8_hfdiff_1.vmin1out
2024-08-03 10:21
32K
hfdiff_1__t8_hfdiff_1.vout
2024-08-03 07:20
34K
hfdiff_1__t9_hfdiff_1
2024-07-27 11:01
48K
hfdiff_1__t9_hfdiff_1.vout
2024-08-03 09:32
7.3K
hfdiff_1__t10_hfdiff_1
2024-07-27 11:02
46K
hfdiff_1__t10_hfdiff_1.vout
2024-08-03 06:29
2.0K
hfdiff_1__t11_hfdiff_1
2024-07-27 11:04
435K
hfdiff_1__t11_hfdiff_1.vout
2024-08-03 04:44
7.3K
hfdiff_1__t12_hfdiff_1
2024-07-27 11:06
49K
hfdiff_1__t12_hfdiff_1.vout
2024-08-03 06:38
7.3K
hfdiff_1__t13_hfdiff_1
2024-07-27 11:07
44K
hfdiff_1__t13_hfdiff_1.vout
2024-08-03 07:14
2.0K
hfdiff_1__t14_hfdiff_1
2024-07-27 11:09
284K
hfdiff_1__t14_hfdiff_1.vout
2024-08-03 08:04
7.3K
hfdiff_1__t15_hfdiff_1
2024-07-27 11:10
45K
hfdiff_1__t15_hfdiff_1.vout
2024-08-03 09:05
4.7K
hfdiff_1__t16_hfdiff_1
2024-07-27 11:12
46K
hfdiff_1__t16_hfdiff_1.vout
2024-08-03 04:30
4.7K
hfdiff_1__t17_hfdiff_1
2024-07-27 11:13
33K
hfdiff_1__t17_hfdiff_1.depv1
2024-08-03 10:19
90
hfdiff_1__t17_hfdiff_1.depvmin1
2024-08-03 10:24
90
hfdiff_1__t17_hfdiff_1.vmin1
2024-08-03 10:19
2.2K
hfdiff_1__t17_hfdiff_1.vmin1out
2024-08-03 10:21
26K
hfdiff_1__t17_hfdiff_1.vout
2024-08-03 09:01
20K
hfdiff_1__t18_hfdiff_1
2024-07-27 11:15
34K
hfdiff_1__t18_hfdiff_1.depv1
2024-08-03 10:19
91
hfdiff_1__t18_hfdiff_1.depvmin1
2024-08-03 10:24
91
hfdiff_1__t18_hfdiff_1.vmin1
2024-08-03 10:19
2.3K
hfdiff_1__t18_hfdiff_1.vmin1out
2024-08-03 10:21
26K
hfdiff_1__t18_hfdiff_1.vout
2024-08-03 08:07
20K
hfdiff_1__t19_hfdiff_1
2024-07-27 11:16
45K
hfdiff_1__t19_hfdiff_1.vout
2024-08-03 07:07
7.3K
hfdiff_1__t20_hfdiff_1
2024-07-27 11:18
43K
hfdiff_1__t20_hfdiff_1.vout
2024-08-03 07:37
7.3K
hfdiff_1__t21_hfdiff_1
2024-07-27 11:19
44K
hfdiff_1__t21_hfdiff_1.vout
2024-08-03 04:24
4.7K
hfdiff_1__t22_hfdiff_1
2024-07-27 11:21
33K
hfdiff_1__t22_hfdiff_1.vout
2024-08-03 10:06
4.7K
hfdiff_1__t23_hfdiff_1
2024-07-27 11:22
36K
hfdiff_1__t23_hfdiff_1.vout
2024-08-03 06:38
4.7K
hfdiff_1__t24_hfdiff_1
2024-07-27 11:24
41K
hfdiff_1__t24_hfdiff_1.vout
2024-08-03 05:58
4.7K
hfdiff_1__t25_hfdiff_1
2024-07-27 11:25
60K
hfdiff_1__t25_hfdiff_1.vout
2024-08-03 09:55
4.7K
hfdiff_1__t26_hfdiff_1
2024-07-27 11:27
60K
hfdiff_1__t26_hfdiff_1.vout
2024-08-03 06:26
4.7K
hfdiff_1__t27_hfdiff_1
2024-07-27 11:28
51K
hfdiff_1__t27_hfdiff_1.vout
2024-08-03 06:33
4.7K
hfdiff_1__t28_hfdiff_1
2024-07-27 11:30
38K
hfdiff_1__t28_hfdiff_1.vout
2024-08-03 07:49
7.4K
hfdiff_1__t29_hfdiff_1
2024-07-27 11:31
39K
hfdiff_1__t29_hfdiff_1.depv1
2024-08-03 10:19
124
hfdiff_1__t29_hfdiff_1.depvmin1
2024-08-03 10:24
124
hfdiff_1__t29_hfdiff_1.vmin1
2024-08-03 10:19
2.0K
hfdiff_1__t29_hfdiff_1.vmin1out
2024-08-03 10:22
27K
hfdiff_1__t29_hfdiff_1.vout
2024-08-03 05:59
25K
hfdiff_1__t30_hfdiff_1
2024-07-27 11:33
155K
hfdiff_1__t30_hfdiff_1.vout
2024-08-03 10:05
7.3K
hfdiff_1__t31_hfdiff_1
2024-07-27 11:34
81K
hfdiff_1__t31_hfdiff_1.vout
2024-08-03 09:11
7.3K
hfdiff_1__t32_hfdiff_1
2024-07-27 11:36
64K
hfdiff_1__t32_hfdiff_1.vout
2024-08-03 08:16
6.8K
hfdiff_1__t33_hfdiff_1
2024-07-27 10:49
33K
hfdiff_1__t33_hfdiff_1.vout
2024-08-03 06:14
4.7K
hfdiff_1__t34_hfdiff_1
2024-07-27 11:37
42K
hfdiff_1__t34_hfdiff_1.vout
2024-08-03 06:19
7.9K
hfdiff_1__t35_hfdiff_1
2024-07-27 11:39
54K
hfdiff_1__t35_hfdiff_1.vout
2024-08-03 08:26
7.3K
hfdiff_1__t36_hfdiff_1
2024-07-27 11:41
43K
hfdiff_1__t36_hfdiff_1.vout
2024-08-03 09:47
7.4K
hfdiff_1__t37_hfdiff_1
2024-07-27 11:42
63K
hfdiff_1__t37_hfdiff_1.vout
2024-08-03 09:19
7.3K
hfdiff_1__t38_hfdiff_1
2024-07-27 11:44
63K
hfdiff_1__t38_hfdiff_1.vout
2024-08-03 05:17
7.4K
hfdiff_1__t39_hfdiff_1
2024-07-27 11:45
48K
hfdiff_1__t39_hfdiff_1.vout
2024-08-03 06:49
7.4K
hfdiff_1__t40_hfdiff_1
2024-07-27 11:47
53K
hfdiff_1__t40_hfdiff_1.vout
2024-08-03 04:20
4.7K
hfdiff_1__t41_hfdiff_1
2024-07-27 11:48
37K
hfdiff_1__t41_hfdiff_1.vout
2024-08-03 08:22
7.3K
hfdiff_1__t42_hfdiff_1
2024-07-27 11:50
54K
hfdiff_1__t42_hfdiff_1.vout
2024-08-03 09:57
7.3K
hfdiff_1__t43_hfdiff_1
2024-07-27 11:51
32K
hfdiff_1__t43_hfdiff_1.depv1
2024-08-03 10:19
186
hfdiff_1__t43_hfdiff_1.depvmin1
2024-08-03 10:24
186
hfdiff_1__t43_hfdiff_1.vmin1
2024-08-03 10:19
2.4K
hfdiff_1__t43_hfdiff_1.vmin1out
2024-08-03 10:20
31K
hfdiff_1__t43_hfdiff_1.vout
2024-08-03 04:32
31K
hfdiff_1__t44_hfdiff_1
2024-07-27 11:53
95K
hfdiff_1__t44_hfdiff_1.vout
2024-08-03 08:27
7.3K
hfdiff_1__t45_hfdiff_1
2024-07-27 11:54
48K
hfdiff_1__t45_hfdiff_1.vout
2024-08-03 06:41
6.2K
hfdiff_1__t47_hfdiff_1
2024-07-27 11:56
45K
hfdiff_1__t47_hfdiff_1.vout
2024-08-03 06:47
7.9K
hfdiff_1__t50_hfdiff_1
2024-07-27 11:57
53K
hfdiff_1__t50_hfdiff_1.vout
2024-08-03 07:05
4.7K
hfdiff_1__t52_hfdiff_1
2024-07-27 11:59
65K
hfdiff_1__t52_hfdiff_1.vout
2024-08-03 09:43
7.3K
hfdiff_1__t53_hfdiff_1
2024-07-27 12:01
54K
hfdiff_1__t53_hfdiff_1.vout
2024-08-03 08:05
4.7K
hfdiff_1__t54_hfdiff_1
2024-07-27 12:02
54K
hfdiff_1__t54_hfdiff_1.vout
2024-08-03 08:08
4.7K
hfdiff_1__t55_hfdiff_1
2024-07-27 12:04
63K
hfdiff_1__t55_hfdiff_1.vout
2024-08-03 06:40
4.7K
hfdiff_1__t58_hfdiff_1
2024-07-27 12:05
46K
hfdiff_1__t58_hfdiff_1.vout
2024-08-03 04:23
7.3K
hfdiff_1__t61_hfdiff_1
2024-07-27 12:07
51K
hfdiff_1__t61_hfdiff_1.vout
2024-08-03 09:36
6.8K
hfdiff_1__t62_hfdiff_1
2024-07-27 12:09
67K
hfdiff_1__t62_hfdiff_1.vout
2024-08-03 09:41
7.3K
hfdiff_1__t63_hfdiff_1
2024-07-27 12:10
68K
hfdiff_1__t63_hfdiff_1.vout
2024-08-03 04:33
7.4K
hfdiff_1__t64_hfdiff_1
2024-07-27 12:12
59K
hfdiff_1__t64_hfdiff_1.vout
2024-08-03 05:25
4.7K
hfdiff_1__t65_hfdiff_1
2024-07-27 12:14
67K
hfdiff_1__t65_hfdiff_1.vout
2024-08-03 10:09
4.7K
hfdiff_1__t66_hfdiff_1
2024-07-27 12:15
44K
hfdiff_1__t66_hfdiff_1.vout
2024-08-03 08:11
4.7K
hfdiff_1__t67_hfdiff_1
2024-07-27 12:17
84K
hfdiff_1__t67_hfdiff_1.vout
2024-08-03 09:58
6.8K
hfdiff_1__t68_hfdiff_1
2024-07-27 12:19
60K
hfdiff_1__t68_hfdiff_1.vout
2024-08-03 08:10
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80