Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/finseqop

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseqop__l10_finseqop2017-01-13 19:09 40K 
[ ]finseqop__l11_finseqop2017-01-13 19:09 43K 
[ ]finseqop__l12_finseqop2017-01-13 19:09 43K 
[ ]finseqop__l27_finseqop2017-01-13 19:09 36K 
[ ]finseqop__t1_finseqop2017-01-13 19:09 28K 
[ ]finseqop__t2_finseqop2017-01-13 19:09 30K 
[ ]finseqop__t3_finseqop2017-01-13 19:09 25K 
[ ]finseqop__t4_finseqop2017-01-13 19:09 40K 
[ ]finseqop__t5_finseqop2017-01-13 19:09 40K 
[ ]finseqop__t6_finseqop2017-01-13 19:09 43K 
[ ]finseqop__t7_finseqop2017-01-13 19:09 45K 
[ ]finseqop__t8_finseqop2017-01-13 19:09 55K 
[ ]finseqop__t9_finseqop2017-01-13 19:09 46K 
[ ]finseqop__t10_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t11_finseqop2017-01-13 19:09 56K 
[ ]finseqop__t12_finseqop2017-01-13 19:09 60K 
[ ]finseqop__t13_finseqop2017-01-13 19:09 54K 
[ ]finseqop__t14_finseqop2017-01-13 19:09 60K 
[ ]finseqop__t15_finseqop2017-01-13 19:09 54K 
[ ]finseqop__t16_finseqop2017-01-13 19:09 52K 
[ ]finseqop__t17_finseqop2017-01-13 19:09 55K 
[ ]finseqop__t18_finseqop2017-01-13 19:09 58K 
[ ]finseqop__t19_finseqop2017-01-13 19:09 58K 
[ ]finseqop__t20_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t21_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t22_finseqop2017-01-13 19:09 46K 
[ ]finseqop__t23_finseqop2017-01-13 19:09 45K 
[ ]finseqop__t24_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t25_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t26_finseqop2017-01-13 19:09 56K 
[ ]finseqop__t27_finseqop2017-01-13 19:09 56K 
[ ]finseqop__t28_finseqop2017-01-13 19:09 46K 
[ ]finseqop__t29_finseqop2017-01-13 19:09 54K 
[ ]finseqop__t30_finseqop2017-01-13 19:09 58K 
[ ]finseqop__t31_finseqop2017-01-13 19:09 52K 
[ ]finseqop__t32_finseqop2017-01-13 19:09 52K 
[ ]finseqop__t33_finseqop2017-01-13 19:09 45K 
[ ]finseqop__t34_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t35_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t36_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t37_finseqop2017-01-13 19:09 46K 
[ ]finseqop__t38_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t39_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t40_finseqop2017-01-13 19:09 46K 
[ ]finseqop__t41_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t42_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t43_finseqop2017-01-13 19:09 48K 
[ ]finseqop__t44_finseqop2017-01-13 19:09 48K 
[ ]finseqop__t45_finseqop2017-01-13 19:09 48K 
[ ]finseqop__t46_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t47_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t48_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t49_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t50_finseqop2017-01-13 19:09 57K 
[ ]finseqop__t51_finseqop2017-01-13 19:09 46K 
[ ]finseqop__t52_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t53_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t54_finseqop2017-01-13 19:09 51K 
[ ]finseqop__t55_finseqop2017-01-13 19:09 51K 
[ ]finseqop__t56_finseqop2017-01-13 19:09 56K 
[ ]finseqop__t57_finseqop2017-01-13 19:09 49K 
[ ]finseqop__t58_finseqop2017-01-13 19:09 49K 
[ ]finseqop__t59_finseqop2017-01-13 19:09 34K 
[ ]finseqop__t60_finseqop2017-01-13 19:09 36K 
[ ]finseqop__t61_finseqop2017-01-13 19:09 34K 
[ ]finseqop__t62_finseqop2017-01-13 19:09 34K 
[ ]finseqop__t63_finseqop2017-01-13 19:09 38K 
[ ]finseqop__t64_finseqop2017-01-13 19:09 36K 
[ ]finseqop__t65_finseqop2017-01-13 19:09 33K 
[ ]finseqop__t66_finseqop2017-01-13 19:09 35K 
[ ]finseqop__t67_finseqop2017-01-13 19:09 39K 
[ ]finseqop__t68_finseqop2017-01-13 19:09 53K 
[ ]finseqop__t69_finseqop2017-01-13 19:09 52K 
[ ]finseqop__t70_finseqop2017-01-13 19:09 52K 
[ ]finseqop__t71_finseqop2017-01-13 19:09 51K 
[ ]finseqop__t72_finseqop2017-01-13 19:09 51K 
[ ]finseqop__t73_finseqop2017-01-13 19:09 60K 
[ ]finseqop__t74_finseqop2017-01-13 19:09 58K 
[ ]finseqop__t75_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t76_finseqop2017-01-13 19:09 58K 
[ ]finseqop__t77_finseqop2017-01-13 19:09 34K 
[ ]finseqop__t78_finseqop2017-01-13 19:09 28K 
[ ]finseqop__t79_finseqop2017-01-13 19:09 37K 
[ ]finseqop__t80_finseqop2017-01-13 19:09 36K 
[ ]finseqop__t81_finseqop2017-01-13 19:09 43K 
[ ]finseqop__t82_finseqop2017-01-13 19:09 43K 
[ ]finseqop__t83_finseqop2017-01-13 19:09 50K 
[ ]finseqop__t84_finseqop2017-01-13 19:09 52K 
[ ]finseqop__t85_finseqop2017-01-13 19:09 47K 
[ ]finseqop__t86_finseqop2017-01-13 19:09 43K 
[ ]finseqop__t87_finseqop2017-01-13 19:09 44K 
[ ]finseqop__t88_finseqop2017-01-13 19:09 43K 
[ ]finseqop__t89_finseqop2017-01-13 19:09 48K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80