Index of /~mptp/mml5.63.1382/MPTP2/problems_small/scpqsort
Name
Last modified
Size
Description
Parent Directory
-
scpqsort__t12_scpqsort
2021-07-17 22:27
63K
scpqsort__t13_scpqsort
2021-07-17 22:28
118K
scpqsort__t15_scpqsort
2021-07-17 22:29
119K
scpqsort__t1_scpqsort
2021-07-17 22:30
57K
scpqsort__t2_scpqsort
2021-07-17 22:31
145K
scpqsort__t3_scpqsort
2021-07-17 22:32
94K
scpqsort__t4_scpqsort
2021-07-17 22:33
39K
scpqsort__t5_scpqsort
2021-07-17 22:33
59K
scpqsort__t6_scpqsort
2021-07-17 22:34
65K
scpqsort__t7_scpqsort
2021-07-17 22:35
77K
scpqsort__t8_scpqsort
2021-07-17 22:35
35K
scpqsort__t9_scpqsort
2021-07-17 22:36
112K
scpqsort__t10_scpqsort
2021-07-17 22:37
576K
scpqsort__t11_scpqsort
2021-07-17 22:38
767K
scpqsort__t14_scpqsort
2021-07-17 22:39
131K
scpqsort__l2_scpqsort
2021-07-17 22:40
43K
scpqsort__l3_scpqsort
2021-07-17 22:41
52K
scpqsort__l11_scpqsort
2021-07-17 22:42
468K
scpqsort__l12_scpqsort
2021-07-17 22:43
169K
scpqsort__l13_scpqsort
2021-07-17 22:44
176K
scpqsort__l16_scpqsort
2021-07-17 22:45
98K
scpqsort__l17_scpqsort
2021-07-17 22:46
233K
scpqsort__l18_scpqsort
2021-07-17 22:47
759K
scpqsort__l19_scpqsort
2021-07-17 22:48
540K
scpqsort__l20_scpqsort
2021-07-17 22:49
87K
scpqsort__l21_scpqsort
2021-07-17 22:49
98K
scpqsort__l22_scpqsort
2021-07-17 22:50
88K
scpqsort__l23_scpqsort
2021-07-17 22:51
233K
scpqsort__l24_scpqsort
2021-07-17 22:52
758K
scpqsort__l25_scpqsort
2021-07-17 22:53
228K
scpqsort__l26_scpqsort
2021-07-17 22:54
119K
scpqsort__l27_scpqsort
2021-07-17 22:55
90K
scpqsort__l29_scpqsort
2021-07-17 22:56
230K
scpqsort__l30_scpqsort
2021-07-17 22:57
636K
scpqsort__l31_scpqsort
2021-07-17 22:57
14K
scpqsort__l32_scpqsort
2021-07-17 22:57
20K
scpqsort__l33_scpqsort
2021-07-17 22:58
26K
scpqsort__l34_scpqsort
2021-07-17 22:58
60K
scpqsort__l35_scpqsort
2021-07-17 22:59
32K
scpqsort__l36_scpqsort
2021-07-17 23:00
863K
scpqsort__l37_scpqsort
2021-07-17 23:01
598K
scpqsort__l38_scpqsort
2021-07-17 23:02
196K
scpqsort__l42_scpqsort
2021-07-17 23:04
907K
scpqsort__t9_scpqsort.vout
2021-07-25 14:36
10K
scpqsort__t10_scpqsort.vout
2021-07-25 14:51
4.7K
scpqsort__l31_scpqsort.vout
2021-07-25 14:51
18K
scpqsort__l16_scpqsort.vout
2021-07-25 15:04
8.4K
scpqsort__l27_scpqsort.vout
2021-07-25 15:08
8.4K
scpqsort__l26_scpqsort.vout
2021-07-25 15:21
8.5K
scpqsort__l23_scpqsort.vout
2021-07-25 15:26
6.8K
scpqsort__t1_scpqsort.vout
2021-07-25 15:33
4.7K
scpqsort__l18_scpqsort.vout
2021-07-25 15:42
4.7K
scpqsort__l2_scpqsort.vout
2021-07-25 15:50
30K
scpqsort__t13_scpqsort.vout
2021-07-25 15:52
7.4K
scpqsort__t15_scpqsort.vout
2021-07-25 15:58
4.7K
scpqsort__l38_scpqsort.vout
2021-07-25 16:09
6.8K
scpqsort__t8_scpqsort.vout
2021-07-25 16:16
3.2K
scpqsort__t11_scpqsort.vout
2021-07-25 16:19
4.7K
scpqsort__l21_scpqsort.vout
2021-07-25 16:32
8.5K
scpqsort__l33_scpqsort.vout
2021-07-25 16:35
2.0K
scpqsort__l37_scpqsort.vout
2021-07-25 16:36
4.7K
scpqsort__l11_scpqsort.vout
2021-07-25 16:40
4.7K
scpqsort__l20_scpqsort.vout
2021-07-25 16:42
8.4K
scpqsort__t14_scpqsort.vout
2021-07-25 17:27
7.3K
scpqsort__l3_scpqsort.vout
2021-07-25 17:39
7.3K
scpqsort__l36_scpqsort.vout
2021-07-25 17:44
4.7K
scpqsort__l19_scpqsort.vout
2021-07-25 17:53
4.7K
scpqsort__l35_scpqsort.vout
2021-07-25 17:55
36K
scpqsort__l17_scpqsort.vout
2021-07-25 18:00
6.8K
scpqsort__l22_scpqsort.vout
2021-07-25 18:03
8.4K
scpqsort__t2_scpqsort.vout
2021-07-25 18:10
4.7K
scpqsort__t5_scpqsort.vout
2021-07-25 18:12
4.7K
scpqsort__l25_scpqsort.vout
2021-07-25 18:30
4.7K
scpqsort__l24_scpqsort.vout
2021-07-25 18:46
4.7K
scpqsort__t6_scpqsort.vout
2021-07-25 18:49
4.7K
scpqsort__t12_scpqsort.vout
2021-07-25 18:52
11K
scpqsort__t7_scpqsort.vout
2021-07-25 19:11
4.7K
scpqsort__l30_scpqsort.vout
2021-07-25 19:20
4.7K
scpqsort__l42_scpqsort.vout
2021-07-25 19:25
4.8K
scpqsort__t3_scpqsort.vout
2021-07-25 19:26
4.7K
scpqsort__l32_scpqsort.vout
2021-07-25 19:41
2.0K
scpqsort__l29_scpqsort.vout
2021-07-25 19:53
4.7K
scpqsort__t4_scpqsort.vout
2021-07-25 20:07
52K
scpqsort__l34_scpqsort.vout
2021-07-25 20:23
4.7K
scpqsort__l13_scpqsort.vout
2021-07-25 20:29
4.7K
scpqsort__l12_scpqsort.vout
2021-07-25 20:30
4.8K
scpqsort__l35_scpqsort.depv1
2021-07-25 20:57
60
scpqsort__l2_scpqsort.depv1
2021-07-25 20:57
193
scpqsort__l31_scpqsort.depv1
2021-07-25 20:57
262
scpqsort__t4_scpqsort.depv1
2021-07-25 20:57
285
scpqsort__l2_scpqsort.vmin1
2021-07-25 20:57
2.6K
scpqsort__l31_scpqsort.vmin1
2021-07-25 20:57
1.8K
scpqsort__l35_scpqsort.vmin1
2021-07-25 20:57
1.6K
scpqsort__t4_scpqsort.vmin1
2021-07-25 20:57
2.7K
scpqsort__l31_scpqsort.vmin1out
2021-07-25 20:59
17K
scpqsort__l2_scpqsort.vmin1out
2021-07-25 21:00
28K
scpqsort__l35_scpqsort.vmin1out
2021-07-25 21:02
32K
scpqsort__t4_scpqsort.vmin1out
2021-07-25 21:02
50K
scpqsort__l31_scpqsort.depvmin1
2021-07-25 21:03
262
scpqsort__l35_scpqsort.depvmin1
2021-07-25 21:03
60
scpqsort__t4_scpqsort.depvmin1
2021-07-25 21:03
232
scpqsort__l2_scpqsort.depvmin1
2021-07-25 21:03
173
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80