Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_notypes/funcsdom

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funcsdom__l6_funcsdom2017-03-01 15:26 9.9K 
[ ]funcsdom__l21_funcsdom2017-03-01 15:26 27K 
[ ]funcsdom__l33_funcsdom2017-03-01 15:26 25K 
[ ]funcsdom__l38_funcsdom2017-03-01 15:26 26K 
[ ]funcsdom__t1_funcsdom2017-03-01 15:26 18K 
[ ]funcsdom__t2_funcsdom2017-03-01 15:26 22K 
[ ]funcsdom__t3_funcsdom2017-03-01 15:26 18K 
[ ]funcsdom__t4_funcsdom2017-03-01 15:26 25K 
[ ]funcsdom__t5_funcsdom2017-03-01 15:26 16K 
[ ]funcsdom__t6_funcsdom2017-03-01 15:26 16K 
[ ]funcsdom__t7_funcsdom2017-03-01 15:26 16K 
[ ]funcsdom__t8_funcsdom2017-03-01 15:26 16K 
[ ]funcsdom__t9_funcsdom2017-03-01 15:26 24K 
[ ]funcsdom__t10_funcsdom2017-03-01 15:26 24K 
[ ]funcsdom__t11_funcsdom2017-03-01 15:26 25K 
[ ]funcsdom__t12_funcsdom2017-03-01 15:26 24K 
[ ]funcsdom__t13_funcsdom2017-03-01 15:26 25K 
[ ]funcsdom__t14_funcsdom2017-03-01 15:26 27K 
[ ]funcsdom__t15_funcsdom2017-03-01 15:26 24K 
[ ]funcsdom__t16_funcsdom2017-03-01 15:26 24K 
[ ]funcsdom__t17_funcsdom2017-03-01 15:26 15K 
[ ]funcsdom__t18_funcsdom2017-03-01 15:26 23K 
[ ]funcsdom__t19_funcsdom2017-03-01 15:26 21K 
[ ]funcsdom__t20_funcsdom2017-03-01 15:26 20K 
[ ]funcsdom__t21_funcsdom2017-03-01 15:26 17K 
[ ]funcsdom__t22_funcsdom2017-03-01 15:26 22K 
[ ]funcsdom__t23_funcsdom2017-03-01 15:26 28K 
[ ]funcsdom__t24_funcsdom2017-03-01 15:26 23K 
[ ]funcsdom__t25_funcsdom2017-03-01 15:26 30K 
[ ]funcsdom__t26_funcsdom2017-03-01 15:26 30K 
[ ]funcsdom__t27_funcsdom2017-03-01 15:26 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80