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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_1__l7_algstr_12025-09-11 16:39 26K 
[ ]algstr_1__l8_algstr_12025-09-11 17:04 26K 
[ ]algstr_1__l9_algstr_12025-09-11 17:05 26K 
[ ]algstr_1__l10_algstr_12025-09-11 16:40 26K 
[ ]algstr_1__l16_algstr_12025-09-11 16:42 26K 
[ ]algstr_1__l17_algstr_12025-09-11 16:43 25K 
[ ]algstr_1__l22_algstr_12025-09-11 16:45 26K 
[ ]algstr_1__l23_algstr_12025-09-11 17:07 26K 
[ ]algstr_1__l24_algstr_12025-09-11 17:08 26K 
[ ]algstr_1__l26_algstr_12025-09-11 16:46 27K 
[ ]algstr_1__l27_algstr_12025-09-11 17:09 18K 
[ ]algstr_1__l28_algstr_12025-09-11 17:11 19K 
[ ]algstr_1__l29_algstr_12025-09-11 17:12 19K 
[ ]algstr_1__l31_algstr_12025-09-11 16:48 27K 
[ ]algstr_1__l35_algstr_12025-09-11 17:13 26K 
[ ]algstr_1__l36_algstr_12025-09-11 17:15 38K 
[ ]algstr_1__l37_algstr_12025-09-11 17:17 38K 
[ ]algstr_1__l38_algstr_12025-09-11 17:18 34K 
[ ]algstr_1__l39_algstr_12025-09-11 17:20 34K 
[ ]algstr_1__l40_algstr_12025-09-11 17:21 28K 
[ ]algstr_1__l41_algstr_12025-09-11 17:23 28K 
[ ]algstr_1__l47_algstr_12025-09-11 17:24 34K 
[ ]algstr_1__l48_algstr_12025-09-11 17:26 29K 
[ ]algstr_1__t1_algstr_12025-09-11 16:49 19K 
[ ]algstr_1__t2_algstr_12025-09-11 16:50 20K 
[ ]algstr_1__t3_algstr_12025-09-11 16:51 20K 
[ ]algstr_1__t4_algstr_12025-09-11 16:52 23K 
[ ]algstr_1__t5_algstr_12025-09-11 16:33 26K 
[ ]algstr_1__t6_algstr_12025-09-11 16:54 23K 
[ ]algstr_1__t7_algstr_12025-09-11 16:55 25K 
[ ]algstr_1__t8_algstr_12025-09-11 16:35 24K 
[ ]algstr_1__t9_algstr_12025-09-11 16:56 23K 
[ ]algstr_1__t10_algstr_12025-09-11 16:36 26K 
[ ]algstr_1__t11_algstr_12025-09-11 16:58 26K 
[ ]algstr_1__t12_algstr_12025-09-11 16:37 24K 
[ ]algstr_1__t13_algstr_12025-09-11 16:59 24K 
[ ]algstr_1__t16_algstr_12025-09-11 17:01 23K 
[ ]algstr_1__t17_algstr_12025-09-11 17:02 25K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80