Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmbsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmbsort__l34_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l35_scmbsort2016-03-08 13:09 83K 
[ ]scmbsort__l36_scmbsort2016-03-08 13:09 83K 
[ ]scmbsort__l37_scmbsort2016-03-08 13:09 83K 
[ ]scmbsort__l38_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l39_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l40_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l41_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l42_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l43_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l44_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l45_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l46_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l47_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l48_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l49_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l50_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l51_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l52_scmbsort2016-03-08 13:09 82K 
[ ]scmbsort__l61_scmbsort2016-03-08 13:09 335K 
[ ]scmbsort__l62_scmbsort2016-03-08 13:09 288K 
[ ]scmbsort__l63_scmbsort2016-03-08 13:09 193K 
[ ]scmbsort__l64_scmbsort2016-03-08 13:09 249K 
[ ]scmbsort__l65_scmbsort2016-03-08 13:09 179K 
[ ]scmbsort__l66_scmbsort2016-03-08 13:09 211K 
[ ]scmbsort__l67_scmbsort2016-03-08 13:09 261K 
[ ]scmbsort__l69_scmbsort2016-03-08 13:09 256K 
[ ]scmbsort__l70_scmbsort2016-03-08 13:09 248K 
[ ]scmbsort__l71_scmbsort2016-03-08 13:09 774K 
[ ]scmbsort__l72_scmbsort2016-03-08 13:09 965K 
[ ]scmbsort__l73_scmbsort2016-03-08 13:09 1.0M 
[ ]scmbsort__l74_scmbsort2016-03-08 13:09 259K 
[ ]scmbsort__l75_scmbsort2016-03-08 13:09 1.0M 
[ ]scmbsort__t1_scmbsort2016-03-08 13:09 128K 
[ ]scmbsort__t2_scmbsort2016-03-08 13:09 107K 
[ ]scmbsort__t3_scmbsort2016-03-08 13:09 109K 
[ ]scmbsort__t4_scmbsort2016-03-08 13:09 146K 
[ ]scmbsort__t5_scmbsort2016-03-08 13:09 141K 
[ ]scmbsort__t6_scmbsort2016-03-08 13:09 139K 
[ ]scmbsort__t7_scmbsort2016-03-08 13:09 103K 
[ ]scmbsort__t8_scmbsort2016-03-08 13:09 96K 
[ ]scmbsort__t9_scmbsort2016-03-08 13:09 103K 
[ ]scmbsort__t10_scmbsort2016-03-08 13:09 102K 
[ ]scmbsort__t11_scmbsort2016-03-08 13:09 101K 
[ ]scmbsort__t12_scmbsort2016-03-08 13:09 100K 
[ ]scmbsort__t13_scmbsort2016-03-08 13:09 93K 
[ ]scmbsort__t14_scmbsort2016-03-08 13:09 1.0M 
[ ]scmbsort__t15_scmbsort2016-03-08 13:09 117K 
[ ]scmbsort__t16_scmbsort2016-03-08 13:09 135K 
[ ]scmbsort__t17_scmbsort2016-03-08 13:09 113K 
[ ]scmbsort__t18_scmbsort2016-03-08 13:09 150K 
[ ]scmbsort__t19_scmbsort2016-03-08 13:09 126K 
[ ]scmbsort__t20_scmbsort2016-03-08 13:09 150K 
[ ]scmbsort__t22_scmbsort2016-03-08 13:09 140K 
[ ]scmbsort__t23_scmbsort2016-03-08 13:09 90K 
[ ]scmbsort__t26_scmbsort2016-03-08 13:09 97K 
[ ]scmbsort__t27_scmbsort2016-03-08 13:09 160K 
[ ]scmbsort__t28_scmbsort2016-03-08 13:09 160K 
[ ]scmbsort__t32_scmbsort2016-03-08 13:09 92K 
[ ]scmbsort__t33_scmbsort2016-03-08 13:09 147K 
[ ]scmbsort__t34_scmbsort2016-03-08 13:09 191K 
[ ]scmbsort__t35_scmbsort2016-03-08 13:09 182K 
[ ]scmbsort__t38_scmbsort2016-03-08 13:09 173K 
[ ]scmbsort__t39_scmbsort2016-03-08 13:09 236K 
[ ]scmbsort__t40_scmbsort2016-03-08 13:09 210K 
[ ]scmbsort__t41_scmbsort2016-03-08 13:09 309K 
[ ]scmbsort__t42_scmbsort2016-03-08 13:09 257K 
[ ]scmbsort__t43_scmbsort2016-03-08 13:09 287K 
[ ]scmbsort__t44_scmbsort2016-03-08 13:09 347K 
[ ]scmbsort__t45_scmbsort2017-01-05 20:54 290K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80