Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/scmpds_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_7__l28_scmpds_72017-01-13 19:18 200K 
[ ]scmpds_7__l35_scmpds_72017-01-13 19:18 141K 
[ ]scmpds_7__l42_scmpds_72017-01-13 19:18 130K 
[ ]scmpds_7__l47_scmpds_72017-01-13 19:18 140K 
[ ]scmpds_7__l54_scmpds_72017-01-13 19:18 129K 
[ ]scmpds_7__t1_scmpds_72017-01-13 19:18 98K 
[ ]scmpds_7__t2_scmpds_72017-01-13 19:18 90K 
[ ]scmpds_7__t3_scmpds_72017-01-13 19:18 88K 
[ ]scmpds_7__t4_scmpds_72017-01-13 19:18 99K 
[ ]scmpds_7__t7_scmpds_72017-01-13 19:18 130K 
[ ]scmpds_7__t8_scmpds_72017-01-13 19:18 146K 
[ ]scmpds_7__t9_scmpds_72017-01-13 19:18 135K 
[ ]scmpds_7__t10_scmpds_72017-01-13 19:18 144K 
[ ]scmpds_7__t11_scmpds_72017-01-13 19:18 145K 
[ ]scmpds_7__t12_scmpds_72017-01-13 19:18 157K 
[ ]scmpds_7__t13_scmpds_72017-01-13 19:18 122K 
[ ]scmpds_7__t14_scmpds_72017-01-13 19:18 122K 
[ ]scmpds_7__t15_scmpds_72017-01-13 19:18 132K 
[ ]scmpds_7__t16_scmpds_72017-01-13 19:18 247K 
[ ]scmpds_7__t17_scmpds_72017-01-13 19:18 138K 
[ ]scmpds_7__t18_scmpds_72017-01-13 19:18 249K 
[ ]scmpds_7__t19_scmpds_72017-01-13 19:18 149K 
[ ]scmpds_7__t20_scmpds_72017-01-13 19:18 150K 
[ ]scmpds_7__t21_scmpds_72017-01-13 19:18 127K 
[ ]scmpds_7__t22_scmpds_72017-01-13 19:18 169K 
[ ]scmpds_7__t23_scmpds_72017-01-13 19:18 134K 
[ ]scmpds_7__t24_scmpds_72017-01-13 19:18 203K 
[ ]scmpds_7__t25_scmpds_72017-01-13 19:18 128K 
[ ]scmpds_7__t26_scmpds_72017-01-13 19:18 125K 
[ ]scmpds_7__t27_scmpds_72017-01-13 19:18 136K 
[ ]scmpds_7__t28_scmpds_72017-01-13 19:18 150K 
[ ]scmpds_7__t29_scmpds_72017-01-13 19:18 185K 
[ ]scmpds_7__t30_scmpds_72017-01-13 19:18 137K 
[ ]scmpds_7__t31_scmpds_72017-01-13 19:18 154K 
[ ]scmpds_7__t32_scmpds_72017-01-13 19:18 318K 
[ ]scmpds_7__t33_scmpds_72017-01-13 19:18 760K 
[ ]scmpds_7__t34_scmpds_72017-01-13 19:18 329K 
[ ]scmpds_7__t35_scmpds_72017-01-13 19:18 408K 
[ ]scmpds_7__t36_scmpds_72017-01-13 19:18 417K 
[ ]scmpds_7__t37_scmpds_72017-01-13 19:18 190K 
[ ]scmpds_7__t38_scmpds_72017-01-13 19:18 190K 
[ ]scmpds_7__t39_scmpds_72017-01-13 19:18 1.1M 
[ ]scmpds_7__t40_scmpds_72017-01-13 19:18 468K 
[ ]scmpds_7__t41_scmpds_72017-01-13 19:18 356K 
[ ]scmpds_7__t42_scmpds_72017-01-13 19:18 889K 
[ ]scmpds_7__t43_scmpds_72017-01-13 19:18 366K 
[ ]scmpds_7__t44_scmpds_72017-01-13 19:18 452K 
[ ]scmpds_7__t45_scmpds_72017-01-13 19:18 461K 
[ ]scmpds_7__t46_scmpds_72017-01-13 19:18 181K 
[ ]scmpds_7__t47_scmpds_72017-01-13 19:18 180K 
[ ]scmpds_7__t48_scmpds_72017-01-13 19:18 1.2M 
[ ]scmpds_7__t49_scmpds_72017-01-13 19:18 513K 
[ ]scmpds_7__t50_scmpds_72017-01-13 19:18 207K 
[ ]scmpds_7__t51_scmpds_72017-01-13 19:18 477K 
[ ]scmpds_7__t52_scmpds_72017-01-13 19:18 205K 
[ ]scmpds_7__t53_scmpds_72017-01-13 19:18 386K 
[ ]scmpds_7__t54_scmpds_72017-01-13 19:18 1.3M 
[ ]scmpds_7__t55_scmpds_72017-01-13 19:18 450K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80