Index of /~mptp/1147/MPTP2/problems_small_consist/henmodel

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]henmodel__l11_henmodel2013-09-04 12:15 23K 
[   ]henmodel__t1_henmodel2013-09-04 12:15 25K 
[   ]henmodel__t2_henmodel2013-09-04 12:15 30K 
[   ]henmodel__t3_henmodel2013-09-04 12:15 26K 
[   ]henmodel__t4_henmodel2013-09-04 12:15 25K 
[   ]henmodel__t5_henmodel2013-09-04 12:15 25K 
[   ]henmodel__t6_henmodel2013-09-04 12:15 28K 
[   ]henmodel__t7_henmodel2013-09-04 12:15 27K 
[   ]henmodel__t8_henmodel2013-09-04 12:15 68K 
[   ]henmodel__t9_henmodel2013-09-04 12:15 73K 
[   ]henmodel__t10_henmodel2013-09-04 12:15 73K 
[   ]henmodel__t11_henmodel2013-09-04 12:15 35K 
[   ]henmodel__t12_henmodel2013-09-04 12:15 31K 
[   ]henmodel__t13_henmodel2013-09-04 12:15 22K 
[   ]henmodel__t14_henmodel2013-09-04 12:15 31K 
[   ]henmodel__t15_henmodel2013-09-04 12:15 56K 
[   ]henmodel__t16_henmodel2013-09-04 12:15 29K 
[   ]henmodel__t17_henmodel2013-09-04 12:15 32K 

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