Index of /~mptp/mml5.63.1382/MPTP2/problems_small/scpisort
Name
Last modified
Size
Description
Parent Directory
-
scpisort__t17_scpisort.vout
2021-07-25 20:33
4.7K
scpisort__t17_scpisort
2021-07-17 22:30
550K
scpisort__t16_scpisort.vout
2021-07-25 14:26
4.7K
scpisort__t16_scpisort
2021-07-17 22:29
741K
scpisort__t15_scpisort.vout
2021-07-25 20:45
7.3K
scpisort__t15_scpisort
2021-07-17 22:27
169K
scpisort__t14_scpisort.vout
2021-07-25 15:43
7.3K
scpisort__t14_scpisort
2021-07-17 22:26
134K
scpisort__t13_scpisort.vout
2021-07-25 17:46
6.8K
scpisort__t13_scpisort
2021-07-17 22:26
48K
scpisort__t12_scpisort.vout
2021-07-25 20:22
4.7K
scpisort__t12_scpisort
2021-07-17 22:25
70K
scpisort__t11_scpisort.vout
2021-07-25 15:47
4.7K
scpisort__t11_scpisort
2021-07-17 22:24
70K
scpisort__t10_scpisort.vout
2021-07-25 18:35
6.8K
scpisort__t10_scpisort
2021-07-17 22:23
59K
scpisort__t9_scpisort.vout
2021-07-25 15:10
93K
scpisort__t9_scpisort.vmin1out
2021-07-25 20:58
80K
scpisort__t9_scpisort.vmin1
2021-07-25 20:57
3.9K
scpisort__t9_scpisort.depvmin1
2021-07-25 21:03
64
scpisort__t9_scpisort.depv1
2021-07-25 20:57
64
scpisort__t9_scpisort
2021-07-17 22:23
55K
scpisort__t8_scpisort.vout
2021-07-25 14:53
6.8K
scpisort__t8_scpisort
2021-07-17 22:22
55K
scpisort__t7_scpisort.vout
2021-07-25 14:47
48K
scpisort__t7_scpisort.vmin1out
2021-07-25 21:00
67K
scpisort__t7_scpisort.vmin1
2021-07-25 20:57
4.2K
scpisort__t7_scpisort.depvmin1
2021-07-25 21:03
64
scpisort__t7_scpisort.depv1
2021-07-25 20:57
64
scpisort__t7_scpisort
2021-07-17 22:21
57K
scpisort__t6_scpisort.vout
2021-07-25 19:46
6.8K
scpisort__t6_scpisort
2021-07-17 22:21
56K
scpisort__t5_scpisort.vout
2021-07-25 17:34
6.8K
scpisort__t5_scpisort
2021-07-17 22:20
59K
scpisort__t4_scpisort.vout
2021-07-25 17:53
7.3K
scpisort__t4_scpisort
2021-07-17 22:19
54K
scpisort__t3_scpisort.vout
2021-07-25 17:00
7.9K
scpisort__t3_scpisort
2021-07-17 22:19
25K
scpisort__t2_scpisort.vout
2021-07-25 16:07
4.1K
scpisort__t2_scpisort
2021-07-17 22:18
45K
scpisort__t1_scpisort.vout
2021-07-25 15:51
4.1K
scpisort__t1_scpisort
2021-07-17 22:18
46K
scpisort__l33_scpisort.vout
2021-07-25 16:31
4.7K
scpisort__l33_scpisort
2021-07-17 22:43
741K
scpisort__l31_scpisort.vout
2021-07-25 19:49
4.7K
scpisort__l31_scpisort
2021-07-17 22:42
171K
scpisort__l28_scpisort.vout
2021-07-25 19:28
7.3K
scpisort__l28_scpisort
2021-07-17 22:41
238K
scpisort__l27_scpisort.vout
2021-07-25 19:14
7.3K
scpisort__l27_scpisort
2021-07-17 22:40
237K
scpisort__l26_scpisort.vout
2021-07-25 14:43
4.7K
scpisort__l26_scpisort
2021-07-17 22:39
239K
scpisort__l25_scpisort.vout
2021-07-25 17:30
6.8K
scpisort__l25_scpisort
2021-07-17 22:38
195K
scpisort__l24_scpisort.vout
2021-07-25 14:50
4.7K
scpisort__l24_scpisort
2021-07-17 22:37
187K
scpisort__l23_scpisort.vout
2021-07-25 17:59
4.7K
scpisort__l23_scpisort
2021-07-17 22:36
170K
scpisort__l22_scpisort.vout
2021-07-25 17:27
4.7K
scpisort__l22_scpisort
2021-07-17 22:35
730K
scpisort__l21_scpisort.vout
2021-07-25 15:37
6.8K
scpisort__l21_scpisort
2021-07-17 22:34
540K
scpisort__l20_scpisort.vout
2021-07-25 19:37
8.4K
scpisort__l20_scpisort
2021-07-17 22:33
107K
scpisort__l19_scpisort.vout
2021-07-25 15:43
8.4K
scpisort__l19_scpisort
2021-07-17 22:32
100K
scpisort__l14_scpisort.vout
2021-07-25 18:08
6.8K
scpisort__l14_scpisort
2021-07-17 22:32
64K
scpisort__l13_scpisort.vout
2021-07-25 19:34
37K
scpisort__l13_scpisort.vmin1out
2021-07-25 20:59
35K
scpisort__l13_scpisort.vmin1
2021-07-25 20:57
2.9K
scpisort__l13_scpisort.depvmin1
2021-07-25 21:03
189
scpisort__l13_scpisort.depv1
2021-07-25 20:57
189
scpisort__l13_scpisort
2021-07-17 22:31
51K
scpisort__l12_scpisort.vout
2021-07-25 20:23
3.2K
scpisort__l12_scpisort
2021-07-17 22:30
51K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80