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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseqop__l10_finseqop2017-01-13 17:55 62K 
[ ]finseqop__l11_finseqop2017-01-13 17:55 68K 
[ ]finseqop__l12_finseqop2017-01-13 17:55 68K 
[ ]finseqop__l27_finseqop2017-01-13 17:55 56K 
[ ]finseqop__t1_finseqop2017-01-13 17:54 43K 
[ ]finseqop__t2_finseqop2017-01-13 17:54 47K 
[ ]finseqop__t3_finseqop2017-01-13 17:54 40K 
[ ]finseqop__t4_finseqop2017-01-13 17:54 62K 
[ ]finseqop__t5_finseqop2017-01-13 17:54 62K 
[ ]finseqop__t6_finseqop2017-01-13 17:54 65K 
[ ]finseqop__t7_finseqop2017-01-13 17:54 69K 
[ ]finseqop__t8_finseqop2017-01-13 17:54 85K 
[ ]finseqop__t9_finseqop2017-01-13 17:54 72K 
[ ]finseqop__t10_finseqop2017-01-13 17:54 89K 
[ ]finseqop__t11_finseqop2017-01-13 17:54 87K 
[ ]finseqop__t12_finseqop2017-01-13 17:54 92K 
[ ]finseqop__t13_finseqop2017-01-13 17:54 84K 
[ ]finseqop__t14_finseqop2017-01-13 17:54 92K 
[ ]finseqop__t15_finseqop2017-01-13 17:54 84K 
[ ]finseqop__t16_finseqop2017-01-13 17:54 80K 
[ ]finseqop__t17_finseqop2017-01-13 17:54 84K 
[ ]finseqop__t18_finseqop2017-01-13 17:54 89K 
[ ]finseqop__t19_finseqop2017-01-13 17:54 89K 
[ ]finseqop__t20_finseqop2017-01-13 17:54 82K 
[ ]finseqop__t21_finseqop2017-01-13 17:54 77K 
[ ]finseqop__t22_finseqop2017-01-13 17:54 72K 
[ ]finseqop__t23_finseqop2017-01-13 17:54 70K 
[ ]finseqop__t24_finseqop2017-01-13 17:54 87K 
[ ]finseqop__t25_finseqop2017-01-13 17:54 87K 
[ ]finseqop__t26_finseqop2017-01-13 17:54 86K 
[ ]finseqop__t27_finseqop2017-01-13 17:54 86K 
[ ]finseqop__t28_finseqop2017-01-13 17:54 72K 
[ ]finseqop__t29_finseqop2017-01-13 17:54 84K 
[ ]finseqop__t30_finseqop2017-01-13 17:54 89K 
[ ]finseqop__t31_finseqop2017-01-13 17:54 81K 
[ ]finseqop__t32_finseqop2017-01-13 17:54 80K 
[ ]finseqop__t33_finseqop2017-01-13 17:54 71K 
[ ]finseqop__t34_finseqop2017-01-13 17:54 82K 
[ ]finseqop__t35_finseqop2017-01-13 17:54 82K 
[ ]finseqop__t36_finseqop2017-01-13 17:54 82K 
[ ]finseqop__t37_finseqop2017-01-13 17:54 71K 
[ ]finseqop__t38_finseqop2017-01-13 17:54 81K 
[ ]finseqop__t39_finseqop2017-01-13 17:54 81K 
[ ]finseqop__t40_finseqop2017-01-13 17:54 71K 
[ ]finseqop__t41_finseqop2017-01-13 17:54 77K 
[ ]finseqop__t42_finseqop2017-01-13 17:54 77K 
[ ]finseqop__t43_finseqop2017-01-13 17:54 74K 
[ ]finseqop__t44_finseqop2017-01-13 17:54 75K 
[ ]finseqop__t45_finseqop2017-01-13 17:54 75K 
[ ]finseqop__t46_finseqop2017-01-13 17:54 88K 
[ ]finseqop__t47_finseqop2017-01-13 17:54 88K 
[ ]finseqop__t48_finseqop2017-01-13 17:54 81K 
[ ]finseqop__t49_finseqop2017-01-13 17:54 87K 
[ ]finseqop__t50_finseqop2017-01-13 17:54 87K 
[ ]finseqop__t51_finseqop2017-01-13 17:54 72K 
[ ]finseqop__t52_finseqop2017-01-13 17:54 78K 
[ ]finseqop__t53_finseqop2017-01-13 17:54 78K 
[ ]finseqop__t54_finseqop2017-01-13 17:54 78K 
[ ]finseqop__t55_finseqop2017-01-13 17:54 78K 
[ ]finseqop__t56_finseqop2017-01-13 17:54 86K 
[ ]finseqop__t57_finseqop2017-01-13 17:54 76K 
[ ]finseqop__t58_finseqop2017-01-13 17:54 76K 
[ ]finseqop__t59_finseqop2017-01-13 17:54 53K 
[ ]finseqop__t60_finseqop2017-01-13 17:54 55K 
[ ]finseqop__t61_finseqop2017-01-13 17:54 53K 
[ ]finseqop__t62_finseqop2017-01-13 17:54 53K 
[ ]finseqop__t63_finseqop2017-01-13 17:54 58K 
[ ]finseqop__t64_finseqop2017-01-13 17:54 55K 
[ ]finseqop__t65_finseqop2017-01-13 17:54 51K 
[ ]finseqop__t66_finseqop2017-01-13 17:54 54K 
[ ]finseqop__t67_finseqop2017-01-13 17:54 60K 
[ ]finseqop__t68_finseqop2017-01-13 17:54 80K 
[ ]finseqop__t69_finseqop2017-01-13 17:54 79K 
[ ]finseqop__t70_finseqop2017-01-13 17:54 79K 
[ ]finseqop__t71_finseqop2017-01-13 17:54 77K 
[ ]finseqop__t72_finseqop2017-01-13 17:54 78K 
[ ]finseqop__t73_finseqop2017-01-13 17:54 90K 
[ ]finseqop__t74_finseqop2017-01-13 17:54 89K 
[ ]finseqop__t75_finseqop2017-01-13 17:54 77K 
[ ]finseqop__t76_finseqop2017-01-13 17:54 88K 
[ ]finseqop__t77_finseqop2017-01-13 17:54 54K 
[ ]finseqop__t78_finseqop2017-01-13 17:54 44K 
[ ]finseqop__t79_finseqop2017-01-13 17:54 58K 
[ ]finseqop__t80_finseqop2017-01-13 17:54 57K 
[ ]finseqop__t81_finseqop2017-01-13 17:54 67K 
[ ]finseqop__t82_finseqop2017-01-13 17:54 68K 
[ ]finseqop__t83_finseqop2017-01-13 17:54 78K 
[ ]finseqop__t84_finseqop2017-01-13 17:54 81K 
[ ]finseqop__t85_finseqop2017-01-13 17:54 73K 
[ ]finseqop__t86_finseqop2017-01-13 17:54 68K 
[ ]finseqop__t87_finseqop2017-01-13 17:54 68K 
[ ]finseqop__t88_finseqop2017-01-13 17:55 67K 
[ ]finseqop__t89_finseqop2017-01-13 17:55 74K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80