Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/rewrite2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite2__t1_rewrite22019-08-19 18:52 60K 
[ ]rewrite2__t2_rewrite22019-08-19 18:52 102K 
[ ]rewrite2__t3_rewrite22019-08-19 18:52 98K 
[ ]rewrite2__t4_rewrite22019-08-19 18:52 80K 
[ ]rewrite2__t5_rewrite22019-08-19 18:52 49K 
[ ]rewrite2__t6_rewrite22019-08-19 18:52 75K 
[ ]rewrite2__t7_rewrite22019-08-19 18:52 107K 
[ ]rewrite2__t8_rewrite22019-08-19 18:52 81K 
[ ]rewrite2__t9_rewrite22019-08-19 18:52 250K 
[ ]rewrite2__t10_rewrite22019-08-19 18:52 69K 
[ ]rewrite2__t11_rewrite22019-08-19 18:52 63K 
[ ]rewrite2__t12_rewrite22019-08-19 18:52 83K 
[ ]rewrite2__t13_rewrite22019-08-19 18:52 59K 
[ ]rewrite2__t14_rewrite22019-08-19 18:52 56K 
[ ]rewrite2__t15_rewrite22019-08-19 18:52 59K 
[ ]rewrite2__t16_rewrite22019-08-19 18:52 56K 
[ ]rewrite2__t17_rewrite22019-08-19 18:52 61K 
[ ]rewrite2__t18_rewrite22019-08-19 18:52 54K 
[ ]rewrite2__t19_rewrite22019-08-19 18:52 66K 
[ ]rewrite2__t20_rewrite22019-08-19 18:52 57K 
[ ]rewrite2__t21_rewrite22019-08-19 18:52 89K 
[ ]rewrite2__t22_rewrite22019-08-19 18:52 62K 
[ ]rewrite2__t23_rewrite22019-08-19 18:52 161K 
[ ]rewrite2__t24_rewrite22019-08-19 18:52 60K 
[ ]rewrite2__t25_rewrite22019-08-19 18:52 100K 
[ ]rewrite2__t26_rewrite22019-08-19 18:52 68K 
[ ]rewrite2__t27_rewrite22019-08-19 18:52 92K 
[ ]rewrite2__t28_rewrite22019-08-19 18:52 153K 
[ ]rewrite2__t29_rewrite22019-08-19 18:52 66K 
[ ]rewrite2__t30_rewrite22019-08-19 18:52 66K 
[ ]rewrite2__t31_rewrite22019-08-19 18:52 69K 
[ ]rewrite2__t32_rewrite22019-08-19 18:52 38K 
[ ]rewrite2__t33_rewrite22019-08-19 18:52 49K 
[ ]rewrite2__t34_rewrite22019-08-19 18:52 30K 
[ ]rewrite2__t35_rewrite22019-08-19 18:52 51K 
[ ]rewrite2__t36_rewrite22019-08-19 18:52 136K 
[ ]rewrite2__t37_rewrite22019-08-19 18:52 59K 
[ ]rewrite2__t38_rewrite22019-08-19 18:52 69K 
[ ]rewrite2__t39_rewrite22019-08-19 18:52 86K 
[ ]rewrite2__t40_rewrite22019-08-19 18:52 54K 
[ ]rewrite2__t41_rewrite22019-08-19 18:52 67K 
[ ]rewrite2__t42_rewrite22019-08-19 18:52 46K 
[ ]rewrite2__t43_rewrite22019-08-19 18:52 47K 
[ ]rewrite2__t44_rewrite22019-08-19 18:52 85K 
[ ]rewrite2__t45_rewrite22019-08-19 18:52 259K 
[ ]rewrite2__t46_rewrite22019-08-19 18:52 47K 
[ ]rewrite2__t47_rewrite22019-08-19 18:52 39K 
[ ]rewrite2__t48_rewrite22019-08-19 18:52 63K 
[ ]rewrite2__t49_rewrite22019-08-19 18:52 74K 
[ ]rewrite2__t50_rewrite22019-08-19 18:52 54K 
[ ]rewrite2__t51_rewrite22019-08-19 18:52 57K 
[ ]rewrite2__t52_rewrite22019-08-19 18:52 39K 
[ ]rewrite2__t53_rewrite22019-08-19 18:52 45K 
[ ]rewrite2__t54_rewrite22019-08-19 18:52 52K 
[ ]rewrite2__t55_rewrite22019-08-19 18:52 52K 
[ ]rewrite2__t56_rewrite22019-08-19 18:52 66K 
[ ]rewrite2__t57_rewrite22019-08-19 18:52 63K 
[ ]rewrite2__t58_rewrite22019-08-19 18:52 252K 
[ ]rewrite2__t59_rewrite22019-08-19 18:52 58K 
[ ]rewrite2__t60_rewrite22019-08-19 18:52 75K 
[ ]rewrite2__t61_rewrite22019-08-19 18:52 74K 
[ ]rewrite2__t62_rewrite22019-08-19 18:52 90K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80