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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_1__s1_comseq_12025-09-14 00:30 37K 
[ ]comseq_1__t1_comseq_12025-09-14 00:31 38K 
[ ]comseq_1__t2_comseq_12025-09-14 00:32 35K 
[ ]comseq_1__t3_comseq_12025-09-14 00:33 40K 
[ ]comseq_1__t4_comseq_12025-09-14 00:34 36K 
[ ]comseq_1__t5_comseq_12025-09-14 00:20 41K 
[ ]comseq_1__t6_comseq_12025-09-14 00:36 39K 
[ ]comseq_1__t7_comseq_12025-09-14 00:37 47K 
[ ]comseq_1__t8_comseq_12025-09-14 00:38 49K 
[ ]comseq_1__t9_comseq_12025-09-14 00:40 61K 
[ ]comseq_1__t10_comseq_12025-09-14 00:21 52K 
[ ]comseq_1__t11_comseq_12025-09-14 00:22 48K 
[ ]comseq_1__t12_comseq_12025-09-14 00:41 55K 
[ ]comseq_1__t13_comseq_12025-09-14 00:42 55K 
[ ]comseq_1__t14_comseq_12025-09-14 00:43 73K 
[ ]comseq_1__t15_comseq_12025-09-14 00:23 69K 
[ ]comseq_1__t16_comseq_12025-09-14 00:45 58K 
[ ]comseq_1__t17_comseq_12025-09-14 00:46 46K 
[ ]comseq_1__t18_comseq_12025-09-14 00:47 67K 
[ ]comseq_1__t19_comseq_12025-09-14 00:49 59K 
[ ]comseq_1__t20_comseq_12025-09-14 00:50 65K 
[ ]comseq_1__t21_comseq_12025-09-14 00:51 46K 
[ ]comseq_1__t22_comseq_12025-09-14 00:25 47K 
[ ]comseq_1__t23_comseq_12025-09-14 00:26 62K 
[ ]comseq_1__t24_comseq_12025-09-14 00:53 65K 
[ ]comseq_1__t25_comseq_12025-09-14 00:54 63K 
[ ]comseq_1__t26_comseq_12025-09-14 00:27 57K 
[ ]comseq_1__t27_comseq_12025-09-14 00:55 42K 
[ ]comseq_1__t29_comseq_12025-09-14 00:56 52K 
[ ]comseq_1__t30_comseq_12025-09-14 00:58 55K 
[ ]comseq_1__t31_comseq_12025-09-14 00:59 69K 
[ ]comseq_1__t32_comseq_12025-09-14 01:00 60K 
[ ]comseq_1__t33_comseq_12025-09-14 01:02 52K 
[ ]comseq_1__t34_comseq_12025-09-14 01:03 56K 
[ ]comseq_1__t35_comseq_12025-09-14 01:04 54K 
[ ]comseq_1__t36_comseq_12025-09-14 01:05 57K 
[ ]comseq_1__t37_comseq_12025-09-14 01:07 70K 
[ ]comseq_1__t38_comseq_12025-09-14 01:08 48K 
[ ]comseq_1__t39_comseq_12025-09-14 00:28 47K 
[ ]comseq_1__t40_comseq_12025-09-14 01:09 53K 
[ ]comseq_1__t41_comseq_12025-09-14 01:11 57K 
[ ]comseq_1__t42_comseq_12025-09-14 01:12 69K 
[ ]comseq_1__t43_comseq_12025-09-14 01:13 82K 
[ ]comseq_1__t44_comseq_12025-09-14 01:15 83K 
[ ]comseq_1__t45_comseq_12025-09-14 01:16 55K 
[ ]comseq_1__t46_comseq_12025-09-14 01:17 60K 
[ ]comseq_1__t48_comseq_12025-09-14 01:19 57K 
[ ]comseq_1__t49_comseq_12025-09-14 01:20 62K 
[ ]comseq_1__t50_comseq_12025-09-14 01:21 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80