Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/waybel12

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]waybel12__e3_12017-01-12 23:21 40K 
[ ]waybel12__e3_44_42017-01-12 23:21 46K 
[ ]waybel12__e5_342017-01-12 23:21 37K 
[ ]waybel12__e5_352017-01-12 23:21 37K 
[ ]waybel12__e5_60_1_12017-01-12 23:21 38K 
[ ]waybel12__e7_402017-01-12 23:21 40K 
[ ]waybel12__e11_442017-01-12 23:21 40K 
[ ]waybel12__e18_442017-01-12 23:21 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80