Index of /~mptp/1147/MPTP2/problems_thf_tls1/quaterni

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quaterni__l6_quaterni2017-01-13 19:23 24K 
[ ]quaterni__l8_quaterni2017-01-13 19:23 33K 
[ ]quaterni__l13_quaterni2017-01-13 19:23 34K 
[ ]quaterni__l15_quaterni2017-01-13 19:23 54K 
[ ]quaterni__l19_quaterni2017-01-13 19:23 17K 
[ ]quaterni__l21_quaterni2017-01-13 19:23 58K 
[ ]quaterni__l26_quaterni2017-01-13 19:23 56K 
[ ]quaterni__l46_quaterni2017-01-13 19:23 39K 
[ ]quaterni__l47_quaterni2017-01-13 19:23 52K 
[ ]quaterni__l53_quaterni2017-01-13 19:23 68K 
[ ]quaterni__l57_quaterni2017-01-13 19:23 48K 
[ ]quaterni__l61_quaterni2017-01-13 19:23 53K 
[ ]quaterni__l62_quaterni2017-01-13 19:23 52K 
[ ]quaterni__l63_quaterni2017-01-13 19:23 52K 
[ ]quaterni__l64_quaterni2017-01-13 19:23 78K 
[ ]quaterni__l65_quaterni2017-01-13 19:23 53K 
[ ]quaterni__l66_quaterni2017-01-13 19:23 79K 
[ ]quaterni__l67_quaterni2017-01-13 19:23 78K 
[ ]quaterni__l69_quaterni2017-01-13 19:23 52K 
[ ]quaterni__l76_quaterni2017-01-13 19:23 80K 
[ ]quaterni__l77_quaterni2017-01-13 19:23 68K 
[ ]quaterni__l79_quaterni2017-01-13 19:23 158K 
[ ]quaterni__l81_quaterni2017-01-13 19:23 55K 
[ ]quaterni__l82_quaterni2017-01-13 19:23 67K 
[ ]quaterni__l86_quaterni2017-01-13 19:23 83K 
[ ]quaterni__l88_quaterni2017-01-13 19:23 91K 
[ ]quaterni__l124_quaterni2017-01-13 19:23 41K 
[ ]quaterni__l125_quaterni2017-01-13 19:23 41K 
[ ]quaterni__l126_quaterni2017-01-13 19:23 41K 
[ ]quaterni__l127_quaterni2017-01-13 19:23 69K 
[ ]quaterni__l128_quaterni2017-01-13 19:23 3.3K 
[ ]quaterni__l129_quaterni2017-01-13 19:23 45K 
[ ]quaterni__l130_quaterni2017-01-13 19:23 71K 
[ ]quaterni__l131_quaterni2017-01-13 19:23 49K 
[ ]quaterni__l138_quaterni2017-01-13 19:23 81K 
[ ]quaterni__l139_quaterni2017-01-13 19:23 81K 
[ ]quaterni__l140_quaterni2017-01-13 19:23 73K 
[ ]quaterni__l141_quaterni2017-01-13 19:23 216K 
[ ]quaterni__l142_quaterni2017-01-13 19:23 215K 
[ ]quaterni__l147_quaterni2017-01-13 19:23 80K 
[ ]quaterni__t1_quaterni2017-01-13 19:23 38K 
[ ]quaterni__t2_quaterni2017-01-13 19:23 36K 
[ ]quaterni__t3_quaterni2017-01-13 19:23 34K 
[ ]quaterni__t4_quaterni2017-01-13 19:23 30K 
[ ]quaterni__t5_quaterni2017-01-13 19:23 20K 
[ ]quaterni__t6_quaterni2017-01-13 19:23 39K 
[ ]quaterni__t7_quaterni2017-01-13 19:23 61K 
[ ]quaterni__t8_quaterni2017-01-13 19:23 39K 
[ ]quaterni__t9_quaterni2017-01-13 19:23 41K 
[ ]quaterni__t10_quaterni2017-01-13 19:23 60K 
[ ]quaterni__t11_quaterni2017-01-13 19:23 3.6K 
[ ]quaterni__t12_quaterni2017-01-13 19:23 58K 
[ ]quaterni__t13_quaterni2017-01-13 19:23 160K 
[ ]quaterni__t14_quaterni2017-01-13 19:23 98K 
[ ]quaterni__t15_quaterni2017-01-13 19:23 98K 
[ ]quaterni__t16_quaterni2017-01-13 19:23 170K 
[ ]quaterni__t17_quaterni2017-01-13 19:23 170K 
[ ]quaterni__t18_quaterni2017-01-13 19:23 170K 
[ ]quaterni__t19_quaterni2017-01-13 19:23 171K 
[ ]quaterni__t20_quaterni2017-01-13 19:23 98K 
[ ]quaterni__t21_quaterni2017-01-13 19:23 171K 
[ ]quaterni__t22_quaterni2017-01-13 19:23 47K 
[ ]quaterni__t23_quaterni2017-01-13 19:23 64K 
[ ]quaterni__t24_quaterni2017-01-13 19:23 66K 
[ ]quaterni__t25_quaterni2017-01-13 19:23 47K 
[ ]quaterni__t26_quaterni2017-01-13 19:23 48K 
[ ]quaterni__t27_quaterni2017-01-13 19:23 85K 
[ ]quaterni__t28_quaterni2017-01-13 19:23 62K 
[ ]quaterni__t29_quaterni2017-01-13 19:23 48K 
[ ]quaterni__t30_quaterni2017-01-13 19:23 52K 
[ ]quaterni__t31_quaterni2017-01-13 19:23 59K 
[ ]quaterni__t32_quaterni2017-01-13 19:23 53K 
[ ]quaterni__t33_quaterni2017-01-13 19:23 105K 
[ ]quaterni__t34_quaterni2017-01-13 19:23 99K 
[ ]quaterni__t35_quaterni2017-01-13 19:23 99K 
[ ]quaterni__t36_quaterni2017-01-13 19:23 53K 
[ ]quaterni__t37_quaterni2017-01-13 19:23 64K 
[ ]quaterni__t38_quaterni2017-01-13 19:23 178K 
[ ]quaterni__t39_quaterni2017-01-13 19:23 88K 
[ ]quaterni__t40_quaterni2017-01-13 19:23 217K 
[ ]quaterni__t41_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t42_quaterni2017-01-13 19:23 90K 
[ ]quaterni__t43_quaterni2017-01-13 19:23 129K 
[ ]quaterni__t44_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t45_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t46_quaterni2017-01-13 19:23 173K 
[ ]quaterni__t47_quaterni2017-01-13 19:23 69K 
[ ]quaterni__t48_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t49_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t50_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t51_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t52_quaterni2017-01-13 19:23 69K 
[ ]quaterni__t53_quaterni2017-01-13 19:23 69K 
[ ]quaterni__t54_quaterni2017-01-13 19:23 78K 
[ ]quaterni__t55_quaterni2017-01-13 19:23 84K 
[ ]quaterni__t56_quaterni2017-01-13 19:23 93K 
[ ]quaterni__t57_quaterni2017-01-13 19:23 455K 
[ ]quaterni__t58_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t59_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t60_quaterni2017-01-13 19:23 178K 
[ ]quaterni__t61_quaterni2017-01-13 19:23 128K 
[ ]quaterni__t62_quaterni2017-01-13 19:23 67K 
[ ]quaterni__t63_quaterni2017-01-13 19:23 82K 
[ ]quaterni__t64_quaterni2017-01-13 19:23 177K 
[ ]quaterni__t65_quaterni2017-01-13 19:23 86K 
[ ]quaterni__t66_quaterni2017-01-13 19:23 261K 
[ ]quaterni__t67_quaterni2017-01-13 19:23 44K 
[ ]quaterni__t68_quaterni2017-01-13 19:23 86K 
[ ]quaterni__t69_quaterni2017-01-13 19:23 46K 
[ ]quaterni__t70_quaterni2017-01-13 19:23 71K 
[ ]quaterni__t71_quaterni2017-01-13 19:23 71K 
[ ]quaterni__t72_quaterni2017-01-13 19:23 216K 
[ ]quaterni__t73_quaterni2017-01-13 19:23 452K 
[ ]quaterni__t74_quaterni2017-01-13 19:23 39K 
[ ]quaterni__t75_quaterni2017-01-13 19:23 73K 
[ ]quaterni__t76_quaterni2017-01-13 19:23 73K 
[ ]quaterni__t77_quaterni2017-01-13 19:23 73K 
[ ]quaterni__t78_quaterni2017-01-13 19:23 73K 
[ ]quaterni__t79_quaterni2017-01-13 19:23 268K 
[ ]quaterni__t80_quaterni2017-01-13 19:23 102K 
[ ]quaterni__t81_quaterni2017-01-13 19:23 102K 
[ ]quaterni__t82_quaterni2017-01-13 19:23 102K 
[ ]quaterni__t83_quaterni2017-01-13 19:23 88K 
[ ]quaterni__t84_quaterni2017-01-13 19:23 89K 
[ ]quaterni__t85_quaterni2017-01-13 19:23 102K 
[ ]quaterni__t86_quaterni2017-01-13 19:23 104K 
[ ]quaterni__t87_quaterni2017-01-13 19:23 264K 
[ ]quaterni__t88_quaterni2017-01-13 19:23 100K 
[ ]quaterni__t89_quaterni2017-01-13 19:23 175K 
[ ]quaterni__t90_quaterni2017-01-13 19:23 26K 
[ ]quaterni__t91_quaterni2017-01-13 19:23 45K 
[ ]quaterni__t92_quaterni2017-01-13 19:23 68K 
[ ]quaterni__t93_quaterni2017-01-13 19:23 157K 
[ ]quaterni__t94_quaterni2017-01-13 19:23 67K 
[ ]quaterni__t95_quaterni2017-01-13 19:23 88K 
[ ]quaterni__t96_quaterni2017-01-13 19:23 58K 
[ ]quaterni__t97_quaterni2017-01-13 19:23 78K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80