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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]compos_0__l8_compos_02025-09-12 04:59 69K 
[   ]compos_0__l9_compos_02025-09-12 05:01 58K 
[   ]compos_0__l10_compos_02025-09-12 05:03 68K 
[   ]compos_0__l22_compos_02025-09-12 05:05 76K 
[   ]compos_0__t1_compos_02025-09-12 04:41 56K 
[   ]compos_0__t3_compos_02025-09-12 04:43 64K 
[   ]compos_0__t4_compos_02025-09-12 04:44 52K 
[   ]compos_0__t5_compos_02025-09-12 04:46 59K 
[   ]compos_0__t6_compos_02025-09-12 04:48 72K 
[   ]compos_0__t7_compos_02025-09-12 04:50 83K 
[   ]compos_0__t8_compos_02025-09-12 04:51 59K 
[   ]compos_0__t9_compos_02025-09-12 04:53 52K 
[   ]compos_0__t10_compos_02025-09-12 04:54 46K 
[   ]compos_0__t11_compos_02025-09-12 04:56 57K 
[   ]compos_0__t12_compos_02025-09-12 04:57 44K 

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