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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zfmodel2__l11_zfmodel22016-03-08 13:11 18K 
[ ]zfmodel2__l12_zfmodel22016-03-08 13:11 18K 
[ ]zfmodel2__l13_zfmodel22016-03-08 13:11 18K 
[ ]zfmodel2__t1_zfmodel22016-03-08 13:11 41K 
[ ]zfmodel2__t2_zfmodel22016-03-08 13:11 44K 
[ ]zfmodel2__t3_zfmodel22016-03-08 13:11 48K 
[ ]zfmodel2__t4_zfmodel22016-03-08 13:11 33K 
[ ]zfmodel2__t5_zfmodel22016-03-08 13:11 33K 
[ ]zfmodel2__t6_zfmodel22016-03-08 13:11 27K 
[ ]zfmodel2__t7_zfmodel22016-03-08 13:11 29K 
[ ]zfmodel2__t8_zfmodel22016-03-08 13:11 28K 
[ ]zfmodel2__t9_zfmodel22016-03-08 13:11 32K 
[ ]zfmodel2__t10_zfmodel22016-03-08 13:11 35K 
[ ]zfmodel2__t11_zfmodel22016-03-08 13:11 40K 
[ ]zfmodel2__t12_zfmodel22016-03-08 13:11 50K 
[ ]zfmodel2__t13_zfmodel22016-03-08 13:11 34K 
[ ]zfmodel2__t14_zfmodel22016-03-08 13:11 54K 
[ ]zfmodel2__t15_zfmodel22016-03-08 13:11 33K 
[ ]zfmodel2__t16_zfmodel22016-03-08 13:11 75K 
[ ]zfmodel2__t17_zfmodel22016-03-08 13:11 41K 
[ ]zfmodel2__t18_zfmodel22016-03-08 13:11 65K 
[ ]zfmodel2__t19_zfmodel22016-03-08 13:11 36K 
[ ]zfmodel2__t20_zfmodel22016-03-08 13:11 55K 
[ ]zfmodel2__t21_zfmodel22016-03-08 13:11 330K 
[ ]zfmodel2__t22_zfmodel22016-03-08 13:11 51K 
[ ]zfmodel2__t23_zfmodel22016-03-08 13:11 43K 
[ ]zfmodel2__t24_zfmodel22016-03-08 13:11 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80