Index of /~mptp/mml5.63.1382/MPTP2/problems_small/finance2
Name
Last modified
Size
Description
Parent Directory
-
finance2__t30_finance2.vout
2021-07-25 20:05
6.8K
finance2__t30_finance2
2021-07-18 10:43
45K
finance2__t29_finance2.vout
2021-07-25 18:45
6.8K
finance2__t29_finance2
2021-07-18 10:43
29K
finance2__t28_finance2.vout
2021-07-25 17:36
61K
finance2__t28_finance2.vmin1out
2021-07-25 21:02
60K
finance2__t28_finance2.vmin1
2021-07-25 20:57
3.0K
finance2__t28_finance2.depvmin1
2021-07-25 21:03
92
finance2__t28_finance2.depv1
2021-07-25 20:57
92
finance2__t28_finance2
2021-07-18 10:42
30K
finance2__t27_finance2.vout
2021-07-25 18:37
35K
finance2__t27_finance2.vmin1out
2021-07-25 21:01
34K
finance2__t27_finance2.vmin1
2021-07-25 20:57
3.2K
finance2__t27_finance2.depvmin1
2021-07-25 21:03
122
finance2__t27_finance2.depv1
2021-07-25 20:57
122
finance2__t27_finance2
2021-07-18 10:42
27K
finance2__t26_finance2.vout
2021-07-25 19:32
47K
finance2__t26_finance2.vmin1out
2021-07-25 20:59
36K
finance2__t26_finance2.vmin1
2021-07-25 20:57
3.1K
finance2__t26_finance2.depvmin1
2021-07-25 21:03
173
finance2__t26_finance2.depv1
2021-07-25 20:57
173
finance2__t26_finance2
2021-07-18 10:41
30K
finance2__t25_finance2.vout
2021-07-25 15:19
33K
finance2__t25_finance2.vmin1out
2021-07-25 21:02
38K
finance2__t25_finance2.vmin1
2021-07-25 20:57
3.0K
finance2__t25_finance2.depvmin1
2021-07-25 21:03
135
finance2__t25_finance2.depv1
2021-07-25 20:57
135
finance2__t25_finance2
2021-07-18 10:41
32K
finance2__t24_finance2.vout
2021-07-25 20:50
50K
finance2__t24_finance2.vmin1out
2021-07-25 21:00
38K
finance2__t24_finance2.vmin1
2021-07-25 20:57
4.1K
finance2__t24_finance2.depvmin1
2021-07-25 21:03
135
finance2__t24_finance2.depv1
2021-07-25 20:57
225
finance2__t24_finance2
2021-07-18 10:41
30K
finance2__t23_finance2.vout
2021-07-25 18:37
33K
finance2__t23_finance2.vmin1out
2021-07-25 21:01
38K
finance2__t23_finance2.vmin1
2021-07-25 20:57
3.0K
finance2__t23_finance2.depvmin1
2021-07-25 21:03
133
finance2__t23_finance2.depv1
2021-07-25 20:57
133
finance2__t23_finance2
2021-07-18 10:40
32K
finance2__t22_finance2.vout
2021-07-25 15:13
7.3K
finance2__t22_finance2
2021-07-18 10:40
35K
finance2__t21_finance2.vout
2021-07-25 20:14
11K
finance2__t21_finance2.vmin1out
2021-07-25 20:57
7.1K
finance2__t21_finance2.vmin1
2021-07-25 20:57
1.2K
finance2__t21_finance2.depvmin1
2021-07-25 21:03
122
finance2__t21_finance2.depv1
2021-07-25 20:57
164
finance2__t21_finance2
2021-07-18 10:40
19K
finance2__t20_finance2.vout
2021-07-25 17:50
8.0K
finance2__t20_finance2.vmin1out
2021-07-25 21:01
6.3K
finance2__t20_finance2.vmin1
2021-07-25 20:57
913
finance2__t20_finance2.depvmin1
2021-07-25 21:03
85
finance2__t20_finance2.depv1
2021-07-25 20:57
85
finance2__t20_finance2
2021-07-18 10:39
19K
finance2__t19_finance2.vout
2021-07-25 14:48
8.0K
finance2__t19_finance2.vmin1out
2021-07-25 20:59
6.3K
finance2__t19_finance2.vmin1
2021-07-25 20:57
913
finance2__t19_finance2.depvmin1
2021-07-25 21:03
85
finance2__t19_finance2.depv1
2021-07-25 20:57
85
finance2__t19_finance2
2021-07-18 10:39
19K
finance2__t18_finance2.vout
2021-07-25 16:56
8.4K
finance2__t18_finance2
2021-07-18 10:39
33K
finance2__t17_finance2.vout
2021-07-25 16:49
3.7K
finance2__t17_finance2
2021-07-18 10:38
74K
finance2__t16_finance2.vout
2021-07-25 17:14
7.3K
finance2__t16_finance2
2021-07-18 10:38
44K
finance2__t15_finance2.vout
2021-07-25 15:47
5.9K
finance2__t15_finance2
2021-07-18 10:37
69K
finance2__t14_finance2.vout
2021-07-25 17:13
11K
finance2__t14_finance2.vmin1out
2021-07-25 20:58
12K
finance2__t14_finance2.vmin1
2021-07-25 20:57
970
finance2__t14_finance2.depvmin1
2021-07-25 21:03
51
finance2__t14_finance2.depv1
2021-07-25 20:57
51
finance2__t14_finance2
2021-07-18 10:37
26K
finance2__t13_finance2.vout
2021-07-25 17:35
8.0K
finance2__t13_finance2.vmin1out
2021-07-25 20:59
6.4K
finance2__t13_finance2.vmin1
2021-07-25 20:57
916
finance2__t13_finance2.depvmin1
2021-07-25 21:03
85
finance2__t13_finance2.depv1
2021-07-25 20:57
85
finance2__t13_finance2
2021-07-18 10:36
19K
finance2__t12_finance2.vout
2021-07-25 18:21
8.4K
finance2__t12_finance2
2021-07-18 10:36
33K
finance2__t11_finance2.vout
2021-07-25 17:30
41K
finance2__t11_finance2.vmin1out
2021-07-25 21:00
23K
finance2__t11_finance2.vmin1
2021-07-25 20:57
3.0K
finance2__t11_finance2.depvmin1
2021-07-25 21:03
162
finance2__t11_finance2.depv1
2021-07-25 20:57
299
finance2__t11_finance2
2021-07-18 10:36
37K
finance2__t10_finance2.vout
2021-07-25 15:09
7.3K
finance2__t10_finance2
2021-07-18 10:35
38K
finance2__t9_finance2.vout
2021-07-25 16:10
7.9K
finance2__t9_finance2
2021-07-18 10:35
28K
finance2__t8_finance2.vout
2021-07-25 20:37
5.3K
finance2__t8_finance2
2021-07-18 10:35
34K
finance2__t7_finance2.vout
2021-07-25 17:52
4.9K
finance2__t7_finance2.vmin1out
2021-07-25 21:01
3.8K
finance2__t7_finance2.vmin1
2021-07-25 20:57
407
finance2__t7_finance2.depvmin1
2021-07-25 21:03
47
finance2__t7_finance2.depv1
2021-07-25 20:57
47
finance2__t7_finance2
2021-07-18 10:33
15K
finance2__t6_finance2.vout
2021-07-25 20:34
7.3K
finance2__t6_finance2
2021-07-18 10:34
21K
finance2__t5_finance2.vout
2021-07-25 20:28
11K
finance2__t5_finance2.vmin1out
2021-07-25 21:02
8.7K
finance2__t5_finance2.vmin1
2021-07-25 20:57
1.2K
finance2__t5_finance2.depvmin1
2021-07-25 21:03
157
finance2__t5_finance2.depv1
2021-07-25 20:57
157
finance2__t5_finance2
2021-07-18 10:34
17K
finance2__t4_finance2.vout
2021-07-25 19:35
10K
finance2__t4_finance2.vmin1out
2021-07-25 21:00
10K
finance2__t4_finance2.vmin1
2021-07-25 20:57
917
finance2__t4_finance2.depvmin1
2021-07-25 21:03
133
finance2__t4_finance2.depv1
2021-07-25 20:57
133
finance2__t4_finance2
2021-07-18 10:34
17K
finance2__t3_finance2.vout
2021-07-25 16:48
9.2K
finance2__t3_finance2.vmin1out
2021-07-25 20:58
9.3K
finance2__t3_finance2.vmin1
2021-07-25 20:57
751
finance2__t3_finance2.depvmin1
2021-07-25 21:03
101
finance2__t3_finance2.depv1
2021-07-25 20:57
101
finance2__t3_finance2
2021-07-18 10:33
16K
finance2__t2_finance2.vout
2021-07-25 14:47
8.8K
finance2__t2_finance2.vmin1out
2021-07-25 20:59
8.9K
finance2__t2_finance2.vmin1
2021-07-25 20:57
763
finance2__t2_finance2.depvmin1
2021-07-25 21:03
107
finance2__t2_finance2.depv1
2021-07-25 20:57
107
finance2__t2_finance2
2021-07-18 10:33
10K
finance2__t1_finance2.vout
2021-07-25 17:25
10K
finance2__t1_finance2.vmin1out
2021-07-25 21:00
8.6K
finance2__t1_finance2.vmin1
2021-07-25 20:57
1.1K
finance2__t1_finance2.depvmin1
2021-07-25 21:03
162
finance2__t1_finance2.depv1
2021-07-25 20:57
162
finance2__t1_finance2
2021-07-18 10:33
17K
finance2__l15_finance2.vout
2021-07-25 17:27
28K
finance2__l15_finance2.vmin1out
2021-07-25 21:01
27K
finance2__l15_finance2.vmin1
2021-07-25 20:57
2.7K
finance2__l15_finance2.depvmin1
2021-07-25 21:03
330
finance2__l15_finance2.depv1
2021-07-25 20:57
355
finance2__l15_finance2
2021-07-18 10:44
31K
finance2__l14_finance2.vout
2021-07-25 18:22
4.8K
finance2__l14_finance2
2021-07-18 10:44
30K
finance2__l13_finance2.vout
2021-07-25 15:17
24K
finance2__l13_finance2.vmin1out
2021-07-25 21:02
25K
finance2__l13_finance2.vmin1
2021-07-25 20:57
2.2K
finance2__l13_finance2.depvmin1
2021-07-25 21:03
266
finance2__l13_finance2.depv1
2021-07-25 20:57
266
finance2__l13_finance2
2021-07-18 10:43
30K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80