Index of /~mptp/mml5.63.1382/MPTP2/problems_small/cfdiff_1
Name
Last modified
Size
Description
Parent Directory
-
cfdiff_1__t38_cfdiff_1.vout
2021-07-25 18:31
7.3K
cfdiff_1__t38_cfdiff_1
2021-07-17 20:21
89K
cfdiff_1__t36_cfdiff_1.vout
2021-07-25 14:41
6.8K
cfdiff_1__t36_cfdiff_1
2021-07-17 20:21
46K
cfdiff_1__t35_cfdiff_1.vout
2021-07-25 15:47
6.8K
cfdiff_1__t35_cfdiff_1
2021-07-17 20:20
34K
cfdiff_1__t33_cfdiff_1.vout
2021-07-25 14:30
6.8K
cfdiff_1__t33_cfdiff_1
2021-07-17 20:20
68K
cfdiff_1__t32_cfdiff_1.vout
2021-07-25 14:24
6.8K
cfdiff_1__t32_cfdiff_1
2021-07-17 20:19
79K
cfdiff_1__t31_cfdiff_1.vout
2021-07-25 17:50
6.8K
cfdiff_1__t31_cfdiff_1
2021-07-17 20:18
48K
cfdiff_1__t30_cfdiff_1.vout
2021-07-25 16:59
6.8K
cfdiff_1__t30_cfdiff_1
2021-07-17 20:18
45K
cfdiff_1__t29_cfdiff_1.vout
2021-07-25 14:33
7.3K
cfdiff_1__t29_cfdiff_1
2021-07-17 20:17
56K
cfdiff_1__t28_cfdiff_1.vout
2021-07-25 16:16
6.8K
cfdiff_1__t28_cfdiff_1
2021-07-17 20:16
42K
cfdiff_1__t27_cfdiff_1.vout
2021-07-25 19:09
6.8K
cfdiff_1__t27_cfdiff_1
2021-07-17 20:16
71K
cfdiff_1__t26_cfdiff_1.vout
2021-07-25 17:57
7.3K
cfdiff_1__t26_cfdiff_1
2021-07-17 20:15
72K
cfdiff_1__t25_cfdiff_1.vout
2021-07-25 20:08
7.3K
cfdiff_1__t25_cfdiff_1
2021-07-17 20:14
41K
cfdiff_1__t24_cfdiff_1.vout
2021-07-25 14:25
7.3K
cfdiff_1__t24_cfdiff_1
2021-07-17 20:14
67K
cfdiff_1__t23_cfdiff_1.vout
2021-07-25 15:26
7.3K
cfdiff_1__t23_cfdiff_1
2021-07-17 20:13
67K
cfdiff_1__t17_cfdiff_1.vout
2021-07-25 18:44
7.3K
cfdiff_1__t17_cfdiff_1
2021-07-17 20:13
76K
cfdiff_1__t16_cfdiff_1.vout
2021-07-25 16:28
6.8K
cfdiff_1__t16_cfdiff_1
2021-07-17 20:12
38K
cfdiff_1__t15_cfdiff_1.vout
2021-07-25 18:51
6.8K
cfdiff_1__t15_cfdiff_1
2021-07-17 20:11
47K
cfdiff_1__t14_cfdiff_1.vout
2021-07-25 15:50
3.7K
cfdiff_1__t14_cfdiff_1
2021-07-17 20:24
89K
cfdiff_1__t13_cfdiff_1.vout
2021-07-25 20:25
3.7K
cfdiff_1__t13_cfdiff_1
2021-07-17 20:23
87K
cfdiff_1__t12_cfdiff_1.vout
2021-07-25 19:58
16K
cfdiff_1__t12_cfdiff_1.vmin1out
2021-07-25 20:58
14K
cfdiff_1__t12_cfdiff_1.vmin1
2021-07-25 20:57
692
cfdiff_1__t12_cfdiff_1.depvmin1
2021-07-25 21:03
38
cfdiff_1__t12_cfdiff_1.depv1
2021-07-25 20:57
38
cfdiff_1__t12_cfdiff_1
2021-07-17 20:07
16K
cfdiff_1__t11_cfdiff_1.vout
2021-07-25 15:35
4.8K
cfdiff_1__t11_cfdiff_1
2021-07-17 20:11
43K
cfdiff_1__t10_cfdiff_1.vout
2021-07-25 20:52
3.7K
cfdiff_1__t10_cfdiff_1
2021-07-17 20:22
26K
cfdiff_1__t9_cfdiff_1.vout
2021-07-25 16:22
3.7K
cfdiff_1__t9_cfdiff_1
2021-07-17 20:10
53K
cfdiff_1__t8_cfdiff_1.vout
2021-07-25 19:49
15K
cfdiff_1__t8_cfdiff_1.vmin1out
2021-07-25 21:00
10K
cfdiff_1__t8_cfdiff_1.vmin1
2021-07-25 20:57
1.2K
cfdiff_1__t8_cfdiff_1.depvmin1
2021-07-25 21:03
112
cfdiff_1__t8_cfdiff_1.depv1
2021-07-25 20:57
112
cfdiff_1__t8_cfdiff_1
2021-07-17 20:07
23K
cfdiff_1__t7_cfdiff_1.vout
2021-07-25 16:56
3.7K
cfdiff_1__t7_cfdiff_1
2021-07-17 20:10
27K
cfdiff_1__t6_cfdiff_1.vout
2021-07-25 20:11
3.7K
cfdiff_1__t6_cfdiff_1
2021-07-17 20:22
26K
cfdiff_1__t5_cfdiff_1.vout
2021-07-25 20:49
6.8K
cfdiff_1__t5_cfdiff_1
2021-07-17 20:09
33K
cfdiff_1__t4_cfdiff_1.vout
2021-07-25 19:30
43K
cfdiff_1__t4_cfdiff_1.vmin1out
2021-07-25 20:58
38K
cfdiff_1__t4_cfdiff_1.vmin1
2021-07-25 20:57
1.9K
cfdiff_1__t4_cfdiff_1.depvmin1
2021-07-25 21:03
171
cfdiff_1__t4_cfdiff_1.depv1
2021-07-25 20:57
184
cfdiff_1__t4_cfdiff_1
2021-07-17 20:09
24K
cfdiff_1__t3_cfdiff_1.vout
2021-07-25 15:28
6.8K
cfdiff_1__t3_cfdiff_1
2021-07-17 20:08
45K
cfdiff_1__t2_cfdiff_1.vout
2021-07-25 17:05
6.8K
cfdiff_1__t2_cfdiff_1
2021-07-17 20:08
45K
cfdiff_1__t1_cfdiff_1.vout
2021-07-25 19:19
7.6K
cfdiff_1__t1_cfdiff_1.vmin1out
2021-07-25 21:02
13K
cfdiff_1__t1_cfdiff_1.vmin1
2021-07-25 20:57
912
cfdiff_1__t1_cfdiff_1.depvmin1
2021-07-25 21:03
60
cfdiff_1__t1_cfdiff_1.depv1
2021-07-25 20:57
60
cfdiff_1__t1_cfdiff_1
2021-07-17 20:06
28K
cfdiff_1__l13_cfdiff_1.vout
2021-07-25 16:34
5.3K
cfdiff_1__l13_cfdiff_1
2021-07-17 20:24
28K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80