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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scheme1__s1_scheme12025-09-12 09:55 57K 
[ ]scheme1__s2_scheme12025-09-12 09:56 145K 
[ ]scheme1__s3_scheme12025-09-12 09:58 780K 
[ ]scheme1__s4_scheme12025-09-12 10:00 1.0M 
[ ]scheme1__s5_scheme12025-09-12 10:01 2.2M 
[ ]scheme1__s6_scheme12025-09-12 10:03 33K 
[ ]scheme1__s7_scheme12025-09-12 10:04 34K 
[ ]scheme1__s8_scheme12025-09-12 10:05 27K 
[ ]scheme1__s9_scheme12025-09-12 10:07 34K 
[ ]scheme1__s10_scheme12025-09-12 10:08 34K 
[ ]scheme1__s11_scheme12025-09-12 10:09 35K 
[ ]scheme1__s12_scheme12025-09-12 10:11 34K 
[ ]scheme1__s13_scheme12025-09-12 10:12 34K 
[ ]scheme1__s14_scheme12025-09-12 10:13 35K 
[ ]scheme1__s15_scheme12025-09-12 10:15 35K 
[ ]scheme1__s16_scheme12025-09-12 10:17 36K 
[ ]scheme1__s17_scheme12025-09-12 10:18 35K 
[ ]scheme1__s18_scheme12025-09-12 10:20 36K 
[ ]scheme1__s19_scheme12025-09-12 10:21 29K 
[ ]scheme1__s20_scheme12025-09-12 10:22 30K 
[ ]scheme1__s21_scheme12025-09-12 10:24 29K 
[ ]scheme1__s22_scheme12025-09-12 10:25 31K 
[ ]scheme1__t1_scheme12025-09-12 10:26 38K 
[ ]scheme1__t2_scheme12025-09-12 10:27 49K 
[ ]scheme1__t3_scheme12025-09-12 10:28 63K 
[ ]scheme1__t4_scheme12025-09-12 10:29 78K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80