Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nat_d

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_d__l1_nat_d2024-07-27 00:08 11K 
[ ]nat_d__l1_nat_d.depv12024-08-03 10:19 96  
[ ]nat_d__l1_nat_d.depvmin12024-08-03 10:24 96  
[ ]nat_d__l1_nat_d.vmin12024-08-03 10:20 813  
[ ]nat_d__l1_nat_d.vmin1out2024-08-03 10:21 6.6K 
[ ]nat_d__l1_nat_d.vout2024-08-03 09:54 7.1K 
[ ]nat_d__l2_nat_d2024-07-27 00:08 11K 
[ ]nat_d__l2_nat_d.depv12024-08-03 10:19 186  
[ ]nat_d__l2_nat_d.depvmin12024-08-03 10:24 186  
[ ]nat_d__l2_nat_d.vmin12024-08-03 10:20 1.4K 
[ ]nat_d__l2_nat_d.vmin1out2024-08-03 10:21 12K 
[ ]nat_d__l2_nat_d.vout2024-08-03 05:26 12K 
[ ]nat_d__t1_nat_d2024-07-26 23:15 11K 
[ ]nat_d__t1_nat_d.depv12024-08-03 10:19 75  
[ ]nat_d__t1_nat_d.depvmin12024-08-03 10:24 51  
[ ]nat_d__t1_nat_d.vmin12024-08-03 10:20 589  
[ ]nat_d__t1_nat_d.vmin1out2024-08-03 10:21 5.2K 
[ ]nat_d__t1_nat_d.vout2024-08-03 06:44 5.7K 
[ ]nat_d__t2_nat_d2024-07-26 23:16 15K 
[ ]nat_d__t2_nat_d.vout2024-08-03 04:23 2.0K 
[ ]nat_d__t3_nat_d2024-07-26 23:21 34K 
[ ]nat_d__t3_nat_d.vout2024-08-03 04:45 4.7K 
[ ]nat_d__t4_nat_d2024-07-26 23:17 15K 
[ ]nat_d__t4_nat_d.depv12024-08-03 10:19 50  
[ ]nat_d__t4_nat_d.depvmin12024-08-03 10:24 50  
[ ]nat_d__t4_nat_d.vmin12024-08-03 10:20 564  
[ ]nat_d__t4_nat_d.vmin1out2024-08-03 10:20 7.4K 
[ ]nat_d__t4_nat_d.vout2024-08-03 06:56 11K 
[ ]nat_d__t5_nat_d2024-07-26 23:22 16K 
[ ]nat_d__t5_nat_d.vout2024-08-03 09:36 4.7K 
[ ]nat_d__t6_nat_d2024-07-26 23:17 12K 
[ ]nat_d__t6_nat_d.depv12024-08-03 10:19 115  
[ ]nat_d__t6_nat_d.depvmin12024-08-03 10:24 115  
[ ]nat_d__t6_nat_d.vmin12024-08-03 10:20 722  
[ ]nat_d__t6_nat_d.vmin1out2024-08-03 10:21 6.3K 
[ ]nat_d__t6_nat_d.vout2024-08-03 08:58 7.6K 
[ ]nat_d__t7_nat_d2024-07-26 23:18 18K 
[ ]nat_d__t7_nat_d.depv12024-08-03 10:19 75  
[ ]nat_d__t7_nat_d.depvmin12024-08-03 10:24 51  
[ ]nat_d__t7_nat_d.vmin12024-08-03 10:20 591  
[ ]nat_d__t7_nat_d.vmin1out2024-08-03 10:23 5.5K 
[ ]nat_d__t7_nat_d.vout2024-08-03 06:33 8.0K 
[ ]nat_d__t8_nat_d2024-07-26 23:23 19K 
[ ]nat_d__t8_nat_d.vout2024-08-03 06:04 7.2K 
[ ]nat_d__t9_nat_d2024-07-26 23:19 13K 
[ ]nat_d__t9_nat_d.depv12024-08-03 10:19 60  
[ ]nat_d__t9_nat_d.depvmin12024-08-03 10:24 60  
[ ]nat_d__t9_nat_d.vmin12024-08-03 10:20 667  
[ ]nat_d__t9_nat_d.vmin1out2024-08-03 10:23 7.5K 
[ ]nat_d__t9_nat_d.vout2024-08-03 09:31 11K 
[ ]nat_d__t10_nat_d2024-07-26 23:24 34K 
[ ]nat_d__t10_nat_d.vout2024-08-03 04:41 4.7K 
[ ]nat_d__t11_nat_d2024-07-26 23:25 34K 
[ ]nat_d__t11_nat_d.vout2024-08-03 07:16 7.3K 
[ ]nat_d__t12_nat_d2024-07-26 23:25 17K 
[ ]nat_d__t12_nat_d.depv12024-08-03 10:19 254  
[ ]nat_d__t12_nat_d.depvmin12024-08-03 10:24 254  
[ ]nat_d__t12_nat_d.vmin12024-08-03 10:20 1.5K 
[ ]nat_d__t12_nat_d.vmin1out2024-08-03 10:23 15K 
[ ]nat_d__t12_nat_d.vout2024-08-03 05:25 15K 
[ ]nat_d__t13_nat_d2024-07-26 23:26 15K 
[ ]nat_d__t13_nat_d.depv12024-08-03 10:19 410  
[ ]nat_d__t13_nat_d.depvmin12024-08-03 10:24 363  
[ ]nat_d__t13_nat_d.vmin12024-08-03 10:20 3.7K 
[ ]nat_d__t13_nat_d.vmin1out2024-08-03 10:20 35K 
[ ]nat_d__t13_nat_d.vout2024-08-03 06:14 42K 
[ ]nat_d__t14_nat_d2024-07-26 23:27 16K 
[ ]nat_d__t14_nat_d.depv12024-08-03 10:19 163  
[ ]nat_d__t14_nat_d.depvmin12024-08-03 10:24 163  
[ ]nat_d__t14_nat_d.vmin12024-08-03 10:20 1.2K 
[ ]nat_d__t14_nat_d.vmin1out2024-08-03 10:20 17K 
[ ]nat_d__t14_nat_d.vout2024-08-03 08:54 17K 
[ ]nat_d__t15_nat_d2024-07-26 23:28 25K 
[ ]nat_d__t15_nat_d.vout2024-08-03 06:54 6.7K 
[ ]nat_d__t16_nat_d2024-07-26 23:28 20K 
[ ]nat_d__t16_nat_d.depv12024-08-03 10:19 112  
[ ]nat_d__t16_nat_d.depvmin12024-08-03 10:24 112  
[ ]nat_d__t16_nat_d.vmin12024-08-03 10:20 1.1K 
[ ]nat_d__t16_nat_d.vmin1out2024-08-03 10:23 22K 
[ ]nat_d__t16_nat_d.vout2024-08-03 09:10 25K 
[ ]nat_d__t17_nat_d2024-07-26 23:29 33K 
[ ]nat_d__t17_nat_d.vout2024-08-03 05:42 6.7K 
[ ]nat_d__t18_nat_d2024-07-26 23:30 15K 
[ ]nat_d__t18_nat_d.vout2024-08-03 07:15 7.3K 
[ ]nat_d__t19_nat_d2024-07-26 23:31 22K 
[ ]nat_d__t19_nat_d.vout2024-08-03 06:50 6.7K 
[ ]nat_d__t21_nat_d2024-07-26 23:32 33K 
[ ]nat_d__t21_nat_d.vout2024-08-03 05:52 7.2K 
[ ]nat_d__t22_nat_d2024-07-26 23:32 16K 
[ ]nat_d__t22_nat_d.vout2024-08-03 10:17 7.2K 
[ ]nat_d__t23_nat_d2024-07-26 23:19 11K 
[ ]nat_d__t23_nat_d.vout2024-08-03 05:06 2.0K 
[ ]nat_d__t24_nat_d2024-07-26 23:33 15K 
[ ]nat_d__t24_nat_d.depv12024-08-03 10:19 303  
[ ]nat_d__t24_nat_d.depvmin12024-08-03 10:24 205  
[ ]nat_d__t24_nat_d.vmin12024-08-03 10:20 2.5K 
[ ]nat_d__t24_nat_d.vmin1out2024-08-03 10:23 20K 
[ ]nat_d__t24_nat_d.vout2024-08-03 06:11 32K 
[ ]nat_d__t25_nat_d2024-07-26 23:34 16K 
[ ]nat_d__t25_nat_d.vout2024-08-03 04:21 7.3K 
[ ]nat_d__t26_nat_d2024-07-26 23:34 15K 
[ ]nat_d__t26_nat_d.depv12024-08-03 10:19 139  
[ ]nat_d__t26_nat_d.depvmin12024-08-03 10:24 139  
[ ]nat_d__t26_nat_d.vmin12024-08-03 10:20 1.4K 
[ ]nat_d__t26_nat_d.vmin1out2024-08-03 10:23 19K 
[ ]nat_d__t26_nat_d.vout2024-08-03 08:28 17K 
[ ]nat_d__t27_nat_d2024-07-26 23:35 20K 
[ ]nat_d__t27_nat_d.depv12024-08-03 10:19 246  
[ ]nat_d__t27_nat_d.depvmin12024-08-03 10:24 246  
[ ]nat_d__t27_nat_d.vmin12024-08-03 10:20 2.0K 
[ ]nat_d__t27_nat_d.vmin1out2024-08-03 10:23 25K 
[ ]nat_d__t27_nat_d.vout2024-08-03 09:13 25K 
[ ]nat_d__t28_nat_d2024-07-26 23:36 23K 
[ ]nat_d__t28_nat_d.vout2024-08-03 07:11 4.7K 
[ ]nat_d__t29_nat_d2024-07-26 23:37 17K 
[ ]nat_d__t29_nat_d.vout2024-08-03 08:56 5.3K 
[ ]nat_d__t30_nat_d2024-07-26 23:38 15K 
[ ]nat_d__t30_nat_d.vout2024-08-03 05:32 2.0K 
[ ]nat_d__t31_nat_d2024-07-26 23:38 11K 
[ ]nat_d__t31_nat_d.depv12024-08-03 10:19 53  
[ ]nat_d__t31_nat_d.depvmin12024-08-03 10:24 40  
[ ]nat_d__t31_nat_d.vmin12024-08-03 10:20 524  
[ ]nat_d__t31_nat_d.vmin1out2024-08-03 10:20 8.4K 
[ ]nat_d__t31_nat_d.vout2024-08-03 09:33 9.5K 
[ ]nat_d__t32_nat_d2024-07-26 23:39 11K 
[ ]nat_d__t32_nat_d.depv12024-08-03 10:19 53  
[ ]nat_d__t32_nat_d.depvmin12024-08-03 10:24 40  
[ ]nat_d__t32_nat_d.vmin12024-08-03 10:20 524  
[ ]nat_d__t32_nat_d.vmin1out2024-08-03 10:22 8.4K 
[ ]nat_d__t32_nat_d.vout2024-08-03 09:24 9.5K 
[ ]nat_d__t33_nat_d2024-07-26 23:40 12K 
[ ]nat_d__t33_nat_d.depv12024-08-03 10:19 198  
[ ]nat_d__t33_nat_d.depvmin12024-08-03 10:24 198  
[ ]nat_d__t33_nat_d.vmin12024-08-03 10:20 1.7K 
[ ]nat_d__t33_nat_d.vmin1out2024-08-03 10:23 20K 
[ ]nat_d__t33_nat_d.vout2024-08-03 10:11 21K 
[ ]nat_d__t34_nat_d2024-07-26 23:41 17K 
[ ]nat_d__t34_nat_d.vout2024-08-03 05:17 2.0K 
[ ]nat_d__t35_nat_d2024-07-26 23:41 15K 
[ ]nat_d__t35_nat_d.depv12024-08-03 10:19 163  
[ ]nat_d__t35_nat_d.depvmin12024-08-03 10:24 163  
[ ]nat_d__t35_nat_d.vmin12024-08-03 10:20 1.4K 
[ ]nat_d__t35_nat_d.vmin1out2024-08-03 10:22 13K 
[ ]nat_d__t35_nat_d.vout2024-08-03 08:11 13K 
[ ]nat_d__t36_nat_d2024-07-26 23:42 18K 
[ ]nat_d__t36_nat_d.vout2024-08-03 05:35 2.0K 
[ ]nat_d__t37_nat_d2024-07-26 23:20 16K 
[ ]nat_d__t37_nat_d.depv12024-08-03 10:19 57  
[ ]nat_d__t37_nat_d.depvmin12024-08-03 10:24 57  
[ ]nat_d__t37_nat_d.vmin12024-08-03 10:20 747  
[ ]nat_d__t37_nat_d.vmin1out2024-08-03 10:20 7.9K 
[ ]nat_d__t37_nat_d.vout2024-08-03 07:51 10K 
[ ]nat_d__t38_nat_d2024-07-26 23:43 16K 
[ ]nat_d__t38_nat_d.vout2024-08-03 07:38 2.0K 
[ ]nat_d__t39_nat_d2024-07-26 23:43 14K 
[ ]nat_d__t39_nat_d.depv12024-08-03 10:19 181  
[ ]nat_d__t39_nat_d.depvmin12024-08-03 10:24 171  
[ ]nat_d__t39_nat_d.vmin12024-08-03 10:20 1.8K 
[ ]nat_d__t39_nat_d.vmin1out2024-08-03 10:22 31K 
[ ]nat_d__t39_nat_d.vout2024-08-03 07:52 15K 
[ ]nat_d__t40_nat_d2024-07-26 23:44 14K 
[ ]nat_d__t40_nat_d.depv12024-08-03 10:19 148  
[ ]nat_d__t40_nat_d.depvmin12024-08-03 10:24 148  
[ ]nat_d__t40_nat_d.vmin12024-08-03 10:20 1.2K 
[ ]nat_d__t40_nat_d.vmin1out2024-08-03 10:21 9.2K 
[ ]nat_d__t40_nat_d.vout2024-08-03 07:28 9.5K 
[ ]nat_d__t41_nat_d2024-07-26 23:45 23K 
[ ]nat_d__t41_nat_d.vout2024-08-03 07:28 2.0K 
[ ]nat_d__t42_nat_d2024-07-26 23:46 23K 
[ ]nat_d__t42_nat_d.vout2024-08-03 06:15 2.0K 
[ ]nat_d__t43_nat_d2024-07-26 23:46 17K 
[ ]nat_d__t43_nat_d.vout2024-08-03 08:02 2.0K 
[ ]nat_d__t44_nat_d2024-07-26 23:47 22K 
[ ]nat_d__t44_nat_d.vout2024-08-03 09:17 2.0K 
[ ]nat_d__t45_nat_d2024-07-26 23:48 38K 
[ ]nat_d__t45_nat_d.vout2024-08-03 05:25 7.3K 
[ ]nat_d__t46_nat_d2024-07-26 23:49 14K 
[ ]nat_d__t46_nat_d.depv12024-08-03 10:19 169  
[ ]nat_d__t46_nat_d.depvmin12024-08-03 10:24 169  
[ ]nat_d__t46_nat_d.vmin12024-08-03 10:20 1.5K 
[ ]nat_d__t46_nat_d.vmin1out2024-08-03 10:23 16K 
[ ]nat_d__t46_nat_d.vout2024-08-03 07:46 28K 
[ ]nat_d__t47_nat_d2024-07-26 23:49 17K 
[ ]nat_d__t47_nat_d.vout2024-08-03 08:13 2.0K 
[ ]nat_d__t48_nat_d2024-07-26 23:50 16K 
[ ]nat_d__t48_nat_d.vout2024-08-03 06:51 2.0K 
[ ]nat_d__t49_nat_d2024-07-26 23:51 18K 
[ ]nat_d__t49_nat_d.vout2024-08-03 04:09 2.0K 
[ ]nat_d__t50_nat_d2024-07-26 23:51 11K 
[ ]nat_d__t50_nat_d.depv12024-08-03 10:19 82  
[ ]nat_d__t50_nat_d.depvmin12024-08-03 10:24 82  
[ ]nat_d__t50_nat_d.vmin12024-08-03 10:20 887  
[ ]nat_d__t50_nat_d.vmin1out2024-08-03 10:22 8.3K 
[ ]nat_d__t50_nat_d.vout2024-08-03 05:51 15K 
[ ]nat_d__t51_nat_d2024-07-26 23:52 28K 
[ ]nat_d__t51_nat_d.vout2024-08-03 04:43 2.0K 
[ ]nat_d__t52_nat_d2024-07-26 23:53 13K 
[ ]nat_d__t52_nat_d.vout2024-08-03 05:41 2.0K 
[ ]nat_d__t53_nat_d2024-07-26 23:54 13K 
[ ]nat_d__t53_nat_d.depv12024-08-03 10:19 90  
[ ]nat_d__t53_nat_d.depvmin12024-08-03 10:24 40  
[ ]nat_d__t53_nat_d.vmin12024-08-03 10:20 926  
[ ]nat_d__t53_nat_d.vmin1out2024-08-03 10:22 7.2K 
[ ]nat_d__t53_nat_d.vout2024-08-03 07:51 8.6K 
[ ]nat_d__t54_nat_d2024-07-26 23:54 13K 
[ ]nat_d__t54_nat_d.depv12024-08-03 10:19 59  
[ ]nat_d__t54_nat_d.depvmin12024-08-03 10:24 59  
[ ]nat_d__t54_nat_d.vmin12024-08-03 10:20 810  
[ ]nat_d__t54_nat_d.vmin1out2024-08-03 10:21 10K 
[ ]nat_d__t54_nat_d.vout2024-08-03 08:59 16K 
[ ]nat_d__t55_nat_d2024-07-26 23:55 18K 
[ ]nat_d__t55_nat_d.depv12024-08-03 10:19 166  
[ ]nat_d__t55_nat_d.depvmin12024-08-03 10:24 166  
[ ]nat_d__t55_nat_d.vmin12024-08-03 10:20 1.4K 
[ ]nat_d__t55_nat_d.vmin1out2024-08-03 10:20 18K 
[ ]nat_d__t55_nat_d.vout2024-08-03 06:37 20K 
[ ]nat_d__t56_nat_d2024-07-26 23:56 19K 
[ ]nat_d__t56_nat_d.depv12024-08-03 10:19 110  
[ ]nat_d__t56_nat_d.depvmin12024-08-03 10:24 110  
[ ]nat_d__t56_nat_d.vmin12024-08-03 10:20 1.2K 
[ ]nat_d__t56_nat_d.vmin1out2024-08-03 10:20 16K 
[ ]nat_d__t56_nat_d.vout2024-08-03 06:05 17K 
[ ]nat_d__t57_nat_d2024-07-26 23:57 20K 
[ ]nat_d__t57_nat_d.vout2024-08-03 04:17 2.0K 
[ ]nat_d__t58_nat_d2024-07-26 23:57 17K 
[ ]nat_d__t58_nat_d.vout2024-08-03 05:27 2.0K 
[ ]nat_d__t59_nat_d2024-07-26 23:58 28K 
[ ]nat_d__t59_nat_d.vout2024-08-03 06:18 2.0K 
[ ]nat_d__t60_nat_d2024-07-26 23:59 13K 
[ ]nat_d__t60_nat_d.depv12024-08-03 10:19 250  
[ ]nat_d__t60_nat_d.depvmin12024-08-03 10:24 250  
[ ]nat_d__t60_nat_d.vmin12024-08-03 10:20 1.7K 
[ ]nat_d__t60_nat_d.vmin1out2024-08-03 10:20 20K 
[ ]nat_d__t60_nat_d.vout2024-08-03 09:07 20K 
[ ]nat_d__t64_nat_d2024-07-27 00:00 28K 
[ ]nat_d__t64_nat_d.vout2024-08-03 08:09 7.3K 
[ ]nat_d__t65_nat_d2024-07-27 00:00 20K 
[ ]nat_d__t65_nat_d.vout2024-08-03 07:07 7.3K 
[ ]nat_d__t66_nat_d2024-07-27 00:01 28K 
[ ]nat_d__t66_nat_d.vout2024-08-03 09:49 7.2K 
[ ]nat_d__t67_nat_d2024-07-27 00:02 28K 
[ ]nat_d__t67_nat_d.vout2024-08-03 07:05 6.8K 
[ ]nat_d__t68_nat_d2024-07-27 00:03 38K 
[ ]nat_d__t68_nat_d.vout2024-08-03 05:56 6.7K 
[ ]nat_d__t69_nat_d2024-07-27 00:04 29K 
[ ]nat_d__t69_nat_d.vout2024-08-03 05:36 2.0K 
[ ]nat_d__t70_nat_d2024-07-27 00:05 16K 
[ ]nat_d__t70_nat_d.vout2024-08-03 07:17 2.0K 
[ ]nat_d__t71_nat_d2024-07-27 00:06 11K 
[ ]nat_d__t71_nat_d.vout2024-08-03 04:07 2.0K 
[ ]nat_d__t72_nat_d2024-07-27 00:06 21K 
[ ]nat_d__t72_nat_d.vout2024-08-03 05:06 2.0K 
[ ]nat_d__t73_nat_d2024-07-27 00:07 11K 
[ ]nat_d__t73_nat_d.vout2024-08-03 07:40 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80