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