Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/scmisort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l37_scmisort2019-08-20 11:04 1.3M 
[ ]scmisort__l38_scmisort2019-08-20 11:15 1.8M 
[ ]scmisort__l39_scmisort2019-08-20 11:16 424K 
[ ]scmisort__l40_scmisort2019-08-20 11:17 1.6M 
[ ]scmisort__l41_scmisort2019-08-20 11:17 300K 
[ ]scmisort__l42_scmisort2019-08-20 11:17 311K 
[ ]scmisort__l43_scmisort2019-08-20 11:18 312K 
[ ]scmisort__l44_scmisort2019-08-20 11:19 320K 
[ ]scmisort__l45_scmisort2019-08-20 11:19 432K 
[ ]scmisort__l46_scmisort2019-08-20 11:21 501K 
[ ]scmisort__l47_scmisort2019-08-20 11:21 524K 
[ ]scmisort__l48_scmisort2019-08-20 11:23 651K 
[ ]scmisort__l50_scmisort2019-08-20 11:24 477K 
[ ]scmisort__l51_scmisort2019-08-20 11:25 396K 
[ ]scmisort__l52_scmisort2019-08-20 11:26 361K 
[ ]scmisort__l53_scmisort2019-08-20 11:30 1.5M 
[ ]scmisort__l54_scmisort2019-08-20 11:39 4.6M 
[ ]scmisort__l55_scmisort2019-08-20 11:42 1.2M 
[ ]scmisort__l56_scmisort2019-08-20 11:52 5.7M 
[ ]scmisort__l57_scmisort2019-08-20 11:56 1.4M 
[ ]scmisort__l58_scmisort2019-08-20 12:06 8.0M 
[ ]scmisort__t1_scmisort2019-08-20 10:06 370K 
[ ]scmisort__t2_scmisort2019-08-20 10:09 751K 
[ ]scmisort__t3_scmisort2019-08-20 10:10 371K 
[ ]scmisort__t4_scmisort2019-08-20 10:11 218K 
[ ]scmisort__t5_scmisort2019-08-20 10:11 206K 
[ ]scmisort__t6_scmisort2019-08-20 10:11 260K 
[ ]scmisort__t7_scmisort2019-08-20 10:12 278K 
[ ]scmisort__t8_scmisort2019-08-20 10:12 205K 
[ ]scmisort__t9_scmisort2019-08-20 10:13 365K 
[ ]scmisort__t10_scmisort2019-08-20 10:13 284K 
[ ]scmisort__t11_scmisort2019-08-20 10:13 261K 
[ ]scmisort__t12_scmisort2019-08-20 10:14 296K 
[ ]scmisort__t13_scmisort2019-08-20 10:18 855K 
[ ]scmisort__t14_scmisort2019-08-20 10:19 670K 
[ ]scmisort__t15_scmisort2019-08-20 10:19 223K 
[ ]scmisort__t16_scmisort2019-08-20 10:19 211K 
[ ]scmisort__t17_scmisort2019-08-20 10:20 297K 
[ ]scmisort__t18_scmisort2019-08-20 10:26 1.5M 
[ ]scmisort__t19_scmisort2019-08-20 10:30 815K 
[ ]scmisort__t20_scmisort2019-08-20 10:30 166K 
[ ]scmisort__t21_scmisort2019-08-20 10:32 837K 
[ ]scmisort__t22_scmisort2019-08-20 10:37 821K 
[ ]scmisort__t23_scmisort2019-08-20 10:40 693K 
[ ]scmisort__t24_scmisort2019-08-20 10:40 258K 
[ ]scmisort__t25_scmisort2019-08-20 10:41 235K 
[ ]scmisort__t26_scmisort2019-08-20 10:41 217K 
[ ]scmisort__t27_scmisort2019-08-20 10:41 203K 
[ ]scmisort__t28_scmisort2019-08-20 10:54 1.8M 
[ ]scmisort__t29_scmisort2019-08-20 10:58 699K 
[ ]scmisort__t30_scmisort2019-08-20 10:58 132K 
[ ]scmisort__t31_scmisort2019-08-20 10:58 134K 
[ ]scmisort__t32_scmisort2019-08-20 10:59 433K 
[ ]scmisort__t33_scmisort2019-08-20 10:59 231K 
[ ]scmisort__t34_scmisort2019-08-20 11:23 281K 
[ ]scmisort__t35_scmisort2019-08-20 12:08 1.1M 
[ ]scmisort__t36_scmisort2019-08-20 12:08 374K 
[ ]scmisort__t37_scmisort2019-08-20 12:10 784K 
[ ]scmisort__t38_scmisort2019-08-20 12:23 3.7M 
[ ]scmisort__t39_scmisort2019-08-20 12:26 770K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80