Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/decomp_1
Name
Last modified
Size
Description
Parent Directory
-
decomp_1__t1_decomp_1
2024-07-27 08:35
11K
decomp_1__t1_decomp_1.vout
2024-08-03 08:19
7.3K
decomp_1__t2_decomp_1
2024-07-27 08:33
8.4K
decomp_1__t2_decomp_1.depv1
2024-08-03 10:19
177
decomp_1__t2_decomp_1.depvmin1
2024-08-03 10:24
139
decomp_1__t2_decomp_1.vmin1
2024-08-03 10:19
1.6K
decomp_1__t2_decomp_1.vmin1out
2024-08-03 10:21
12K
decomp_1__t2_decomp_1.vout
2024-08-03 05:12
22K
decomp_1__t3_decomp_1
2024-07-27 08:33
7.9K
decomp_1__t3_decomp_1.vout
2024-08-03 08:16
7.3K
decomp_1__t4_decomp_1
2024-07-27 08:34
7.9K
decomp_1__t4_decomp_1.vout
2024-08-03 06:53
7.3K
decomp_1__t5_decomp_1
2024-07-27 08:34
8.0K
decomp_1__t5_decomp_1.vout
2024-08-03 07:21
7.3K
decomp_1__t6_decomp_1
2024-07-27 08:35
10K
decomp_1__t6_decomp_1.vout
2024-08-03 06:33
7.3K
decomp_1__t7_decomp_1
2024-07-27 08:36
11K
decomp_1__t7_decomp_1.vout
2024-08-03 07:29
7.3K
decomp_1__t8_decomp_1
2024-07-27 08:37
10K
decomp_1__t8_decomp_1.vout
2024-08-03 08:21
7.3K
decomp_1__t9_decomp_1
2024-07-27 08:37
10K
decomp_1__t9_decomp_1.vout
2024-08-03 09:38
7.3K
decomp_1__t10_decomp_1
2024-07-27 08:38
10K
decomp_1__t10_decomp_1.vout
2024-08-03 06:19
7.3K
decomp_1__t11_decomp_1
2024-07-27 08:39
11K
decomp_1__t11_decomp_1.vout
2024-08-03 07:38
7.3K
decomp_1__t12_decomp_1
2024-07-27 08:40
11K
decomp_1__t12_decomp_1.vout
2024-08-03 06:47
7.3K
decomp_1__t13_decomp_1
2024-07-27 08:40
12K
decomp_1__t13_decomp_1.vout
2024-08-03 06:34
7.3K
decomp_1__t14_decomp_1
2024-07-27 08:41
12K
decomp_1__t14_decomp_1.vout
2024-08-03 04:25
7.3K
decomp_1__t15_decomp_1
2024-07-27 08:42
11K
decomp_1__t15_decomp_1.vout
2024-08-03 10:18
7.3K
decomp_1__t16_decomp_1
2024-07-27 08:43
12K
decomp_1__t16_decomp_1.vout
2024-08-03 08:10
7.3K
decomp_1__t17_decomp_1
2024-07-27 08:43
14K
decomp_1__t17_decomp_1.vout
2024-08-03 04:35
7.3K
decomp_1__t18_decomp_1
2024-07-27 08:44
13K
decomp_1__t18_decomp_1.vout
2024-08-03 05:51
7.9K
decomp_1__t19_decomp_1
2024-07-27 08:45
13K
decomp_1__t19_decomp_1.vout
2024-08-03 09:19
7.4K
decomp_1__t20_decomp_1
2024-07-27 08:46
13K
decomp_1__t20_decomp_1.vout
2024-08-03 08:33
7.4K
decomp_1__t21_decomp_1
2024-07-27 08:47
15K
decomp_1__t21_decomp_1.vout
2024-08-03 05:57
7.9K
decomp_1__t22_decomp_1
2024-07-27 08:48
13K
decomp_1__t22_decomp_1.vout
2024-08-03 10:12
7.9K
decomp_1__t23_decomp_1
2024-07-27 08:49
13K
decomp_1__t23_decomp_1.vout
2024-08-03 06:34
7.4K
decomp_1__t24_decomp_1
2024-07-27 08:49
15K
decomp_1__t24_decomp_1.vout
2024-08-03 06:43
7.4K
decomp_1__t25_decomp_1
2024-07-27 08:50
14K
decomp_1__t25_decomp_1.vout
2024-08-03 04:15
7.9K
decomp_1__t26_decomp_1
2024-07-27 08:51
13K
decomp_1__t26_decomp_1.vout
2024-08-03 08:16
7.4K
decomp_1__t27_decomp_1
2024-07-27 08:52
13K
decomp_1__t27_decomp_1.vout
2024-08-03 04:52
7.4K
decomp_1__t28_decomp_1
2024-07-27 08:53
14K
decomp_1__t28_decomp_1.vout
2024-08-03 07:04
7.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80