Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/nat_d

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_d__l1_nat_d2025-09-08 07:48 11K 
[ ]nat_d__l1_nat_d.depv12025-09-15 19:47 96  
[ ]nat_d__l1_nat_d.depvmin12025-09-15 19:52 96  
[ ]nat_d__l1_nat_d.vmin12025-09-15 19:47 813  
[ ]nat_d__l1_nat_d.vmin1out2025-09-15 19:48 6.6K 
[ ]nat_d__l1_nat_d.vout2025-09-15 17:53 7.1K 
[ ]nat_d__l2_nat_d2025-09-08 07:49 11K 
[ ]nat_d__l2_nat_d.depv12025-09-15 19:47 186  
[ ]nat_d__l2_nat_d.depvmin12025-09-15 19:52 186  
[ ]nat_d__l2_nat_d.vmin12025-09-15 19:47 1.4K 
[ ]nat_d__l2_nat_d.vmin1out2025-09-15 19:48 12K 
[ ]nat_d__l2_nat_d.vout2025-09-15 16:38 12K 
[ ]nat_d__t1_nat_d2025-09-08 06:55 11K 
[ ]nat_d__t1_nat_d.depv12025-09-15 19:47 75  
[ ]nat_d__t1_nat_d.depvmin12025-09-15 19:52 51  
[ ]nat_d__t1_nat_d.vmin12025-09-15 19:47 589  
[ ]nat_d__t1_nat_d.vmin1out2025-09-15 19:47 5.2K 
[ ]nat_d__t1_nat_d.vout2025-09-15 14:03 5.7K 
[ ]nat_d__t2_nat_d2025-09-08 06:55 15K 
[ ]nat_d__t2_nat_d.vout2025-09-15 18:35 2.0K 
[ ]nat_d__t3_nat_d2025-09-08 07:01 34K 
[ ]nat_d__t3_nat_d.vout2025-09-15 19:44 4.7K 
[ ]nat_d__t4_nat_d2025-09-08 06:56 15K 
[ ]nat_d__t4_nat_d.depv12025-09-15 19:47 50  
[ ]nat_d__t4_nat_d.depvmin12025-09-15 19:52 50  
[ ]nat_d__t4_nat_d.vmin12025-09-15 19:47 564  
[ ]nat_d__t4_nat_d.vmin1out2025-09-15 19:49 7.4K 
[ ]nat_d__t4_nat_d.vout2025-09-15 15:42 11K 
[ ]nat_d__t5_nat_d2025-09-08 07:01 16K 
[ ]nat_d__t5_nat_d.vout2025-09-15 17:10 4.6K 
[ ]nat_d__t6_nat_d2025-09-08 06:57 12K 
[ ]nat_d__t6_nat_d.depv12025-09-15 19:47 115  
[ ]nat_d__t6_nat_d.depvmin12025-09-15 19:52 115  
[ ]nat_d__t6_nat_d.vmin12025-09-15 19:47 722  
[ ]nat_d__t6_nat_d.vmin1out2025-09-15 19:49 6.3K 
[ ]nat_d__t6_nat_d.vout2025-09-15 19:24 7.6K 
[ ]nat_d__t7_nat_d2025-09-08 06:58 18K 
[ ]nat_d__t7_nat_d.depv12025-09-15 19:47 75  
[ ]nat_d__t7_nat_d.depvmin12025-09-15 19:52 51  
[ ]nat_d__t7_nat_d.vmin12025-09-15 19:47 591  
[ ]nat_d__t7_nat_d.vmin1out2025-09-15 19:50 5.5K 
[ ]nat_d__t7_nat_d.vout2025-09-15 18:25 8.0K 
[ ]nat_d__t8_nat_d2025-09-08 07:02 19K 
[ ]nat_d__t8_nat_d.vout2025-09-15 17:37 7.3K 
[ ]nat_d__t9_nat_d2025-09-08 06:58 13K 
[ ]nat_d__t9_nat_d.depv12025-09-15 19:47 60  
[ ]nat_d__t9_nat_d.depvmin12025-09-15 19:52 60  
[ ]nat_d__t9_nat_d.vmin12025-09-15 19:47 667  
[ ]nat_d__t9_nat_d.vmin1out2025-09-15 19:50 7.5K 
[ ]nat_d__t9_nat_d.vout2025-09-15 17:08 11K 
[ ]nat_d__t10_nat_d2025-09-08 07:03 34K 
[ ]nat_d__t10_nat_d.vout2025-09-15 18:00 4.7K 
[ ]nat_d__t11_nat_d2025-09-08 07:04 34K 
[ ]nat_d__t11_nat_d.vout2025-09-15 19:25 7.2K 
[ ]nat_d__t12_nat_d2025-09-08 07:05 17K 
[ ]nat_d__t12_nat_d.depv12025-09-15 19:47 254  
[ ]nat_d__t12_nat_d.depvmin12025-09-15 19:52 254  
[ ]nat_d__t12_nat_d.vmin12025-09-15 19:47 1.5K 
[ ]nat_d__t12_nat_d.vmin1out2025-09-15 19:50 15K 
[ ]nat_d__t12_nat_d.vout2025-09-15 17:05 15K 
[ ]nat_d__t13_nat_d2025-09-08 07:06 15K 
[ ]nat_d__t13_nat_d.depv12025-09-15 19:47 410  
[ ]nat_d__t13_nat_d.depvmin12025-09-15 19:52 363  
[ ]nat_d__t13_nat_d.vmin12025-09-15 19:47 3.7K 
[ ]nat_d__t13_nat_d.vmin1out2025-09-15 19:49 35K 
[ ]nat_d__t13_nat_d.vout2025-09-15 16:12 42K 
[ ]nat_d__t14_nat_d2025-09-08 07:06 16K 
[ ]nat_d__t14_nat_d.depv12025-09-15 19:47 163  
[ ]nat_d__t14_nat_d.depvmin12025-09-15 19:52 163  
[ ]nat_d__t14_nat_d.vmin12025-09-15 19:47 1.2K 
[ ]nat_d__t14_nat_d.vmin1out2025-09-15 19:47 17K 
[ ]nat_d__t14_nat_d.vout2025-09-15 15:54 17K 
[ ]nat_d__t15_nat_d2025-09-08 07:07 25K 
[ ]nat_d__t15_nat_d.vout2025-09-15 17:13 6.7K 
[ ]nat_d__t16_nat_d2025-09-08 07:08 20K 
[ ]nat_d__t16_nat_d.depv12025-09-15 19:47 112  
[ ]nat_d__t16_nat_d.depvmin12025-09-15 19:52 112  
[ ]nat_d__t16_nat_d.vmin12025-09-15 19:47 1.1K 
[ ]nat_d__t16_nat_d.vmin1out2025-09-15 19:48 22K 
[ ]nat_d__t16_nat_d.vout2025-09-15 15:34 25K 
[ ]nat_d__t17_nat_d2025-09-08 07:09 33K 
[ ]nat_d__t17_nat_d.vout2025-09-15 14:06 6.8K 
[ ]nat_d__t18_nat_d2025-09-08 07:09 15K 
[ ]nat_d__t18_nat_d.vout2025-09-15 13:35 7.2K 
[ ]nat_d__t19_nat_d2025-09-08 07:10 22K 
[ ]nat_d__t19_nat_d.vout2025-09-15 14:25 7.2K 
[ ]nat_d__t21_nat_d2025-09-08 07:11 33K 
[ ]nat_d__t21_nat_d.vout2025-09-15 17:36 7.2K 
[ ]nat_d__t22_nat_d2025-09-08 07:12 16K 
[ ]nat_d__t22_nat_d.vout2025-09-15 15:54 7.3K 
[ ]nat_d__t23_nat_d2025-09-08 06:59 11K 
[ ]nat_d__t23_nat_d.vout2025-09-15 18:25 2.0K 
[ ]nat_d__t24_nat_d2025-09-08 07:13 15K 
[ ]nat_d__t24_nat_d.depv12025-09-15 19:47 303  
[ ]nat_d__t24_nat_d.depvmin12025-09-15 19:52 205  
[ ]nat_d__t24_nat_d.vmin12025-09-15 19:47 2.5K 
[ ]nat_d__t24_nat_d.vmin1out2025-09-15 19:49 20K 
[ ]nat_d__t24_nat_d.vout2025-09-15 17:08 32K 
[ ]nat_d__t25_nat_d2025-09-08 07:13 16K 
[ ]nat_d__t25_nat_d.vout2025-09-15 15:58 7.3K 
[ ]nat_d__t26_nat_d2025-09-08 07:14 15K 
[ ]nat_d__t26_nat_d.depv12025-09-15 19:47 139  
[ ]nat_d__t26_nat_d.depvmin12025-09-15 19:52 139  
[ ]nat_d__t26_nat_d.vmin12025-09-15 19:47 1.4K 
[ ]nat_d__t26_nat_d.vmin1out2025-09-15 19:48 19K 
[ ]nat_d__t26_nat_d.vout2025-09-15 17:20 17K 
[ ]nat_d__t27_nat_d2025-09-08 07:15 20K 
[ ]nat_d__t27_nat_d.depv12025-09-15 19:47 215  
[ ]nat_d__t27_nat_d.depvmin12025-09-15 19:52 136  
[ ]nat_d__t27_nat_d.vmin12025-09-15 19:47 1.9K 
[ ]nat_d__t27_nat_d.vmin1out2025-09-15 19:51 15K 
[ ]nat_d__t27_nat_d.vout2025-09-15 17:38 28K 
[ ]nat_d__t28_nat_d2025-09-08 07:16 23K 
[ ]nat_d__t28_nat_d.vout2025-09-15 19:37 5.2K 
[ ]nat_d__t29_nat_d2025-09-08 07:17 17K 
[ ]nat_d__t29_nat_d.vout2025-09-15 13:53 4.7K 
[ ]nat_d__t30_nat_d2025-09-08 07:17 15K 
[ ]nat_d__t30_nat_d.vout2025-09-15 14:26 2.0K 
[ ]nat_d__t31_nat_d2025-09-08 07:18 11K 
[ ]nat_d__t31_nat_d.depv12025-09-15 19:47 53  
[ ]nat_d__t31_nat_d.depvmin12025-09-15 19:52 40  
[ ]nat_d__t31_nat_d.vmin12025-09-15 19:47 524  
[ ]nat_d__t31_nat_d.vmin1out2025-09-15 19:48 8.4K 
[ ]nat_d__t31_nat_d.vout2025-09-15 19:39 9.5K 
[ ]nat_d__t32_nat_d2025-09-08 07:19 11K 
[ ]nat_d__t32_nat_d.depv12025-09-15 19:47 53  
[ ]nat_d__t32_nat_d.depvmin12025-09-15 19:52 40  
[ ]nat_d__t32_nat_d.vmin12025-09-15 19:47 524  
[ ]nat_d__t32_nat_d.vmin1out2025-09-15 19:47 8.4K 
[ ]nat_d__t32_nat_d.vout2025-09-15 14:14 9.5K 
[ ]nat_d__t33_nat_d2025-09-08 07:20 12K 
[ ]nat_d__t33_nat_d.depv12025-09-15 19:47 198  
[ ]nat_d__t33_nat_d.depvmin12025-09-15 19:52 198  
[ ]nat_d__t33_nat_d.vmin12025-09-15 19:47 1.7K 
[ ]nat_d__t33_nat_d.vmin1out2025-09-15 19:49 20K 
[ ]nat_d__t33_nat_d.vout2025-09-15 16:04 21K 
[ ]nat_d__t34_nat_d2025-09-08 07:20 17K 
[ ]nat_d__t34_nat_d.vout2025-09-15 18:49 2.0K 
[ ]nat_d__t35_nat_d2025-09-08 07:21 15K 
[ ]nat_d__t35_nat_d.depv12025-09-15 19:47 163  
[ ]nat_d__t35_nat_d.depvmin12025-09-15 19:52 163  
[ ]nat_d__t35_nat_d.vmin12025-09-15 19:47 1.4K 
[ ]nat_d__t35_nat_d.vmin1out2025-09-15 19:49 13K 
[ ]nat_d__t35_nat_d.vout2025-09-15 18:12 13K 
[ ]nat_d__t36_nat_d2025-09-08 07:22 18K 
[ ]nat_d__t36_nat_d.vout2025-09-15 18:10 2.0K 
[ ]nat_d__t37_nat_d2025-09-08 07:00 16K 
[ ]nat_d__t37_nat_d.depv12025-09-15 19:47 95  
[ ]nat_d__t37_nat_d.depvmin12025-09-15 19:52 95  
[ ]nat_d__t37_nat_d.vmin12025-09-15 19:47 955  
[ ]nat_d__t37_nat_d.vmin1out2025-09-15 19:48 11K 
[ ]nat_d__t37_nat_d.vout2025-09-15 14:33 9.0K 
[ ]nat_d__t38_nat_d2025-09-08 07:23 16K 
[ ]nat_d__t38_nat_d.vout2025-09-15 19:22 2.0K 
[ ]nat_d__t39_nat_d2025-09-08 07:23 14K 
[ ]nat_d__t39_nat_d.depv12025-09-15 19:47 181  
[ ]nat_d__t39_nat_d.depvmin12025-09-15 19:52 171  
[ ]nat_d__t39_nat_d.vmin12025-09-15 19:47 1.8K 
[ ]nat_d__t39_nat_d.vmin1out2025-09-15 19:50 31K 
[ ]nat_d__t39_nat_d.vout2025-09-15 18:18 15K 
[ ]nat_d__t40_nat_d2025-09-08 07:24 14K 
[ ]nat_d__t40_nat_d.depv12025-09-15 19:47 148  
[ ]nat_d__t40_nat_d.depvmin12025-09-15 19:52 148  
[ ]nat_d__t40_nat_d.vmin12025-09-15 19:47 1.2K 
[ ]nat_d__t40_nat_d.vmin1out2025-09-15 19:50 9.2K 
[ ]nat_d__t40_nat_d.vout2025-09-15 16:25 9.5K 
[ ]nat_d__t41_nat_d2025-09-08 07:25 23K 
[ ]nat_d__t41_nat_d.vout2025-09-15 16:17 2.0K 
[ ]nat_d__t42_nat_d2025-09-08 07:26 23K 
[ ]nat_d__t42_nat_d.vout2025-09-15 19:19 2.0K 
[ ]nat_d__t43_nat_d2025-09-08 07:26 17K 
[ ]nat_d__t43_nat_d.vout2025-09-15 15:02 2.0K 
[ ]nat_d__t44_nat_d2025-09-08 07:27 22K 
[ ]nat_d__t44_nat_d.vout2025-09-15 15:13 2.0K 
[ ]nat_d__t45_nat_d2025-09-08 07:28 38K 
[ ]nat_d__t45_nat_d.vout2025-09-15 14:16 7.3K 
[ ]nat_d__t46_nat_d2025-09-08 07:29 14K 
[ ]nat_d__t46_nat_d.vout2025-09-15 19:14 2.0K 
[ ]nat_d__t47_nat_d2025-09-08 07:29 17K 
[ ]nat_d__t47_nat_d.vout2025-09-15 18:58 2.0K 
[ ]nat_d__t48_nat_d2025-09-08 07:30 16K 
[ ]nat_d__t48_nat_d.vout2025-09-15 17:09 2.0K 
[ ]nat_d__t49_nat_d2025-09-08 07:31 18K 
[ ]nat_d__t49_nat_d.vout2025-09-15 15:49 2.0K 
[ ]nat_d__t50_nat_d2025-09-08 07:32 11K 
[ ]nat_d__t50_nat_d.depv12025-09-15 19:47 82  
[ ]nat_d__t50_nat_d.depvmin12025-09-15 19:52 82  
[ ]nat_d__t50_nat_d.vmin12025-09-15 19:47 887  
[ ]nat_d__t50_nat_d.vmin1out2025-09-15 19:49 8.3K 
[ ]nat_d__t50_nat_d.vout2025-09-15 17:13 15K 
[ ]nat_d__t51_nat_d2025-09-08 07:32 28K 
[ ]nat_d__t51_nat_d.vout2025-09-15 17:24 2.0K 
[ ]nat_d__t52_nat_d2025-09-08 07:33 13K 
[ ]nat_d__t52_nat_d.vout2025-09-15 16:49 2.0K 
[ ]nat_d__t53_nat_d2025-09-08 07:34 13K 
[ ]nat_d__t53_nat_d.depv12025-09-15 19:47 90  
[ ]nat_d__t53_nat_d.depvmin12025-09-15 19:52 40  
[ ]nat_d__t53_nat_d.vmin12025-09-15 19:47 926  
[ ]nat_d__t53_nat_d.vmin1out2025-09-15 19:49 7.2K 
[ ]nat_d__t53_nat_d.vout2025-09-15 17:45 8.6K 
[ ]nat_d__t54_nat_d2025-09-08 07:34 13K 
[ ]nat_d__t54_nat_d.depv12025-09-15 19:47 59  
[ ]nat_d__t54_nat_d.depvmin12025-09-15 19:52 59  
[ ]nat_d__t54_nat_d.vmin12025-09-15 19:47 810  
[ ]nat_d__t54_nat_d.vmin1out2025-09-15 19:47 10K 
[ ]nat_d__t54_nat_d.vout2025-09-15 17:01 16K 
[ ]nat_d__t55_nat_d2025-09-08 07:35 18K 
[ ]nat_d__t55_nat_d.depv12025-09-15 19:47 166  
[ ]nat_d__t55_nat_d.depvmin12025-09-15 19:52 166  
[ ]nat_d__t55_nat_d.vmin12025-09-15 19:47 1.4K 
[ ]nat_d__t55_nat_d.vmin1out2025-09-15 19:51 18K 
[ ]nat_d__t55_nat_d.vout2025-09-15 16:33 20K 
[ ]nat_d__t56_nat_d2025-09-08 07:36 19K 
[ ]nat_d__t56_nat_d.depv12025-09-15 19:47 110  
[ ]nat_d__t56_nat_d.depvmin12025-09-15 19:52 110  
[ ]nat_d__t56_nat_d.vmin12025-09-15 19:47 1.2K 
[ ]nat_d__t56_nat_d.vmin1out2025-09-15 19:51 16K 
[ ]nat_d__t56_nat_d.vout2025-09-15 17:50 17K 
[ ]nat_d__t57_nat_d2025-09-08 07:37 20K 
[ ]nat_d__t57_nat_d.vout2025-09-15 17:45 2.0K 
[ ]nat_d__t58_nat_d2025-09-08 07:37 17K 
[ ]nat_d__t58_nat_d.vout2025-09-15 17:12 2.0K 
[ ]nat_d__t59_nat_d2025-09-08 07:38 28K 
[ ]nat_d__t59_nat_d.vout2025-09-15 14:21 2.0K 
[ ]nat_d__t60_nat_d2025-09-08 07:39 13K 
[ ]nat_d__t60_nat_d.depv12025-09-15 19:47 250  
[ ]nat_d__t60_nat_d.depvmin12025-09-15 19:52 250  
[ ]nat_d__t60_nat_d.vmin12025-09-15 19:47 1.7K 
[ ]nat_d__t60_nat_d.vmin1out2025-09-15 19:48 20K 
[ ]nat_d__t60_nat_d.vout2025-09-15 14:19 20K 
[ ]nat_d__t64_nat_d2025-09-08 07:40 28K 
[ ]nat_d__t64_nat_d.vout2025-09-15 14:59 7.3K 
[ ]nat_d__t65_nat_d2025-09-08 07:40 20K 
[ ]nat_d__t65_nat_d.vout2025-09-15 17:37 7.2K 
[ ]nat_d__t66_nat_d2025-09-08 07:41 28K 
[ ]nat_d__t66_nat_d.vout2025-09-15 14:54 7.2K 
[ ]nat_d__t67_nat_d2025-09-08 07:42 28K 
[ ]nat_d__t67_nat_d.vout2025-09-15 19:22 6.7K 
[ ]nat_d__t68_nat_d2025-09-08 07:43 38K 
[ ]nat_d__t68_nat_d.vout2025-09-15 19:34 6.7K 
[ ]nat_d__t69_nat_d2025-09-08 07:44 29K 
[ ]nat_d__t69_nat_d.vout2025-09-15 14:30 2.0K 
[ ]nat_d__t70_nat_d2025-09-08 07:45 16K 
[ ]nat_d__t70_nat_d.vout2025-09-15 14:48 2.0K 
[ ]nat_d__t71_nat_d2025-09-08 07:46 11K 
[ ]nat_d__t71_nat_d.vout2025-09-15 15:10 2.0K 
[ ]nat_d__t72_nat_d2025-09-08 07:46 21K 
[ ]nat_d__t72_nat_d.vout2025-09-15 17:28 2.0K 
[ ]nat_d__t73_nat_d2025-09-08 07:47 11K 
[ ]nat_d__t73_nat_d.vout2025-09-15 16:24 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80