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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmbsort__l34_scmbsort2025-09-12 07:03 72K 
[ ]scmbsort__l35_scmbsort2025-09-12 07:04 72K 
[ ]scmbsort__l36_scmbsort2025-09-12 07:06 72K 
[ ]scmbsort__l37_scmbsort2025-09-12 07:08 72K 
[ ]scmbsort__l38_scmbsort2025-09-12 07:10 71K 
[ ]scmbsort__l39_scmbsort2025-09-12 07:12 71K 
[ ]scmbsort__l40_scmbsort2025-09-12 07:14 72K 
[ ]scmbsort__l41_scmbsort2025-09-12 07:16 72K 
[ ]scmbsort__l42_scmbsort2025-09-12 07:18 72K 
[ ]scmbsort__l43_scmbsort2025-09-12 07:20 71K 
[ ]scmbsort__l44_scmbsort2025-09-12 07:22 72K 
[ ]scmbsort__l45_scmbsort2025-09-12 07:23 72K 
[ ]scmbsort__l46_scmbsort2025-09-12 07:25 72K 
[ ]scmbsort__l47_scmbsort2025-09-12 07:27 72K 
[ ]scmbsort__l48_scmbsort2025-09-12 07:29 72K 
[ ]scmbsort__l49_scmbsort2025-09-12 07:31 72K 
[ ]scmbsort__l50_scmbsort2025-09-12 07:33 72K 
[ ]scmbsort__l51_scmbsort2025-09-12 07:35 72K 
[ ]scmbsort__l52_scmbsort2025-09-12 07:37 72K 
[ ]scmbsort__l61_scmbsort2025-09-12 08:54 345K 
[ ]scmbsort__l62_scmbsort2025-09-12 08:57 285K 
[ ]scmbsort__l63_scmbsort2025-09-12 08:59 196K 
[ ]scmbsort__l65_scmbsort2025-09-12 09:02 182K 
[ ]scmbsort__l66_scmbsort2025-09-12 09:04 203K 
[ ]scmbsort__l69_scmbsort2025-09-12 09:07 256K 
[ ]scmbsort__l70_scmbsort2025-09-12 09:10 250K 
[ ]scmbsort__l71_scmbsort2025-09-12 09:13 1.0M 
[ ]scmbsort__l72_scmbsort2025-09-12 09:16 1.4M 
[ ]scmbsort__l73_scmbsort2025-09-12 09:20 1.4M 
[ ]scmbsort__l74_scmbsort2025-09-12 09:23 262K 
[ ]scmbsort__l75_scmbsort2025-09-12 09:26 1.5M 
[ ]scmbsort__t2_scmbsort2025-09-12 07:39 99K 
[ ]scmbsort__t3_scmbsort2025-09-12 07:41 101K 
[ ]scmbsort__t4_scmbsort2025-09-12 07:44 135K 
[ ]scmbsort__t5_scmbsort2025-09-12 07:46 131K 
[ ]scmbsort__t6_scmbsort2025-09-12 07:49 128K 
[ ]scmbsort__t7_scmbsort2025-09-12 07:51 94K 
[ ]scmbsort__t8_scmbsort2025-09-12 07:53 90K 
[ ]scmbsort__t9_scmbsort2025-09-12 07:56 94K 
[ ]scmbsort__t10_scmbsort2025-09-12 07:58 93K 
[ ]scmbsort__t11_scmbsort2025-09-12 08:01 92K 
[ ]scmbsort__t12_scmbsort2025-09-12 08:03 92K 
[ ]scmbsort__t13_scmbsort2025-09-12 08:05 84K 
[ ]scmbsort__t14_scmbsort2025-09-12 08:09 1.5M 
[ ]scmbsort__t15_scmbsort2025-09-12 08:11 113K 
[ ]scmbsort__t23_scmbsort2025-09-12 08:13 81K 
[ ]scmbsort__t26_scmbsort2025-09-12 08:15 88K 
[ ]scmbsort__t27_scmbsort2025-09-12 08:17 155K 
[ ]scmbsort__t28_scmbsort2025-09-12 08:19 154K 
[ ]scmbsort__t32_scmbsort2025-09-12 08:21 83K 
[ ]scmbsort__t33_scmbsort2025-09-12 08:24 142K 
[ ]scmbsort__t34_scmbsort2025-09-12 08:27 182K 
[ ]scmbsort__t35_scmbsort2025-09-12 08:30 167K 
[ ]scmbsort__t38_scmbsort2025-09-12 08:33 158K 
[ ]scmbsort__t39_scmbsort2025-09-12 08:35 232K 
[ ]scmbsort__t40_scmbsort2025-09-12 07:01 201K 
[ ]scmbsort__t41_scmbsort2025-09-12 08:38 305K 
[ ]scmbsort__t42_scmbsort2025-09-12 08:41 231K 
[ ]scmbsort__t43_scmbsort2025-09-12 08:44 277K 
[ ]scmbsort__t44_scmbsort2025-09-12 08:48 352K 
[ ]scmbsort__t45_scmbsort2025-09-12 08:51 290K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80