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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]funcsdom__l4_funcsdom2025-09-13 09:50 16K 
[   ]funcsdom__l21_funcsdom2025-09-13 10:30 64K 
[   ]funcsdom__l33_funcsdom2025-09-13 10:32 64K 
[   ]funcsdom__l38_funcsdom2025-09-13 10:34 64K 
[   ]funcsdom__t1_funcsdom2025-09-13 09:51 51K 
[   ]funcsdom__t2_funcsdom2025-09-13 09:52 53K 
[   ]funcsdom__t3_funcsdom2025-09-13 09:54 40K 
[   ]funcsdom__t4_funcsdom2025-09-13 09:55 59K 
[   ]funcsdom__t5_funcsdom2025-09-13 09:56 47K 
[   ]funcsdom__t6_funcsdom2025-09-13 09:58 48K 
[   ]funcsdom__t7_funcsdom2025-09-13 09:59 47K 
[   ]funcsdom__t8_funcsdom2025-09-13 10:00 48K 
[   ]funcsdom__t9_funcsdom2025-09-13 10:02 57K 
[   ]funcsdom__t10_funcsdom2025-09-13 10:03 55K 
[   ]funcsdom__t11_funcsdom2025-09-13 10:05 61K 
[   ]funcsdom__t12_funcsdom2025-09-13 10:06 55K 
[   ]funcsdom__t13_funcsdom2025-09-13 10:08 56K 
[   ]funcsdom__t14_funcsdom2025-09-13 10:09 64K 
[   ]funcsdom__t15_funcsdom2025-09-13 10:11 60K 
[   ]funcsdom__t16_funcsdom2025-09-13 10:12 60K 
[   ]funcsdom__t17_funcsdom2025-09-13 10:14 54K 
[   ]funcsdom__t18_funcsdom2025-09-13 10:15 62K 
[   ]funcsdom__t20_funcsdom2025-09-13 10:17 66K 
[   ]funcsdom__t22_funcsdom2025-09-13 10:18 52K 
[   ]funcsdom__t23_funcsdom2025-09-13 10:20 66K 
[   ]funcsdom__t24_funcsdom2025-09-13 09:47 55K 
[   ]funcsdom__t25_funcsdom2025-09-13 10:22 76K 
[   ]funcsdom__t26_funcsdom2025-09-13 10:24 73K 
[   ]funcsdom__t27_funcsdom2025-09-13 09:49 55K 
[   ]funcsdom__t28_funcsdom2025-09-13 10:26 58K 
[   ]funcsdom__t29_funcsdom2025-09-13 10:27 58K 
[   ]funcsdom__t30_funcsdom2025-09-13 10:29 59K 

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