Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/functor2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]functor2__l12_functor22025-09-14 01:57 30K 
[   ]functor2__l15_functor22025-09-14 01:58 33K 
[   ]functor2__t1_functor22025-09-14 01:49 33K 
[   ]functor2__t2_functor22025-09-14 01:50 20K 
[   ]functor2__t3_functor22025-09-14 01:51 24K 
[   ]functor2__t4_functor22025-09-14 01:52 24K 
[   ]functor2__t5_functor22025-09-14 01:53 29K 
[   ]functor2__t6_functor22025-09-14 01:54 29K 
[   ]functor2__t7_functor22025-09-14 01:46 27K 
[   ]functor2__t8_functor22025-09-14 01:55 33K 
[   ]functor2__t9_functor22025-09-14 01:47 34K 
[   ]functor2__t10_functor22025-09-14 01:48 32K 
[   ]functor2__t11_functor22025-09-14 01:56 36K 

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