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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pua2mss1__e1_31_12017-01-05 21:14 57K 
[   ]pua2mss1__e1_34_1_12017-01-05 21:14 81K 
[   ]pua2mss1__e1_34_1_22017-01-05 21:14 85K 
[   ]pua2mss1__e1_36_1_12017-01-05 21:14 86K 
[   ]pua2mss1__e1_36_1_22017-01-05 21:14 89K 
[   ]pua2mss1__e1_37_1_12017-01-05 21:14 64K 
[   ]pua2mss1__e1_37_1_22017-01-05 21:14 67K 
[   ]pua2mss1__e1_44_1_12017-01-05 21:14 62K 
[   ]pua2mss1__e1_44_1_22017-01-05 21:14 65K 
[   ]pua2mss1__e3_132017-01-05 21:14 63K 
[   ]pua2mss1__e3_152017-01-05 21:14 2.7K 
[   ]pua2mss1__e3_402017-01-05 21:14 63K 
[   ]pua2mss1__e3_50_12017-01-05 21:14 48K 
[   ]pua2mss1__e3_64_1_12017-01-05 21:14 90K 
[   ]pua2mss1__e3_692017-01-05 21:14 104K 
[   ]pua2mss1__e4_432017-01-05 21:14 67K 
[   ]pua2mss1__e5_692017-01-05 21:14 84K 
[   ]pua2mss1__e7_31_12017-01-05 21:14 55K 
[   ]pua2mss1__e7_64_1_12017-01-05 21:14 92K 
[   ]pua2mss1__e8_62017-01-05 21:14 3.1K 
[   ]pua2mss1__e11_33_12017-01-05 21:14 55K 
[   ]pua2mss1__e11_572017-01-05 21:14 66K 
[   ]pua2mss1__e14_712017-01-05 21:14 53K 
[   ]pua2mss1__e17_51_1_1_1_12017-01-05 21:14 99K 
[   ]pua2mss1__e18_512017-01-05 21:14 94K 
[   ]pua2mss1__e22_712017-01-05 21:14 96K 

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