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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal9__l28_topreal92025-09-08 00:36 74K 
[ ]topreal9__l28_topreal9.vout2025-09-15 17:02 3.7K 
[ ]topreal9__l29_topreal92025-09-08 00:39 58K 
[ ]topreal9__l29_topreal9.vout2025-09-15 18:31 3.7K 
[ ]topreal9__t3_topreal92025-09-07 22:34 41K 
[ ]topreal9__t3_topreal9.depv12025-09-15 19:47 253  
[ ]topreal9__t3_topreal9.depvmin12025-09-15 19:51 194  
[ ]topreal9__t3_topreal9.vmin12025-09-15 19:47 2.8K 
[ ]topreal9__t3_topreal9.vmin1out2025-09-15 19:51 18K 
[ ]topreal9__t3_topreal9.vout2025-09-15 13:26 26K 
[ ]topreal9__t4_topreal92025-09-07 22:35 38K 
[ ]topreal9__t4_topreal9.vout2025-09-15 16:41 4.7K 
[ ]topreal9__t5_topreal92025-09-07 22:37 33K 
[ ]topreal9__t5_topreal9.depv12025-09-15 19:47 116  
[ ]topreal9__t5_topreal9.depvmin12025-09-15 19:51 116  
[ ]topreal9__t5_topreal9.vmin12025-09-15 19:47 1.2K 
[ ]topreal9__t5_topreal9.vmin1out2025-09-15 19:48 14K 
[ ]topreal9__t5_topreal9.vout2025-09-15 15:52 15K 
[ ]topreal9__t6_topreal92025-09-07 22:38 22K 
[ ]topreal9__t6_topreal9.vout2025-09-15 19:06 4.7K 
[ ]topreal9__t7_topreal92025-09-07 22:40 41K 
[ ]topreal9__t7_topreal9.depv12025-09-15 19:47 71  
[ ]topreal9__t7_topreal9.depvmin12025-09-15 19:51 71  
[ ]topreal9__t7_topreal9.vmin12025-09-15 19:47 958  
[ ]topreal9__t7_topreal9.vmin1out2025-09-15 19:51 17K 
[ ]topreal9__t7_topreal9.vout2025-09-15 18:29 21K 
[ ]topreal9__t8_topreal92025-09-07 22:42 41K 
[ ]topreal9__t8_topreal9.depv12025-09-15 19:47 71  
[ ]topreal9__t8_topreal9.depvmin12025-09-15 19:51 71  
[ ]topreal9__t8_topreal9.vmin12025-09-15 19:47 946  
[ ]topreal9__t8_topreal9.vmin1out2025-09-15 19:49 17K 
[ ]topreal9__t8_topreal9.vout2025-09-15 18:10 21K 
[ ]topreal9__t9_topreal92025-09-07 22:44 39K 
[ ]topreal9__t9_topreal9.depv12025-09-15 19:47 71  
[ ]topreal9__t9_topreal9.depvmin12025-09-15 19:51 71  
[ ]topreal9__t9_topreal9.vmin12025-09-15 19:47 918  
[ ]topreal9__t9_topreal9.vmin1out2025-09-15 19:48 18K 
[ ]topreal9__t9_topreal9.vout2025-09-15 16:14 21K 
[ ]topreal9__t10_topreal92025-09-07 22:46 42K 
[ ]topreal9__t10_topreal9.depv12025-09-15 19:47 134  
[ ]topreal9__t10_topreal9.depvmin12025-09-15 19:51 134  
[ ]topreal9__t10_topreal9.vmin12025-09-15 19:47 1.8K 
[ ]topreal9__t10_topreal9.vmin1out2025-09-15 19:49 17K 
[ ]topreal9__t10_topreal9.vout2025-09-15 13:34 20K 
[ ]topreal9__t11_topreal92025-09-07 22:48 42K 
[ ]topreal9__t11_topreal9.depv12025-09-15 19:47 134  
[ ]topreal9__t11_topreal9.depvmin12025-09-15 19:51 134  
[ ]topreal9__t11_topreal9.vmin12025-09-15 19:47 1.8K 
[ ]topreal9__t11_topreal9.vmin1out2025-09-15 19:48 17K 
[ ]topreal9__t11_topreal9.vout2025-09-15 15:58 20K 
[ ]topreal9__t12_topreal92025-09-07 22:50 40K 
[ ]topreal9__t12_topreal9.depv12025-09-15 19:47 134  
[ ]topreal9__t12_topreal9.depvmin12025-09-15 19:51 134  
[ ]topreal9__t12_topreal9.vmin12025-09-15 19:47 1.8K 
[ ]topreal9__t12_topreal9.vmin1out2025-09-15 19:49 20K 
[ ]topreal9__t12_topreal9.vout2025-09-15 19:28 20K 
[ ]topreal9__t13_topreal92025-09-07 22:52 47K 
[ ]topreal9__t13_topreal9.vout2025-09-15 18:02 7.9K 
[ ]topreal9__t14_topreal92025-09-07 22:54 47K 
[ ]topreal9__t14_topreal9.vout2025-09-15 19:18 7.4K 
[ ]topreal9__t15_topreal92025-09-07 22:57 45K 
[ ]topreal9__t15_topreal9.vout2025-09-15 18:30 7.9K 
[ ]topreal9__t16_topreal92025-09-07 22:59 47K 
[ ]topreal9__t16_topreal9.depv12025-09-15 19:47 78  
[ ]topreal9__t16_topreal9.depvmin12025-09-15 19:51 78  
[ ]topreal9__t16_topreal9.vmin12025-09-15 19:47 1.3K 
[ ]topreal9__t16_topreal9.vmin1out2025-09-15 19:51 15K 
[ ]topreal9__t16_topreal9.vout2025-09-15 14:41 12K 
[ ]topreal9__t17_topreal92025-09-07 23:01 47K 
[ ]topreal9__t17_topreal9.depv12025-09-15 19:47 78  
[ ]topreal9__t17_topreal9.depvmin12025-09-15 19:51 78  
[ ]topreal9__t17_topreal9.vmin12025-09-15 19:47 1.3K 
[ ]topreal9__t17_topreal9.vmin1out2025-09-15 19:51 15K 
[ ]topreal9__t17_topreal9.vout2025-09-15 16:03 11K 
[ ]topreal9__t18_topreal92025-09-07 23:04 50K 
[ ]topreal9__t18_topreal9.vout2025-09-15 18:18 7.3K 
[ ]topreal9__t19_topreal92025-09-07 23:06 44K 
[ ]topreal9__t19_topreal9.depv12025-09-15 19:47 186  
[ ]topreal9__t19_topreal9.depvmin12025-09-15 19:51 157  
[ ]topreal9__t19_topreal9.vmin12025-09-15 19:47 2.2K 
[ ]topreal9__t19_topreal9.vmin1out2025-09-15 19:50 18K 
[ ]topreal9__t19_topreal9.vout2025-09-15 17:39 22K 
[ ]topreal9__t20_topreal92025-09-07 22:20 41K 
[ ]topreal9__t20_topreal9.depv12025-09-15 19:47 122  
[ ]topreal9__t20_topreal9.depvmin12025-09-15 19:51 122  
[ ]topreal9__t20_topreal9.vmin12025-09-15 19:47 1.0K 
[ ]topreal9__t20_topreal9.vmin1out2025-09-15 19:51 9.2K 
[ ]topreal9__t20_topreal9.vout2025-09-15 15:25 12K 
[ ]topreal9__t21_topreal92025-09-07 22:22 41K 
[ ]topreal9__t21_topreal9.depv12025-09-15 19:47 122  
[ ]topreal9__t21_topreal9.depvmin12025-09-15 19:51 122  
[ ]topreal9__t21_topreal9.vmin12025-09-15 19:47 1.0K 
[ ]topreal9__t21_topreal9.vmin1out2025-09-15 19:50 9.1K 
[ ]topreal9__t21_topreal9.vout2025-09-15 13:53 12K 
[ ]topreal9__t22_topreal92025-09-07 22:24 41K 
[ ]topreal9__t22_topreal9.depv12025-09-15 19:47 122  
[ ]topreal9__t22_topreal9.depvmin12025-09-15 19:51 122  
[ ]topreal9__t22_topreal9.vmin12025-09-15 19:47 1.0K 
[ ]topreal9__t22_topreal9.vmin1out2025-09-15 19:48 9.1K 
[ ]topreal9__t22_topreal9.vout2025-09-15 18:17 12K 
[ ]topreal9__t23_topreal92025-09-07 22:26 41K 
[ ]topreal9__t23_topreal9.depv12025-09-15 19:47 122  
[ ]topreal9__t23_topreal9.depvmin12025-09-15 19:51 122  
[ ]topreal9__t23_topreal9.vmin12025-09-15 19:47 1.0K 
[ ]topreal9__t23_topreal9.vmin1out2025-09-15 19:49 9.2K 
[ ]topreal9__t23_topreal9.vout2025-09-15 18:55 12K 
[ ]topreal9__t24_topreal92025-09-07 23:08 63K 
[ ]topreal9__t24_topreal9.vout2025-09-15 16:39 6.8K 
[ ]topreal9__t26_topreal92025-09-07 22:28 36K 
[ ]topreal9__t26_topreal9.depv12025-09-15 19:47 96  
[ ]topreal9__t26_topreal9.depvmin12025-09-15 19:51 96  
[ ]topreal9__t26_topreal9.vmin12025-09-15 19:47 1.6K 
[ ]topreal9__t26_topreal9.vmin1out2025-09-15 19:51 53K 
[ ]topreal9__t26_topreal9.vout2025-09-15 18:36 54K 
[ ]topreal9__t27_topreal92025-09-07 23:10 38K 
[ ]topreal9__t27_topreal9.depv12025-09-15 19:47 326  
[ ]topreal9__t27_topreal9.depvmin12025-09-15 19:51 326  
[ ]topreal9__t27_topreal9.vmin12025-09-15 19:47 3.5K 
[ ]topreal9__t27_topreal9.vmin1out2025-09-15 19:48 52K 
[ ]topreal9__t27_topreal9.vout2025-09-15 15:44 47K 
[ ]topreal9__t28_topreal92025-09-07 23:11 38K 
[ ]topreal9__t28_topreal9.depv12025-09-15 19:47 401  
[ ]topreal9__t28_topreal9.depvmin12025-09-15 19:51 390  
[ ]topreal9__t28_topreal9.vmin12025-09-15 19:47 3.7K 
[ ]topreal9__t28_topreal9.vmin1out2025-09-15 19:51 38K 
[ ]topreal9__t28_topreal9.vout2025-09-15 17:00 48K 
[ ]topreal9__t29_topreal92025-09-07 23:13 37K 
[ ]topreal9__t29_topreal9.vout2025-09-15 15:47 5.3K 
[ ]topreal9__t30_topreal92025-09-07 23:15 40K 
[ ]topreal9__t30_topreal9.vout2025-09-15 19:44 4.2K 
[ ]topreal9__t31_topreal92025-09-07 23:17 56K 
[ ]topreal9__t31_topreal9.vout2025-09-15 17:17 4.2K 
[ ]topreal9__t32_topreal92025-09-07 23:18 39K 
[ ]topreal9__t32_topreal9.vout2025-09-15 15:51 3.7K 
[ ]topreal9__t33_topreal92025-09-07 23:21 71K 
[ ]topreal9__t33_topreal9.vout2025-09-15 16:55 3.7K 
[ ]topreal9__t34_topreal92025-09-07 23:24 325K 
[ ]topreal9__t34_topreal9.vout2025-09-15 13:34 3.7K 
[ ]topreal9__t35_topreal92025-09-07 23:26 59K 
[ ]topreal9__t35_topreal9.vout2025-09-15 15:20 4.2K 
[ ]topreal9__t36_topreal92025-09-07 23:29 73K 
[ ]topreal9__t36_topreal9.vout2025-09-15 16:27 4.2K 
[ ]topreal9__t37_topreal92025-09-07 23:32 270K 
[ ]topreal9__t37_topreal9.vout2025-09-15 16:06 3.7K 
[ ]topreal9__t38_topreal92025-09-07 23:35 272K 
[ ]topreal9__t38_topreal9.vout2025-09-15 14:52 3.7K 
[ ]topreal9__t39_topreal92025-09-07 22:30 42K 
[ ]topreal9__t39_topreal9.depv12025-09-15 19:47 123  
[ ]topreal9__t39_topreal9.depvmin12025-09-15 19:51 123  
[ ]topreal9__t39_topreal9.vmin12025-09-15 19:47 1.0K 
[ ]topreal9__t39_topreal9.vmin1out2025-09-15 19:49 9.1K 
[ ]topreal9__t39_topreal9.vout2025-09-15 18:07 12K 
[ ]topreal9__t40_topreal92025-09-07 22:31 42K 
[ ]topreal9__t40_topreal9.depv12025-09-15 19:47 123  
[ ]topreal9__t40_topreal9.depvmin12025-09-15 19:51 123  
[ ]topreal9__t40_topreal9.vmin12025-09-15 19:47 1.1K 
[ ]topreal9__t40_topreal9.vmin1out2025-09-15 19:49 9.9K 
[ ]topreal9__t40_topreal9.vout2025-09-15 15:09 13K 
[ ]topreal9__t41_topreal92025-09-07 23:37 43K 
[ ]topreal9__t41_topreal9.depv12025-09-15 19:47 119  
[ ]topreal9__t41_topreal9.depvmin12025-09-15 19:51 119  
[ ]topreal9__t41_topreal9.vmin12025-09-15 19:47 1.7K 
[ ]topreal9__t41_topreal9.vmin1out2025-09-15 19:48 17K 
[ ]topreal9__t41_topreal9.vout2025-09-15 15:27 17K 
[ ]topreal9__t42_topreal92025-09-07 23:39 43K 
[ ]topreal9__t42_topreal9.depv12025-09-15 19:47 119  
[ ]topreal9__t42_topreal9.depvmin12025-09-15 19:51 119  
[ ]topreal9__t42_topreal9.vmin12025-09-15 19:47 1.7K 
[ ]topreal9__t42_topreal9.vmin1out2025-09-15 19:51 17K 
[ ]topreal9__t42_topreal9.vout2025-09-15 18:21 17K 
[ ]topreal9__t43_topreal92025-09-07 23:41 40K 
[ ]topreal9__t43_topreal9.depv12025-09-15 19:47 72  
[ ]topreal9__t43_topreal9.depvmin12025-09-15 19:51 72  
[ ]topreal9__t43_topreal9.vmin12025-09-15 19:47 859  
[ ]topreal9__t43_topreal9.vmin1out2025-09-15 19:51 17K 
[ ]topreal9__t43_topreal9.vout2025-09-15 16:45 16K 
[ ]topreal9__t44_topreal92025-09-07 23:43 42K 
[ ]topreal9__t44_topreal9.depv12025-09-15 19:47 72  
[ ]topreal9__t44_topreal9.depvmin12025-09-15 19:51 72  
[ ]topreal9__t44_topreal9.vmin12025-09-15 19:47 887  
[ ]topreal9__t44_topreal9.vmin1out2025-09-15 19:48 17K 
[ ]topreal9__t44_topreal9.vout2025-09-15 18:08 16K 
[ ]topreal9__t45_topreal92025-09-07 23:45 42K 
[ ]topreal9__t45_topreal9.depv12025-09-15 19:47 72  
[ ]topreal9__t45_topreal9.depvmin12025-09-15 19:51 72  
[ ]topreal9__t45_topreal9.vmin12025-09-15 19:47 899  
[ ]topreal9__t45_topreal9.vmin1out2025-09-15 19:48 17K 
[ ]topreal9__t45_topreal9.vout2025-09-15 13:56 16K 
[ ]topreal9__t46_topreal92025-09-07 23:47 42K 
[ ]topreal9__t46_topreal9.depv12025-09-15 19:47 162  
[ ]topreal9__t46_topreal9.depvmin12025-09-15 19:51 133  
[ ]topreal9__t46_topreal9.vmin12025-09-15 19:47 1.8K 
[ ]topreal9__t46_topreal9.vmin1out2025-09-15 19:47 20K 
[ ]topreal9__t46_topreal9.vout2025-09-15 13:42 18K 
[ ]topreal9__t47_topreal92025-09-07 23:49 47K 
[ ]topreal9__t47_topreal9.vout2025-09-15 17:21 7.3K 
[ ]topreal9__t48_topreal92025-09-07 23:52 48K 
[ ]topreal9__t48_topreal9.vout2025-09-15 18:47 6.8K 
[ ]topreal9__t49_topreal92025-09-07 23:54 45K 
[ ]topreal9__t49_topreal9.vout2025-09-15 16:52 7.3K 
[ ]topreal9__t50_topreal92025-09-07 23:56 48K 
[ ]topreal9__t50_topreal9.depv12025-09-15 19:47 92  
[ ]topreal9__t50_topreal9.depvmin12025-09-15 19:51 92  
[ ]topreal9__t50_topreal9.vmin12025-09-15 19:47 1.1K 
[ ]topreal9__t50_topreal9.vmin1out2025-09-15 19:50 14K 
[ ]topreal9__t50_topreal9.vout2025-09-15 17:47 16K 
[ ]topreal9__t51_topreal92025-09-07 23:58 48K 
[ ]topreal9__t51_topreal9.depv12025-09-15 19:47 92  
[ ]topreal9__t51_topreal9.depvmin12025-09-15 19:51 92  
[ ]topreal9__t51_topreal9.vmin12025-09-15 19:47 1.1K 
[ ]topreal9__t51_topreal9.vmin1out2025-09-15 19:50 14K 
[ ]topreal9__t51_topreal9.vout2025-09-15 14:17 16K 
[ ]topreal9__t52_topreal92025-09-08 00:01 46K 
[ ]topreal9__t52_topreal9.depv12025-09-15 19:47 92  
[ ]topreal9__t52_topreal9.depvmin12025-09-15 19:51 92  
[ ]topreal9__t52_topreal9.vmin12025-09-15 19:47 1.1K 
[ ]topreal9__t52_topreal9.vmin1out2025-09-15 19:49 14K 
[ ]topreal9__t52_topreal9.vout2025-09-15 13:57 16K 
[ ]topreal9__t53_topreal92025-09-08 00:03 42K 
[ ]topreal9__t53_topreal9.vout2025-09-15 18:07 7.4K 
[ ]topreal9__t54_topreal92025-09-08 00:05 44K 
[ ]topreal9__t54_topreal9.depv12025-09-15 19:47 137  
[ ]topreal9__t54_topreal9.depvmin12025-09-15 19:51 137  
[ ]topreal9__t54_topreal9.vmin12025-09-15 19:47 1.6K 
[ ]topreal9__t54_topreal9.vmin1out2025-09-15 19:49 21K 
[ ]topreal9__t54_topreal9.vout2025-09-15 16:36 17K 
[ ]topreal9__t55_topreal92025-09-08 00:07 41K 
[ ]topreal9__t55_topreal9.vout2025-09-15 16:16 4.1K 
[ ]topreal9__t56_topreal92025-09-08 00:09 61K 
[ ]topreal9__t56_topreal9.depv12025-09-15 19:47 174  
[ ]topreal9__t56_topreal9.depvmin12025-09-15 19:51 174  
[ ]topreal9__t56_topreal9.vmin12025-09-15 19:47 2.1K 
[ ]topreal9__t56_topreal9.vmin1out2025-09-15 19:51 21K 
[ ]topreal9__t56_topreal9.vout2025-09-15 18:19 21K 
[ ]topreal9__t57_topreal92025-09-08 00:11 40K 
[ ]topreal9__t57_topreal9.depv12025-09-15 19:47 182  
[ ]topreal9__t57_topreal9.depvmin12025-09-15 19:51 182  
[ ]topreal9__t57_topreal9.vmin12025-09-15 19:47 2.8K 
[ ]topreal9__t57_topreal9.vmin1out2025-09-15 19:51 29K 
[ ]topreal9__t57_topreal9.vout2025-09-15 16:31 33K 
[ ]topreal9__t58_topreal92025-09-08 00:14 179K 
[ ]topreal9__t58_topreal9.depv12025-09-15 19:47 93  
[ ]topreal9__t58_topreal9.depvmin12025-09-15 19:51 93  
[ ]topreal9__t58_topreal9.vmin12025-09-15 19:47 3.3K 
[ ]topreal9__t58_topreal9.vmin1out2025-09-15 19:49 115K 
[ ]topreal9__t58_topreal9.vout2025-09-15 14:36 106K 
[ ]topreal9__t59_topreal92025-09-08 00:16 67K 
[ ]topreal9__t59_topreal9.vout2025-09-15 17:58 7.3K 
[ ]topreal9__t60_topreal92025-09-08 00:19 64K 
[ ]topreal9__t60_topreal9.vout2025-09-15 15:14 4.2K 
[ ]topreal9__t61_topreal92025-09-08 00:22 62K 
[ ]topreal9__t61_topreal9.vout2025-09-15 14:24 7.3K 
[ ]topreal9__t62_topreal92025-09-08 00:24 62K 
[ ]topreal9__t62_topreal9.vout2025-09-15 17:30 7.3K 
[ ]topreal9__t63_topreal92025-09-08 00:27 184K 
[ ]topreal9__t63_topreal9.vout2025-09-15 17:17 7.3K 
[ ]topreal9__t64_topreal92025-09-08 00:29 38K 
[ ]topreal9__t64_topreal9.vout2025-09-15 13:56 5.3K 
[ ]topreal9__t65_topreal92025-09-08 00:30 43K 
[ ]topreal9__t65_topreal9.vout2025-09-15 19:22 4.2K 
[ ]topreal9__t66_topreal92025-09-08 00:32 59K 
[ ]topreal9__t66_topreal9.vout2025-09-15 15:20 7.9K 
[ ]topreal9__t67_topreal92025-09-08 00:34 47K 
[ ]topreal9__t67_topreal9.vout2025-09-15 13:27 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80