Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/quaterni

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quaterni__l6_quaterni2016-03-08 13:08 24K 
[ ]quaterni__l8_quaterni2016-03-08 13:08 33K 
[ ]quaterni__l13_quaterni2016-03-08 13:08 34K 
[ ]quaterni__l15_quaterni2017-01-05 20:54 54K 
[ ]quaterni__l19_quaterni2016-03-08 13:08 17K 
[ ]quaterni__l21_quaterni2017-01-05 20:54 58K 
[ ]quaterni__l26_quaterni2017-01-05 20:54 56K 
[ ]quaterni__l46_quaterni2016-03-08 13:08 39K 
[ ]quaterni__l47_quaterni2017-01-05 20:54 52K 
[ ]quaterni__l53_quaterni2016-03-08 13:08 66K 
[ ]quaterni__l57_quaterni2017-01-05 20:54 48K 
[ ]quaterni__l61_quaterni2017-01-05 20:54 53K 
[ ]quaterni__l62_quaterni2017-01-05 20:54 52K 
[ ]quaterni__l63_quaterni2017-01-05 20:54 52K 
[ ]quaterni__l64_quaterni2017-01-05 20:54 77K 
[ ]quaterni__l65_quaterni2017-01-05 20:54 53K 
[ ]quaterni__l66_quaterni2017-01-05 20:54 77K 
[ ]quaterni__l67_quaterni2017-01-05 20:54 77K 
[ ]quaterni__l69_quaterni2017-01-05 20:54 52K 
[ ]quaterni__l76_quaterni2017-01-05 20:54 79K 
[ ]quaterni__l77_quaterni2017-01-05 20:54 68K 
[ ]quaterni__l79_quaterni2017-01-05 20:54 154K 
[ ]quaterni__l81_quaterni2017-01-05 20:54 55K 
[ ]quaterni__l82_quaterni2017-01-05 20:54 67K 
[ ]quaterni__l86_quaterni2017-01-05 20:54 82K 
[ ]quaterni__l88_quaterni2017-01-05 20:54 90K 
[ ]quaterni__l124_quaterni2016-03-08 13:08 41K 
[ ]quaterni__l125_quaterni2016-03-08 13:08 40K 
[ ]quaterni__l126_quaterni2016-03-08 13:08 41K 
[ ]quaterni__l127_quaterni2016-03-08 13:08 67K 
[ ]quaterni__l128_quaterni2016-03-08 13:08 3.3K 
[ ]quaterni__l129_quaterni2016-03-08 13:08 45K 
[ ]quaterni__l130_quaterni2016-03-08 13:08 69K 
[ ]quaterni__l131_quaterni2016-03-08 13:08 48K 
[ ]quaterni__l138_quaterni2017-01-05 20:54 80K 
[ ]quaterni__l139_quaterni2017-01-05 20:54 80K 
[ ]quaterni__l140_quaterni2017-01-05 20:54 72K 
[ ]quaterni__l141_quaterni2017-01-05 20:54 204K 
[ ]quaterni__l142_quaterni2017-01-05 20:54 203K 
[ ]quaterni__l147_quaterni2017-01-05 20:54 79K 
[ ]quaterni__t1_quaterni2016-03-08 13:08 37K 
[ ]quaterni__t2_quaterni2016-03-08 13:08 36K 
[ ]quaterni__t3_quaterni2016-03-08 13:08 34K 
[ ]quaterni__t4_quaterni2016-03-08 13:08 30K 
[ ]quaterni__t5_quaterni2016-03-08 13:08 20K 
[ ]quaterni__t6_quaterni2016-03-08 13:08 39K 
[ ]quaterni__t7_quaterni2017-01-05 20:54 61K 
[ ]quaterni__t8_quaterni2016-03-08 13:08 39K 
[ ]quaterni__t9_quaterni2017-01-05 20:54 40K 
[ ]quaterni__t10_quaterni2017-01-05 20:54 59K 
[ ]quaterni__t11_quaterni2016-03-08 13:08 3.7K 
[ ]quaterni__t12_quaterni2017-01-05 20:54 57K 
[ ]quaterni__t13_quaterni2017-01-05 20:54 155K 
[ ]quaterni__t14_quaterni2017-01-05 20:54 96K 
[ ]quaterni__t15_quaterni2017-01-05 20:54 96K 
[ ]quaterni__t16_quaterni2017-01-05 20:54 164K 
[ ]quaterni__t17_quaterni2017-01-05 20:54 164K 
[ ]quaterni__t18_quaterni2017-01-05 20:54 164K 
[ ]quaterni__t19_quaterni2017-01-05 20:54 166K 
[ ]quaterni__t20_quaterni2017-01-05 20:54 96K 
[ ]quaterni__t21_quaterni2017-01-05 20:54 166K 
[ ]quaterni__t22_quaterni2016-03-08 13:08 47K 
[ ]quaterni__t23_quaterni2017-01-05 20:54 63K 
[ ]quaterni__t24_quaterni2017-01-05 20:54 66K 
[ ]quaterni__t25_quaterni2017-01-05 20:54 47K 
[ ]quaterni__t26_quaterni2017-01-05 20:54 48K 
[ ]quaterni__t27_quaterni2017-01-05 20:54 83K 
[ ]quaterni__t28_quaterni2016-03-08 13:08 60K 
[ ]quaterni__t29_quaterni2017-01-05 20:54 48K 
[ ]quaterni__t30_quaterni2017-01-05 20:54 52K 
[ ]quaterni__t31_quaterni2017-01-05 20:54 59K 
[ ]quaterni__t32_quaterni2017-01-05 20:54 53K 
[ ]quaterni__t33_quaterni2016-03-08 13:08 102K 
[ ]quaterni__t34_quaterni2017-01-05 20:54 97K 
[ ]quaterni__t35_quaterni2017-01-05 20:54 97K 
[ ]quaterni__t36_quaterni2017-01-05 20:54 53K 
[ ]quaterni__t37_quaterni2017-01-05 20:54 64K 
[ ]quaterni__t38_quaterni2017-01-05 20:54 173K 
[ ]quaterni__t39_quaterni2017-01-05 20:54 86K 
[ ]quaterni__t40_quaterni2017-01-05 20:54 205K 
[ ]quaterni__t41_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t42_quaterni2017-01-05 20:54 88K 
[ ]quaterni__t43_quaterni2017-01-05 20:54 126K 
[ ]quaterni__t44_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t45_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t46_quaterni2017-01-05 20:54 168K 
[ ]quaterni__t47_quaterni2017-01-05 20:54 69K 
[ ]quaterni__t48_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t49_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t50_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t51_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t52_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t53_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t54_quaterni2017-01-05 20:54 78K 
[ ]quaterni__t55_quaterni2017-01-05 20:54 83K 
[ ]quaterni__t56_quaterni2017-01-05 20:54 92K 
[ ]quaterni__t57_quaterni2017-01-05 20:54 431K 
[ ]quaterni__t58_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t59_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t60_quaterni2017-01-05 20:54 173K 
[ ]quaterni__t61_quaterni2017-01-05 20:54 125K 
[ ]quaterni__t62_quaterni2017-01-05 20:54 66K 
[ ]quaterni__t63_quaterni2017-01-05 20:54 80K 
[ ]quaterni__t64_quaterni2017-01-05 20:54 172K 
[ ]quaterni__t65_quaterni2017-01-05 20:54 84K 
[ ]quaterni__t66_quaterni2017-01-05 20:54 246K 
[ ]quaterni__t67_quaterni2016-03-08 13:08 44K 
[ ]quaterni__t68_quaterni2017-01-05 20:54 84K 
[ ]quaterni__t69_quaterni2016-03-08 13:08 46K 
[ ]quaterni__t70_quaterni2017-01-05 20:54 71K 
[ ]quaterni__t71_quaterni2017-01-05 20:54 71K 
[ ]quaterni__t72_quaterni2017-01-05 20:54 204K 
[ ]quaterni__t73_quaterni2017-01-05 20:54 428K 
[ ]quaterni__t74_quaterni2016-03-08 13:08 39K 
[ ]quaterni__t75_quaterni2016-03-08 13:08 71K 
[ ]quaterni__t76_quaterni2016-03-08 13:08 71K 
[ ]quaterni__t77_quaterni2016-03-08 13:08 71K 
[ ]quaterni__t78_quaterni2016-03-08 13:08 71K 
[ ]quaterni__t79_quaterni2017-01-05 20:54 253K 
[ ]quaterni__t80_quaterni2017-01-05 20:54 99K 
[ ]quaterni__t81_quaterni2017-01-05 20:54 99K 
[ ]quaterni__t82_quaterni2017-01-05 20:54 99K 
[ ]quaterni__t83_quaterni2017-01-05 20:54 86K 
[ ]quaterni__t84_quaterni2017-01-05 20:54 87K 
[ ]quaterni__t85_quaterni2017-01-05 20:54 99K 
[ ]quaterni__t86_quaterni2017-01-05 20:54 101K 
[ ]quaterni__t87_quaterni2017-01-05 20:54 249K 
[ ]quaterni__t88_quaterni2017-01-05 20:54 98K 
[ ]quaterni__t89_quaterni2017-01-05 20:54 170K 
[ ]quaterni__t90_quaterni2016-03-08 13:08 26K 
[ ]quaterni__t91_quaterni2017-01-05 20:54 45K 
[ ]quaterni__t92_quaterni2017-01-05 20:54 68K 
[ ]quaterni__t93_quaterni2017-01-05 20:54 153K 
[ ]quaterni__t94_quaterni2017-01-05 20:54 67K 
[ ]quaterni__t95_quaterni2017-01-05 20:54 87K 
[ ]quaterni__t96_quaterni2016-03-08 13:08 56K 
[ ]quaterni__t97_quaterni2017-01-05 20:54 77K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80