Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/scmisort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l34_scmisort2021-07-19 02:59 364K 
[ ]scmisort__l35_scmisort2021-07-19 03:01 372K 
[ ]scmisort__l36_scmisort2021-07-19 03:02 252K 
[ ]scmisort__l37_scmisort2021-07-19 03:03 1.0M 
[ ]scmisort__l38_scmisort2021-07-19 02:29 254K 
[ ]scmisort__l39_scmisort2021-07-19 03:04 172K 
[ ]scmisort__l40_scmisort2021-07-19 03:05 172K 
[ ]scmisort__l41_scmisort2021-07-19 03:06 196K 
[ ]scmisort__l42_scmisort2021-07-19 03:07 255K 
[ ]scmisort__l44_scmisort2021-07-19 03:08 314K 
[ ]scmisort__l47_scmisort2021-07-19 03:09 251K 
[ ]scmisort__l48_scmisort2021-07-19 03:10 206K 
[ ]scmisort__l49_scmisort2021-07-19 03:11 205K 
[ ]scmisort__l50_scmisort2021-07-19 03:12 389K 
[ ]scmisort__l51_scmisort2021-07-19 03:14 1.1M 
[ ]scmisort__l52_scmisort2021-07-19 03:15 345K 
[ ]scmisort__l53_scmisort2021-07-19 03:16 1.1M 
[ ]scmisort__l54_scmisort2021-07-19 03:17 374K 
[ ]scmisort__l55_scmisort2021-07-19 03:19 1.3M 
[ ]scmisort__t6_scmisort2021-07-19 02:30 223K 
[ ]scmisort__t7_scmisort2021-07-19 02:31 202K 
[ ]scmisort__t8_scmisort2021-07-19 02:33 196K 
[ ]scmisort__t12_scmisort2021-07-19 02:34 172K 
[ ]scmisort__t13_scmisort2021-07-19 02:35 172K 
[ ]scmisort__t14_scmisort2021-07-19 02:36 176K 
[ ]scmisort__t15_scmisort2021-07-19 02:37 317K 
[ ]scmisort__t17_scmisort2021-07-19 02:38 145K 
[ ]scmisort__t18_scmisort2021-07-19 02:39 447K 
[ ]scmisort__t19_scmisort2021-07-19 02:40 240K 
[ ]scmisort__t21_scmisort2021-07-19 02:41 192K 
[ ]scmisort__t22_scmisort2021-07-19 02:43 187K 
[ ]scmisort__t23_scmisort2021-07-19 02:44 167K 
[ ]scmisort__t24_scmisort2021-07-19 02:45 164K 
[ ]scmisort__t25_scmisort2021-07-19 02:46 255K 
[ ]scmisort__t26_scmisort2021-07-19 02:48 230K 
[ ]scmisort__t27_scmisort2021-07-19 02:48 89K 
[ ]scmisort__t28_scmisort2021-07-19 02:49 89K 
[ ]scmisort__t29_scmisort2021-07-19 02:50 223K 
[ ]scmisort__t30_scmisort2021-07-19 02:51 219K 
[ ]scmisort__t31_scmisort2021-07-19 02:28 253K 
[ ]scmisort__t32_scmisort2021-07-19 02:53 498K 
[ ]scmisort__t33_scmisort2021-07-19 02:54 286K 
[ ]scmisort__t34_scmisort2021-07-19 02:55 330K 
[ ]scmisort__t35_scmisort2021-07-19 02:57 402K 
[ ]scmisort__t36_scmisort2021-07-19 02:58 341K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80