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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice7__l18_lattice72025-09-12 07:25 45K 
[ ]lattice7__l24_lattice72025-09-12 06:59 21K 
[ ]lattice7__l25_lattice72025-09-12 07:00 21K 
[ ]lattice7__s1_lattice72025-09-12 07:01 22K 
[ ]lattice7__t1_lattice72025-09-12 07:02 29K 
[ ]lattice7__t2_lattice72025-09-12 07:03 43K 
[ ]lattice7__t3_lattice72025-09-12 07:05 28K 
[ ]lattice7__t4_lattice72025-09-12 07:06 29K 
[ ]lattice7__t5_lattice72025-09-12 07:07 29K 
[ ]lattice7__t6_lattice72025-09-12 07:08 37K 
[ ]lattice7__t7_lattice72025-09-12 07:09 35K 
[ ]lattice7__t8_lattice72025-09-12 07:11 31K 
[ ]lattice7__t9_lattice72025-09-12 07:13 47K 
[ ]lattice7__t10_lattice72025-09-12 07:14 28K 
[ ]lattice7__t11_lattice72025-09-12 07:15 35K 
[ ]lattice7__t12_lattice72025-09-12 07:17 35K 
[ ]lattice7__t13_lattice72025-09-12 07:19 69K 
[ ]lattice7__t14_lattice72025-09-12 07:20 45K 
[ ]lattice7__t15_lattice72025-09-12 07:22 43K 
[ ]lattice7__t16_lattice72025-09-12 07:24 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80