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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binari_3__l29_binari_32013-09-04 12:32 54K 
[   ]binari_3__l30_binari_32013-09-04 12:32 33K 
[   ]binari_3__l31_binari_32013-09-04 12:32 49K 
[   ]binari_3__l32_binari_32013-09-04 12:32 94K 
[   ]binari_3__t1_binari_32013-09-04 12:32 37K 
[   ]binari_3__t2_binari_32013-09-04 12:32 41K 
[   ]binari_3__t3_binari_32013-09-04 12:32 7.0K 
[   ]binari_3__t4_binari_32013-09-04 12:32 17K 
[   ]binari_3__t5_binari_32013-09-04 12:32 32K 
[   ]binari_3__t6_binari_32013-09-04 12:32 27K 
[   ]binari_3__t7_binari_32013-09-04 12:32 28K 
[   ]binari_3__t8_binari_32013-09-04 12:32 25K 
[   ]binari_3__t9_binari_32013-09-04 12:32 26K 
[   ]binari_3__t10_binari_32013-09-04 12:32 14K 
[   ]binari_3__t11_binari_32013-09-04 12:32 20K 
[   ]binari_3__t12_binari_32013-09-04 12:32 28K 
[   ]binari_3__t13_binari_32013-09-04 12:32 41K 
[   ]binari_3__t14_binari_32013-09-04 12:32 31K 
[   ]binari_3__t15_binari_32013-09-04 12:32 31K 
[   ]binari_3__t16_binari_32013-09-04 12:32 19K 
[   ]binari_3__t17_binari_32013-09-04 12:32 17K 
[   ]binari_3__t18_binari_32013-09-04 12:32 26K 
[   ]binari_3__t19_binari_32013-09-04 12:32 45K 
[   ]binari_3__t20_binari_32013-09-04 12:32 35K 
[   ]binari_3__t21_binari_32013-09-04 12:32 50K 
[   ]binari_3__t22_binari_32013-09-04 12:32 50K 
[   ]binari_3__t23_binari_32013-09-04 12:32 46K 
[   ]binari_3__t24_binari_32013-09-04 12:32 31K 
[   ]binari_3__t25_binari_32013-09-04 12:32 23K 
[   ]binari_3__t26_binari_32013-09-04 12:32 30K 
[   ]binari_3__t27_binari_32013-09-04 12:32 35K 
[   ]binari_3__t28_binari_32013-09-04 12:32 68K 
[   ]binari_3__t29_binari_32013-09-04 12:32 16K 
[   ]binari_3__t30_binari_32013-09-04 12:32 20K 
[   ]binari_3__t31_binari_32013-09-04 12:32 31K 
[   ]binari_3__t32_binari_32013-09-04 12:32 30K 
[   ]binari_3__t33_binari_32013-09-04 12:32 92K 
[   ]binari_3__t34_binari_32013-09-04 12:32 83K 
[   ]binari_3__t35_binari_32013-09-04 12:32 35K 
[   ]binari_3__t36_binari_32013-09-04 12:32 14K 

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