Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/pre_poly

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__e1_6_1_12017-01-12 23:18 58K 
[ ]pre_poly__e1_23_1_1_1_2_12017-01-12 23:18 48K 
[ ]pre_poly__e1_23_1_1_1_2_62017-01-12 23:18 48K 
[ ]pre_poly__e1_80_1_12017-01-12 23:18 43K 
[ ]pre_poly__e1_86_1_12017-01-12 23:18 43K 
[ ]pre_poly__e1_114_1_12017-01-12 23:18 41K 
[ ]pre_poly__e1_130_1_12017-01-12 23:18 50K 
[ ]pre_poly__e1_136_1_12017-01-12 23:18 53K 
[ ]pre_poly__e2_20_1_12017-01-12 23:18 37K 
[ ]pre_poly__e2_33_1_12017-01-12 23:18 51K 
[ ]pre_poly__e2_142_1_32017-01-12 23:18 56K 
[ ]pre_poly__e2_150_1_12017-01-12 23:18 69K 
[ ]pre_poly__e3_23_1_1_1_2_62017-01-12 23:18 48K 
[ ]pre_poly__e3_712017-01-12 23:18 65K 
[ ]pre_poly__e3_732017-01-12 23:18 75K 
[ ]pre_poly__e3_742017-01-12 23:18 76K 
[ ]pre_poly__e4_1422017-01-12 23:18 72K 
[ ]pre_poly__e5_13_12017-01-12 23:18 38K 
[ ]pre_poly__e6_23_1_1_1_22017-01-12 23:18 53K 
[ ]pre_poly__e6_23_1_1_1_2_52017-01-12 23:18 48K 
[ ]pre_poly__e7_23_1_1_1_2_42017-01-12 23:18 48K 
[ ]pre_poly__e7_1072017-01-12 23:18 44K 
[ ]pre_poly__e7_112_12017-01-12 23:18 45K 
[ ]pre_poly__e8_23_1_1_1_2_52017-01-12 23:18 48K 
[ ]pre_poly__e9_23_1_2_1_22017-01-12 23:18 82K 
[ ]pre_poly__e10_23_1_2_1_2_12017-01-12 23:18 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80