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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_2__e1_20_1_12017-01-12 23:23 34K 
[ ]valued_2__e1_21_1_12017-01-12 23:23 35K 
[ ]valued_2__e1_22_1_12017-01-12 23:23 34K 
[ ]valued_2__e1_23_1_12017-01-12 23:23 35K 
[ ]valued_2__e1_24_1_12017-01-12 23:23 33K 
[ ]valued_2__e1_25_1_12017-01-12 23:23 35K 
[ ]valued_2__e1_26_1_12017-01-12 23:23 33K 
[ ]valued_2__e1_27_1_12017-01-12 23:23 35K 
[ ]valued_2__e1_28_1_12017-01-12 23:23 33K 
[ ]valued_2__e1_29_1_12017-01-12 23:23 35K 
[ ]valued_2__e1_30_1_12017-01-12 23:23 33K 
[ ]valued_2__e1_31_1_12017-01-12 23:23 35K 
[ ]valued_2__e1_128_1_12017-01-12 23:23 3.3K 
[ ]valued_2__e1_137_1_12017-01-12 23:23 3.0K 
[ ]valued_2__e1_143_1_12017-01-12 23:23 4.3K 
[ ]valued_2__e1_150_1_12017-01-12 23:23 4.3K 
[ ]valued_2__e1_167_1_12017-01-12 23:23 4.3K 
[ ]valued_2__e1_181_1_12017-01-12 23:23 5.5K 
[ ]valued_2__e1_200_1_12017-01-12 23:23 5.5K 
[ ]valued_2__e1_216_1_12017-01-12 23:23 6.1K 
[ ]valued_2__e1_225_1_12017-01-12 23:23 5.8K 
[ ]valued_2__e1_236_1_12017-01-12 23:23 6.1K 
[ ]valued_2__e1_250_1_12017-01-12 23:23 5.8K 
[ ]valued_2__e2_136_1_12017-01-12 23:23 10K 
[ ]valued_2__e5_20_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_21_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_22_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_23_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_24_1_22017-01-12 23:23 34K 
[ ]valued_2__e5_25_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_26_1_22017-01-12 23:23 34K 
[ ]valued_2__e5_27_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_28_1_22017-01-12 23:23 34K 
[ ]valued_2__e5_29_1_22017-01-12 23:23 35K 
[ ]valued_2__e5_30_1_22017-01-12 23:23 34K 
[ ]valued_2__e5_31_1_22017-01-12 23:23 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80