Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from/recdef_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]recdef_2__e1_13_12017-01-12 23:58 860  
[   ]recdef_2__e1_14_12017-01-12 23:58 860  
[   ]recdef_2__e1_16_12017-01-12 23:58 22K 
[   ]recdef_2__e1_17_12017-01-12 23:58 22K 
[   ]recdef_2__e1_20_12017-01-12 23:58 24K 
[   ]recdef_2__e1_21_12017-01-12 23:58 22K 
[   ]recdef_2__e2_15_12017-01-12 23:58 28K 
[   ]recdef_2__e3_13_12017-01-12 23:58 860  
[   ]recdef_2__e3_14_12017-01-12 23:58 860  
[   ]recdef_2__e3_19_12017-01-12 23:58 30K 
[   ]recdef_2__e3_23_12017-01-12 23:58 32K 
[   ]recdef_2__e3_25_12017-01-12 23:58 33K 
[   ]recdef_2__e4_18_12017-01-12 23:58 5.8K 
[   ]recdef_2__e4_22_12017-01-12 23:58 5.8K 
[   ]recdef_2__e4_24_12017-01-12 23:58 5.8K 
[   ]recdef_2__e5_13_12017-01-12 23:58 1.6K 
[   ]recdef_2__e5_14_12017-01-12 23:58 1.6K 
[   ]recdef_2__e5_16_12017-01-12 23:58 18K 
[   ]recdef_2__e7_20_12017-01-12 23:58 21K 
[   ]recdef_2__e8_13_12017-01-12 23:58 860  
[   ]recdef_2__e8_14_12017-01-12 23:58 860  
[   ]recdef_2__e8_16_12017-01-12 23:58 13K 
[   ]recdef_2__e10_13_12017-01-12 23:58 1.6K 
[   ]recdef_2__e10_14_12017-01-12 23:58 1.6K 
[   ]recdef_2__e13_13_12017-01-12 23:58 1.6K 
[   ]recdef_2__e13_14_12017-01-12 23:58 863  
[   ]recdef_2__e15_14_12017-01-12 23:58 1.6K 
[   ]recdef_2__e18_14_12017-01-12 23:58 1.6K 
[   ]recdef_2__e20_20_12017-01-12 23:58 13K 
[   ]recdef_2__e24_16_12017-01-12 23:58 25K 
[   ]recdef_2__e32_20_12017-01-12 23:58 28K 

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