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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l37_scmisort2016-03-08 13:09 323K 
[ ]scmisort__l38_scmisort2016-03-08 13:09 326K 
[ ]scmisort__l39_scmisort2016-03-08 13:09 240K 
[ ]scmisort__l40_scmisort2016-03-08 13:09 868K 
[ ]scmisort__l41_scmisort2016-03-08 13:09 216K 
[ ]scmisort__l42_scmisort2016-03-08 13:09 168K 
[ ]scmisort__l43_scmisort2016-03-08 13:09 168K 
[ ]scmisort__l44_scmisort2016-03-08 13:09 179K 
[ ]scmisort__l45_scmisort2016-03-08 13:09 210K 
[ ]scmisort__l46_scmisort2016-03-08 13:09 224K 
[ ]scmisort__l47_scmisort2016-03-08 13:09 269K 
[ ]scmisort__l48_scmisort2016-03-08 13:09 285K 
[ ]scmisort__l50_scmisort2016-03-08 13:09 240K 
[ ]scmisort__l51_scmisort2016-03-08 13:09 194K 
[ ]scmisort__l52_scmisort2016-03-08 13:09 193K 
[ ]scmisort__l53_scmisort2016-03-08 13:09 372K 
[ ]scmisort__l54_scmisort2016-03-08 13:09 877K 
[ ]scmisort__l55_scmisort2016-03-08 13:09 329K 
[ ]scmisort__l56_scmisort2016-03-08 13:09 936K 
[ ]scmisort__l57_scmisort2016-03-08 13:09 359K 
[ ]scmisort__l58_scmisort2016-03-08 13:09 1.0M 
[ ]scmisort__t1_scmisort2016-03-08 13:09 118K 
[ ]scmisort__t2_scmisort2017-01-05 20:54 406K 
[ ]scmisort__t3_scmisort2016-03-08 13:09 118K 
[ ]scmisort__t4_scmisort2016-03-08 13:09 139K 
[ ]scmisort__t5_scmisort2016-03-08 13:09 129K 
[ ]scmisort__t6_scmisort2016-03-08 13:09 137K 
[ ]scmisort__t7_scmisort2016-03-08 13:09 140K 
[ ]scmisort__t8_scmisort2016-03-08 13:09 131K 
[ ]scmisort__t9_scmisort2016-03-08 13:09 188K 
[ ]scmisort__t10_scmisort2016-03-08 13:09 170K 
[ ]scmisort__t11_scmisort2016-03-08 13:09 148K 
[ ]scmisort__t12_scmisort2016-03-08 13:09 150K 
[ ]scmisort__t13_scmisort2016-03-08 13:09 253K 
[ ]scmisort__t14_scmisort2016-03-08 13:09 333K 
[ ]scmisort__t15_scmisort2016-03-08 13:09 135K 
[ ]scmisort__t16_scmisort2016-03-08 13:09 135K 
[ ]scmisort__t17_scmisort2016-03-08 13:09 138K 
[ ]scmisort__t18_scmisort2016-03-08 13:09 401K 
[ ]scmisort__t19_scmisort2016-03-08 13:09 345K 
[ ]scmisort__t20_scmisort2016-03-08 13:09 98K 
[ ]scmisort__t21_scmisort2016-03-08 13:09 346K 
[ ]scmisort__t22_scmisort2016-03-08 13:09 216K 
[ ]scmisort__t23_scmisort2016-03-08 13:09 183K 
[ ]scmisort__t24_scmisort2016-03-08 13:09 151K 
[ ]scmisort__t25_scmisort2016-03-08 13:09 147K 
[ ]scmisort__t26_scmisort2016-03-08 13:09 122K 
[ ]scmisort__t27_scmisort2016-03-08 13:09 119K 
[ ]scmisort__t28_scmisort2016-03-08 13:09 194K 
[ ]scmisort__t29_scmisort2016-03-08 13:09 177K 
[ ]scmisort__t30_scmisort2016-03-08 13:09 91K 
[ ]scmisort__t31_scmisort2016-03-08 13:09 91K 
[ ]scmisort__t32_scmisort2016-03-08 13:09 182K 
[ ]scmisort__t33_scmisort2016-03-08 13:09 171K 
[ ]scmisort__t34_scmisort2016-03-08 13:09 208K 
[ ]scmisort__t35_scmisort2016-03-08 13:09 443K 
[ ]scmisort__t36_scmisort2016-03-08 13:09 256K 
[ ]scmisort__t37_scmisort2016-03-08 13:09 287K 
[ ]scmisort__t38_scmisort2016-03-08 13:09 353K 
[ ]scmisort__t39_scmisort2017-01-05 20:54 288K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80