Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/leibniz1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]leibniz1__l1_leibniz12021-07-19 23:09 243K 
[ ]leibniz1__l2_leibniz12021-07-19 23:09 293K 
[ ]leibniz1__l3_leibniz12021-07-19 23:09 459K 
[ ]leibniz1__l7_leibniz12021-07-19 23:10 88K 
[ ]leibniz1__l8_leibniz12021-07-19 23:10 90K 
[ ]leibniz1__l9_leibniz12021-07-19 23:10 253K 
[ ]leibniz1__t1_leibniz12021-07-19 05:08 331K 
[ ]leibniz1__t2_leibniz12021-07-19 05:08 327K 
[ ]leibniz1__t3_leibniz12021-07-19 05:09 261K 
[ ]leibniz1__t4_leibniz12021-07-19 05:10 280K 
[ ]leibniz1__t5_leibniz12021-07-19 05:11 282K 
[ ]leibniz1__t6_leibniz12021-07-19 05:11 303K 
[ ]leibniz1__t7_leibniz12021-07-19 05:12 339K 
[ ]leibniz1__t8_leibniz12021-07-19 05:13 456K 
[ ]leibniz1__t9_leibniz12021-07-19 05:14 312K 
[ ]leibniz1__t10_leibniz12021-07-19 05:14 317K 
[ ]leibniz1__t11_leibniz12021-07-19 05:15 130K 
[ ]leibniz1__t12_leibniz12021-07-19 05:16 524K 
[ ]leibniz1__t13_leibniz12021-07-19 05:17 470K 
[ ]leibniz1__t14_leibniz12021-07-19 05:07 369K 
[ ]leibniz1__t15_leibniz12021-07-19 05:17 130K 
[ ]leibniz1__t16_leibniz12021-07-19 05:18 865K 
[ ]leibniz1__t17_leibniz12021-07-19 23:08 116M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80