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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]integr18__l11_integr182025-09-11 18:46 14K 
[   ]integr18__t1_integr182025-09-11 18:47 38K 
[   ]integr18__t2_integr182025-09-11 18:49 44K 
[   ]integr18__t3_integr182025-09-11 18:51 40K 
[   ]integr18__t4_integr182025-09-11 18:53 98K 
[   ]integr18__t5_integr182025-09-11 18:55 41K 
[   ]integr18__t6_integr182025-09-11 18:58 109K 
[   ]integr18__t7_integr182025-09-11 19:00 50K 
[   ]integr18__t8_integr182025-09-11 18:44 37K 
[   ]integr18__t9_integr182025-09-11 18:45 40K 
[   ]integr18__t10_integr182025-09-11 19:01 40K 
[   ]integr18__t11_integr182025-09-11 19:03 37K 
[   ]integr18__t12_integr182025-09-11 19:04 33K 
[   ]integr18__t13_integr182025-09-11 19:06 50K 
[   ]integr18__t14_integr182025-09-11 19:08 60K 
[   ]integr18__t15_integr182025-09-11 19:09 56K 
[   ]integr18__t16_integr182025-09-11 19:11 38K 
[   ]integr18__t17_integr182025-09-11 19:13 113K 
[   ]integr18__t18_integr182025-09-11 19:15 79K 

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