Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/altcat_3
Name
Last modified
Size
Description
Parent Directory
-
altcat_3__l21_altcat_3
2024-07-27 08:01
6.0K
altcat_3__l21_altcat_3.depv1
2024-08-03 10:19
78
altcat_3__l21_altcat_3.depvmin1
2024-08-03 10:24
78
altcat_3__l21_altcat_3.vmin1
2024-08-03 10:19
2.3K
altcat_3__l21_altcat_3.vmin1out
2024-08-03 10:20
32K
altcat_3__l21_altcat_3.vout
2024-08-03 09:46
32K
altcat_3__t1_altcat_3
2024-07-27 07:39
5.2K
altcat_3__t1_altcat_3.vout
2024-08-03 04:22
8.4K
altcat_3__t2_altcat_3
2024-07-27 07:40
5.9K
altcat_3__t2_altcat_3.depv1
2024-08-03 10:19
51
altcat_3__t2_altcat_3.depvmin1
2024-08-03 10:24
51
altcat_3__t2_altcat_3.vmin1
2024-08-03 10:19
1.9K
altcat_3__t2_altcat_3.vmin1out
2024-08-03 10:23
40K
altcat_3__t2_altcat_3.vout
2024-08-03 05:40
41K
altcat_3__t3_altcat_3
2024-07-27 07:41
7.3K
altcat_3__t3_altcat_3.vout
2024-08-03 05:14
7.3K
altcat_3__t4_altcat_3
2024-07-27 07:41
6.4K
altcat_3__t4_altcat_3.depv1
2024-08-03 10:19
111
altcat_3__t4_altcat_3.depvmin1
2024-08-03 10:24
111
altcat_3__t4_altcat_3.vmin1
2024-08-03 10:19
2.5K
altcat_3__t4_altcat_3.vmin1out
2024-08-03 10:21
37K
altcat_3__t4_altcat_3.vout
2024-08-03 05:19
40K
altcat_3__t5_altcat_3
2024-07-27 07:42
2.3K
altcat_3__t5_altcat_3.vout
2024-08-03 07:06
2.6K
altcat_3__t6_altcat_3
2024-07-27 07:42
6.2K
altcat_3__t6_altcat_3.vout
2024-08-03 08:26
8.4K
altcat_3__t7_altcat_3
2024-07-27 07:43
8.6K
altcat_3__t7_altcat_3.vout
2024-08-03 04:35
6.8K
altcat_3__t8_altcat_3
2024-07-27 07:44
6.5K
altcat_3__t8_altcat_3.depv1
2024-08-03 10:19
99
altcat_3__t8_altcat_3.depvmin1
2024-08-03 10:24
99
altcat_3__t8_altcat_3.vmin1
2024-08-03 10:19
2.6K
altcat_3__t8_altcat_3.vmin1out
2024-08-03 10:21
65K
altcat_3__t8_altcat_3.vout
2024-08-03 04:55
57K
altcat_3__t9_altcat_3
2024-07-27 07:44
6.0K
altcat_3__t9_altcat_3.vout
2024-08-03 05:46
7.1K
altcat_3__t10_altcat_3
2024-07-27 07:45
6.0K
altcat_3__t10_altcat_3.vout
2024-08-03 05:41
7.2K
altcat_3__t11_altcat_3
2024-07-27 07:46
5.6K
altcat_3__t11_altcat_3.depv1
2024-08-03 10:19
53
altcat_3__t11_altcat_3.depvmin1
2024-08-03 10:24
53
altcat_3__t11_altcat_3.vmin1
2024-08-03 10:19
2.2K
altcat_3__t11_altcat_3.vmin1out
2024-08-03 10:20
25K
altcat_3__t11_altcat_3.vout
2024-08-03 07:10
25K
altcat_3__t12_altcat_3
2024-07-27 07:46
5.6K
altcat_3__t12_altcat_3.depv1
2024-08-03 10:19
53
altcat_3__t12_altcat_3.depvmin1
2024-08-03 10:24
53
altcat_3__t12_altcat_3.vmin1
2024-08-03 10:19
2.2K
altcat_3__t12_altcat_3.vmin1out
2024-08-03 10:23
25K
altcat_3__t12_altcat_3.vout
2024-08-03 05:34
25K
altcat_3__t13_altcat_3
2024-07-27 07:48
19K
altcat_3__t13_altcat_3.vout
2024-08-03 08:49
7.3K
altcat_3__t14_altcat_3
2024-07-27 07:50
21K
altcat_3__t14_altcat_3.vout
2024-08-03 07:52
7.3K
altcat_3__t15_altcat_3
2024-07-27 07:50
6.5K
altcat_3__t15_altcat_3.vout
2024-08-03 08:42
7.2K
altcat_3__t16_altcat_3
2024-07-27 07:51
6.4K
altcat_3__t16_altcat_3.vout
2024-08-03 06:27
7.2K
altcat_3__t17_altcat_3
2024-07-27 07:52
7.4K
altcat_3__t17_altcat_3.vout
2024-08-03 10:16
7.3K
altcat_3__t18_altcat_3
2024-07-27 07:53
6.8K
altcat_3__t18_altcat_3.depv1
2024-08-03 10:19
120
altcat_3__t18_altcat_3.depvmin1
2024-08-03 10:24
120
altcat_3__t18_altcat_3.vmin1
2024-08-03 10:19
3.5K
altcat_3__t18_altcat_3.vmin1out
2024-08-03 10:22
34K
altcat_3__t18_altcat_3.vout
2024-08-03 07:30
34K
altcat_3__t19_altcat_3
2024-07-27 07:53
7.0K
altcat_3__t19_altcat_3.depv1
2024-08-03 10:19
105
altcat_3__t19_altcat_3.depvmin1
2024-08-03 10:24
105
altcat_3__t19_altcat_3.vmin1
2024-08-03 10:19
3.3K
altcat_3__t19_altcat_3.vmin1out
2024-08-03 10:23
99K
altcat_3__t19_altcat_3.vout
2024-08-03 10:16
32K
altcat_3__t20_altcat_3
2024-07-27 07:54
7.5K
altcat_3__t20_altcat_3.vout
2024-08-03 09:34
7.3K
altcat_3__t21_altcat_3
2024-07-27 07:55
7.5K
altcat_3__t21_altcat_3.vout
2024-08-03 06:57
7.3K
altcat_3__t22_altcat_3
2024-07-27 07:55
5.7K
altcat_3__t22_altcat_3.vout
2024-08-03 09:22
2.0K
altcat_3__t23_altcat_3
2024-07-27 07:56
5.7K
altcat_3__t23_altcat_3.vout
2024-08-03 08:15
2.0K
altcat_3__t24_altcat_3
2024-07-27 07:57
7.6K
altcat_3__t24_altcat_3.vout
2024-08-03 05:29
6.8K
altcat_3__t25_altcat_3
2024-07-27 07:57
5.8K
altcat_3__t25_altcat_3.vout
2024-08-03 09:06
7.9K
altcat_3__t26_altcat_3
2024-07-27 07:58
8.2K
altcat_3__t26_altcat_3.vout
2024-08-03 07:34
9.2K
altcat_3__t27_altcat_3
2024-07-27 07:59
5.8K
altcat_3__t27_altcat_3.vout
2024-08-03 08:58
7.9K
altcat_3__t28_altcat_3
2024-07-27 08:00
8.2K
altcat_3__t28_altcat_3.vout
2024-08-03 08:20
9.1K
altcat_3__t29_altcat_3
2024-07-27 07:39
5.0K
altcat_3__t29_altcat_3.vout
2024-08-03 05:20
8.4K
altcat_3__t30_altcat_3
2024-07-27 08:00
7.4K
altcat_3__t30_altcat_3.vout
2024-08-03 05:53
7.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80