Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/scmisort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l34_scmisort2025-09-12 06:38 345K 
[ ]scmisort__l35_scmisort2025-09-12 06:41 341K 
[ ]scmisort__l36_scmisort2025-09-12 06:44 230K 
[ ]scmisort__l37_scmisort2025-09-12 06:47 1.2M 
[ ]scmisort__l38_scmisort2025-09-12 05:22 210K 
[ ]scmisort__l39_scmisort2025-09-12 06:49 162K 
[ ]scmisort__l40_scmisort2025-09-12 06:52 162K 
[ ]scmisort__l41_scmisort2025-09-12 06:54 175K 
[ ]scmisort__l42_scmisort2025-09-12 06:57 211K 
[ ]scmisort__l44_scmisort2025-09-12 07:00 273K 
[ ]scmisort__l47_scmisort2025-09-12 07:03 229K 
[ ]scmisort__l48_scmisort2025-09-12 07:05 183K 
[ ]scmisort__l49_scmisort2025-09-12 07:08 182K 
[ ]scmisort__l50_scmisort2025-09-12 07:12 375K 
[ ]scmisort__l51_scmisort2025-09-12 07:15 1.2M 
[ ]scmisort__l52_scmisort2025-09-12 07:18 330K 
[ ]scmisort__l53_scmisort2025-09-12 07:21 1.3M 
[ ]scmisort__l54_scmisort2025-09-12 07:24 363K 
[ ]scmisort__l55_scmisort2025-09-12 07:28 1.5M 
[ ]scmisort__t6_scmisort2025-09-12 05:25 172K 
[ ]scmisort__t7_scmisort2025-09-12 05:27 152K 
[ ]scmisort__t8_scmisort2025-09-12 05:30 139K 
[ ]scmisort__t12_scmisort2025-09-12 05:33 126K 
[ ]scmisort__t13_scmisort2025-09-12 05:35 126K 
[ ]scmisort__t14_scmisort2025-09-12 05:38 130K 
[ ]scmisort__t15_scmisort2025-09-12 05:41 265K 
[ ]scmisort__t17_scmisort2025-09-12 05:43 89K 
[ ]scmisort__t18_scmisort2025-09-12 05:46 426K 
[ ]scmisort__t19_scmisort2025-09-12 05:50 201K 
[ ]scmisort__t21_scmisort2025-09-12 05:52 143K 
[ ]scmisort__t22_scmisort2025-09-12 05:55 140K 
[ ]scmisort__t23_scmisort2025-09-12 05:58 114K 
[ ]scmisort__t24_scmisort2025-09-12 06:00 112K 
[ ]scmisort__t25_scmisort2025-09-12 06:04 189K 
[ ]scmisort__t26_scmisort2025-09-12 06:07 170K 
[ ]scmisort__t27_scmisort2025-09-12 06:09 79K 
[ ]scmisort__t28_scmisort2025-09-12 06:12 79K 
[ ]scmisort__t29_scmisort2025-09-12 06:15 178K 
[ ]scmisort__t30_scmisort2025-09-12 06:17 165K 
[ ]scmisort__t31_scmisort2025-09-12 05:19 209K 
[ ]scmisort__t32_scmisort2025-09-12 06:21 465K 
[ ]scmisort__t33_scmisort2025-09-12 06:24 236K 
[ ]scmisort__t34_scmisort2025-09-12 06:27 284K 
[ ]scmisort__t35_scmisort2025-09-12 06:31 366K 
[ ]scmisort__t36_scmisort2025-09-12 06:35 295K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80