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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l34_scmisort2023-06-28 10:17 370K 
[ ]scmisort__l35_scmisort2023-06-28 10:19 378K 
[ ]scmisort__l36_scmisort2023-06-28 10:20 253K 
[ ]scmisort__l37_scmisort2023-06-28 10:21 1.1M 
[ ]scmisort__l38_scmisort2023-06-28 09:49 257K 
[ ]scmisort__l39_scmisort2023-06-28 10:21 173K 
[ ]scmisort__l40_scmisort2023-06-28 10:22 173K 
[ ]scmisort__l41_scmisort2023-06-28 10:23 197K 
[ ]scmisort__l42_scmisort2023-06-28 10:24 257K 
[ ]scmisort__l44_scmisort2023-06-28 10:25 320K 
[ ]scmisort__l47_scmisort2023-06-28 10:26 252K 
[ ]scmisort__l48_scmisort2023-06-28 10:27 206K 
[ ]scmisort__l49_scmisort2023-06-28 10:28 205K 
[ ]scmisort__l50_scmisort2023-06-28 10:29 395K 
[ ]scmisort__l51_scmisort2023-06-28 10:30 1.1M 
[ ]scmisort__l52_scmisort2023-06-28 10:31 349K 
[ ]scmisort__l53_scmisort2023-06-28 10:33 1.2M 
[ ]scmisort__l54_scmisort2023-06-28 10:34 378K 
[ ]scmisort__l55_scmisort2023-06-28 10:35 1.3M 
[ ]scmisort__t6_scmisort2023-06-28 09:51 224K 
[ ]scmisort__t7_scmisort2023-06-28 09:52 202K 
[ ]scmisort__t8_scmisort2023-06-28 09:53 197K 
[ ]scmisort__t12_scmisort2023-06-28 09:54 172K 
[ ]scmisort__t13_scmisort2023-06-28 09:55 172K 
[ ]scmisort__t14_scmisort2023-06-28 09:56 176K 
[ ]scmisort__t15_scmisort2023-06-28 09:57 322K 
[ ]scmisort__t17_scmisort2023-06-28 09:58 145K 
[ ]scmisort__t18_scmisort2023-06-28 09:59 459K 
[ ]scmisort__t19_scmisort2023-06-28 10:00 240K 
[ ]scmisort__t21_scmisort2023-06-28 10:01 192K 
[ ]scmisort__t22_scmisort2023-06-28 10:02 187K 
[ ]scmisort__t23_scmisort2023-06-28 10:03 167K 
[ ]scmisort__t24_scmisort2023-06-28 10:04 164K 
[ ]scmisort__t25_scmisort2023-06-28 10:05 255K 
[ ]scmisort__t26_scmisort2023-06-28 10:07 230K 
[ ]scmisort__t27_scmisort2023-06-28 10:07 89K 
[ ]scmisort__t28_scmisort2023-06-28 10:08 89K 
[ ]scmisort__t29_scmisort2023-06-28 10:09 225K 
[ ]scmisort__t30_scmisort2023-06-28 10:10 221K 
[ ]scmisort__t31_scmisort2023-06-28 09:48 255K 
[ ]scmisort__t32_scmisort2023-06-28 10:11 507K 
[ ]scmisort__t33_scmisort2023-06-28 10:12 288K 
[ ]scmisort__t34_scmisort2023-06-28 10:14 333K 
[ ]scmisort__t35_scmisort2023-06-28 10:15 407K 
[ ]scmisort__t36_scmisort2023-06-28 10:16 343K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80