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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__l14_nat_42019-08-23 11:58 161K 
[   ]nat_4__l27_nat_42019-08-23 12:02 105K 
[   ]nat_4__l28_nat_42019-08-23 12:02 102K 
[   ]nat_4__l32_nat_42019-08-23 12:03 354K 
[   ]nat_4__l35_nat_42019-08-23 12:03 508K 
[   ]nat_4__l36_nat_42019-08-23 12:03 134K 
[   ]nat_4__l47_nat_42019-08-23 12:12 425K 
[   ]nat_4__l57_nat_42019-08-23 12:20 1.0M 
[   ]nat_4__l58_nat_42019-08-23 12:22 1.2M 
[   ]nat_4__l66_nat_42019-08-23 12:33 1.3M 
[   ]nat_4__l67_nat_42019-08-23 12:34 528K 
[   ]nat_4__s1_nat_42019-08-23 12:29 179K 
[   ]nat_4__s2_nat_42019-08-23 12:30 261K 
[   ]nat_4__s3_nat_42019-08-23 12:31 649K 
[   ]nat_4__s4_nat_42019-08-23 12:33 469K 
[   ]nat_4__t1_nat_42019-08-23 11:53 83K 
[   ]nat_4__t2_nat_42019-08-23 11:53 82K 
[   ]nat_4__t3_nat_42019-08-23 11:54 182K 
[   ]nat_4__t4_nat_42019-08-23 11:56 2.1M 
[   ]nat_4__t5_nat_42019-08-23 11:57 769K 
[   ]nat_4__t6_nat_42019-08-23 11:57 191K 
[   ]nat_4__t7_nat_42019-08-23 11:57 88K 
[   ]nat_4__t8_nat_42019-08-23 11:58 148K 
[   ]nat_4__t9_nat_42019-08-23 11:58 155K 
[   ]nat_4__t10_nat_42019-08-23 11:58 98K 
[   ]nat_4__t11_nat_42019-08-23 11:58 134K 
[   ]nat_4__t12_nat_42019-08-23 11:58 106K 
[   ]nat_4__t13_nat_42019-08-23 11:58 115K 
[   ]nat_4__t14_nat_42019-08-23 11:58 88K 
[   ]nat_4__t15_nat_42019-08-23 11:58 158K 
[   ]nat_4__t16_nat_42019-08-23 11:59 138K 
[   ]nat_4__t17_nat_42019-08-23 11:59 400K 
[   ]nat_4__t18_nat_42019-08-23 11:59 141K 
[   ]nat_4__t19_nat_42019-08-23 11:59 169K 
[   ]nat_4__t20_nat_42019-08-23 12:01 733K 
[   ]nat_4__t21_nat_42019-08-23 12:01 123K 
[   ]nat_4__t22_nat_42019-08-23 12:01 129K 
[   ]nat_4__t23_nat_42019-08-23 12:01 398K 
[   ]nat_4__t24_nat_42019-08-23 12:02 457K 
[   ]nat_4__t25_nat_42019-08-23 12:02 186K 
[   ]nat_4__t26_nat_42019-08-23 12:02 135K 
[   ]nat_4__t27_nat_42019-08-23 12:02 142K 
[   ]nat_4__t28_nat_42019-08-23 12:02 142K 
[   ]nat_4__t29_nat_42019-08-23 12:03 141K 
[   ]nat_4__t30_nat_42019-08-23 12:03 145K 
[   ]nat_4__t31_nat_42019-08-23 12:04 292K 
[   ]nat_4__t32_nat_42019-08-23 12:04 310K 
[   ]nat_4__t33_nat_42019-08-23 12:05 298K 
[   ]nat_4__t34_nat_42019-08-23 12:06 294K 
[   ]nat_4__t35_nat_42019-08-23 12:07 292K 
[   ]nat_4__t36_nat_42019-08-23 12:07 293K 
[   ]nat_4__t37_nat_42019-08-23 12:08 288K 
[   ]nat_4__t38_nat_42019-08-23 12:09 933K 
[   ]nat_4__t39_nat_42019-08-23 12:10 970K 
[   ]nat_4__t40_nat_42019-08-23 12:12 1.0M 
[   ]nat_4__t41_nat_42019-08-23 12:12 119K 
[   ]nat_4__t42_nat_42019-08-23 12:13 279K 
[   ]nat_4__t43_nat_42019-08-23 12:14 556K 
[   ]nat_4__t44_nat_42019-08-23 12:15 773K 
[   ]nat_4__t45_nat_42019-08-23 12:29 3.8M 
[   ]nat_4__t46_nat_42019-08-23 12:29 410K 
[   ]nat_4__t47_nat_42019-08-23 12:16 604K 
[   ]nat_4__t48_nat_42019-08-23 12:18 972K 
[   ]nat_4__t49_nat_42019-08-23 12:19 1.2M 
[   ]nat_4__t50_nat_42019-08-23 12:22 94K 
[   ]nat_4__t51_nat_42019-08-23 12:23 303K 
[   ]nat_4__t52_nat_42019-08-23 12:23 168K 
[   ]nat_4__t53_nat_42019-08-23 12:23 300K 
[   ]nat_4__t54_nat_42019-08-23 12:24 399K 
[   ]nat_4__t55_nat_42019-08-23 12:24 199K 
[   ]nat_4__t56_nat_42019-08-23 12:26 2.0M 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80