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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ntalgo_1__e2_32017-01-13 00:03 59K 
[   ]ntalgo_1__e3_322017-01-13 00:03 67K 
[   ]ntalgo_1__e3_362017-01-13 00:03 64K 
[   ]ntalgo_1__e4_72017-01-13 00:03 56K 
[   ]ntalgo_1__e4_10_12017-01-13 00:03 59K 
[   ]ntalgo_1__e4_112017-01-13 00:03 60K 
[   ]ntalgo_1__e4_152017-01-13 00:03 55K 
[   ]ntalgo_1__e4_202017-01-13 00:03 61K 
[   ]ntalgo_1__e4_25_1_1_1_22017-01-13 00:03 62K 
[   ]ntalgo_1__e5_42017-01-13 00:03 55K 
[   ]ntalgo_1__e5_8_22017-01-13 00:03 57K 
[   ]ntalgo_1__e5_122017-01-13 00:03 64K 
[   ]ntalgo_1__e6_19_22017-01-13 00:03 58K 
[   ]ntalgo_1__e6_292017-01-13 00:03 66K 
[   ]ntalgo_1__e6_302017-01-13 00:03 68K 
[   ]ntalgo_1__e6_312017-01-13 00:03 68K 
[   ]ntalgo_1__e7_112017-01-13 00:03 67K 
[   ]ntalgo_1__e8_25_1_2_1_22017-01-13 00:03 58K 
[   ]ntalgo_1__e8_342017-01-13 00:03 65K 
[   ]ntalgo_1__e12_25_1_1_1_22017-01-13 00:03 64K 
[   ]ntalgo_1__e15_25_1_2_1_22017-01-13 00:03 58K 
[   ]ntalgo_1__e17_25_1_1_1_22017-01-13 00:03 64K 
[   ]ntalgo_1__e38_25_1_1_1_22017-01-13 00:03 68K 

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