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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binarith__t22_binarith2013-09-04 13:00 40K 
[   ]binarith__t21_binarith2013-09-04 13:00 910K 
[   ]binarith__t20_binarith2013-09-04 13:00 41K 
[   ]binarith__t19_binarith2013-09-04 13:00 891K 
[   ]binarith__t18_binarith2013-09-04 13:00 50K 
[   ]binarith__t17_binarith2013-09-04 13:00 50K 
[   ]binarith__t16_binarith2013-09-04 13:00 34K 
[   ]binarith__t15_binarith2013-09-04 13:00 23K 
[   ]binarith__t14_binarith2013-09-04 13:00 17K 
[   ]binarith__t13_binarith2013-09-04 13:00 22K 
[   ]binarith__t12_binarith2013-09-04 13:00 22K 
[   ]binarith__t11_binarith2013-09-04 13:00 22K 
[   ]binarith__t10_binarith2013-09-04 13:00 22K 
[   ]binarith__t2_binarith2013-09-04 13:00 26K 
[   ]binarith__t1_binarith2013-09-04 13:00 24K 
[   ]binarith__t9_binarith2013-09-04 13:00 13K 
[   ]binarith__t8_binarith2013-09-04 13:00 24K 
[   ]binarith__t7_binarith2013-09-04 13:00 30K 
[   ]binarith__t6_binarith2013-09-04 13:00 22K 
[   ]binarith__t5_binarith2013-09-04 13:00 22K 
[   ]binarith__t4_binarith2013-09-04 13:00 22K 
[   ]binarith__t3_binarith2013-09-04 13:00 22K 

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