Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/nat_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_4__l14_nat_42017-01-13 00:36 96K 
[ ]nat_4__l27_nat_42017-01-13 00:36 104K 
[ ]nat_4__l28_nat_42017-01-13 00:36 100K 
[ ]nat_4__l32_nat_42017-01-13 00:36 180K 
[ ]nat_4__l35_nat_42017-01-13 00:36 243K 
[ ]nat_4__l36_nat_42017-01-13 00:36 121K 
[ ]nat_4__l47_nat_42017-01-13 00:36 160K 
[ ]nat_4__l57_nat_42017-01-13 00:36 373K 
[ ]nat_4__l58_nat_42017-01-13 00:36 413K 
[ ]nat_4__l66_nat_42017-01-13 00:36 333K 
[ ]nat_4__l67_nat_42017-01-13 00:36 355K 
[ ]nat_4__s1_nat_42017-01-13 00:35 133K 
[ ]nat_4__s2_nat_42017-01-13 00:35 152K 
[ ]nat_4__s3_nat_42017-01-13 00:35 172K 
[ ]nat_4__s4_nat_42017-01-13 00:35 142K 
[ ]nat_4__t1_nat_42017-01-13 00:35 88K 
[ ]nat_4__t2_nat_42017-01-13 00:35 88K 
[ ]nat_4__t3_nat_42017-01-13 00:35 122K 
[ ]nat_4__t4_nat_42017-01-13 00:35 431K 
[ ]nat_4__t5_nat_42017-01-13 00:35 287K 
[ ]nat_4__t6_nat_42017-01-13 00:35 143K 
[ ]nat_4__t7_nat_42017-01-13 00:35 84K 
[ ]nat_4__t8_nat_42017-01-13 00:35 106K 
[ ]nat_4__t9_nat_42017-01-13 00:35 134K 
[ ]nat_4__t10_nat_42017-01-13 00:35 100K 
[ ]nat_4__t11_nat_42017-01-13 00:35 112K 
[ ]nat_4__t12_nat_42017-01-13 00:35 87K 
[ ]nat_4__t13_nat_42017-01-13 00:35 102K 
[ ]nat_4__t14_nat_42017-01-13 00:35 90K 
[ ]nat_4__t15_nat_42017-01-13 00:35 125K 
[ ]nat_4__t16_nat_42017-01-13 00:35 113K 
[ ]nat_4__t17_nat_42017-01-13 00:35 148K 
[ ]nat_4__t18_nat_42017-01-13 00:35 126K 
[ ]nat_4__t19_nat_42017-01-13 00:35 127K 
[ ]nat_4__t20_nat_42017-01-13 00:35 193K 
[ ]nat_4__t21_nat_42017-01-13 00:35 106K 
[ ]nat_4__t22_nat_42017-01-13 00:35 109K 
[ ]nat_4__t23_nat_42017-01-13 00:35 170K 
[ ]nat_4__t24_nat_42017-01-13 00:35 191K 
[ ]nat_4__t25_nat_42017-01-13 00:35 149K 
[ ]nat_4__t26_nat_42017-01-13 00:36 113K 
[ ]nat_4__t27_nat_42017-01-13 00:36 119K 
[ ]nat_4__t28_nat_42017-01-13 00:36 120K 
[ ]nat_4__t29_nat_42017-01-13 00:36 119K 
[ ]nat_4__t30_nat_42017-01-13 00:36 121K 
[ ]nat_4__t31_nat_42017-01-13 00:36 181K 
[ ]nat_4__t32_nat_42017-01-13 00:36 221K 
[ ]nat_4__t33_nat_42017-01-13 00:36 188K 
[ ]nat_4__t34_nat_42017-01-13 00:36 197K 
[ ]nat_4__t35_nat_42017-01-13 00:36 185K 
[ ]nat_4__t36_nat_42017-01-13 00:36 179K 
[ ]nat_4__t37_nat_42017-01-13 00:36 179K 
[ ]nat_4__t38_nat_42017-01-13 00:36 415K 
[ ]nat_4__t39_nat_42017-01-13 00:36 440K 
[ ]nat_4__t40_nat_42017-01-13 00:36 449K 
[ ]nat_4__t41_nat_42017-01-13 00:36 131K 
[ ]nat_4__t42_nat_42017-01-13 00:36 179K 
[ ]nat_4__t43_nat_42017-01-13 00:36 197K 
[ ]nat_4__t44_nat_42017-01-13 00:36 239K 
[ ]nat_4__t45_nat_42017-01-13 00:36 894K 
[ ]nat_4__t46_nat_42017-01-13 00:36 185K 
[ ]nat_4__t47_nat_42017-01-13 00:36 212K 
[ ]nat_4__t48_nat_42017-01-13 00:36 273K 
[ ]nat_4__t49_nat_42017-01-13 00:36 448K 
[ ]nat_4__t50_nat_42017-01-13 00:36 105K 
[ ]nat_4__t51_nat_42017-01-13 00:36 151K 
[ ]nat_4__t52_nat_42017-01-13 00:36 125K 
[ ]nat_4__t53_nat_42017-01-13 00:36 189K 
[ ]nat_4__t54_nat_42017-01-13 00:36 188K 
[ ]nat_4__t55_nat_42017-01-13 00:36 155K 
[ ]nat_4__t56_nat_42017-01-13 00:36 662K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80