Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/mfold_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mfold_2__l16_mfold_22017-01-05 20:54 89K 
[ ]mfold_2__l17_mfold_22017-01-05 20:54 98K 
[ ]mfold_2__l34_mfold_22017-01-05 20:54 233K 
[ ]mfold_2__t1_mfold_22016-03-08 13:07 39K 
[ ]mfold_2__t2_mfold_22016-03-08 13:07 38K 
[ ]mfold_2__t3_mfold_22016-03-08 13:07 66K 
[ ]mfold_2__t4_mfold_22016-03-08 13:07 96K 
[ ]mfold_2__t5_mfold_22016-03-08 13:07 78K 
[ ]mfold_2__t6_mfold_22016-03-08 13:07 54K 
[ ]mfold_2__t7_mfold_22016-03-08 13:07 72K 
[ ]mfold_2__t8_mfold_22016-03-08 13:07 76K 
[ ]mfold_2__t9_mfold_22016-03-08 13:07 35K 
[ ]mfold_2__t10_mfold_22016-03-08 13:07 72K 
[ ]mfold_2__t11_mfold_22016-03-08 13:07 95K 
[ ]mfold_2__t12_mfold_22016-03-08 13:07 44K 
[ ]mfold_2__t13_mfold_22016-03-08 13:07 67K 
[ ]mfold_2__t14_mfold_22017-01-05 20:54 132K 
[ ]mfold_2__t15_mfold_22016-03-08 13:07 58K 
[ ]mfold_2__t16_mfold_22017-01-05 20:54 95K 
[ ]mfold_2__t17_mfold_22017-01-05 20:54 89K 
[ ]mfold_2__t18_mfold_22017-01-05 20:54 132K 
[ ]mfold_2__t19_mfold_22017-01-05 20:54 134K 
[ ]mfold_2__t20_mfold_22017-01-05 20:54 99K 
[ ]mfold_2__t21_mfold_22017-01-05 20:54 91K 
[ ]mfold_2__t22_mfold_22017-01-05 20:54 95K 
[ ]mfold_2__t23_mfold_22017-01-05 20:54 99K 
[ ]mfold_2__t24_mfold_22017-01-05 20:54 97K 
[ ]mfold_2__t25_mfold_22017-01-05 20:54 108K 
[ ]mfold_2__t26_mfold_22017-01-05 20:54 160K 
[ ]mfold_2__t27_mfold_22017-01-05 20:54 123K 
[ ]mfold_2__t28_mfold_22017-01-05 20:54 143K 
[ ]mfold_2__t29_mfold_22017-01-05 20:54 119K 
[ ]mfold_2__t30_mfold_22017-01-05 20:54 93K 
[ ]mfold_2__t31_mfold_22017-01-05 20:54 467K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80