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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan14__t1_jordan142013-09-04 12:04 34K 
[   ]jordan14__t2_jordan142013-09-04 12:04 35K 
[   ]jordan14__t3_jordan142013-09-04 12:04 49K 
[   ]jordan14__t4_jordan142013-09-04 12:04 39K 
[   ]jordan14__t5_jordan142013-09-04 12:04 33K 
[   ]jordan14__t6_jordan142013-09-04 12:04 40K 
[   ]jordan14__t7_jordan142013-09-04 12:04 129K 
[   ]jordan14__t8_jordan142013-09-04 12:04 46K 
[   ]jordan14__t9_jordan142013-09-04 12:04 47K 
[   ]jordan14__t10_jordan142013-09-04 12:04 43K 
[   ]jordan14__t11_jordan142013-09-04 12:04 35K 
[   ]jordan14__t12_jordan142013-09-04 12:04 34K 
[   ]jordan14__t13_jordan142013-09-04 12:04 53K 
[   ]jordan14__t14_jordan142013-09-04 12:04 42K 
[   ]jordan14__t15_jordan142013-09-04 12:04 34K 
[   ]jordan14__t16_jordan142013-09-04 12:04 34K 
[   ]jordan14__t17_jordan142013-09-04 12:04 34K 
[   ]jordan14__t18_jordan142013-09-04 12:04 34K 
[   ]jordan14__t19_jordan142013-09-04 12:04 35K 
[   ]jordan14__t20_jordan142013-09-04 12:04 35K 
[   ]jordan14__t21_jordan142013-09-04 12:04 38K 
[   ]jordan14__t22_jordan142013-09-04 12:04 73K 
[   ]jordan14__t23_jordan142013-09-04 12:04 153K 
[   ]jordan14__t24_jordan142013-09-04 12:04 73K 
[   ]jordan14__t25_jordan142013-09-04 12:04 153K 
[   ]jordan14__t26_jordan142013-09-04 12:04 42K 
[   ]jordan14__t27_jordan142013-09-04 12:04 132K 
[   ]jordan14__t28_jordan142013-09-04 12:04 203K 
[   ]jordan14__t29_jordan142013-09-04 12:04 43K 
[   ]jordan14__t30_jordan142013-09-04 12:04 181K 
[   ]jordan14__t31_jordan142013-09-04 12:04 193K 
[   ]jordan14__t32_jordan142013-09-04 12:04 220K 
[   ]jordan14__t33_jordan142013-09-04 12:04 34K 
[   ]jordan14__t34_jordan142013-09-04 12:04 124K 
[   ]jordan14__t35_jordan142013-09-04 12:04 44K 
[   ]jordan14__t36_jordan142013-09-04 12:04 36K 

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