Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hessenbe
Name
Last modified
Size
Description
Parent Directory
-
hessenbe__l17_hessenbe
2024-07-28 04:16
4.3K
hessenbe__l17_hessenbe.depv1
2024-08-03 10:19
73
hessenbe__l17_hessenbe.depvmin1
2024-08-03 10:24
73
hessenbe__l17_hessenbe.vmin1
2024-08-03 10:20
3.3K
hessenbe__l17_hessenbe.vmin1out
2024-08-03 10:22
124K
hessenbe__l17_hessenbe.vout
2024-08-03 09:10
124K
hessenbe__l18_hessenbe
2024-07-28 04:17
8.9K
hessenbe__l18_hessenbe.vout
2024-08-03 07:55
7.1K
hessenbe__l19_hessenbe
2024-07-28 04:17
9.1K
hessenbe__l19_hessenbe.vout
2024-08-03 06:59
7.2K
hessenbe__t1_hessenbe
2024-07-28 04:09
1.4K
hessenbe__t1_hessenbe.depv1
2024-08-03 10:19
22
hessenbe__t1_hessenbe.depvmin1
2024-08-03 10:24
22
hessenbe__t1_hessenbe.vmin1
2024-08-03 10:20
852
hessenbe__t1_hessenbe.vmin1out
2024-08-03 10:21
17K
hessenbe__t1_hessenbe.vout
2024-08-03 06:21
18K
hessenbe__t2_hessenbe
2024-07-28 04:09
1.8K
hessenbe__t2_hessenbe.depv1
2024-08-03 10:19
36
hessenbe__t2_hessenbe.depvmin1
2024-08-03 10:24
36
hessenbe__t2_hessenbe.vmin1
2024-08-03 10:20
1.3K
hessenbe__t2_hessenbe.vmin1out
2024-08-03 10:21
29K
hessenbe__t2_hessenbe.vout
2024-08-03 04:38
29K
hessenbe__t3_hessenbe
2024-07-28 04:10
2.9K
hessenbe__t3_hessenbe.depv1
2024-08-03 10:19
60
hessenbe__t3_hessenbe.depvmin1
2024-08-03 10:24
60
hessenbe__t3_hessenbe.vmin1
2024-08-03 10:20
2.3K
hessenbe__t3_hessenbe.vmin1out
2024-08-03 10:22
80K
hessenbe__t3_hessenbe.vout
2024-08-03 05:18
80K
hessenbe__t4_hessenbe
2024-07-28 04:10
1.7K
hessenbe__t4_hessenbe.depv1
2024-08-03 10:19
34
hessenbe__t4_hessenbe.depvmin1
2024-08-03 10:24
34
hessenbe__t4_hessenbe.vmin1
2024-08-03 10:20
1.1K
hessenbe__t4_hessenbe.vmin1out
2024-08-03 10:21
19K
hessenbe__t4_hessenbe.vout
2024-08-03 04:41
19K
hessenbe__t5_hessenbe
2024-07-28 04:11
1.6K
hessenbe__t5_hessenbe.depv1
2024-08-03 10:19
37
hessenbe__t5_hessenbe.depvmin1
2024-08-03 10:24
37
hessenbe__t5_hessenbe.vmin1
2024-08-03 10:20
1.0K
hessenbe__t5_hessenbe.vmin1out
2024-08-03 10:23
22K
hessenbe__t5_hessenbe.vout
2024-08-03 06:41
22K
hessenbe__t6_hessenbe
2024-07-28 04:11
2.0K
hessenbe__t6_hessenbe.depv1
2024-08-03 10:19
36
hessenbe__t6_hessenbe.depvmin1
2024-08-03 10:24
36
hessenbe__t6_hessenbe.vmin1
2024-08-03 10:20
1.4K
hessenbe__t6_hessenbe.vmin1out
2024-08-03 10:20
24K
hessenbe__t6_hessenbe.vout
2024-08-03 04:40
24K
hessenbe__t7_hessenbe
2024-07-28 04:11
2.3K
hessenbe__t7_hessenbe.depv1
2024-08-03 10:19
48
hessenbe__t7_hessenbe.depvmin1
2024-08-03 10:24
48
hessenbe__t7_hessenbe.vmin1
2024-08-03 10:20
1.7K
hessenbe__t7_hessenbe.vmin1out
2024-08-03 10:23
40K
hessenbe__t7_hessenbe.vout
2024-08-03 09:05
40K
hessenbe__t8_hessenbe
2024-07-28 04:12
2.2K
hessenbe__t8_hessenbe.depv1
2024-08-03 10:19
36
hessenbe__t8_hessenbe.depvmin1
2024-08-03 10:24
36
hessenbe__t8_hessenbe.vmin1
2024-08-03 10:20
1.6K
hessenbe__t8_hessenbe.vmin1out
2024-08-03 10:22
48K
hessenbe__t8_hessenbe.vout
2024-08-03 04:29
49K
hessenbe__t9_hessenbe
2024-07-28 04:12
2.2K
hessenbe__t9_hessenbe.depv1
2024-08-03 10:19
36
hessenbe__t9_hessenbe.depvmin1
2024-08-03 10:24
36
hessenbe__t9_hessenbe.vmin1
2024-08-03 10:20
1.6K
hessenbe__t9_hessenbe.vmin1out
2024-08-03 10:21
19K
hessenbe__t9_hessenbe.vout
2024-08-03 07:27
86K
hessenbe__t10_hessenbe
2024-07-28 04:13
2.1K
hessenbe__t10_hessenbe.depv1
2024-08-03 10:19
37
hessenbe__t10_hessenbe.depvmin1
2024-08-03 10:24
37
hessenbe__t10_hessenbe.vmin1
2024-08-03 10:20
1.5K
hessenbe__t10_hessenbe.vmin1out
2024-08-03 10:20
42K
hessenbe__t10_hessenbe.vout
2024-08-03 05:18
43K
hessenbe__t11_hessenbe
2024-07-28 04:13
2.9K
hessenbe__t11_hessenbe.depv1
2024-08-03 10:19
61
hessenbe__t11_hessenbe.depvmin1
2024-08-03 10:24
61
hessenbe__t11_hessenbe.vmin1
2024-08-03 10:20
2.3K
hessenbe__t11_hessenbe.vmin1out
2024-08-03 10:21
80K
hessenbe__t11_hessenbe.vout
2024-08-03 08:52
74K
hessenbe__t12_hessenbe
2024-07-28 04:13
2.6K
hessenbe__t12_hessenbe.depv1
2024-08-03 10:19
49
hessenbe__t12_hessenbe.depvmin1
2024-08-03 10:24
49
hessenbe__t12_hessenbe.vmin1
2024-08-03 10:20
2.0K
hessenbe__t12_hessenbe.vmin1out
2024-08-03 10:22
51K
hessenbe__t12_hessenbe.vout
2024-08-03 05:56
51K
hessenbe__t13_hessenbe
2024-07-28 04:14
2.1K
hessenbe__t13_hessenbe.depv1
2024-08-03 10:19
37
hessenbe__t13_hessenbe.depvmin1
2024-08-03 10:24
37
hessenbe__t13_hessenbe.vmin1
2024-08-03 10:20
1.5K
hessenbe__t13_hessenbe.vmin1out
2024-08-03 10:22
46K
hessenbe__t13_hessenbe.vout
2024-08-03 06:54
47K
hessenbe__t14_hessenbe
2024-07-28 04:14
2.0K
hessenbe__t14_hessenbe.depv1
2024-08-03 10:19
37
hessenbe__t14_hessenbe.depvmin1
2024-08-03 10:24
37
hessenbe__t14_hessenbe.vmin1
2024-08-03 10:20
1.4K
hessenbe__t14_hessenbe.vmin1out
2024-08-03 10:23
54K
hessenbe__t14_hessenbe.vout
2024-08-03 09:00
54K
hessenbe__t15_hessenbe
2024-07-28 04:15
2.1K
hessenbe__t15_hessenbe.depv1
2024-08-03 10:19
37
hessenbe__t15_hessenbe.depvmin1
2024-08-03 10:24
37
hessenbe__t15_hessenbe.vmin1
2024-08-03 10:20
1.5K
hessenbe__t15_hessenbe.vmin1out
2024-08-03 10:23
31K
hessenbe__t15_hessenbe.vout
2024-08-03 07:14
31K
hessenbe__t16_hessenbe
2024-07-28 04:15
7.4K
hessenbe__t16_hessenbe.vout
2024-08-03 06:56
7.1K
hessenbe__t17_hessenbe
2024-07-28 04:16
4.2K
hessenbe__t17_hessenbe.vout
2024-08-03 09:32
7.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80