Index of /~mptp/1147/MPTP2/problems_thf_tls1/funcsdom

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funcsdom__l6_funcsdom2017-01-13 19:23 20K 
[ ]funcsdom__l21_funcsdom2017-01-13 19:23 64K 
[ ]funcsdom__l33_funcsdom2017-01-13 19:23 56K 
[ ]funcsdom__l38_funcsdom2017-01-13 19:23 56K 
[ ]funcsdom__t1_funcsdom2017-01-13 19:23 43K 
[ ]funcsdom__t2_funcsdom2017-01-13 19:23 53K 
[ ]funcsdom__t3_funcsdom2017-01-13 19:23 36K 
[ ]funcsdom__t4_funcsdom2017-01-13 19:23 61K 
[ ]funcsdom__t5_funcsdom2017-01-13 19:23 38K 
[ ]funcsdom__t6_funcsdom2017-01-13 19:23 38K 
[ ]funcsdom__t7_funcsdom2017-01-13 19:23 38K 
[ ]funcsdom__t8_funcsdom2017-01-13 19:23 38K 
[ ]funcsdom__t9_funcsdom2017-01-13 19:23 56K 
[ ]funcsdom__t10_funcsdom2017-01-13 19:23 55K 
[ ]funcsdom__t11_funcsdom2017-01-13 19:23 56K 
[ ]funcsdom__t12_funcsdom2017-01-13 19:23 57K 
[ ]funcsdom__t13_funcsdom2017-01-13 19:23 58K 
[ ]funcsdom__t14_funcsdom2017-01-13 19:23 64K 
[ ]funcsdom__t15_funcsdom2017-01-13 19:23 59K 
[ ]funcsdom__t16_funcsdom2017-01-13 19:23 59K 
[ ]funcsdom__t17_funcsdom2017-01-13 19:23 29K 
[ ]funcsdom__t18_funcsdom2017-01-13 19:23 51K 
[ ]funcsdom__t19_funcsdom2017-01-13 19:23 44K 
[ ]funcsdom__t20_funcsdom2017-01-13 19:23 47K 
[ ]funcsdom__t21_funcsdom2017-01-13 19:23 38K 
[ ]funcsdom__t22_funcsdom2017-01-13 19:23 47K 
[ ]funcsdom__t23_funcsdom2017-01-13 19:23 63K 
[ ]funcsdom__t24_funcsdom2017-01-13 19:23 48K 
[ ]funcsdom__t25_funcsdom2017-01-13 19:23 69K 
[ ]funcsdom__t26_funcsdom2017-01-13 19:23 65K 
[ ]funcsdom__t27_funcsdom2017-01-13 19:23 48K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80