Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/compts_1
Name
Last modified
Size
Description
Parent Directory
-
compts_1__l25_compts_1
2024-07-28 12:11
30K
compts_1__l25_compts_1.vout
2024-08-03 07:29
6.8K
compts_1__t1_compts_1
2024-07-28 11:49
5.9K
compts_1__t1_compts_1.vout
2024-08-03 10:10
3.7K
compts_1__t2_compts_1
2024-07-28 11:52
20K
compts_1__t2_compts_1.vout
2024-08-03 08:10
7.3K
compts_1__t3_compts_1
2024-07-28 11:53
16K
compts_1__t3_compts_1.vout
2024-08-03 04:08
7.3K
compts_1__t4_compts_1
2024-07-28 11:54
17K
compts_1__t4_compts_1.vout
2024-08-03 07:03
6.8K
compts_1__t5_compts_1
2024-07-28 11:55
12K
compts_1__t5_compts_1.depv1
2024-08-03 10:19
83
compts_1__t5_compts_1.depvmin1
2024-08-03 10:24
83
compts_1__t5_compts_1.vmin1
2024-08-03 10:19
1.3K
compts_1__t5_compts_1.vmin1out
2024-08-03 10:20
43K
compts_1__t5_compts_1.vout
2024-08-03 08:57
39K
compts_1__t6_compts_1
2024-07-28 11:56
18K
compts_1__t6_compts_1.vout
2024-08-03 10:03
6.8K
compts_1__t7_compts_1
2024-07-28 11:57
11K
compts_1__t7_compts_1.vout
2024-08-03 04:13
7.3K
compts_1__t8_compts_1
2024-07-28 11:57
12K
compts_1__t8_compts_1.vout
2024-08-03 08:46
7.3K
compts_1__t9_compts_1
2024-07-28 11:58
17K
compts_1__t9_compts_1.depv1
2024-08-03 10:19
163
compts_1__t9_compts_1.depvmin1
2024-08-03 10:24
101
compts_1__t9_compts_1.vmin1
2024-08-03 10:19
2.5K
compts_1__t9_compts_1.vmin1out
2024-08-03 10:22
33K
compts_1__t9_compts_1.vout
2024-08-03 07:37
33K
compts_1__t10_compts_1
2024-07-28 11:59
8.5K
compts_1__t10_compts_1.vout
2024-08-03 09:42
7.3K
compts_1__t11_compts_1
2024-07-28 11:59
9.9K
compts_1__t11_compts_1.depv1
2024-08-03 10:19
127
compts_1__t11_compts_1.depvmin1
2024-08-03 10:24
127
compts_1__t11_compts_1.vmin1
2024-08-03 10:19
1.6K
compts_1__t11_compts_1.vmin1out
2024-08-03 10:22
15K
compts_1__t11_compts_1.vout
2024-08-03 09:25
21K
compts_1__t12_compts_1
2024-07-28 11:50
15K
compts_1__t12_compts_1.vout
2024-08-03 05:10
7.9K
compts_1__t13_compts_1
2024-07-28 12:01
22K
compts_1__t13_compts_1.vout
2024-08-03 04:36
7.3K
compts_1__t14_compts_1
2024-07-28 12:02
18K
compts_1__t14_compts_1.vout
2024-08-03 04:12
7.3K
compts_1__t15_compts_1
2024-07-28 12:03
18K
compts_1__t15_compts_1.vout
2024-08-03 08:24
7.3K
compts_1__t16_compts_1
2024-07-28 12:04
17K
compts_1__t16_compts_1.depv1
2024-08-03 10:19
117
compts_1__t16_compts_1.depvmin1
2024-08-03 10:24
117
compts_1__t16_compts_1.vmin1
2024-08-03 10:19
2.0K
compts_1__t16_compts_1.vmin1out
2024-08-03 10:22
20K
compts_1__t16_compts_1.vout
2024-08-03 08:46
35K
compts_1__t17_compts_1
2024-07-28 12:05
19K
compts_1__t17_compts_1.vout
2024-08-03 06:08
7.9K
compts_1__t18_compts_1
2024-07-28 11:50
623
compts_1__t18_compts_1.vout
2024-08-03 05:03
514
compts_1__t19_compts_1
2024-07-28 12:06
6.7K
compts_1__t19_compts_1.depv1
2024-08-03 10:19
77
compts_1__t19_compts_1.depvmin1
2024-08-03 10:24
77
compts_1__t19_compts_1.vmin1
2024-08-03 10:19
1.0K
compts_1__t19_compts_1.vmin1out
2024-08-03 10:22
22K
compts_1__t19_compts_1.vout
2024-08-03 09:16
21K
compts_1__t20_compts_1
2024-07-28 12:07
24K
compts_1__t20_compts_1.depv1
2024-08-03 10:19
171
compts_1__t20_compts_1.depvmin1
2024-08-03 10:24
171
compts_1__t20_compts_1.vmin1
2024-08-03 10:19
3.6K
compts_1__t20_compts_1.vmin1out
2024-08-03 10:20
126K
compts_1__t20_compts_1.vout
2024-08-03 07:06
97K
compts_1__t21_compts_1
2024-07-28 12:08
25K
compts_1__t21_compts_1.depv1
2024-08-03 10:19
171
compts_1__t21_compts_1.depvmin1
2024-08-03 10:24
171
compts_1__t21_compts_1.vmin1
2024-08-03 10:19
3.8K
compts_1__t21_compts_1.vmin1out
2024-08-03 10:21
134K
compts_1__t21_compts_1.vout
2024-08-03 05:15
109K
compts_1__t22_compts_1
2024-07-28 12:09
15K
compts_1__t22_compts_1.depv1
2024-08-03 10:19
118
compts_1__t22_compts_1.depvmin1
2024-08-03 10:24
118
compts_1__t22_compts_1.vmin1
2024-08-03 10:19
1.7K
compts_1__t22_compts_1.vmin1out
2024-08-03 10:22
31K
compts_1__t22_compts_1.vout
2024-08-03 06:34
31K
compts_1__t23_compts_1
2024-07-28 12:09
15K
compts_1__t23_compts_1.vout
2024-08-03 05:09
7.4K
compts_1__t24_compts_1
2024-07-28 11:51
23K
compts_1__t24_compts_1.depv1
2024-08-03 10:19
121
compts_1__t24_compts_1.depvmin1
2024-08-03 10:24
80
compts_1__t24_compts_1.vmin1
2024-08-03 10:19
3.0K
compts_1__t24_compts_1.vmin1out
2024-08-03 10:23
88K
compts_1__t24_compts_1.vout
2024-08-03 08:06
70K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80