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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gfacirc2__e28_422017-01-12 23:25 98K 
[   ]gfacirc2__e8_422017-01-12 23:25 41K 
[   ]gfacirc2__e3_412017-01-12 23:25 47K 
[   ]gfacirc2__e12_402017-01-12 23:25 57K 
[   ]gfacirc2__e1_402017-01-12 23:25 41K 
[   ]gfacirc2__e5_382017-01-12 23:25 54K 
[   ]gfacirc2__e4_37_1_12017-01-12 23:25 43K 
[   ]gfacirc2__e4_362017-01-12 23:25 43K 
[   ]gfacirc2__e6_322017-01-12 23:25 44K 
[   ]gfacirc2__e17_292017-01-12 23:25 32K 
[   ]gfacirc2__e16_29_12017-01-12 23:25 72K 
[   ]gfacirc2__e29_252017-01-12 23:25 53K 
[   ]gfacirc2__e20_252017-01-12 23:25 55K 
[   ]gfacirc2__e16_252017-01-12 23:25 78K 
[   ]gfacirc2__e14_252017-01-12 23:25 73K 
[   ]gfacirc2__e16_24_1_22017-01-12 23:25 50K 
[   ]gfacirc2__e10_24_1_22017-01-12 23:25 37K 
[   ]gfacirc2__e15_24_1_12017-01-12 23:25 53K 
[   ]gfacirc2__e5_23_1_22017-01-12 23:25 87K 
[   ]gfacirc2__e2_23_1_12017-01-12 23:25 84K 
[   ]gfacirc2__e2_22_1_22017-01-12 23:25 56K 
[   ]gfacirc2__e2_22_1_12017-01-12 23:25 58K 
[   ]gfacirc2__e28_212017-01-12 23:25 98K 
[   ]gfacirc2__e8_212017-01-12 23:24 41K 
[   ]gfacirc2__e3_202017-01-12 23:24 47K 
[   ]gfacirc2__e12_192017-01-12 23:24 57K 
[   ]gfacirc2__e1_192017-01-12 23:24 41K 
[   ]gfacirc2__e5_172017-01-12 23:24 54K 
[   ]gfacirc2__e4_16_1_12017-01-12 23:24 43K 
[   ]gfacirc2__e4_152017-01-12 23:24 43K 
[   ]gfacirc2__e6_112017-01-12 23:24 44K 
[   ]gfacirc2__e17_82017-01-12 23:24 32K 
[   ]gfacirc2__e16_8_12017-01-12 23:24 72K 
[   ]gfacirc2__e29_42017-01-12 23:24 52K 
[   ]gfacirc2__e18_42017-01-12 23:24 54K 
[   ]gfacirc2__e16_42017-01-12 23:24 78K 
[   ]gfacirc2__e14_42017-01-12 23:24 72K 
[   ]gfacirc2__e16_3_1_22017-01-12 23:24 50K 
[   ]gfacirc2__e10_3_1_22017-01-12 23:24 37K 
[   ]gfacirc2__e11_3_1_12017-01-12 23:24 53K 
[   ]gfacirc2__e5_2_1_22017-01-12 23:24 87K 
[   ]gfacirc2__e2_2_1_12017-01-12 23:24 83K 
[   ]gfacirc2__e2_1_1_22017-01-12 23:24 56K 
[   ]gfacirc2__e2_1_1_12017-01-12 23:24 57K 

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