Index of /~mptp/1147/MPTP2/problems_gdfthf/scpqsort
Name
Last modified
Size
Description
Parent Directory
-
scpqsort__l2_scpqsort
2019-08-20 23:46
121K
scpqsort__l3_scpqsort
2019-08-20 23:46
166K
scpqsort__l11_scpqsort
2019-08-21 00:06
5.7M
scpqsort__l12_scpqsort
2019-08-21 00:06
720K
scpqsort__l13_scpqsort
2019-08-21 00:06
522K
scpqsort__l16_scpqsort
2019-08-21 00:07
252K
scpqsort__l17_scpqsort
2019-08-21 00:16
3.1M
scpqsort__l18_scpqsort
2019-08-21 00:26
8.9M
scpqsort__l19_scpqsort
2019-08-21 00:27
1.7M
scpqsort__l20_scpqsort
2019-08-21 00:27
224K
scpqsort__l21_scpqsort
2019-08-21 00:27
277K
scpqsort__l22_scpqsort
2019-08-21 00:27
224K
scpqsort__l23_scpqsort
2019-08-21 00:37
3.1M
scpqsort__l24_scpqsort
2019-08-21 00:45
7.3M
scpqsort__l25_scpqsort
2019-08-21 00:46
933K
scpqsort__l26_scpqsort
2019-08-21 00:47
390K
scpqsort__l27_scpqsort
2019-08-21 00:47
233K
scpqsort__l29_scpqsort
2019-08-21 00:56
2.5M
scpqsort__l30_scpqsort
2019-08-21 01:12
14M
scpqsort__l31_scpqsort
2019-08-21 01:12
71K
scpqsort__l32_scpqsort
2019-08-21 01:12
96K
scpqsort__l33_scpqsort
2019-08-21 01:12
113K
scpqsort__l34_scpqsort
2019-08-21 01:14
487K
scpqsort__l35_scpqsort
2019-08-21 01:14
205K
scpqsort__l36_scpqsort
2019-08-21 01:26
15M
scpqsort__l37_scpqsort
2019-08-21 01:27
2.3M
scpqsort__l38_scpqsort
2019-08-21 01:31
972K
scpqsort__l42_scpqsort
2019-08-21 02:14
16M
scpqsort__t1_scpqsort
2019-08-20 23:46
190K
scpqsort__t2_scpqsort
2019-08-20 23:49
702K
scpqsort__t3_scpqsort
2019-08-20 23:50
719K
scpqsort__t4_scpqsort
2019-08-20 23:50
115K
scpqsort__t5_scpqsort
2019-08-20 23:51
346K
scpqsort__t6_scpqsort
2019-08-20 23:52
421K
scpqsort__t7_scpqsort
2019-08-20 23:53
600K
scpqsort__t8_scpqsort
2019-08-20 23:54
206K
scpqsort__t9_scpqsort
2019-08-21 00:47
385K
scpqsort__t10_scpqsort
2019-08-21 01:32
1.5M
scpqsort__t11_scpqsort
2019-08-21 01:43
7.5M
scpqsort__t12_scpqsort
2019-08-21 01:43
146K
scpqsort__t13_scpqsort
2019-08-21 02:14
302K
scpqsort__t14_scpqsort
2019-08-21 02:14
365K
scpqsort__t15_scpqsort
2019-08-21 02:14
303K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80