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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]real_3__l1_real_32024-07-27 17:48 30K 
[ ]real_3__l1_real_3.vout2024-08-03 05:26 7.3K 
[ ]real_3__l18_real_32024-07-27 17:50 95K 
[ ]real_3__l18_real_3.vout2024-08-03 07:49 7.3K 
[ ]real_3__l21_real_32024-07-27 17:51 49K 
[ ]real_3__l21_real_3.vout2024-08-03 06:05 7.3K 
[ ]real_3__l30_real_32024-07-27 17:52 31K 
[ ]real_3__l30_real_3.vout2024-08-03 07:37 7.8K 
[ ]real_3__l39_real_32024-07-27 17:54 96K 
[ ]real_3__l39_real_3.vout2024-08-03 06:17 7.8K 
[ ]real_3__l44_real_32024-07-27 17:55 49K 
[ ]real_3__l44_real_3.vout2024-08-03 08:51 7.3K 
[ ]real_3__l55_real_32024-07-27 16:08 9.1K 
[ ]real_3__l55_real_3.depv12024-08-03 10:19 94  
[ ]real_3__l55_real_3.depvmin12024-08-03 10:24 94  
[ ]real_3__l55_real_3.vmin12024-08-03 10:20 562  
[ ]real_3__l55_real_3.vmin1out2024-08-03 10:22 4.0K 
[ ]real_3__l55_real_3.vout2024-08-03 04:40 3.7K 
[ ]real_3__t1_real_32024-07-27 16:09 24K 
[ ]real_3__t1_real_3.vout2024-08-03 06:14 2.0K 
[ ]real_3__t2_real_32024-07-27 16:10 18K 
[ ]real_3__t2_real_3.vout2024-08-03 05:28 7.8K 
[ ]real_3__t3_real_32024-07-27 16:03 15K 
[ ]real_3__t3_real_3.depv12024-08-03 10:19 61  
[ ]real_3__t3_real_3.depvmin12024-08-03 10:24 61  
[ ]real_3__t3_real_3.vmin12024-08-03 10:20 529  
[ ]real_3__t3_real_3.vmin1out2024-08-03 10:21 5.0K 
[ ]real_3__t3_real_3.vout2024-08-03 06:42 5.6K 
[ ]real_3__t4_real_32024-07-27 16:11 32K 
[ ]real_3__t4_real_3.vout2024-08-03 04:48 7.3K 
[ ]real_3__t5_real_32024-07-27 16:12 38K 
[ ]real_3__t5_real_3.vout2024-08-03 04:11 2.0K 
[ ]real_3__t6_real_32024-07-27 16:13 38K 
[ ]real_3__t6_real_3.vout2024-08-03 06:09 2.0K 
[ ]real_3__t7_real_32024-07-27 16:14 24K 
[ ]real_3__t7_real_3.depv12024-08-03 10:19 133  
[ ]real_3__t7_real_3.depvmin12024-08-03 10:24 133  
[ ]real_3__t7_real_3.vmin12024-08-03 10:20 1.2K 
[ ]real_3__t7_real_3.vmin1out2024-08-03 10:23 15K 
[ ]real_3__t7_real_3.vout2024-08-03 08:29 17K 
[ ]real_3__t8_real_32024-07-27 16:15 26K 
[ ]real_3__t8_real_3.vout2024-08-03 09:11 7.3K 
[ ]real_3__t9_real_32024-07-27 16:16 27K 
[ ]real_3__t9_real_3.depv12024-08-03 10:19 181  
[ ]real_3__t9_real_3.depvmin12024-08-03 10:24 181  
[ ]real_3__t9_real_3.vmin12024-08-03 10:20 2.3K 
[ ]real_3__t9_real_3.vmin1out2024-08-03 10:23 33K 
[ ]real_3__t9_real_3.vout2024-08-03 08:25 35K 
[ ]real_3__t10_real_32024-07-27 16:17 26K 
[ ]real_3__t10_real_3.depv12024-08-03 10:19 195  
[ ]real_3__t10_real_3.depvmin12024-08-03 10:24 195  
[ ]real_3__t10_real_3.vmin12024-08-03 10:20 2.0K 
[ ]real_3__t10_real_3.vmin1out2024-08-03 10:23 31K 
[ ]real_3__t10_real_3.vout2024-08-03 05:23 35K 
[ ]real_3__t11_real_32024-07-27 16:04 23K 
[ ]real_3__t11_real_3.depv12024-08-03 10:19 12  
[ ]real_3__t11_real_3.depvmin12024-08-03 10:24 12  
[ ]real_3__t11_real_3.vmin12024-08-03 10:20 357  
[ ]real_3__t11_real_3.vmin1out2024-08-03 10:22 7.3K 
[ ]real_3__t11_real_3.vout2024-08-03 07:37 7.5K 
[ ]real_3__t12_real_32024-07-27 16:18 49K 
[ ]real_3__t12_real_3.depv12024-08-03 10:19 81  
[ ]real_3__t12_real_3.depvmin12024-08-03 10:24 81  
[ ]real_3__t12_real_3.vmin12024-08-03 10:20 1.9K 
[ ]real_3__t12_real_3.vmin1out2024-08-03 10:20 25K 
[ ]real_3__t12_real_3.vout2024-08-03 06:59 26K 
[ ]real_3__t13_real_32024-07-27 16:19 29K 
[ ]real_3__t13_real_3.depv12024-08-03 10:19 58  
[ ]real_3__t13_real_3.depvmin12024-08-03 10:24 58  
[ ]real_3__t13_real_3.vmin12024-08-03 10:20 1.0K 
[ ]real_3__t13_real_3.vmin1out2024-08-03 10:22 18K 
[ ]real_3__t13_real_3.vout2024-08-03 05:17 18K 
[ ]real_3__t14_real_32024-07-27 16:21 95K 
[ ]real_3__t14_real_3.vout2024-08-03 08:40 4.7K 
[ ]real_3__t15_real_32024-07-27 16:22 32K 
[ ]real_3__t15_real_3.vout2024-08-03 08:19 7.3K 
[ ]real_3__t16_real_32024-07-27 16:24 57K 
[ ]real_3__t16_real_3.vout2024-08-03 05:28 7.3K 
[ ]real_3__t17_real_32024-07-27 16:25 98K 
[ ]real_3__t17_real_3.vout2024-08-03 06:51 4.7K 
[ ]real_3__t18_real_32024-07-27 16:26 31K 
[ ]real_3__t18_real_3.depv12024-08-03 10:19 222  
[ ]real_3__t18_real_3.depvmin12024-08-03 10:24 222  
[ ]real_3__t18_real_3.vmin12024-08-03 10:20 2.5K 
[ ]real_3__t18_real_3.vmin1out2024-08-03 10:23 24K 
[ ]real_3__t18_real_3.vout2024-08-03 07:55 24K 
[ ]real_3__t19_real_32024-07-27 16:28 55K 
[ ]real_3__t19_real_3.vout2024-08-03 08:16 7.3K 
[ ]real_3__t20_real_32024-07-27 16:29 38K 
[ ]real_3__t20_real_3.vout2024-08-03 09:53 7.3K 
[ ]real_3__t21_real_32024-07-27 16:31 58K 
[ ]real_3__t21_real_3.vout2024-08-03 04:49 4.7K 
[ ]real_3__t22_real_32024-07-27 16:32 36K 
[ ]real_3__t22_real_3.vout2024-08-03 04:16 4.7K 
[ ]real_3__t23_real_32024-07-27 16:33 58K 
[ ]real_3__t23_real_3.vout2024-08-03 04:13 4.7K 
[ ]real_3__t24_real_32024-07-27 16:35 36K 
[ ]real_3__t24_real_3.vout2024-08-03 09:46 4.7K 
[ ]real_3__t25_real_32024-07-27 16:36 31K 
[ ]real_3__t25_real_3.depv12024-08-03 10:19 318  
[ ]real_3__t25_real_3.vmin12024-08-03 10:20 3.6K 
[ ]real_3__t25_real_3.vmin1out2024-08-03 10:23 2.0K 
[ ]real_3__t25_real_3.vout2024-08-03 07:48 38K 
[ ]real_3__t26_real_32024-07-27 16:38 47K 
[ ]real_3__t26_real_3.vout2024-08-03 07:18 7.3K 
[ ]real_3__t27_real_32024-07-27 16:39 53K 
[ ]real_3__t27_real_3.vout2024-08-03 07:33 4.7K 
[ ]real_3__t28_real_32024-07-27 16:40 28K 
[ ]real_3__t28_real_3.depv12024-08-03 10:19 102  
[ ]real_3__t28_real_3.depvmin12024-08-03 10:24 102  
[ ]real_3__t28_real_3.vmin12024-08-03 10:20 1.4K 
[ ]real_3__t28_real_3.vmin1out2024-08-03 10:20 16K 
[ ]real_3__t28_real_3.vout2024-08-03 08:15 18K 
[ ]real_3__t29_real_32024-07-27 16:41 47K 
[ ]real_3__t29_real_3.vout2024-08-03 08:35 7.8K 
[ ]real_3__t30_real_32024-07-27 16:43 48K 
[ ]real_3__t30_real_3.depv12024-08-03 10:19 370  
[ ]real_3__t30_real_3.depvmin12024-08-03 10:24 194  
[ ]real_3__t30_real_3.vmin12024-08-03 10:20 3.8K 
[ ]real_3__t30_real_3.vmin1out2024-08-03 10:23 31K 
[ ]real_3__t30_real_3.vout2024-08-03 05:45 41K 
[ ]real_3__t31_real_32024-07-27 16:05 38K 
[ ]real_3__t31_real_3.depv12024-08-03 10:19 22  
[ ]real_3__t31_real_3.depvmin12024-08-03 10:24 22  
[ ]real_3__t31_real_3.vmin12024-08-03 10:20 753  
[ ]real_3__t31_real_3.vmin1out2024-08-03 10:22 7.9K 
[ ]real_3__t31_real_3.vout2024-08-03 07:23 6.6K 
[ ]real_3__t32_real_32024-07-27 16:06 38K 
[ ]real_3__t32_real_3.depv12024-08-03 10:19 22  
[ ]real_3__t32_real_3.depvmin12024-08-03 10:24 22  
[ ]real_3__t32_real_3.vmin12024-08-03 10:20 833  
[ ]real_3__t32_real_3.vmin1out2024-08-03 10:23 10K 
[ ]real_3__t32_real_3.vout2024-08-03 09:46 8.7K 
[ ]real_3__t33_real_32024-07-27 16:44 53K 
[ ]real_3__t33_real_3.vout2024-08-03 05:27 7.3K 
[ ]real_3__t34_real_32024-07-27 16:46 37K 
[ ]real_3__t34_real_3.depv12024-08-03 10:19 82  
[ ]real_3__t34_real_3.depvmin12024-08-03 10:24 82  
[ ]real_3__t34_real_3.vmin12024-08-03 10:20 1.1K 
[ ]real_3__t34_real_3.vmin1out2024-08-03 10:22 15K 
[ ]real_3__t34_real_3.vout2024-08-03 07:54 15K 
[ ]real_3__t35_real_32024-07-27 16:47 47K 
[ ]real_3__t35_real_3.depv12024-08-03 10:19 103  
[ ]real_3__t35_real_3.depvmin12024-08-03 10:24 103  
[ ]real_3__t35_real_3.vmin12024-08-03 10:20 1.6K 
[ ]real_3__t35_real_3.vmin1out2024-08-03 10:23 20K 
[ ]real_3__t35_real_3.vout2024-08-03 07:22 21K 
[ ]real_3__t36_real_32024-07-27 16:48 47K 
[ ]real_3__t36_real_3.depv12024-08-03 10:19 33  
[ ]real_3__t36_real_3.depvmin12024-08-03 10:24 33  
[ ]real_3__t36_real_3.vmin12024-08-03 10:20 775  
[ ]real_3__t36_real_3.vmin1out2024-08-03 10:22 5.2K 
[ ]real_3__t36_real_3.vout2024-08-03 05:11 5.4K 
[ ]real_3__t37_real_32024-07-27 16:49 47K 
[ ]real_3__t37_real_3.depv12024-08-03 10:19 70  
[ ]real_3__t37_real_3.depvmin12024-08-03 10:24 70  
[ ]real_3__t37_real_3.vmin12024-08-03 10:20 1.0K 
[ ]real_3__t37_real_3.vmin1out2024-08-03 10:20 6.7K 
[ ]real_3__t37_real_3.vout2024-08-03 08:08 8.2K 
[ ]real_3__t38_real_32024-07-27 16:51 54K 
[ ]real_3__t38_real_3.vout2024-08-03 04:58 7.3K 
[ ]real_3__t39_real_32024-07-27 16:07 27K 
[ ]real_3__t39_real_3.depv12024-08-03 10:19 130  
[ ]real_3__t39_real_3.depvmin12024-08-03 10:24 130  
[ ]real_3__t39_real_3.vmin12024-08-03 10:20 1.4K 
[ ]real_3__t39_real_3.vmin1out2024-08-03 10:20 13K 
[ ]real_3__t39_real_3.vout2024-08-03 07:16 13K 
[ ]real_3__t40_real_32024-07-27 16:52 30K 
[ ]real_3__t40_real_3.vout2024-08-03 07:19 2.0K 
[ ]real_3__t41_real_32024-07-27 16:54 162K 
[ ]real_3__t41_real_3.vout2024-08-03 08:49 4.7K 
[ ]real_3__t42_real_32024-07-27 16:55 101K 
[ ]real_3__t42_real_3.vout2024-08-03 04:36 6.8K 
[ ]real_3__t43_real_32024-07-27 16:56 26K 
[ ]real_3__t43_real_3.depv12024-08-03 10:19 83  
[ ]real_3__t43_real_3.depvmin12024-08-03 10:24 59  
[ ]real_3__t43_real_3.vmin12024-08-03 10:20 646  
[ ]real_3__t43_real_3.vmin1out2024-08-03 10:21 7.5K 
[ ]real_3__t43_real_3.vout2024-08-03 04:33 8.0K 
[ ]real_3__t44_real_32024-07-27 16:58 36K 
[ ]real_3__t44_real_3.vout2024-08-03 10:19 7.8K 
[ ]real_3__t45_real_32024-07-27 16:59 43K 
[ ]real_3__t45_real_3.vout2024-08-03 08:56 7.8K 
[ ]real_3__t46_real_32024-07-27 17:01 54K 
[ ]real_3__t46_real_3.vout2024-08-03 04:09 7.8K 
[ ]real_3__t47_real_32024-07-27 17:02 56K 
[ ]real_3__t47_real_3.vout2024-08-03 07:39 7.3K 
[ ]real_3__t48_real_32024-07-27 17:04 515K 
[ ]real_3__t48_real_3.vout2024-08-03 08:39 6.8K 
[ ]real_3__t49_real_32024-07-27 17:05 292K 
[ ]real_3__t49_real_3.vout2024-08-03 06:02 6.8K 
[ ]real_3__t50_real_32024-07-27 17:07 36K 
[ ]real_3__t50_real_3.vout2024-08-03 05:47 7.8K 
[ ]real_3__t51_real_32024-07-27 17:08 54K 
[ ]real_3__t51_real_3.vout2024-08-03 07:47 7.8K 
[ ]real_3__t52_real_32024-07-27 17:09 43K 
[ ]real_3__t52_real_3.vout2024-08-03 09:59 7.8K 
[ ]real_3__t53_real_32024-07-27 17:11 54K 
[ ]real_3__t53_real_3.vout2024-08-03 04:19 7.8K 
[ ]real_3__t54_real_32024-07-27 17:12 54K 
[ ]real_3__t54_real_3.vout2024-08-03 04:08 7.8K 
[ ]real_3__t55_real_32024-07-27 17:14 56K 
[ ]real_3__t55_real_3.vout2024-08-03 09:15 7.8K 
[ ]real_3__t56_real_32024-07-27 17:15 292K 
[ ]real_3__t56_real_3.vout2024-08-03 04:38 7.3K 
[ ]real_3__t57_real_32024-07-27 17:17 56K 
[ ]real_3__t57_real_3.vout2024-08-03 09:19 7.3K 
[ ]real_3__t58_real_32024-07-27 17:18 97K 
[ ]real_3__t58_real_3.vout2024-08-03 08:50 6.8K 
[ ]real_3__t59_real_32024-07-27 17:19 54K 
[ ]real_3__t59_real_3.vout2024-08-03 07:12 7.8K 
[ ]real_3__t60_real_32024-07-27 17:21 42K 
[ ]real_3__t60_real_3.vout2024-08-03 08:46 2.0K 
[ ]real_3__t61_real_32024-07-27 17:22 515K 
[ ]real_3__t61_real_3.vout2024-08-03 04:18 7.3K 
[ ]real_3__t62_real_32024-07-27 17:24 292K 
[ ]real_3__t62_real_3.vout2024-08-03 06:25 6.8K 
[ ]real_3__t63_real_32024-07-27 17:25 49K 
[ ]real_3__t63_real_3.depv12024-08-03 10:19 108  
[ ]real_3__t63_real_3.depvmin12024-08-03 10:24 108  
[ ]real_3__t63_real_3.vmin12024-08-03 10:20 2.5K 
[ ]real_3__t63_real_3.vmin1out2024-08-03 10:20 35K 
[ ]real_3__t63_real_3.vout2024-08-03 06:47 34K 
[ ]real_3__t64_real_32024-07-27 17:27 81K 
[ ]real_3__t64_real_3.vout2024-08-03 04:09 7.8K 
[ ]real_3__t65_real_32024-07-27 17:28 48K 
[ ]real_3__t65_real_3.vout2024-08-03 06:06 2.0K 
[ ]real_3__t66_real_32024-07-27 17:30 41K 
[ ]real_3__t66_real_3.vout2024-08-03 10:12 7.3K 
[ ]real_3__t67_real_32024-07-27 17:31 79K 
[ ]real_3__t67_real_3.vout2024-08-03 08:01 2.0K 
[ ]real_3__t68_real_32024-07-27 17:32 98K 
[ ]real_3__t68_real_3.vout2024-08-03 09:50 7.8K 
[ ]real_3__t69_real_32024-07-27 17:34 55K 
[ ]real_3__t69_real_3.vout2024-08-03 05:05 2.0K 
[ ]real_3__t70_real_32024-07-27 17:35 101K 
[ ]real_3__t70_real_3.vout2024-08-03 06:29 7.3K 
[ ]real_3__t71_real_32024-07-27 17:37 63K 
[ ]real_3__t71_real_3.vout2024-08-03 05:46 4.7K 
[ ]real_3__t72_real_32024-07-27 17:38 63K 
[ ]real_3__t72_real_3.vout2024-08-03 08:38 4.7K 
[ ]real_3__t73_real_32024-07-27 17:40 69K 
[ ]real_3__t73_real_3.vout2024-08-03 09:36 4.7K 
[ ]real_3__t74_real_32024-07-27 17:41 111K 
[ ]real_3__t74_real_3.vout2024-08-03 09:43 4.7K 
[ ]real_3__t75_real_32024-07-27 17:43 172K 
[ ]real_3__t75_real_3.vout2024-08-03 09:46 4.7K 
[ ]real_3__t76_real_32024-07-27 17:44 171K 
[ ]real_3__t76_real_3.vout2024-08-03 06:14 4.7K 
[ ]real_3__t77_real_32024-07-27 17:46 115K 
[ ]real_3__t77_real_3.vout2024-08-03 09:18 4.7K 
[ ]real_3__t78_real_32024-07-27 17:47 55K 
[ ]real_3__t78_real_3.vout2024-08-03 05:33 7.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80