Index of /~mptp/mml5.63.1382/MPTP2/problems_small/papdesaf
Name
Last modified
Size
Description
Parent Directory
-
papdesaf__t18_papdesaf.vout
2021-07-25 19:23
4.1K
papdesaf__t18_papdesaf
2021-07-18 05:18
16K
papdesaf__t17_papdesaf.vout
2021-07-25 19:57
4.1K
papdesaf__t17_papdesaf
2021-07-18 05:18
21K
papdesaf__t16_papdesaf.vout
2021-07-25 17:57
15K
papdesaf__t16_papdesaf.vmin1out
2021-07-25 20:59
24K
papdesaf__t16_papdesaf.vmin1
2021-07-25 20:57
1.5K
papdesaf__t16_papdesaf.depvmin1
2021-07-25 21:03
103
papdesaf__t16_papdesaf.depv1
2021-07-25 20:57
103
papdesaf__t16_papdesaf
2021-07-18 05:18
10K
papdesaf__t15_papdesaf.vout
2021-07-25 14:48
4.1K
papdesaf__t15_papdesaf
2021-07-18 05:17
13K
papdesaf__t14_papdesaf.vout
2021-07-25 14:54
19K
papdesaf__t14_papdesaf.vmin1out
2021-07-25 21:01
17K
papdesaf__t14_papdesaf.vmin1
2021-07-25 20:57
912
papdesaf__t14_papdesaf.depvmin1
2021-07-25 21:03
38
papdesaf__t14_papdesaf.depv1
2021-07-25 20:57
38
papdesaf__t14_papdesaf
2021-07-18 05:14
10K
papdesaf__t13_papdesaf.vout
2021-07-25 20:24
4.7K
papdesaf__t13_papdesaf
2021-07-18 05:17
38K
papdesaf__t12_papdesaf.vout
2021-07-25 16:55
19K
papdesaf__t12_papdesaf.vmin1out
2021-07-25 20:59
18K
papdesaf__t12_papdesaf.vmin1
2021-07-25 20:57
919
papdesaf__t12_papdesaf.depvmin1
2021-07-25 21:03
38
papdesaf__t12_papdesaf.depv1
2021-07-25 20:57
38
papdesaf__t12_papdesaf
2021-07-18 05:13
9.7K
papdesaf__t11_papdesaf.vout
2021-07-25 15:37
4.7K
papdesaf__t11_papdesaf
2021-07-18 05:17
25K
papdesaf__t10_papdesaf.vout
2021-07-25 15:17
4.7K
papdesaf__t10_papdesaf
2021-07-18 05:16
41K
papdesaf__t9_papdesaf.vout
2021-07-25 16:54
4.1K
papdesaf__t9_papdesaf
2021-07-18 05:16
15K
papdesaf__t8_papdesaf.vout
2021-07-25 20:29
4.1K
papdesaf__t8_papdesaf
2021-07-18 05:16
13K
papdesaf__t7_papdesaf.vout
2021-07-25 20:31
30K
papdesaf__t7_papdesaf.vmin1out
2021-07-25 21:00
30K
papdesaf__t7_papdesaf.vmin1
2021-07-25 20:57
2.5K
papdesaf__t7_papdesaf.depvmin1
2021-07-25 21:03
78
papdesaf__t7_papdesaf.depv1
2021-07-25 20:57
78
papdesaf__t7_papdesaf
2021-07-18 05:15
7.6K
papdesaf__t6_papdesaf.vout
2021-07-25 16:21
4.1K
papdesaf__t6_papdesaf
2021-07-18 05:15
12K
papdesaf__t5_papdesaf.vout
2021-07-25 18:10
4.7K
papdesaf__t5_papdesaf
2021-07-18 05:15
24K
papdesaf__t4_papdesaf.vout
2021-07-25 19:08
59K
papdesaf__t4_papdesaf.vmin1out
2021-07-25 21:01
125K
papdesaf__t4_papdesaf.vmin1
2021-07-25 20:57
2.7K
papdesaf__t4_papdesaf.depvmin1
2021-07-25 21:03
72
papdesaf__t4_papdesaf.depv1
2021-07-25 20:57
72
papdesaf__t4_papdesaf
2021-07-18 05:15
11K
papdesaf__t3_papdesaf.vout
2021-07-25 17:25
18K
papdesaf__t3_papdesaf.vmin1out
2021-07-25 21:02
19K
papdesaf__t3_papdesaf.vmin1
2021-07-25 20:57
2.0K
papdesaf__t3_papdesaf.depvmin1
2021-07-25 21:03
169
papdesaf__t3_papdesaf.depv1
2021-07-25 20:57
169
papdesaf__t3_papdesaf
2021-07-18 05:14
9.8K
papdesaf__t2_papdesaf.vout
2021-07-25 15:16
32K
papdesaf__t2_papdesaf.vmin1out
2021-07-25 20:59
56K
papdesaf__t2_papdesaf.vmin1
2021-07-25 20:57
2.4K
papdesaf__t2_papdesaf.depvmin1
2021-07-25 21:03
102
papdesaf__t2_papdesaf.depv1
2021-07-25 20:57
102
papdesaf__t2_papdesaf
2021-07-18 05:14
10K
papdesaf__t1_papdesaf.vout
2021-07-25 20:00
17K
papdesaf__t1_papdesaf.vmin1out
2021-07-25 21:01
19K
papdesaf__t1_papdesaf.vmin1
2021-07-25 20:57
1.6K
papdesaf__t1_papdesaf.depvmin1
2021-07-25 21:03
124
papdesaf__t1_papdesaf.depv1
2021-07-25 20:57
124
papdesaf__t1_papdesaf
2021-07-18 05:14
9.3K
papdesaf__l22_papdesaf.vout
2021-07-25 20:13
23K
papdesaf__l22_papdesaf.vmin1out
2021-07-25 20:59
23K
papdesaf__l22_papdesaf.vmin1
2021-07-25 20:57
1.5K
papdesaf__l22_papdesaf.depvmin1
2021-07-25 21:03
68
papdesaf__l22_papdesaf.depv1
2021-07-25 20:57
68
papdesaf__l22_papdesaf
2021-07-18 05:19
8.4K
papdesaf__l21_papdesaf.vout
2021-07-25 20:42
4.7K
papdesaf__l21_papdesaf
2021-07-18 05:19
22K
papdesaf__l18_papdesaf.vout
2021-07-25 19:35
7.3K
papdesaf__l18_papdesaf
2021-07-18 05:19
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80