Index of /~mptp/1147/MPTP2/problems_thf_tl.bad_dt_f/triang_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]triang_1__t1_triang_12016-03-08 13:10 44K 
[ ]triang_1__t2_triang_12016-03-08 13:10 52K 
[ ]triang_1__t3_triang_12017-01-05 20:54 64K 
[ ]triang_1__t4_triang_12017-01-05 20:54 63K 
[ ]triang_1__t5_triang_12017-01-05 20:54 56K 
[ ]triang_1__t6_triang_12017-01-05 20:54 65K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80