Index of /~mptp/mml5.63.1382/MPTP2/problems/leibniz1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]leibniz1__l1_leibniz12023-06-29 09:47 251K 
[ ]leibniz1__l2_leibniz12023-06-29 09:48 303K 
[ ]leibniz1__l3_leibniz12023-06-29 09:48 475K 
[ ]leibniz1__l7_leibniz12023-06-29 09:48 88K 
[ ]leibniz1__l8_leibniz12023-06-29 09:49 90K 
[ ]leibniz1__l9_leibniz12023-06-29 09:49 260K 
[ ]leibniz1__t1_leibniz12023-06-28 12:16 341K 
[ ]leibniz1__t2_leibniz12023-06-28 12:17 337K 
[ ]leibniz1__t3_leibniz12023-06-28 12:17 268K 
[ ]leibniz1__t4_leibniz12023-06-28 12:18 287K 
[ ]leibniz1__t5_leibniz12023-06-28 12:19 289K 
[ ]leibniz1__t6_leibniz12023-06-28 12:20 310K 
[ ]leibniz1__t7_leibniz12023-06-28 12:20 349K 
[ ]leibniz1__t8_leibniz12023-06-28 12:21 472K 
[ ]leibniz1__t9_leibniz12023-06-28 12:22 322K 
[ ]leibniz1__t10_leibniz12023-06-28 12:22 327K 
[ ]leibniz1__t11_leibniz12023-06-28 12:23 131K 
[ ]leibniz1__t12_leibniz12023-06-28 12:24 543K 
[ ]leibniz1__t13_leibniz12023-06-28 12:25 487K 
[ ]leibniz1__t14_leibniz12023-06-28 12:15 382K 
[ ]leibniz1__t15_leibniz12023-06-28 12:25 131K 
[ ]leibniz1__t16_leibniz12023-06-28 12:26 900K 
[ ]leibniz1__t17_leibniz12023-06-29 09:47 121M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80