Index of /~mptp/1147/MPTP2/problems_thf_isof_from.bad_dt_f/polynom5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]polynom5__e1_9_1_12017-01-05 21:20 114K 
[   ]polynom5__e1_29_1_12017-01-05 21:20 83K 
[   ]polynom5__e1_72_1_12017-01-05 21:20 97K 
[   ]polynom5__e1_82_1_12017-01-05 21:20 86K 
[   ]polynom5__e1_90_1_12017-01-05 21:20 93K 
[   ]polynom5__e1_932017-01-05 21:21 104K 
[   ]polynom5__e2_58_1_12017-01-05 21:20 122K 
[   ]polynom5__e3_52017-01-05 21:20 84K 
[   ]polynom5__e3_162017-01-05 21:20 118K 
[   ]polynom5__e3_252017-01-05 21:20 100K 
[   ]polynom5__e4_262017-01-05 21:20 104K 
[   ]polynom5__e4_442017-01-05 21:20 105K 
[   ]polynom5__e4_892017-01-05 21:20 111K 
[   ]polynom5__e5_282017-01-05 21:20 109K 
[   ]polynom5__e5_932017-01-05 21:21 123K 
[   ]polynom5__e6_912017-01-05 21:21 93K 
[   ]polynom5__e7_82017-01-05 21:20 110K 
[   ]polynom5__e7_932017-01-05 21:21 118K 
[   ]polynom5__e7_94_1_12017-01-05 21:21 110K 
[   ]polynom5__e8_61_1_12017-01-05 21:20 117K 
[   ]polynom5__e9_91_52017-01-05 21:21 119K 
[   ]polynom5__e10_62_2_1_1_12017-01-05 21:20 135K 
[   ]polynom5__e12_632017-01-05 21:20 120K 
[   ]polynom5__e12_94_1_12017-01-05 21:21 141K 
[   ]polynom5__e14_912017-01-05 21:21 115K 
[   ]polynom5__e17_5_12017-01-05 21:20 71K 
[   ]polynom5__e17_622017-01-05 21:20 124K 
[   ]polynom5__e22_912017-01-05 21:21 85K 
[   ]polynom5__e23_932017-01-05 21:21 110K 
[   ]polynom5__e37_932017-01-05 21:21 82K 
[   ]polynom5__e48_922017-01-05 21:21 127K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80