Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from/valued_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_2__e1_20_1_12017-01-13 00:01 54K 
[ ]valued_2__e1_21_1_12017-01-13 00:01 56K 
[ ]valued_2__e1_22_1_12017-01-13 00:01 54K 
[ ]valued_2__e1_23_1_12017-01-13 00:01 55K 
[ ]valued_2__e1_24_1_12017-01-13 00:01 53K 
[ ]valued_2__e1_25_1_12017-01-13 00:01 55K 
[ ]valued_2__e1_26_1_12017-01-13 00:01 53K 
[ ]valued_2__e1_27_1_12017-01-13 00:01 55K 
[ ]valued_2__e1_28_1_12017-01-13 00:01 53K 
[ ]valued_2__e1_29_1_12017-01-13 00:01 55K 
[ ]valued_2__e1_30_1_12017-01-13 00:01 53K 
[ ]valued_2__e1_31_1_12017-01-13 00:01 55K 
[ ]valued_2__e1_128_1_12017-01-13 00:01 4.6K 
[ ]valued_2__e1_137_1_12017-01-13 00:01 4.2K 
[ ]valued_2__e1_143_1_12017-01-13 00:01 6.2K 
[ ]valued_2__e1_150_1_12017-01-13 00:01 6.2K 
[ ]valued_2__e1_167_1_12017-01-13 00:01 6.2K 
[ ]valued_2__e1_181_1_12017-01-13 00:01 7.8K 
[ ]valued_2__e1_200_1_12017-01-13 00:01 7.8K 
[ ]valued_2__e1_216_1_12017-01-13 00:01 8.8K 
[ ]valued_2__e1_225_1_12017-01-13 00:01 8.3K 
[ ]valued_2__e1_236_1_12017-01-13 00:01 8.8K 
[ ]valued_2__e1_250_1_12017-01-13 00:01 8.3K 
[ ]valued_2__e2_136_1_12017-01-13 00:01 15K 
[ ]valued_2__e5_20_1_22017-01-13 00:01 55K 
[ ]valued_2__e5_21_1_22017-01-13 00:01 56K 
[ ]valued_2__e5_22_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_23_1_22017-01-13 00:01 55K 
[ ]valued_2__e5_24_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_25_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_26_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_27_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_28_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_29_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_30_1_22017-01-13 00:01 54K 
[ ]valued_2__e5_31_1_22017-01-13 00:01 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80