Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/functor1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]functor1__l19_functor12016-03-08 13:06 44K 
[   ]functor1__t1_functor12016-03-08 13:06 32K 
[   ]functor1__t2_functor12016-03-08 13:06 22K 
[   ]functor1__t3_functor12016-03-08 13:06 29K 
[   ]functor1__t4_functor12016-03-08 13:06 66K 
[   ]functor1__t5_functor12016-03-08 13:06 31K 
[   ]functor1__t6_functor12016-03-08 13:06 44K 
[   ]functor1__t7_functor12016-03-08 13:06 50K 
[   ]functor1__t8_functor12016-03-08 13:06 49K 
[   ]functor1__t9_functor12016-03-08 13:06 57K 
[   ]functor1__t10_functor12016-03-08 13:06 33K 
[   ]functor1__t11_functor12016-03-08 13:06 33K 
[   ]functor1__t12_functor12016-03-08 13:06 33K 
[   ]functor1__t13_functor12016-03-08 13:06 39K 
[   ]functor1__t14_functor12016-03-08 13:06 74K 
[   ]functor1__t15_functor12016-03-08 13:06 61K 
[   ]functor1__t16_functor12016-03-08 13:06 40K 
[   ]functor1__t17_functor12016-03-08 13:06 63K 
[   ]functor1__t18_functor12016-03-08 13:06 76K 
[   ]functor1__t19_functor12016-03-08 13:06 77K 
[   ]functor1__t20_functor12016-03-08 13:06 55K 
[   ]functor1__t21_functor12016-03-08 13:06 73K 

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