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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nagata_2__l8_nagata_22013-09-04 12:23 42K 
[   ]nagata_2__l23_nagata_22013-09-04 12:23 30K 
[   ]nagata_2__t1_nagata_22013-09-04 12:23 135K 
[   ]nagata_2__t2_nagata_22013-09-04 12:23 100K 
[   ]nagata_2__t3_nagata_22013-09-04 12:23 54K 
[   ]nagata_2__t4_nagata_22013-09-04 12:23 62K 
[   ]nagata_2__t5_nagata_22013-09-04 12:23 41K 
[   ]nagata_2__t6_nagata_22013-09-04 12:23 45K 
[   ]nagata_2__t7_nagata_22013-09-04 12:23 59K 
[   ]nagata_2__t8_nagata_22013-09-04 12:23 68K 
[   ]nagata_2__t9_nagata_22013-09-04 12:23 39K 
[   ]nagata_2__t10_nagata_22013-09-04 12:23 71K 
[   ]nagata_2__t11_nagata_22013-09-04 12:23 71K 
[   ]nagata_2__t12_nagata_22013-09-04 12:23 58K 
[   ]nagata_2__t13_nagata_22013-09-04 12:23 48K 
[   ]nagata_2__t14_nagata_22013-09-04 12:23 197K 
[   ]nagata_2__t15_nagata_22013-09-04 12:23 140K 
[   ]nagata_2__t16_nagata_22013-09-04 12:23 53K 
[   ]nagata_2__t17_nagata_22013-09-04 12:23 145K 
[   ]nagata_2__t18_nagata_22013-09-04 12:23 62K 
[   ]nagata_2__t19_nagata_22013-09-04 12:23 193K 
[   ]nagata_2__t20_nagata_22013-09-04 12:23 165K 
[   ]nagata_2__t21_nagata_22013-09-04 12:23 96K 
[   ]nagata_2__t22_nagata_22013-09-04 12:23 38K 

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