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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]leibniz1__l1_leibniz12025-09-15 04:42 256K 
[   ]leibniz1__l2_leibniz12025-09-15 04:43 306K 
[   ]leibniz1__l3_leibniz12025-09-15 04:45 497K 
[   ]leibniz1__l7_leibniz12025-09-15 04:46 94K 
[   ]leibniz1__l8_leibniz12025-09-15 04:48 95K 
[   ]leibniz1__l9_leibniz12025-09-15 04:49 262K 
[   ]leibniz1__t1_leibniz12025-09-12 15:41 345K 
[   ]leibniz1__t2_leibniz12025-09-12 15:43 341K 
[   ]leibniz1__t3_leibniz12025-09-12 15:45 271K 
[   ]leibniz1__t4_leibniz12025-09-12 15:47 290K 
[   ]leibniz1__t5_leibniz12025-09-12 15:49 293K 
[   ]leibniz1__t6_leibniz12025-09-12 15:51 312K 
[   ]leibniz1__t7_leibniz12025-09-12 15:54 353K 
[   ]leibniz1__t8_leibniz12025-09-12 15:56 493K 
[   ]leibniz1__t9_leibniz12025-09-12 15:58 326K 
[   ]leibniz1__t10_leibniz12025-09-12 16:00 331K 
[   ]leibniz1__t11_leibniz12025-09-12 16:02 136K 
[   ]leibniz1__t12_leibniz12025-09-12 16:05 600K 
[   ]leibniz1__t13_leibniz12025-09-12 16:07 508K 
[   ]leibniz1__t14_leibniz12025-09-12 15:38 424K 
[   ]leibniz1__t15_leibniz12025-09-12 16:09 137K 
[   ]leibniz1__t16_leibniz12025-09-12 16:11 1.0M 
[   ]leibniz1__t17_leibniz12025-09-15 04:40 174M 

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