Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/csspace2
Name
Last modified
Size
Description
Parent Directory
-
csspace2__t1_csspace2
2025-09-09 07:31
91K
csspace2__t3_csspace2
2025-09-09 07:32
22K
csspace2__t4_csspace2
2025-09-09 07:33
25K
csspace2__t5_csspace2
2025-09-09 07:33
22K
csspace2__t7_csspace2
2025-09-09 07:35
28K
csspace2__t8_csspace2
2025-09-09 07:36
34K
csspace2__t9_csspace2
2025-09-09 07:37
30K
csspace2__t10_csspace2
2025-09-09 07:38
34K
csspace2__t11_csspace2
2025-09-09 07:40
37K
csspace2__t12_csspace2
2025-09-09 07:41
37K
csspace2__t14_csspace2
2025-09-09 07:42
30K
csspace2__t15_csspace2
2025-09-09 07:43
34K
csspace2__t16_csspace2
2025-09-09 07:45
37K
csspace2__t2_csspace2
2025-09-09 07:48
218K
csspace2__t13_csspace2
2025-09-09 07:49
48K
csspace2__l1_csspace2
2025-09-09 07:51
36K
csspace2__l2_csspace2
2025-09-09 07:51
25K
csspace2__l3_csspace2
2025-09-09 07:53
135K
csspace2__l4_csspace2
2025-09-09 07:54
55K
csspace2__l5_csspace2
2025-09-09 07:56
33K
csspace2__l6_csspace2
2025-09-09 07:57
40K
csspace2__l7_csspace2
2025-09-09 07:59
43K
csspace2__l8_csspace2
2025-09-09 08:01
54K
csspace2__l9_csspace2
2025-09-09 08:03
53K
csspace2__l10_csspace2
2025-09-09 08:05
41K
csspace2__l11_csspace2
2025-09-09 08:07
61K
csspace2__l12_csspace2
2025-09-09 08:09
62K
csspace2__l13_csspace2
2025-09-09 08:11
52K
csspace2__l14_csspace2
2025-09-09 08:13
63K
csspace2__l15_csspace2
2025-09-09 08:16
117K
csspace2__l16_csspace2
2025-09-09 08:17
34K
csspace2__l17_csspace2
2025-09-09 08:19
61K
csspace2__l20_csspace2
2025-09-09 08:20
132K
csspace2__l21_csspace2
2025-09-09 08:21
35K
csspace2__l22_csspace2
2025-09-09 08:23
78K
csspace2__l23_csspace2
2025-09-09 08:24
82K
csspace2__t7_csspace2.vout
2025-09-15 13:27
4.9K
csspace2__l20_csspace2.vout
2025-09-15 13:46
2.0K
csspace2__l4_csspace2.vout
2025-09-15 13:57
4.7K
csspace2__l6_csspace2.vout
2025-09-15 13:59
1.1K
csspace2__t11_csspace2.vout
2025-09-15 14:10
12K
csspace2__l10_csspace2.vout
2025-09-15 14:15
45K
csspace2__t5_csspace2.vout
2025-09-15 14:19
9.7K
csspace2__l14_csspace2.vout
2025-09-15 14:24
5.8K
csspace2__l7_csspace2.vout
2025-09-15 14:27
4.7K
csspace2__l12_csspace2.vout
2025-09-15 15:09
4.7K
csspace2__t12_csspace2.vout
2025-09-15 15:10
10K
csspace2__l16_csspace2.vout
2025-09-15 15:30
4.1K
csspace2__t15_csspace2.vout
2025-09-15 15:42
2.0K
csspace2__t1_csspace2.vout
2025-09-15 16:26
7.3K
csspace2__l15_csspace2.vout
2025-09-15 16:33
5.8K
csspace2__t2_csspace2.vout
2025-09-15 16:36
4.7K
csspace2__l11_csspace2.vout
2025-09-15 16:37
4.7K
csspace2__t10_csspace2.vout
2025-09-15 16:38
5.3K
csspace2__l9_csspace2.vout
2025-09-15 16:43
4.7K
csspace2__t3_csspace2.vout
2025-09-15 17:13
7.8K
csspace2__t4_csspace2.vout
2025-09-15 17:24
3.8K
csspace2__l23_csspace2.vout
2025-09-15 17:24
4.1K
csspace2__l5_csspace2.vout
2025-09-15 17:43
91K
csspace2__l2_csspace2.vout
2025-09-15 17:57
30K
csspace2__l22_csspace2.vout
2025-09-15 18:11
4.1K
csspace2__l1_csspace2.vout
2025-09-15 18:13
4.7K
csspace2__t13_csspace2.vout
2025-09-15 18:22
7.4K
csspace2__t16_csspace2.vout
2025-09-15 18:26
2.0K
csspace2__t8_csspace2.vout
2025-09-15 18:26
13K
csspace2__t9_csspace2.vout
2025-09-15 18:35
5.1K
csspace2__l8_csspace2.vout
2025-09-15 18:40
7.3K
csspace2__l17_csspace2.vout
2025-09-15 18:43
5.3K
csspace2__t14_csspace2.vout
2025-09-15 19:05
5.2K
csspace2__l3_csspace2.vout
2025-09-15 19:17
4.7K
csspace2__l21_csspace2.vout
2025-09-15 19:17
2.0K
csspace2__l13_csspace2.vout
2025-09-15 19:36
5.8K
csspace2__t8_csspace2.depv1
2025-09-15 19:47
48
csspace2__t4_csspace2.depv1
2025-09-15 19:47
25
csspace2__t10_csspace2.depv1
2025-09-15 19:47
25
csspace2__t14_csspace2.depv1
2025-09-15 19:47
26
csspace2__l5_csspace2.depv1
2025-09-15 19:47
342
csspace2__t5_csspace2.depv1
2025-09-15 19:47
25
csspace2__l2_csspace2.depv1
2025-09-15 19:47
252
csspace2__l10_csspace2.depv1
2025-09-15 19:47
564
csspace2__t3_csspace2.depv1
2025-09-15 19:47
24
csspace2__t7_csspace2.depv1
2025-09-15 19:47
24
csspace2__t9_csspace2.depv1
2025-09-15 19:47
24
csspace2__t12_csspace2.depv1
2025-09-15 19:47
49
csspace2__t11_csspace2.depv1
2025-09-15 19:47
49
csspace2__l2_csspace2.vmin1
2025-09-15 19:47
2.3K
csspace2__l5_csspace2.vmin1
2025-09-15 19:47
4.4K
csspace2__l10_csspace2.vmin1
2025-09-15 19:47
6.7K
csspace2__t3_csspace2.vmin1
2025-09-15 19:47
799
csspace2__t4_csspace2.vmin1
2025-09-15 19:47
456
csspace2__t5_csspace2.vmin1
2025-09-15 19:47
1.1K
csspace2__t7_csspace2.vmin1
2025-09-15 19:47
601
csspace2__t8_csspace2.vmin1
2025-09-15 19:47
1.0K
csspace2__t9_csspace2.vmin1
2025-09-15 19:47
543
csspace2__t10_csspace2.vmin1
2025-09-15 19:47
596
csspace2__t11_csspace2.vmin1
2025-09-15 19:47
913
csspace2__t12_csspace2.vmin1
2025-09-15 19:47
1.0K
csspace2__t14_csspace2.vmin1
2025-09-15 19:47
651
csspace2__l2_csspace2.vmin1out
2025-09-15 19:47
23K
csspace2__t14_csspace2.vmin1out
2025-09-15 19:47
5.2K
csspace2__t12_csspace2.vmin1out
2025-09-15 19:49
10K
csspace2__t8_csspace2.vmin1out
2025-09-15 19:49
14K
csspace2__t5_csspace2.vmin1out
2025-09-15 19:50
9.6K
csspace2__t7_csspace2.vmin1out
2025-09-15 19:50
5.0K
csspace2__t4_csspace2.vmin1out
2025-09-15 19:50
3.8K
csspace2__t3_csspace2.vmin1out
2025-09-15 19:50
7.3K
csspace2__t10_csspace2.vmin1out
2025-09-15 19:50
5.2K
csspace2__l5_csspace2.vmin1out
2025-09-15 19:50
47K
csspace2__t11_csspace2.vmin1out
2025-09-15 19:50
10K
csspace2__l10_csspace2.vmin1out
2025-09-15 19:51
57K
csspace2__t9_csspace2.vmin1out
2025-09-15 19:51
5.0K
csspace2__t8_csspace2.depvmin1
2025-09-15 19:52
24
csspace2__t14_csspace2.depvmin1
2025-09-15 19:52
26
csspace2__l5_csspace2.depvmin1
2025-09-15 19:52
181
csspace2__t4_csspace2.depvmin1
2025-09-15 19:52
25
csspace2__t10_csspace2.depvmin1
2025-09-15 19:52
25
csspace2__l10_csspace2.depvmin1
2025-09-15 19:52
564
csspace2__t3_csspace2.depvmin1
2025-09-15 19:52
24
csspace2__t5_csspace2.depvmin1
2025-09-15 19:52
25
csspace2__l2_csspace2.depvmin1
2025-09-15 19:52
239
csspace2__t7_csspace2.depvmin1
2025-09-15 19:52
24
csspace2__t12_csspace2.depvmin1
2025-09-15 19:52
25
csspace2__t9_csspace2.depvmin1
2025-09-15 19:52
24
csspace2__t11_csspace2.depvmin1
2025-09-15 19:52
25
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80