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

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