Index of /~mptp/7.13.01_4.181.1147/mptp/problems/functor1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]functor1__l19_functor12023-06-28 00:34 43K 
[   ]functor1__t1_functor12023-06-28 00:34 32K 
[   ]functor1__t2_functor12023-06-28 00:34 22K 
[   ]functor1__t3_functor12023-06-28 00:34 29K 
[   ]functor1__t4_functor12023-06-28 00:34 66K 
[   ]functor1__t5_functor12023-06-28 00:34 31K 
[   ]functor1__t6_functor12023-06-28 00:34 43K 
[   ]functor1__t7_functor12023-06-28 00:34 50K 
[   ]functor1__t8_functor12023-06-28 00:34 48K 
[   ]functor1__t9_functor12023-06-28 00:34 57K 
[   ]functor1__t10_functor12023-06-28 00:34 33K 
[   ]functor1__t11_functor12023-06-28 00:34 33K 
[   ]functor1__t12_functor12023-06-28 00:34 33K 
[   ]functor1__t13_functor12023-06-28 00:34 39K 
[   ]functor1__t14_functor12023-06-28 00:34 74K 
[   ]functor1__t15_functor12023-06-28 00:34 61K 
[   ]functor1__t16_functor12023-06-28 00:34 40K 
[   ]functor1__t17_functor12023-06-28 00:34 63K 
[   ]functor1__t18_functor12023-06-28 00:34 76K 
[   ]functor1__t19_functor12023-06-28 00:34 77K 
[   ]functor1__t20_functor12023-06-28 00:34 55K 
[   ]functor1__t21_functor12023-06-28 00:34 73K 

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