Index of /~mptp/1147/MPTP2/problems_thf_tls1/scmisort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__l37_scmisort2017-01-13 19:20 332K 
[ ]scmisort__l38_scmisort2017-01-13 19:20 335K 
[ ]scmisort__l39_scmisort2017-01-13 19:20 244K 
[ ]scmisort__l40_scmisort2017-01-13 19:20 923K 
[ ]scmisort__l41_scmisort2017-01-13 19:19 221K 
[ ]scmisort__l42_scmisort2017-01-13 19:20 171K 
[ ]scmisort__l43_scmisort2017-01-13 19:20 171K 
[ ]scmisort__l44_scmisort2017-01-13 19:20 182K 
[ ]scmisort__l45_scmisort2017-01-13 19:20 214K 
[ ]scmisort__l46_scmisort2017-01-13 19:20 227K 
[ ]scmisort__l47_scmisort2017-01-13 19:20 277K 
[ ]scmisort__l48_scmisort2017-01-13 19:20 291K 
[ ]scmisort__l50_scmisort2017-01-13 19:20 244K 
[ ]scmisort__l51_scmisort2017-01-13 19:20 196K 
[ ]scmisort__l52_scmisort2017-01-13 19:20 194K 
[ ]scmisort__l53_scmisort2017-01-13 19:20 385K 
[ ]scmisort__l54_scmisort2017-01-13 19:20 932K 
[ ]scmisort__l55_scmisort2017-01-13 19:20 339K 
[ ]scmisort__l56_scmisort2017-01-13 19:20 1.0M 
[ ]scmisort__l57_scmisort2017-01-13 19:20 371K 
[ ]scmisort__l58_scmisort2017-01-13 19:20 1.1M 
[ ]scmisort__t1_scmisort2017-01-13 19:19 118K 
[ ]scmisort__t2_scmisort2017-01-13 19:19 425K 
[ ]scmisort__t3_scmisort2017-01-13 19:19 119K 
[ ]scmisort__t4_scmisort2017-01-13 19:19 139K 
[ ]scmisort__t5_scmisort2017-01-13 19:19 130K 
[ ]scmisort__t6_scmisort2017-01-13 19:19 137K 
[ ]scmisort__t7_scmisort2017-01-13 19:19 140K 
[ ]scmisort__t8_scmisort2017-01-13 19:19 132K 
[ ]scmisort__t9_scmisort2017-01-13 19:19 191K 
[ ]scmisort__t10_scmisort2017-01-13 19:19 172K 
[ ]scmisort__t11_scmisort2017-01-13 19:19 148K 
[ ]scmisort__t12_scmisort2017-01-13 19:19 150K 
[ ]scmisort__t13_scmisort2017-01-13 19:19 258K 
[ ]scmisort__t14_scmisort2017-01-13 19:19 346K 
[ ]scmisort__t15_scmisort2017-01-13 19:19 136K 
[ ]scmisort__t16_scmisort2017-01-13 19:19 136K 
[ ]scmisort__t17_scmisort2017-01-13 19:19 139K 
[ ]scmisort__t18_scmisort2017-01-13 19:20 421K 
[ ]scmisort__t19_scmisort2017-01-13 19:20 358K 
[ ]scmisort__t20_scmisort2017-01-13 19:20 98K 
[ ]scmisort__t21_scmisort2017-01-13 19:20 359K 
[ ]scmisort__t22_scmisort2017-01-13 19:20 218K 
[ ]scmisort__t23_scmisort2017-01-13 19:20 184K 
[ ]scmisort__t24_scmisort2017-01-13 19:20 152K 
[ ]scmisort__t25_scmisort2017-01-13 19:20 148K 
[ ]scmisort__t26_scmisort2017-01-13 19:20 122K 
[ ]scmisort__t27_scmisort2017-01-13 19:20 119K 
[ ]scmisort__t28_scmisort2017-01-13 19:20 195K 
[ ]scmisort__t29_scmisort2017-01-13 19:20 178K 
[ ]scmisort__t30_scmisort2017-01-13 19:20 92K 
[ ]scmisort__t31_scmisort2017-01-13 19:20 92K 
[ ]scmisort__t32_scmisort2017-01-13 19:20 184K 
[ ]scmisort__t33_scmisort2017-01-13 19:20 172K 
[ ]scmisort__t34_scmisort2017-01-13 19:19 213K 
[ ]scmisort__t35_scmisort2017-01-13 19:20 459K 
[ ]scmisort__t36_scmisort2017-01-13 19:20 261K 
[ ]scmisort__t37_scmisort2017-01-13 19:20 292K 
[ ]scmisort__t38_scmisort2017-01-13 19:20 361K 
[ ]scmisort__t39_scmisort2017-01-13 19:20 293K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80