Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/rusub_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_2__l6_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__l7_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__l8_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__l21_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__l28_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__l30_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__l32_rusub_22017-03-01 15:20 17K 
[ ]rusub_2__l34_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__l36_rusub_22017-03-01 15:20 17K 
[ ]rusub_2__l38_rusub_22017-03-01 15:20 16K 
[ ]rusub_2__l40_rusub_22017-03-01 15:20 18K 
[ ]rusub_2__l49_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__l50_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__l51_rusub_22017-03-01 15:20 26K 
[ ]rusub_2__l53_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__l62_rusub_22017-03-01 15:20 9.9K 
[ ]rusub_2__l64_rusub_22017-03-01 15:20 9.3K 
[ ]rusub_2__t1_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t2_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t3_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t4_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t5_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t6_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t7_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t8_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t9_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t10_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t11_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t12_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t13_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t14_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t15_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t16_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t17_rusub_22017-03-01 15:20 16K 
[ ]rusub_2__t18_rusub_22017-03-01 15:20 16K 
[ ]rusub_2__t19_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t20_rusub_22017-03-01 15:20 16K 
[ ]rusub_2__t21_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t22_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t23_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t24_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t25_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t26_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t27_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t28_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t29_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t30_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t31_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t32_rusub_22017-03-01 15:20 16K 
[ ]rusub_2__t33_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t34_rusub_22017-03-01 15:20 8.3K 
[ ]rusub_2__t35_rusub_22017-03-01 15:20 8.3K 
[ ]rusub_2__t36_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t37_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t38_rusub_22017-03-01 15:20 8.0K 
[ ]rusub_2__t39_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t40_rusub_22017-03-01 15:20 8.2K 
[ ]rusub_2__t41_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t42_rusub_22017-03-01 15:20 17K 
[ ]rusub_2__t43_rusub_22017-03-01 15:20 20K 
[ ]rusub_2__t44_rusub_22017-03-01 15:20 13K 
[ ]rusub_2__t45_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t46_rusub_22017-03-01 15:20 18K 
[ ]rusub_2__t47_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t48_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t49_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t50_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t51_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t52_rusub_22017-03-01 15:20 11K 
[ ]rusub_2__t53_rusub_22017-03-01 15:20 11K 
[ ]rusub_2__t54_rusub_22017-03-01 15:20 19K 
[ ]rusub_2__t55_rusub_22017-03-01 15:20 17K 
[ ]rusub_2__t56_rusub_22017-03-01 15:20 18K 
[ ]rusub_2__t57_rusub_22017-03-01 15:20 14K 
[ ]rusub_2__t58_rusub_22017-03-01 15:20 19K 
[ ]rusub_2__t59_rusub_22017-03-01 15:20 22K 
[ ]rusub_2__t60_rusub_22017-03-01 15:20 20K 
[ ]rusub_2__t61_rusub_22017-03-01 15:20 12K 
[ ]rusub_2__t62_rusub_22017-03-01 15:20 9.1K 
[ ]rusub_2__t63_rusub_22017-03-01 15:20 9.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80