Index of /~mptp/mml5.63.1382/MPTP2/problems_small/csspace4
Name
Last modified
Size
Description
Parent Directory
-
csspace4__t31_csspace4.vout
2021-07-25 20:44
31K
csspace4__t31_csspace4.vmin1out
2021-07-25 20:57
32K
csspace4__t31_csspace4.vmin1
2021-07-25 20:57
1.3K
csspace4__t31_csspace4.depvmin1
2021-07-25 21:03
26
csspace4__t31_csspace4.depv1
2021-07-25 20:57
26
csspace4__t31_csspace4
2021-07-17 18:46
42K
csspace4__t30_csspace4.vout
2021-07-25 17:40
7.6K
csspace4__t30_csspace4.vmin1out
2021-07-25 21:02
8.9K
csspace4__t30_csspace4.vmin1
2021-07-25 20:57
765
csspace4__t30_csspace4.depvmin1
2021-07-25 21:03
39
csspace4__t30_csspace4.depv1
2021-07-25 20:57
39
csspace4__t30_csspace4
2021-07-17 18:46
28K
csspace4__t29_csspace4.vout
2021-07-25 16:02
5.8K
csspace4__t29_csspace4.vmin1out
2021-07-25 20:59
5.9K
csspace4__t29_csspace4.vmin1
2021-07-25 20:57
584
csspace4__t29_csspace4.depvmin1
2021-07-25 21:03
25
csspace4__t29_csspace4.depv1
2021-07-25 20:57
25
csspace4__t29_csspace4
2021-07-17 18:45
27K
csspace4__t28_csspace4.vout
2021-07-25 14:53
8.4K
csspace4__t28_csspace4.vmin1out
2021-07-25 21:01
8.7K
csspace4__t28_csspace4.vmin1
2021-07-25 20:57
880
csspace4__t28_csspace4.depvmin1
2021-07-25 21:03
25
csspace4__t28_csspace4.depv1
2021-07-25 20:57
25
csspace4__t28_csspace4
2021-07-17 18:45
29K
csspace4__t27_csspace4.vout
2021-07-25 19:23
68K
csspace4__t27_csspace4.vmin1out
2021-07-25 21:02
67K
csspace4__t27_csspace4.vmin1
2021-07-25 20:57
3.2K
csspace4__t27_csspace4.depvmin1
2021-07-25 21:03
67
csspace4__t27_csspace4.depv1
2021-07-25 20:57
67
csspace4__t27_csspace4
2021-07-17 19:05
44K
csspace4__t26_csspace4.vout
2021-07-25 18:25
6.8K
csspace4__t26_csspace4
2021-07-17 19:04
90K
csspace4__t25_csspace4.vout
2021-07-25 18:14
4.7K
csspace4__t25_csspace4
2021-07-17 19:03
50K
csspace4__t24_csspace4.vout
2021-07-25 20:39
7.4K
csspace4__t24_csspace4
2021-07-17 19:03
43K
csspace4__t23_csspace4.vout
2021-07-25 15:47
4.7K
csspace4__t23_csspace4
2021-07-17 19:02
53K
csspace4__t21_csspace4.vout
2021-07-25 18:26
4.7K
csspace4__t21_csspace4
2021-07-17 19:01
47K
csspace4__t20_csspace4.vout
2021-07-25 20:15
4.7K
csspace4__t20_csspace4
2021-07-17 19:00
49K
csspace4__t19_csspace4.vout
2021-07-25 16:09
7.3K
csspace4__t19_csspace4
2021-07-17 19:00
55K
csspace4__t18_csspace4.vout
2021-07-25 17:32
7.4K
csspace4__t18_csspace4
2021-07-17 18:59
51K
csspace4__t17_csspace4.vout
2021-07-25 19:42
7.4K
csspace4__t17_csspace4
2021-07-17 18:58
50K
csspace4__t16_csspace4.vout
2021-07-25 18:44
7.3K
csspace4__t16_csspace4
2021-07-17 18:58
45K
csspace4__t15_csspace4.vout
2021-07-25 19:55
7.3K
csspace4__t15_csspace4
2021-07-17 18:57
42K
csspace4__t14_csspace4.vout
2021-07-25 17:57
36K
csspace4__t14_csspace4.vmin1out
2021-07-25 21:02
27K
csspace4__t14_csspace4.vmin1
2021-07-25 20:57
2.7K
csspace4__t14_csspace4.depvmin1
2021-07-25 21:03
99
csspace4__t14_csspace4.depv1
2021-07-25 20:57
144
csspace4__t14_csspace4
2021-07-17 18:56
36K
csspace4__t13_csspace4.vout
2021-07-25 17:33
7.9K
csspace4__t13_csspace4
2021-07-17 18:56
36K
csspace4__t12_csspace4.vout
2021-07-25 15:32
41K
csspace4__t12_csspace4.vmin1out
2021-07-25 21:02
87K
csspace4__t12_csspace4.vmin1
2021-07-25 20:57
3.6K
csspace4__t12_csspace4.depvmin1
2021-07-25 21:03
153
csspace4__t12_csspace4.depv1
2021-07-25 20:57
153
csspace4__t12_csspace4
2021-07-17 18:55
34K
csspace4__t11_csspace4.vout
2021-07-25 17:13
6.8K
csspace4__t11_csspace4
2021-07-17 18:54
42K
csspace4__t10_csspace4.vout
2021-07-25 18:06
4.7K
csspace4__t10_csspace4
2021-07-17 18:54
45K
csspace4__t9_csspace4.vout
2021-07-25 19:19
4.7K
csspace4__t9_csspace4
2021-07-17 18:53
47K
csspace4__t8_csspace4.vout
2021-07-25 19:19
53K
csspace4__t8_csspace4.vmin1out
2021-07-25 21:01
58K
csspace4__t8_csspace4.vmin1
2021-07-25 20:57
2.9K
csspace4__t8_csspace4.depvmin1
2021-07-25 21:03
94
csspace4__t8_csspace4.depv1
2021-07-25 20:57
94
csspace4__t8_csspace4
2021-07-17 18:45
36K
csspace4__t7_csspace4.vout
2021-07-25 20:42
4.7K
csspace4__t7_csspace4
2021-07-17 18:52
56K
csspace4__t6_csspace4.vout
2021-07-25 19:34
36K
csspace4__t6_csspace4.vmin1out
2021-07-25 21:02
87K
csspace4__t6_csspace4.vmin1
2021-07-25 20:57
2.2K
csspace4__t6_csspace4.depvmin1
2021-07-25 21:03
195
csspace4__t6_csspace4.depv1
2021-07-25 20:57
195
csspace4__t6_csspace4
2021-07-17 18:52
32K
csspace4__t5_csspace4.vout
2021-07-25 20:29
39K
csspace4__t5_csspace4.vmin1out
2021-07-25 21:01
49K
csspace4__t5_csspace4.vmin1
2021-07-25 20:57
1.7K
csspace4__t5_csspace4.depvmin1
2021-07-25 21:03
65
csspace4__t5_csspace4.depv1
2021-07-25 20:57
65
csspace4__t5_csspace4
2021-07-17 18:44
43K
csspace4__t4_csspace4.vout
2021-07-25 18:21
4.7K
csspace4__t4_csspace4
2021-07-17 18:51
158K
csspace4__t3_csspace4.vout
2021-07-25 20:34
4.7K
csspace4__t3_csspace4
2021-07-17 18:50
99K
csspace4__t2_csspace4.vout
2021-07-25 14:41
8.4K
csspace4__t2_csspace4
2021-07-17 18:49
92K
csspace4__t1_csspace4.vout
2021-07-25 16:31
25K
csspace4__t1_csspace4.vmin1out
2021-07-25 21:00
22K
csspace4__t1_csspace4.vmin1
2021-07-25 20:57
1.2K
csspace4__t1_csspace4.depvmin1
2021-07-25 21:03
38
csspace4__t1_csspace4.depv1
2021-07-25 20:57
87
csspace4__t1_csspace4
2021-07-17 18:43
31K
csspace4__l18_csspace4.vout
2021-07-25 16:05
4.7K
csspace4__l18_csspace4
2021-07-17 19:09
52K
csspace4__l13_csspace4.vout
2021-07-25 16:58
2.0K
csspace4__l13_csspace4
2021-07-17 19:09
33K
csspace4__l12_csspace4.vout
2021-07-25 16:12
2.0K
csspace4__l12_csspace4
2021-07-17 19:08
32K
csspace4__l11_csspace4.vout
2021-07-25 16:29
2.0K
csspace4__l11_csspace4
2021-07-17 19:08
32K
csspace4__l10_csspace4.vout
2021-07-25 14:50
7.3K
csspace4__l10_csspace4
2021-07-17 19:07
41K
csspace4__l8_csspace4.vout
2021-07-25 17:29
13K
csspace4__l8_csspace4.vmin1out
2021-07-25 21:01
14K
csspace4__l8_csspace4.vmin1
2021-07-25 20:57
2.6K
csspace4__l8_csspace4.depvmin1
2021-07-25 21:03
25
csspace4__l8_csspace4.depv1
2021-07-25 20:57
25
csspace4__l8_csspace4
2021-07-17 18:48
36K
csspace4__l7_csspace4.vout
2021-07-25 18:26
9.8K
csspace4__l7_csspace4.vmin1out
2021-07-25 20:58
10K
csspace4__l7_csspace4.vmin1
2021-07-25 20:57
1.3K
csspace4__l7_csspace4.depvmin1
2021-07-25 21:03
91
csspace4__l7_csspace4.depv1
2021-07-25 20:57
91
csspace4__l7_csspace4
2021-07-17 18:47
36K
csspace4__l6_csspace4.vout
2021-07-25 17:09
7.3K
csspace4__l6_csspace4
2021-07-17 19:07
38K
csspace4__l5_csspace4.vout
2021-07-25 20:28
2.1K
csspace4__l5_csspace4.vmin1out
2021-07-25 20:57
2.2K
csspace4__l5_csspace4.vmin1
2021-07-25 20:57
285
csspace4__l5_csspace4.depvmin1
2021-07-25 21:03
51
csspace4__l5_csspace4.depv1
2021-07-25 20:57
51
csspace4__l5_csspace4
2021-07-17 18:47
11K
csspace4__l4_csspace4.vout
2021-07-25 15:38
2.0K
csspace4__l4_csspace4
2021-07-17 19:06
36K
csspace4__l2_csspace4.vout
2021-07-25 18:40
7.3K
csspace4__l2_csspace4
2021-07-17 19:06
31K
csspace4__l1_csspace4.vout
2021-07-25 15:35
2.0K
csspace4__l1_csspace4
2021-07-17 19:05
27K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80