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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realset2__l3_realset22016-03-08 13:08 13K 
[ ]realset2__l4_realset22016-03-08 13:08 13K 
[ ]realset2__l5_realset22016-03-08 13:08 13K 
[ ]realset2__l6_realset22016-03-08 13:08 13K 
[ ]realset2__l7_realset22016-03-08 13:08 13K 
[ ]realset2__l8_realset22016-03-08 13:08 13K 
[ ]realset2__l9_realset22016-03-08 13:08 20K 
[ ]realset2__l10_realset22016-03-08 13:08 20K 
[ ]realset2__l11_realset22016-03-08 13:08 20K 
[ ]realset2__l12_realset22016-03-08 13:08 25K 
[ ]realset2__l13_realset22016-03-08 13:08 25K 
[ ]realset2__l14_realset22016-03-08 13:08 25K 
[ ]realset2__l15_realset22016-03-08 13:08 24K 
[ ]realset2__l16_realset22016-03-08 13:08 20K 
[ ]realset2__l17_realset22016-03-08 13:08 20K 
[ ]realset2__l18_realset22016-03-08 13:08 20K 
[ ]realset2__l19_realset22016-03-08 13:08 25K 
[ ]realset2__l20_realset22016-03-08 13:08 25K 
[ ]realset2__l21_realset22016-03-08 13:08 25K 
[ ]realset2__l22_realset22016-03-08 13:08 24K 
[ ]realset2__l23_realset22016-03-08 13:08 16K 
[ ]realset2__l24_realset22016-03-08 13:08 20K 
[ ]realset2__l25_realset22016-03-08 13:08 25K 
[ ]realset2__l26_realset22016-03-08 13:08 16K 
[ ]realset2__l27_realset22016-03-08 13:08 20K 
[ ]realset2__l28_realset22016-03-08 13:08 20K 
[ ]realset2__l29_realset22016-03-08 13:08 23K 
[ ]realset2__l30_realset22016-03-08 13:08 37K 
[ ]realset2__l31_realset22016-03-08 13:08 41K 
[ ]realset2__l32_realset22016-03-08 13:08 40K 
[ ]realset2__l33_realset22016-03-08 13:08 40K 
[ ]realset2__l34_realset22016-03-08 13:08 24K 
[ ]realset2__l35_realset22016-03-08 13:08 38K 
[ ]realset2__l36_realset22016-03-08 13:08 43K 
[ ]realset2__l39_realset22016-03-08 13:08 42K 
[ ]realset2__t1_realset22016-03-08 13:08 40K 
[ ]realset2__t2_realset22016-03-08 13:08 35K 
[ ]realset2__t3_realset22016-03-08 13:08 30K 
[ ]realset2__t4_realset22016-03-08 13:08 51K 
[ ]realset2__t5_realset22016-03-08 13:08 51K 
[ ]realset2__t6_realset22016-03-08 13:08 51K 
[ ]realset2__t7_realset22016-03-08 13:08 51K 
[ ]realset2__t8_realset22016-03-08 13:08 37K 
[ ]realset2__t9_realset22016-03-08 13:08 31K 
[ ]realset2__t10_realset22016-03-08 13:08 36K 
[ ]realset2__t11_realset22016-03-08 13:08 37K 
[ ]realset2__t12_realset22016-03-08 13:08 37K 
[ ]realset2__t13_realset22016-03-08 13:08 35K 
[ ]realset2__t14_realset22016-03-08 13:08 35K 
[ ]realset2__t15_realset22016-03-08 13:08 34K 
[ ]realset2__t16_realset22016-03-08 13:08 35K 
[ ]realset2__t17_realset22016-03-08 13:08 35K 
[ ]realset2__t18_realset22016-03-08 13:08 34K 
[ ]realset2__t19_realset22016-03-08 13:08 36K 
[ ]realset2__t20_realset22016-03-08 13:08 36K 
[ ]realset2__t21_realset22016-03-08 13:08 36K 
[ ]realset2__t22_realset22016-03-08 13:08 44K 
[ ]realset2__t23_realset22016-03-08 13:08 44K 
[ ]realset2__t24_realset22016-03-08 13:08 41K 
[ ]realset2__t25_realset22016-03-08 13:08 34K 
[ ]realset2__t26_realset22016-03-08 13:08 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80