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