Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/comseq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_1__s1_comseq_12019-08-28 08:59 80K 
[ ]comseq_1__t1_comseq_12019-08-28 08:59 68K 
[ ]comseq_1__t2_comseq_12019-08-28 08:59 51K 
[ ]comseq_1__t3_comseq_12019-08-28 08:59 62K 
[ ]comseq_1__t4_comseq_12019-08-28 08:59 46K 
[ ]comseq_1__t5_comseq_12019-08-28 08:59 47K 
[ ]comseq_1__t6_comseq_12019-08-28 08:59 60K 
[ ]comseq_1__t7_comseq_12019-08-28 08:59 92K 
[ ]comseq_1__t8_comseq_12019-08-28 08:59 99K 
[ ]comseq_1__t9_comseq_12019-08-28 08:59 117K 
[ ]comseq_1__t10_comseq_12019-08-28 08:59 54K 
[ ]comseq_1__t11_comseq_12019-08-28 08:59 71K 
[ ]comseq_1__t12_comseq_12019-08-28 09:00 104K 
[ ]comseq_1__t13_comseq_12019-08-28 09:00 104K 
[ ]comseq_1__t14_comseq_12019-08-28 09:00 132K 
[ ]comseq_1__t15_comseq_12019-08-28 09:00 74K 
[ ]comseq_1__t16_comseq_12019-08-28 09:00 112K 
[ ]comseq_1__t17_comseq_12019-08-28 09:00 88K 
[ ]comseq_1__t18_comseq_12019-08-28 09:00 141K 
[ ]comseq_1__t19_comseq_12019-08-28 09:00 79K 
[ ]comseq_1__t20_comseq_12019-08-28 09:00 126K 
[ ]comseq_1__t21_comseq_12019-08-28 09:00 70K 
[ ]comseq_1__t22_comseq_12019-08-28 09:00 48K 
[ ]comseq_1__t23_comseq_12019-08-28 09:00 66K 
[ ]comseq_1__t24_comseq_12019-08-28 09:00 127K 
[ ]comseq_1__t25_comseq_12019-08-28 09:00 85K 
[ ]comseq_1__t26_comseq_12019-08-28 09:01 122K 
[ ]comseq_1__t27_comseq_12019-08-28 09:01 67K 
[ ]comseq_1__t29_comseq_12019-08-28 09:01 132K 
[ ]comseq_1__t30_comseq_12019-08-28 09:01 143K 
[ ]comseq_1__t31_comseq_12019-08-28 09:01 151K 
[ ]comseq_1__t32_comseq_12019-08-28 09:01 144K 
[ ]comseq_1__t33_comseq_12019-08-28 09:01 64K 
[ ]comseq_1__t34_comseq_12019-08-28 09:01 78K 
[ ]comseq_1__t35_comseq_12019-08-28 09:01 73K 
[ ]comseq_1__t36_comseq_12019-08-28 09:01 91K 
[ ]comseq_1__t37_comseq_12019-08-28 09:02 176K 
[ ]comseq_1__t38_comseq_12019-08-28 09:02 109K 
[ ]comseq_1__t39_comseq_12019-08-28 09:02 267K 
[ ]comseq_1__t40_comseq_12019-08-28 09:02 134K 
[ ]comseq_1__t41_comseq_12019-08-28 09:02 91K 
[ ]comseq_1__t42_comseq_12019-08-28 09:02 139K 
[ ]comseq_1__t43_comseq_12019-08-28 09:02 123K 
[ ]comseq_1__t44_comseq_12019-08-28 09:02 167K 
[ ]comseq_1__t45_comseq_12019-08-28 09:02 102K 
[ ]comseq_1__t46_comseq_12019-08-28 09:02 114K 
[ ]comseq_1__t47_comseq_12019-08-28 09:02 65K 
[ ]comseq_1__t48_comseq_12019-08-28 09:03 137K 
[ ]comseq_1__t49_comseq_12019-08-28 09:03 83K 
[ ]comseq_1__t50_comseq_12019-08-28 09:03 105K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80