Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/lopban_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lopban_2__l19_lopban_22013-09-04 12:32 66K 
[   ]lopban_2__l23_lopban_22013-09-04 12:32 65K 
[   ]lopban_2__l29_lopban_22013-09-04 12:32 66K 
[   ]lopban_2__t1_lopban_22013-09-04 12:32 34K 
[   ]lopban_2__t2_lopban_22013-09-04 12:32 74K 
[   ]lopban_2__t3_lopban_22013-09-04 12:32 38K 
[   ]lopban_2__t4_lopban_22013-09-04 12:32 33K 
[   ]lopban_2__t5_lopban_22013-09-04 12:32 35K 
[   ]lopban_2__t6_lopban_22013-09-04 12:32 40K 
[   ]lopban_2__t7_lopban_22013-09-04 12:32 55K 
[   ]lopban_2__t8_lopban_22013-09-04 12:32 62K 
[   ]lopban_2__t9_lopban_22013-09-04 12:32 69K 
[   ]lopban_2__t10_lopban_22013-09-04 12:32 69K 
[   ]lopban_2__t11_lopban_22013-09-04 12:32 71K 
[   ]lopban_2__t12_lopban_22013-09-04 12:32 57K 
[   ]lopban_2__t13_lopban_22013-09-04 12:32 72K 
[   ]lopban_2__t14_lopban_22013-09-04 12:32 59K 
[   ]lopban_2__t15_lopban_22013-09-04 12:32 80K 
[   ]lopban_2__t16_lopban_22013-09-04 12:32 54K 
[   ]lopban_2__t17_lopban_22013-09-04 12:32 41K 
[   ]lopban_2__t18_lopban_22013-09-04 12:32 63K 
[   ]lopban_2__t19_lopban_22013-09-04 12:32 82K 
[   ]lopban_2__t20_lopban_22013-09-04 12:32 79K 
[   ]lopban_2__t21_lopban_22013-09-04 12:32 55K 
[   ]lopban_2__t22_lopban_22013-09-04 12:32 54K 
[   ]lopban_2__t23_lopban_22013-09-04 12:32 58K 

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