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