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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]instalg1__l41_instalg12013-09-04 12:04 39K 
[   ]instalg1__t1_instalg12013-09-04 12:04 48K 
[   ]instalg1__t2_instalg12013-09-04 12:04 32K 
[   ]instalg1__t3_instalg12013-09-04 12:04 51K 
[   ]instalg1__t4_instalg12013-09-04 12:04 30K 
[   ]instalg1__t5_instalg12013-09-04 12:04 35K 
[   ]instalg1__t6_instalg12013-09-04 12:04 36K 
[   ]instalg1__t7_instalg12013-09-04 12:04 17K 
[   ]instalg1__t8_instalg12013-09-04 12:04 21K 
[   ]instalg1__t9_instalg12013-09-04 12:04 23K 
[   ]instalg1__t10_instalg12013-09-04 12:04 24K 
[   ]instalg1__t11_instalg12013-09-04 12:04 30K 
[   ]instalg1__t12_instalg12013-09-04 12:04 21K 
[   ]instalg1__t13_instalg12013-09-04 12:04 31K 
[   ]instalg1__t14_instalg12013-09-04 12:04 19K 
[   ]instalg1__t15_instalg12013-09-04 12:04 4.4K 
[   ]instalg1__t16_instalg12013-09-04 12:04 7.3K 
[   ]instalg1__t17_instalg12013-09-04 12:04 18K 
[   ]instalg1__t18_instalg12013-09-04 12:04 7.2K 
[   ]instalg1__t19_instalg12013-09-04 12:04 25K 
[   ]instalg1__t20_instalg12013-09-04 12:04 29K 
[   ]instalg1__t21_instalg12013-09-04 12:04 28K 
[   ]instalg1__t22_instalg12013-09-04 12:04 28K 
[   ]instalg1__t23_instalg12013-09-04 12:04 33K 
[   ]instalg1__t24_instalg12013-09-04 12:04 37K 
[   ]instalg1__t25_instalg12013-09-04 12:04 31K 
[   ]instalg1__t26_instalg12013-09-04 12:04 29K 
[   ]instalg1__t27_instalg12013-09-04 12:04 29K 
[   ]instalg1__t28_instalg12013-09-04 12:04 32K 
[   ]instalg1__t29_instalg12013-09-04 12:04 32K 
[   ]instalg1__t30_instalg12013-09-04 12:04 33K 
[   ]instalg1__t31_instalg12013-09-04 12:04 35K 
[   ]instalg1__t32_instalg12013-09-04 12:04 32K 
[   ]instalg1__t33_instalg12013-09-04 12:04 40K 
[   ]instalg1__t34_instalg12013-09-04 12:04 43K 
[   ]instalg1__t35_instalg12013-09-04 12:04 34K 
[   ]instalg1__t36_instalg12013-09-04 12:04 46K 
[   ]instalg1__t37_instalg12013-09-04 12:04 32K 
[   ]instalg1__t38_instalg12013-09-04 12:04 32K 
[   ]instalg1__t39_instalg12013-09-04 12:04 22K 
[   ]instalg1__t40_instalg12013-09-04 12:04 43K 
[   ]instalg1__t41_instalg12013-09-04 12:04 63K 
[   ]instalg1__t42_instalg12013-09-04 12:04 80K 
[   ]instalg1__t43_instalg12013-09-04 12:04 50K 
[   ]instalg1__t44_instalg12013-09-04 12:04 53K 

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