Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/comput_1

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