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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_4__l1_ami_42016-03-08 13:04 39K 
[ ]ami_4__l2_ami_42016-03-08 13:04 39K 
[ ]ami_4__l5_ami_42016-03-08 13:04 67K 
[ ]ami_4__l11_ami_42016-03-08 13:04 90K 
[ ]ami_4__l12_ami_42016-03-08 13:04 85K 
[ ]ami_4__l13_ami_42016-03-08 13:04 112K 
[ ]ami_4__t1_ami_42016-03-08 13:04 62K 
[ ]ami_4__t2_ami_42016-03-08 13:04 75K 
[ ]ami_4__t3_ami_42016-03-08 13:04 74K 
[ ]ami_4__t4_ami_42016-03-08 13:04 73K 
[ ]ami_4__t5_ami_42016-03-08 13:04 77K 
[ ]ami_4__t6_ami_42016-03-08 13:04 72K 
[ ]ami_4__t7_ami_42016-03-08 13:04 115K 
[ ]ami_4__t8_ami_42017-01-05 20:54 66K 
[ ]ami_4__t9_ami_42017-01-05 20:54 65K 
[ ]ami_4__t10_ami_42017-01-05 20:54 148K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80