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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_7__l28_scmpds_72016-03-08 13:09 198K 
[ ]scmpds_7__l35_scmpds_72016-03-08 13:09 139K 
[ ]scmpds_7__l42_scmpds_72016-03-08 13:09 129K 
[ ]scmpds_7__l47_scmpds_72016-03-08 13:09 139K 
[ ]scmpds_7__l54_scmpds_72016-03-08 13:09 128K 
[ ]scmpds_7__t1_scmpds_72016-03-08 13:09 97K 
[ ]scmpds_7__t2_scmpds_72016-03-08 13:09 90K 
[ ]scmpds_7__t3_scmpds_72016-03-08 13:09 88K 
[ ]scmpds_7__t4_scmpds_72016-03-08 13:09 99K 
[ ]scmpds_7__t7_scmpds_72016-03-08 13:09 129K 
[ ]scmpds_7__t8_scmpds_72016-03-08 13:09 146K 
[ ]scmpds_7__t9_scmpds_72016-03-08 13:09 135K 
[ ]scmpds_7__t10_scmpds_72016-03-08 13:09 144K 
[ ]scmpds_7__t11_scmpds_72016-03-08 13:09 144K 
[ ]scmpds_7__t12_scmpds_72016-03-08 13:09 157K 
[ ]scmpds_7__t13_scmpds_72016-03-08 13:09 122K 
[ ]scmpds_7__t14_scmpds_72016-03-08 13:09 122K 
[ ]scmpds_7__t15_scmpds_72016-03-08 13:09 132K 
[ ]scmpds_7__t16_scmpds_72017-01-05 20:54 241K 
[ ]scmpds_7__t17_scmpds_72016-03-08 13:09 138K 
[ ]scmpds_7__t18_scmpds_72016-03-08 13:09 243K 
[ ]scmpds_7__t19_scmpds_72016-03-08 13:09 149K 
[ ]scmpds_7__t20_scmpds_72016-03-08 13:09 149K 
[ ]scmpds_7__t21_scmpds_72016-03-08 13:09 127K 
[ ]scmpds_7__t22_scmpds_72016-03-08 13:09 168K 
[ ]scmpds_7__t23_scmpds_72016-03-08 13:09 134K 
[ ]scmpds_7__t24_scmpds_72016-03-08 13:09 201K 
[ ]scmpds_7__t25_scmpds_72016-03-08 13:09 128K 
[ ]scmpds_7__t26_scmpds_72016-03-08 13:09 125K 
[ ]scmpds_7__t27_scmpds_72016-03-08 13:09 136K 
[ ]scmpds_7__t28_scmpds_72016-03-08 13:09 150K 
[ ]scmpds_7__t29_scmpds_72016-03-08 13:09 184K 
[ ]scmpds_7__t30_scmpds_72016-03-08 13:09 137K 
[ ]scmpds_7__t31_scmpds_72016-03-08 13:09 154K 
[ ]scmpds_7__t32_scmpds_72016-03-08 13:09 305K 
[ ]scmpds_7__t33_scmpds_72016-03-08 13:09 713K 
[ ]scmpds_7__t34_scmpds_72016-03-08 13:09 316K 
[ ]scmpds_7__t35_scmpds_72016-03-08 13:09 393K 
[ ]scmpds_7__t36_scmpds_72016-03-08 13:09 402K 
[ ]scmpds_7__t37_scmpds_72016-03-08 13:09 188K 
[ ]scmpds_7__t38_scmpds_72016-03-08 13:09 187K 
[ ]scmpds_7__t39_scmpds_72016-03-08 13:09 1.0M 
[ ]scmpds_7__t40_scmpds_72016-03-08 13:09 451K 
[ ]scmpds_7__t41_scmpds_72016-03-08 13:09 340K 
[ ]scmpds_7__t42_scmpds_72016-03-08 13:09 833K 
[ ]scmpds_7__t43_scmpds_72016-03-08 13:09 351K 
[ ]scmpds_7__t44_scmpds_72016-03-08 13:09 434K 
[ ]scmpds_7__t45_scmpds_72016-03-08 13:09 443K 
[ ]scmpds_7__t46_scmpds_72016-03-08 13:09 179K 
[ ]scmpds_7__t47_scmpds_72016-03-08 13:09 179K 
[ ]scmpds_7__t48_scmpds_72016-03-08 13:09 1.2M 
[ ]scmpds_7__t49_scmpds_72016-03-08 13:09 494K 
[ ]scmpds_7__t50_scmpds_72016-03-08 13:09 204K 
[ ]scmpds_7__t51_scmpds_72016-03-08 13:09 458K 
[ ]scmpds_7__t52_scmpds_72016-03-08 13:09 203K 
[ ]scmpds_7__t53_scmpds_72016-03-08 13:09 371K 
[ ]scmpds_7__t54_scmpds_72016-03-08 13:09 1.2M 
[ ]scmpds_7__t55_scmpds_72016-03-08 13:09 431K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80