Index of /~mptp/mml5.63.1382/MPTP2/problems/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2023-06-28 18:21 69K 
[ ]scpqsort__l3_scpqsort2023-06-28 18:22 82K 
[ ]scpqsort__l11_scpqsort2023-06-28 18:23 842K 
[ ]scpqsort__l12_scpqsort2023-06-28 18:24 307K 
[ ]scpqsort__l13_scpqsort2023-06-28 18:25 318K 
[ ]scpqsort__l16_scpqsort2023-06-28 18:25 168K 
[ ]scpqsort__l17_scpqsort2023-06-28 18:26 415K 
[ ]scpqsort__l18_scpqsort2023-06-28 18:28 1.3M 
[ ]scpqsort__l19_scpqsort2023-06-28 18:28 1.0M 
[ ]scpqsort__l20_scpqsort2023-06-28 18:29 147K 
[ ]scpqsort__l21_scpqsort2023-06-28 18:30 168K 
[ ]scpqsort__l22_scpqsort2023-06-28 18:31 147K 
[ ]scpqsort__l23_scpqsort2023-06-28 18:31 415K 
[ ]scpqsort__l24_scpqsort2023-06-28 18:32 1.3M 
[ ]scpqsort__l25_scpqsort2023-06-28 18:33 408K 
[ ]scpqsort__l26_scpqsort2023-06-28 18:34 207K 
[ ]scpqsort__l27_scpqsort2023-06-28 18:35 150K 
[ ]scpqsort__l29_scpqsort2023-06-28 18:36 419K 
[ ]scpqsort__l30_scpqsort2023-06-28 18:37 1.1M 
[ ]scpqsort__l31_scpqsort2023-06-28 18:37 23K 
[ ]scpqsort__l32_scpqsort2023-06-28 18:37 34K 
[ ]scpqsort__l33_scpqsort2023-06-28 18:37 46K 
[ ]scpqsort__l34_scpqsort2023-06-28 18:38 102K 
[ ]scpqsort__l35_scpqsort2023-06-28 18:39 52K 
[ ]scpqsort__l36_scpqsort2023-06-28 18:40 1.4M 
[ ]scpqsort__l37_scpqsort2023-06-28 18:41 1.1M 
[ ]scpqsort__l38_scpqsort2023-06-28 18:42 353K 
[ ]scpqsort__l42_scpqsort2023-06-28 18:44 1.7M 
[ ]scpqsort__t1_scpqsort2023-06-28 18:12 89K 
[ ]scpqsort__t2_scpqsort2023-06-28 18:13 240K 
[ ]scpqsort__t3_scpqsort2023-06-28 18:14 147K 
[ ]scpqsort__t4_scpqsort2023-06-28 18:14 62K 
[ ]scpqsort__t5_scpqsort2023-06-28 18:15 93K 
[ ]scpqsort__t6_scpqsort2023-06-28 18:15 97K 
[ ]scpqsort__t7_scpqsort2023-06-28 18:16 116K 
[ ]scpqsort__t8_scpqsort2023-06-28 18:17 61K 
[ ]scpqsort__t9_scpqsort2023-06-28 18:17 193K 
[ ]scpqsort__t10_scpqsort2023-06-28 18:18 1.1M 
[ ]scpqsort__t11_scpqsort2023-06-28 18:20 1.4M 
[ ]scpqsort__t12_scpqsort2023-06-28 18:09 99K 
[ ]scpqsort__t13_scpqsort2023-06-28 18:10 200K 
[ ]scpqsort__t14_scpqsort2023-06-28 18:20 219K 
[ ]scpqsort__t15_scpqsort2023-06-28 18:11 201K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80