Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/card_fin

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_fin__l16_card_fin2017-01-13 00:48 132K 
[ ]card_fin__l44_card_fin2017-01-13 00:48 88K 
[ ]card_fin__l65_card_fin2017-01-13 00:48 184K 
[ ]card_fin__l69_card_fin2017-01-13 00:48 213K 
[ ]card_fin__t1_card_fin2017-01-13 00:47 88K 
[ ]card_fin__t2_card_fin2017-01-13 00:47 113K 
[ ]card_fin__t3_card_fin2017-01-13 00:47 111K 
[ ]card_fin__t4_card_fin2017-01-13 00:47 155K 
[ ]card_fin__t5_card_fin2017-01-13 00:47 122K 
[ ]card_fin__t6_card_fin2017-01-13 00:47 76K 
[ ]card_fin__t7_card_fin2017-01-13 00:47 180K 
[ ]card_fin__t8_card_fin2017-01-13 00:47 92K 
[ ]card_fin__t9_card_fin2017-01-13 00:47 97K 
[ ]card_fin__t10_card_fin2017-01-13 00:47 91K 
[ ]card_fin__t11_card_fin2017-01-13 00:47 102K 
[ ]card_fin__t12_card_fin2017-01-13 00:47 107K 
[ ]card_fin__t13_card_fin2017-01-13 00:47 147K 
[ ]card_fin__t14_card_fin2017-01-13 00:47 124K 
[ ]card_fin__t15_card_fin2017-01-13 00:47 117K 
[ ]card_fin__t16_card_fin2017-01-13 00:47 144K 
[ ]card_fin__t17_card_fin2017-01-13 00:47 128K 
[ ]card_fin__t18_card_fin2017-01-13 00:47 117K 
[ ]card_fin__t19_card_fin2017-01-13 00:47 85K 
[ ]card_fin__t20_card_fin2017-01-13 00:47 83K 
[ ]card_fin__t21_card_fin2017-01-13 00:47 81K 
[ ]card_fin__t22_card_fin2017-01-13 00:47 81K 
[ ]card_fin__t23_card_fin2017-01-13 00:47 73K 
[ ]card_fin__t24_card_fin2017-01-13 00:47 109K 
[ ]card_fin__t25_card_fin2017-01-13 00:47 115K 
[ ]card_fin__t26_card_fin2017-01-13 00:47 98K 
[ ]card_fin__t27_card_fin2017-01-13 00:47 91K 
[ ]card_fin__t28_card_fin2017-01-13 00:47 90K 
[ ]card_fin__t29_card_fin2017-01-13 00:47 90K 
[ ]card_fin__t30_card_fin2017-01-13 00:47 99K 
[ ]card_fin__t31_card_fin2017-01-13 00:47 80K 
[ ]card_fin__t32_card_fin2017-01-13 00:47 102K 
[ ]card_fin__t33_card_fin2017-01-13 00:47 81K 
[ ]card_fin__t34_card_fin2017-01-13 00:47 81K 
[ ]card_fin__t35_card_fin2017-01-13 00:47 102K 
[ ]card_fin__t36_card_fin2017-01-13 00:47 102K 
[ ]card_fin__t37_card_fin2017-01-13 00:47 105K 
[ ]card_fin__t38_card_fin2017-01-13 00:47 80K 
[ ]card_fin__t39_card_fin2017-01-13 00:47 6.0K 
[ ]card_fin__t40_card_fin2017-01-13 00:47 111K 
[ ]card_fin__t41_card_fin2017-01-13 00:47 110K 
[ ]card_fin__t42_card_fin2017-01-13 00:47 119K 
[ ]card_fin__t43_card_fin2017-01-13 00:47 109K 
[ ]card_fin__t44_card_fin2017-01-13 00:47 184K 
[ ]card_fin__t45_card_fin2017-01-13 00:47 138K 
[ ]card_fin__t46_card_fin2017-01-13 00:47 105K 
[ ]card_fin__t47_card_fin2017-01-13 00:47 171K 
[ ]card_fin__t48_card_fin2017-01-13 00:47 199K 
[ ]card_fin__t49_card_fin2017-01-13 00:47 103K 
[ ]card_fin__t50_card_fin2017-01-13 00:47 103K 
[ ]card_fin__t51_card_fin2017-01-13 00:47 108K 
[ ]card_fin__t52_card_fin2017-01-13 00:47 127K 
[ ]card_fin__t53_card_fin2017-01-13 00:47 221K 
[ ]card_fin__t54_card_fin2017-01-13 00:47 103K 
[ ]card_fin__t55_card_fin2017-01-13 00:47 91K 
[ ]card_fin__t56_card_fin2017-01-13 00:47 306K 
[ ]card_fin__t57_card_fin2017-01-13 00:47 126K 
[ ]card_fin__t58_card_fin2017-01-13 00:47 135K 
[ ]card_fin__t59_card_fin2017-01-13 00:47 189K 
[ ]card_fin__t60_card_fin2017-01-13 00:47 226K 
[ ]card_fin__t61_card_fin2017-01-13 00:47 168K 
[ ]card_fin__t62_card_fin2017-01-13 00:47 190K 
[ ]card_fin__t63_card_fin2017-01-13 00:47 122K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80