Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilbasis
Name
Last modified
Size
Description
Parent Directory
-
hilbasis__t1_hilbasis
2024-07-27 07:07
74K
hilbasis__t1_hilbasis.vout
2024-08-03 09:41
7.3K
hilbasis__t2_hilbasis
2024-07-27 07:09
69K
hilbasis__t2_hilbasis.vout
2024-08-03 08:36
4.7K
hilbasis__t3_hilbasis
2024-07-27 07:10
43K
hilbasis__t3_hilbasis.vout
2024-08-03 08:51
3.7K
hilbasis__t4_hilbasis
2024-07-27 07:12
45K
hilbasis__t4_hilbasis.vout
2024-08-03 08:26
6.8K
hilbasis__t5_hilbasis
2024-07-27 07:14
53K
hilbasis__t5_hilbasis.vout
2024-08-03 08:10
4.7K
hilbasis__t6_hilbasis
2024-07-27 07:15
64K
hilbasis__t6_hilbasis.vout
2024-08-03 08:51
4.7K
hilbasis__t7_hilbasis
2024-07-27 07:17
56K
hilbasis__t7_hilbasis.vout
2024-08-03 05:24
7.3K
hilbasis__t8_hilbasis
2024-07-27 07:19
52K
hilbasis__t8_hilbasis.vout
2024-08-03 09:42
7.3K
hilbasis__t9_hilbasis
2024-07-27 07:20
52K
hilbasis__t9_hilbasis.vout
2024-08-03 06:26
7.3K
hilbasis__t10_hilbasis
2024-07-27 07:22
39K
hilbasis__t10_hilbasis.depv1
2024-08-03 10:19
95
hilbasis__t10_hilbasis.depvmin1
2024-08-03 10:24
95
hilbasis__t10_hilbasis.vmin1
2024-08-03 10:19
866
hilbasis__t10_hilbasis.vmin1out
2024-08-03 10:21
11K
hilbasis__t10_hilbasis.vout
2024-08-03 08:34
11K
hilbasis__t11_hilbasis
2024-07-27 07:24
68K
hilbasis__t11_hilbasis.vout
2024-08-03 08:08
7.3K
hilbasis__t12_hilbasis
2024-07-27 07:27
68K
hilbasis__t12_hilbasis.vout
2024-08-03 05:23
7.3K
hilbasis__t13_hilbasis
2024-07-27 07:29
67K
hilbasis__t13_hilbasis.vout
2024-08-03 08:33
7.4K
hilbasis__t14_hilbasis
2024-07-27 07:31
62K
hilbasis__t14_hilbasis.vout
2024-08-03 05:09
4.7K
hilbasis__t15_hilbasis
2024-07-27 07:34
80K
hilbasis__t15_hilbasis.vout
2024-08-03 09:15
4.7K
hilbasis__t16_hilbasis
2024-07-27 07:36
76K
hilbasis__t16_hilbasis.vout
2024-08-03 06:12
4.7K
hilbasis__t17_hilbasis
2024-07-27 07:38
61K
hilbasis__t17_hilbasis.depv1
2024-08-03 10:19
107
hilbasis__t17_hilbasis.depvmin1
2024-08-03 10:24
107
hilbasis__t17_hilbasis.vmin1
2024-08-03 10:19
2.7K
hilbasis__t17_hilbasis.vmin1out
2024-08-03 10:20
34K
hilbasis__t17_hilbasis.vout
2024-08-03 07:27
32K
hilbasis__t18_hilbasis
2024-07-27 07:40
76K
hilbasis__t18_hilbasis.vout
2024-08-03 04:51
5.8K
hilbasis__t19_hilbasis
2024-07-27 07:43
96K
hilbasis__t19_hilbasis.vout
2024-08-03 10:05
6.8K
hilbasis__t20_hilbasis
2024-07-27 07:46
97K
hilbasis__t20_hilbasis.vout
2024-08-03 08:10
7.3K
hilbasis__t21_hilbasis
2024-07-27 07:48
76K
hilbasis__t21_hilbasis.vout
2024-08-03 09:57
7.3K
hilbasis__t22_hilbasis
2024-07-27 07:51
68K
hilbasis__t22_hilbasis.vout
2024-08-03 07:48
7.3K
hilbasis__t23_hilbasis
2024-07-27 07:53
57K
hilbasis__t23_hilbasis.vout
2024-08-03 06:24
7.3K
hilbasis__t24_hilbasis
2024-07-27 07:56
92K
hilbasis__t24_hilbasis.vout
2024-08-03 07:34
4.7K
hilbasis__t25_hilbasis
2024-07-27 07:58
67K
hilbasis__t25_hilbasis.vout
2024-08-03 06:14
2.0K
hilbasis__t26_hilbasis
2024-07-27 08:01
89K
hilbasis__t26_hilbasis.vout
2024-08-03 04:16
6.8K
hilbasis__t27_hilbasis
2024-07-27 08:03
67K
hilbasis__t27_hilbasis.vout
2024-08-03 08:22
7.4K
hilbasis__t28_hilbasis
2024-07-27 08:07
130K
hilbasis__t28_hilbasis.vout
2024-08-03 05:59
6.0K
hilbasis__t29_hilbasis
2024-07-27 08:11
123K
hilbasis__t29_hilbasis.vout
2024-08-03 07:15
6.8K
hilbasis__t30_hilbasis
2024-07-27 08:14
106K
hilbasis__t30_hilbasis.vout
2024-08-03 05:39
4.7K
hilbasis__t31_hilbasis
2024-07-27 08:17
78K
hilbasis__t31_hilbasis.vout
2024-08-03 10:15
6.8K
hilbasis__t32_hilbasis
2024-07-27 08:19
71K
hilbasis__t32_hilbasis.vout
2024-08-03 04:12
7.9K
hilbasis__t33_hilbasis
2024-07-27 08:21
52K
hilbasis__t33_hilbasis.depv1
2024-08-03 10:19
333
hilbasis__t33_hilbasis.depvmin1
2024-08-03 10:24
258
hilbasis__t33_hilbasis.vmin1
2024-08-03 10:19
4.2K
hilbasis__t33_hilbasis.vmin1out
2024-08-03 10:21
54K
hilbasis__t33_hilbasis.vout
2024-08-03 06:00
54K
hilbasis__t34_hilbasis
2024-07-27 08:24
59K
hilbasis__t34_hilbasis.depv1
2024-08-03 10:19
109
hilbasis__t34_hilbasis.depvmin1
2024-08-03 10:24
109
hilbasis__t34_hilbasis.vmin1
2024-08-03 10:19
1.5K
hilbasis__t34_hilbasis.vmin1out
2024-08-03 10:22
15K
hilbasis__t34_hilbasis.vout
2024-08-03 08:12
23K
hilbasis__t35_hilbasis
2024-07-27 08:27
124K
hilbasis__t35_hilbasis.vout
2024-08-03 07:01
4.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80