Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/pua2mss1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pua2mss1__e1_31_12017-01-12 23:15 36K 
[   ]pua2mss1__e1_34_1_12017-01-12 23:15 52K 
[   ]pua2mss1__e1_34_1_22017-01-12 23:15 54K 
[   ]pua2mss1__e1_36_1_12017-01-12 23:15 54K 
[   ]pua2mss1__e1_36_1_22017-01-12 23:15 57K 
[   ]pua2mss1__e1_37_1_12017-01-12 23:15 40K 
[   ]pua2mss1__e1_37_1_22017-01-12 23:15 43K 
[   ]pua2mss1__e1_44_1_12017-01-12 23:15 39K 
[   ]pua2mss1__e1_44_1_22017-01-12 23:15 41K 
[   ]pua2mss1__e3_132017-01-12 23:15 39K 
[   ]pua2mss1__e3_152017-01-12 23:15 2.5K 
[   ]pua2mss1__e3_402017-01-12 23:15 40K 
[   ]pua2mss1__e3_50_12017-01-12 23:15 30K 
[   ]pua2mss1__e3_64_1_12017-01-12 23:15 57K 
[   ]pua2mss1__e3_692017-01-12 23:15 66K 
[   ]pua2mss1__e4_432017-01-12 23:15 43K 
[   ]pua2mss1__e5_692017-01-12 23:15 53K 
[   ]pua2mss1__e7_31_12017-01-12 23:15 34K 
[   ]pua2mss1__e7_64_1_12017-01-12 23:15 59K 
[   ]pua2mss1__e8_62017-01-12 23:15 2.5K 
[   ]pua2mss1__e11_33_12017-01-12 23:15 35K 
[   ]pua2mss1__e11_572017-01-12 23:15 42K 
[   ]pua2mss1__e14_712017-01-12 23:15 34K 
[   ]pua2mss1__e17_51_1_1_1_12017-01-12 23:15 64K 
[   ]pua2mss1__e18_512017-01-12 23:15 60K 
[   ]pua2mss1__e22_712017-01-12 23:15 61K 

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