Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from1/comput_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comput_1__e1_63_1_12017-01-13 18:22 123K 
[ ]comput_1__e1_130_1_12017-01-13 18:22 124K 
[ ]comput_1__e2_95_1_12017-01-13 18:22 124K 
[ ]comput_1__e3_75_12017-01-13 18:22 114K 
[ ]comput_1__e3_91_1_2_42017-01-13 18:22 114K 
[ ]comput_1__e3_91_1_2_72017-01-13 18:22 114K 
[ ]comput_1__e3_99_32017-01-13 18:22 113K 
[ ]comput_1__e3_100_22017-01-13 18:22 131K 
[ ]comput_1__e3_102_12017-01-13 18:22 132K 
[ ]comput_1__e3_103_12017-01-13 18:22 134K 
[ ]comput_1__e3_1312017-01-13 18:22 115K 
[ ]comput_1__e3_132_2_1_22017-01-13 18:22 119K 
[ ]comput_1__e3_1332017-01-13 18:22 117K 
[ ]comput_1__e3_1342017-01-13 18:22 119K 
[ ]comput_1__e3_1702017-01-13 18:22 157K 
[ ]comput_1__e4_91_1_2_22017-01-13 18:22 113K 
[ ]comput_1__e4_113_12017-01-13 18:22 123K 
[ ]comput_1__e5_1592017-01-13 18:22 124K 
[ ]comput_1__e5_1612017-01-13 18:22 127K 
[ ]comput_1__e5_1722017-01-13 18:22 125K 
[ ]comput_1__e6_1152017-01-13 18:22 93K 
[ ]comput_1__e7_1702017-01-13 18:22 162K 
[ ]comput_1__e8_108_12017-01-13 18:22 138K 
[ ]comput_1__e8_114_1_2_12017-01-13 18:22 120K 
[ ]comput_1__e8_1152017-01-13 18:22 93K 
[ ]comput_1__e8_1762017-01-13 18:22 126K 
[ ]comput_1__e9_892017-01-13 18:22 125K 
[ ]comput_1__e9_902017-01-13 18:22 113K 
[ ]comput_1__e9_92_1_12017-01-13 18:22 121K 
[ ]comput_1__e9_932017-01-13 18:22 113K 
[ ]comput_1__e9_130_1_22017-01-13 18:22 129K 
[ ]comput_1__e10_1742017-01-13 18:22 122K 
[ ]comput_1__e14_88_1_22017-01-13 18:22 113K 
[ ]comput_1__e15_1702017-01-13 18:22 122K 
[ ]comput_1__e16_88_1_12017-01-13 18:22 153K 
[ ]comput_1__e16_91_1_22017-01-13 18:22 126K 
[ ]comput_1__e17_942017-01-13 18:22 130K 
[ ]comput_1__e20_91_1_22017-01-13 18:22 126K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80