Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/scmisort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l37_scmisort2017-01-13 17:56 449K 
[ ]scmisort__l38_scmisort2017-01-13 17:56 452K 
[ ]scmisort__l39_scmisort2017-01-13 17:56 358K 
[ ]scmisort__l40_scmisort2017-01-13 17:56 1.0M 
[ ]scmisort__l41_scmisort2017-01-13 17:55 315K 
[ ]scmisort__l42_scmisort2017-01-13 17:56 250K 
[ ]scmisort__l43_scmisort2017-01-13 17:56 250K 
[ ]scmisort__l44_scmisort2017-01-13 17:56 272K 
[ ]scmisort__l45_scmisort2017-01-13 17:56 314K 
[ ]scmisort__l46_scmisort2017-01-13 17:56 337K 
[ ]scmisort__l47_scmisort2017-01-13 17:56 382K 
[ ]scmisort__l48_scmisort2017-01-13 17:56 419K 
[ ]scmisort__l50_scmisort2017-01-13 17:56 358K 
[ ]scmisort__l51_scmisort2017-01-13 17:56 309K 
[ ]scmisort__l52_scmisort2017-01-13 17:56 307K 
[ ]scmisort__l53_scmisort2017-01-13 17:56 509K 
[ ]scmisort__l54_scmisort2017-01-13 17:56 1.0M 
[ ]scmisort__l55_scmisort2017-01-13 17:56 454K 
[ ]scmisort__l56_scmisort2017-01-13 17:56 1.1M 
[ ]scmisort__l57_scmisort2017-01-13 17:56 488K 
[ ]scmisort__l58_scmisort2017-01-13 17:56 1.2M 
[ ]scmisort__t1_scmisort2017-01-13 17:55 189K 
[ ]scmisort__t2_scmisort2017-01-13 17:55 537K 
[ ]scmisort__t3_scmisort2017-01-13 17:55 190K 
[ ]scmisort__t4_scmisort2017-01-13 17:55 227K 
[ ]scmisort__t5_scmisort2017-01-13 17:55 211K 
[ ]scmisort__t6_scmisort2017-01-13 17:55 223K 
[ ]scmisort__t7_scmisort2017-01-13 17:55 227K 
[ ]scmisort__t8_scmisort2017-01-13 17:55 213K 
[ ]scmisort__t9_scmisort2017-01-13 17:55 286K 
[ ]scmisort__t10_scmisort2017-01-13 17:55 264K 
[ ]scmisort__t11_scmisort2017-01-13 17:55 237K 
[ ]scmisort__t12_scmisort2017-01-13 17:55 240K 
[ ]scmisort__t13_scmisort2017-01-13 17:55 376K 
[ ]scmisort__t14_scmisort2017-01-13 17:55 450K 
[ ]scmisort__t15_scmisort2017-01-13 17:55 219K 
[ ]scmisort__t16_scmisort2017-01-13 17:55 218K 
[ ]scmisort__t17_scmisort2017-01-13 17:55 223K 
[ ]scmisort__t18_scmisort2017-01-13 17:55 522K 
[ ]scmisort__t19_scmisort2017-01-13 17:55 470K 
[ ]scmisort__t20_scmisort2017-01-13 17:55 161K 
[ ]scmisort__t21_scmisort2017-01-13 17:56 471K 
[ ]scmisort__t22_scmisort2017-01-13 17:56 338K 
[ ]scmisort__t23_scmisort2017-01-13 17:56 293K 
[ ]scmisort__t24_scmisort2017-01-13 17:56 243K 
[ ]scmisort__t25_scmisort2017-01-13 17:56 237K 
[ ]scmisort__t26_scmisort2017-01-13 17:56 197K 
[ ]scmisort__t27_scmisort2017-01-13 17:56 193K 
[ ]scmisort__t28_scmisort2017-01-13 17:56 305K 
[ ]scmisort__t29_scmisort2017-01-13 17:56 284K 
[ ]scmisort__t30_scmisort2017-01-13 17:56 149K 
[ ]scmisort__t31_scmisort2017-01-13 17:56 149K 
[ ]scmisort__t32_scmisort2017-01-13 17:56 286K 
[ ]scmisort__t33_scmisort2017-01-13 17:56 270K 
[ ]scmisort__t34_scmisort2017-01-13 17:55 310K 
[ ]scmisort__t35_scmisort2017-01-13 17:56 595K 
[ ]scmisort__t36_scmisort2017-01-13 17:56 387K 
[ ]scmisort__t37_scmisort2017-01-13 17:56 425K 
[ ]scmisort__t38_scmisort2017-01-13 17:56 505K 
[ ]scmisort__t39_scmisort2017-01-13 17:56 436K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80