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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]twoscomp__t1_twoscomp2016-03-08 13:10 35K 
[ ]twoscomp__t2_twoscomp2016-03-08 13:10 39K 
[ ]twoscomp__t3_twoscomp2016-03-08 13:10 40K 
[ ]twoscomp__t4_twoscomp2016-03-08 13:10 40K 
[ ]twoscomp__t5_twoscomp2016-03-08 13:10 106K 
[ ]twoscomp__t6_twoscomp2016-03-08 13:10 55K 
[ ]twoscomp__t7_twoscomp2016-03-08 13:10 44K 
[ ]twoscomp__t8_twoscomp2016-03-08 13:10 105K 
[ ]twoscomp__t9_twoscomp2016-03-08 13:10 42K 
[ ]twoscomp__t10_twoscomp2016-03-08 13:10 43K 
[ ]twoscomp__t11_twoscomp2016-03-08 13:10 43K 
[ ]twoscomp__t12_twoscomp2016-03-08 13:10 42K 
[ ]twoscomp__t13_twoscomp2016-03-08 13:10 105K 
[ ]twoscomp__t14_twoscomp2016-03-08 13:10 49K 
[ ]twoscomp__t15_twoscomp2016-03-08 13:10 50K 
[ ]twoscomp__t16_twoscomp2016-03-08 13:10 111K 
[ ]twoscomp__t17_twoscomp2016-03-08 13:10 55K 
[ ]twoscomp__t18_twoscomp2016-03-08 13:10 29K 
[ ]twoscomp__t19_twoscomp2016-03-08 13:10 38K 
[ ]twoscomp__t20_twoscomp2016-03-08 13:10 38K 
[ ]twoscomp__t21_twoscomp2016-03-08 13:10 47K 
[ ]twoscomp__t22_twoscomp2016-03-08 13:10 104K 
[ ]twoscomp__t23_twoscomp2016-03-08 13:10 48K 
[ ]twoscomp__t24_twoscomp2016-03-08 13:10 105K 
[ ]twoscomp__t25_twoscomp2016-03-08 13:10 105K 
[ ]twoscomp__t26_twoscomp2016-03-08 13:10 106K 
[ ]twoscomp__t27_twoscomp2016-03-08 13:10 35K 
[ ]twoscomp__t28_twoscomp2016-03-08 13:10 33K 
[ ]twoscomp__t29_twoscomp2016-03-08 13:10 31K 
[ ]twoscomp__t30_twoscomp2016-03-08 13:10 30K 
[ ]twoscomp__t31_twoscomp2016-03-08 13:10 35K 
[ ]twoscomp__t32_twoscomp2016-03-08 13:10 33K 
[ ]twoscomp__t33_twoscomp2016-03-08 13:10 31K 
[ ]twoscomp__t34_twoscomp2016-03-08 13:10 30K 
[ ]twoscomp__t35_twoscomp2016-03-08 13:10 34K 
[ ]twoscomp__t36_twoscomp2016-03-08 13:10 35K 
[ ]twoscomp__t37_twoscomp2016-03-08 13:10 39K 
[ ]twoscomp__t38_twoscomp2016-03-08 13:10 39K 
[ ]twoscomp__t39_twoscomp2016-03-08 13:10 36K 
[ ]twoscomp__t40_twoscomp2016-03-08 13:10 37K 
[ ]twoscomp__t41_twoscomp2016-03-08 13:10 35K 
[ ]twoscomp__t42_twoscomp2016-03-08 13:10 35K 
[ ]twoscomp__t43_twoscomp2016-03-08 13:10 54K 
[ ]twoscomp__t44_twoscomp2016-03-08 13:10 73K 
[ ]twoscomp__t45_twoscomp2016-03-08 13:10 61K 
[ ]twoscomp__t46_twoscomp2016-03-08 13:10 80K 
[ ]twoscomp__t47_twoscomp2016-03-08 13:10 54K 
[ ]twoscomp__t48_twoscomp2016-03-08 13:10 63K 
[ ]twoscomp__t49_twoscomp2016-03-08 13:10 62K 
[ ]twoscomp__t50_twoscomp2016-03-08 13:10 71K 
[ ]twoscomp__t51_twoscomp2016-03-08 13:10 53K 
[ ]twoscomp__t52_twoscomp2016-03-08 13:10 82K 
[ ]twoscomp__t53_twoscomp2016-03-08 13:10 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80