Index of /~mptp/mml5.63.1382/MPTP2/problems_small/numeral2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numeral2__l25_numeral22021-07-17 18:59 40K 
[ ]numeral2__l25_numeral2.vout2021-07-25 17:44 7.3K 
[ ]numeral2__l26_numeral22021-07-17 18:59 80K 
[ ]numeral2__l26_numeral2.depv12021-07-25 20:57 1.0K 
[ ]numeral2__l26_numeral2.depvmin12021-07-25 21:03 1.0K 
[ ]numeral2__l26_numeral2.vmin12021-07-25 20:57 4.2K 
[ ]numeral2__l26_numeral2.vmin1out2021-07-25 20:58 61K 
[ ]numeral2__l26_numeral2.vout2021-07-25 14:57 42K 
[ ]numeral2__l27_numeral22021-07-17 19:00 113K 
[ ]numeral2__l27_numeral2.vout2021-07-25 20:48 7.3K 
[ ]numeral2__l28_numeral22021-07-17 19:00 48K 
[ ]numeral2__l28_numeral2.vout2021-07-25 19:59 6.8K 
[ ]numeral2__t1_numeral22021-07-17 18:09 47K 
[ ]numeral2__t1_numeral2.depv12021-07-25 20:57 429  
[ ]numeral2__t1_numeral2.depvmin12021-07-25 21:03 429  
[ ]numeral2__t1_numeral2.vmin12021-07-25 20:57 3.1K 
[ ]numeral2__t1_numeral2.vmin1out2021-07-25 21:02 27K 
[ ]numeral2__t1_numeral2.vout2021-07-25 18:40 30K 
[ ]numeral2__t2_numeral22021-07-17 18:10 36K 
[ ]numeral2__t2_numeral2.depv12021-07-25 20:57 126  
[ ]numeral2__t2_numeral2.depvmin12021-07-25 21:03 126  
[ ]numeral2__t2_numeral2.vmin12021-07-25 20:57 1.0K 
[ ]numeral2__t2_numeral2.vmin1out2021-07-25 20:59 8.7K 
[ ]numeral2__t2_numeral2.vout2021-07-25 18:47 7.9K 
[ ]numeral2__t3_numeral22021-07-17 18:10 49K 
[ ]numeral2__t3_numeral2.vout2021-07-25 16:27 2.0K 
[ ]numeral2__t4_numeral22021-07-17 18:11 44K 
[ ]numeral2__t4_numeral2.vout2021-07-25 17:24 7.3K 
[ ]numeral2__t5_numeral22021-07-17 18:11 45K 
[ ]numeral2__t5_numeral2.depv12021-07-25 20:57 131  
[ ]numeral2__t5_numeral2.depvmin12021-07-25 21:03 131  
[ ]numeral2__t5_numeral2.vmin12021-07-25 20:57 2.4K 
[ ]numeral2__t5_numeral2.vmin1out2021-07-25 21:01 43K 
[ ]numeral2__t5_numeral2.vout2021-07-25 16:17 36K 
[ ]numeral2__t6_numeral22021-07-17 18:12 48K 
[ ]numeral2__t6_numeral2.vout2021-07-25 20:33 2.0K 
[ ]numeral2__t7_numeral22021-07-17 18:12 36K 
[ ]numeral2__t7_numeral2.vout2021-07-25 16:27 5.9K 
[ ]numeral2__t8_numeral22021-07-17 18:13 36K 
[ ]numeral2__t8_numeral2.vout2021-07-25 18:39 5.9K 
[ ]numeral2__t9_numeral22021-07-17 18:13 74K 
[ ]numeral2__t9_numeral2.vout2021-07-25 14:26 6.8K 
[ ]numeral2__t10_numeral22021-07-17 18:14 74K 
[ ]numeral2__t10_numeral2.vout2021-07-25 20:54 7.3K 
[ ]numeral2__t11_numeral22021-07-17 18:15 65K 
[ ]numeral2__t11_numeral2.vout2021-07-25 17:21 6.2K 
[ ]numeral2__t12_numeral22021-07-17 18:15 83K 
[ ]numeral2__t12_numeral2.vout2021-07-25 17:22 3.7K 
[ ]numeral2__t13_numeral22021-07-17 18:16 161K 
[ ]numeral2__t13_numeral2.vout2021-07-25 18:59 4.2K 
[ ]numeral2__t14_numeral22021-07-17 18:16 33K 
[ ]numeral2__t14_numeral2.vout2021-07-25 15:12 7.4K 
[ ]numeral2__t15_numeral22021-07-17 18:17 1.7K 
[ ]numeral2__t15_numeral2.depv12021-07-25 20:57 71  
[ ]numeral2__t15_numeral2.depvmin12021-07-25 21:03 71  
[ ]numeral2__t15_numeral2.vmin12021-07-25 20:57 737  
[ ]numeral2__t15_numeral2.vmin1out2021-07-25 21:01 9.2K 
[ ]numeral2__t15_numeral2.vout2021-07-25 20:30 9.3K 
[ ]numeral2__t16_numeral22021-07-17 18:17 80K 
[ ]numeral2__t16_numeral2.vout2021-07-25 16:19 6.8K 
[ ]numeral2__t17_numeral22021-07-17 18:18 66K 
[ ]numeral2__t17_numeral2.vout2021-07-25 14:29 6.8K 
[ ]numeral2__t18_numeral22021-07-17 18:18 49K 
[ ]numeral2__t18_numeral2.vout2021-07-25 19:06 7.3K 
[ ]numeral2__t19_numeral22021-07-17 18:19 93K 
[ ]numeral2__t19_numeral2.vout2021-07-25 19:27 7.3K 
[ ]numeral2__t20_numeral22021-07-17 18:20 211K 
[ ]numeral2__t20_numeral2.vout2021-07-25 15:13 7.9K 
[ ]numeral2__t21_numeral22021-07-17 18:20 427K 
[ ]numeral2__t21_numeral2.vout2021-07-25 19:39 6.8K 
[ ]numeral2__t22_numeral22021-07-17 18:21 37K 
[ ]numeral2__t22_numeral2.depv12021-07-25 20:57 318  
[ ]numeral2__t22_numeral2.depvmin12021-07-25 21:03 318  
[ ]numeral2__t22_numeral2.vmin12021-07-25 20:57 1.5K 
[ ]numeral2__t22_numeral2.vmin1out2021-07-25 20:58 12K 
[ ]numeral2__t22_numeral2.vout2021-07-25 19:43 12K 
[ ]numeral2__t23_numeral22021-07-17 18:22 90K 
[ ]numeral2__t23_numeral2.vout2021-07-25 17:53 8.4K 
[ ]numeral2__t24_numeral22021-07-17 18:22 95K 
[ ]numeral2__t24_numeral2.vout2021-07-25 16:30 8.4K 
[ ]numeral2__t25_numeral22021-07-17 18:23 73K 
[ ]numeral2__t25_numeral2.vout2021-07-25 15:35 8.4K 
[ ]numeral2__t26_numeral22021-07-17 18:23 79K 
[ ]numeral2__t26_numeral2.vout2021-07-25 20:02 8.4K 
[ ]numeral2__t27_numeral22021-07-17 18:24 77K 
[ ]numeral2__t27_numeral2.vout2021-07-25 20:24 8.4K 
[ ]numeral2__t28_numeral22021-07-17 18:24 68K 
[ ]numeral2__t28_numeral2.vout2021-07-25 16:19 8.4K 
[ ]numeral2__t29_numeral22021-07-17 18:25 94K 
[ ]numeral2__t29_numeral2.vout2021-07-25 15:03 8.4K 
[ ]numeral2__t30_numeral22021-07-17 18:26 85K 
[ ]numeral2__t30_numeral2.vout2021-07-25 18:46 8.4K 
[ ]numeral2__t31_numeral22021-07-17 18:26 75K 
[ ]numeral2__t31_numeral2.vout2021-07-25 19:58 8.4K 
[ ]numeral2__t32_numeral22021-07-17 18:27 89K 
[ ]numeral2__t32_numeral2.vout2021-07-25 19:29 8.4K 
[ ]numeral2__t33_numeral22021-07-17 18:28 76K 
[ ]numeral2__t33_numeral2.vout2021-07-25 15:44 8.4K 
[ ]numeral2__t34_numeral22021-07-17 18:28 81K 
[ ]numeral2__t34_numeral2.vout2021-07-25 20:50 8.4K 
[ ]numeral2__t35_numeral22021-07-17 18:29 80K 
[ ]numeral2__t35_numeral2.vout2021-07-25 17:58 8.4K 
[ ]numeral2__t36_numeral22021-07-17 18:29 88K 
[ ]numeral2__t36_numeral2.vout2021-07-25 16:17 8.4K 
[ ]numeral2__t37_numeral22021-07-17 18:30 72K 
[ ]numeral2__t37_numeral2.vout2021-07-25 15:30 7.3K 
[ ]numeral2__t38_numeral22021-07-17 18:31 113K 
[ ]numeral2__t38_numeral2.vout2021-07-25 15:24 7.3K 
[ ]numeral2__t39_numeral22021-07-17 18:31 82K 
[ ]numeral2__t39_numeral2.vout2021-07-25 19:07 2.0K 
[ ]numeral2__t40_numeral22021-07-17 18:32 54K 
[ ]numeral2__t40_numeral2.vout2021-07-25 16:26 2.0K 
[ ]numeral2__t41_numeral22021-07-17 18:32 68K 
[ ]numeral2__t41_numeral2.vout2021-07-25 14:29 2.0K 
[ ]numeral2__t42_numeral22021-07-17 18:33 48K 
[ ]numeral2__t42_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t42_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t42_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t42_numeral2.vmin1out2021-07-25 21:00 14K 
[ ]numeral2__t42_numeral2.vout2021-07-25 15:18 15K 
[ ]numeral2__t43_numeral22021-07-17 18:34 331K 
[ ]numeral2__t43_numeral2.vout2021-07-25 15:39 7.3K 
[ ]numeral2__t44_numeral22021-07-17 18:34 86K 
[ ]numeral2__t44_numeral2.vout2021-07-25 15:36 2.0K 
[ ]numeral2__t45_numeral22021-07-17 18:35 49K 
[ ]numeral2__t45_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t45_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t45_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t45_numeral2.vmin1out2021-07-25 21:01 14K 
[ ]numeral2__t45_numeral2.vout2021-07-25 16:13 15K 
[ ]numeral2__t46_numeral22021-07-17 18:36 82K 
[ ]numeral2__t46_numeral2.vout2021-07-25 19:25 2.0K 
[ ]numeral2__t47_numeral22021-07-17 18:36 56K 
[ ]numeral2__t47_numeral2.vout2021-07-25 20:56 2.0K 
[ ]numeral2__t48_numeral22021-07-17 18:37 70K 
[ ]numeral2__t48_numeral2.vout2021-07-25 18:42 2.0K 
[ ]numeral2__t49_numeral22021-07-17 18:37 49K 
[ ]numeral2__t49_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t49_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t49_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t49_numeral2.vmin1out2021-07-25 21:00 14K 
[ ]numeral2__t49_numeral2.vout2021-07-25 17:10 15K 
[ ]numeral2__t50_numeral22021-07-17 18:38 80K 
[ ]numeral2__t50_numeral2.vout2021-07-25 20:17 2.0K 
[ ]numeral2__t51_numeral22021-07-17 18:38 49K 
[ ]numeral2__t51_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t51_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t51_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t51_numeral2.vmin1out2021-07-25 21:02 14K 
[ ]numeral2__t51_numeral2.vout2021-07-25 15:42 15K 
[ ]numeral2__t52_numeral22021-07-17 18:39 74K 
[ ]numeral2__t52_numeral2.vout2021-07-25 15:58 2.0K 
[ ]numeral2__t53_numeral22021-07-17 18:40 49K 
[ ]numeral2__t53_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t53_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t53_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t53_numeral2.vmin1out2021-07-25 21:00 14K 
[ ]numeral2__t53_numeral2.vout2021-07-25 16:25 15K 
[ ]numeral2__t54_numeral22021-07-17 18:40 74K 
[ ]numeral2__t54_numeral2.vout2021-07-25 15:39 2.0K 
[ ]numeral2__t55_numeral22021-07-17 18:41 56K 
[ ]numeral2__t55_numeral2.vout2021-07-25 19:36 2.0K 
[ ]numeral2__t56_numeral22021-07-17 18:41 77K 
[ ]numeral2__t56_numeral2.vout2021-07-25 14:58 2.0K 
[ ]numeral2__t57_numeral22021-07-17 18:42 56K 
[ ]numeral2__t57_numeral2.vout2021-07-25 18:48 2.0K 
[ ]numeral2__t58_numeral22021-07-17 18:42 72K 
[ ]numeral2__t58_numeral2.vout2021-07-25 19:52 2.0K 
[ ]numeral2__t59_numeral22021-07-17 18:43 56K 
[ ]numeral2__t59_numeral2.vout2021-07-25 17:56 2.0K 
[ ]numeral2__t60_numeral22021-07-17 18:44 78K 
[ ]numeral2__t60_numeral2.vout2021-07-25 15:00 2.0K 
[ ]numeral2__t61_numeral22021-07-17 18:44 49K 
[ ]numeral2__t61_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t61_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t61_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t61_numeral2.vmin1out2021-07-25 20:58 14K 
[ ]numeral2__t61_numeral2.vout2021-07-25 20:56 15K 
[ ]numeral2__t62_numeral22021-07-17 18:45 76K 
[ ]numeral2__t62_numeral2.vout2021-07-25 20:46 2.0K 
[ ]numeral2__t63_numeral22021-07-17 18:45 54K 
[ ]numeral2__t63_numeral2.vout2021-07-25 19:51 2.0K 
[ ]numeral2__t64_numeral22021-07-17 18:46 77K 
[ ]numeral2__t64_numeral2.vout2021-07-25 15:47 2.0K 
[ ]numeral2__t65_numeral22021-07-17 18:47 49K 
[ ]numeral2__t65_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t65_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t65_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t65_numeral2.vmin1out2021-07-25 21:01 14K 
[ ]numeral2__t65_numeral2.vout2021-07-25 17:40 15K 
[ ]numeral2__t66_numeral22021-07-17 18:47 70K 
[ ]numeral2__t66_numeral2.vout2021-07-25 14:29 2.0K 
[ ]numeral2__t67_numeral22021-07-17 18:48 49K 
[ ]numeral2__t67_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t67_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t67_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t67_numeral2.vmin1out2021-07-25 21:00 14K 
[ ]numeral2__t67_numeral2.vout2021-07-25 18:44 15K 
[ ]numeral2__t68_numeral22021-07-17 18:48 70K 
[ ]numeral2__t68_numeral2.vout2021-07-25 14:48 2.0K 
[ ]numeral2__t69_numeral22021-07-17 18:49 54K 
[ ]numeral2__t69_numeral2.vout2021-07-25 18:57 2.0K 
[ ]numeral2__t70_numeral22021-07-17 18:49 76K 
[ ]numeral2__t70_numeral2.vout2021-07-25 20:34 2.0K 
[ ]numeral2__t71_numeral22021-07-17 18:50 56K 
[ ]numeral2__t71_numeral2.vout2021-07-25 19:14 2.0K 
[ ]numeral2__t72_numeral22021-07-17 18:51 69K 
[ ]numeral2__t72_numeral2.vout2021-07-25 16:28 2.0K 
[ ]numeral2__t73_numeral22021-07-17 18:51 54K 
[ ]numeral2__t73_numeral2.vout2021-07-25 15:50 2.0K 
[ ]numeral2__t74_numeral22021-07-17 18:52 75K 
[ ]numeral2__t74_numeral2.vout2021-07-25 15:19 2.0K 
[ ]numeral2__t75_numeral22021-07-17 18:52 49K 
[ ]numeral2__t75_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t75_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t75_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t75_numeral2.vmin1out2021-07-25 20:59 14K 
[ ]numeral2__t75_numeral2.vout2021-07-25 15:10 15K 
[ ]numeral2__t76_numeral22021-07-17 18:53 72K 
[ ]numeral2__t76_numeral2.vout2021-07-25 18:35 2.0K 
[ ]numeral2__t77_numeral22021-07-17 18:54 49K 
[ ]numeral2__t77_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t77_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t77_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t77_numeral2.vmin1out2021-07-25 21:01 14K 
[ ]numeral2__t77_numeral2.vout2021-07-25 20:32 15K 
[ ]numeral2__t78_numeral22021-07-17 18:54 75K 
[ ]numeral2__t78_numeral2.vout2021-07-25 17:44 2.0K 
[ ]numeral2__t79_numeral22021-07-17 18:55 49K 
[ ]numeral2__t79_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t79_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t79_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t79_numeral2.vmin1out2021-07-25 21:00 14K 
[ ]numeral2__t79_numeral2.vout2021-07-25 15:08 15K 
[ ]numeral2__t80_numeral22021-07-17 18:55 72K 
[ ]numeral2__t80_numeral2.vout2021-07-25 17:18 2.0K 
[ ]numeral2__t81_numeral22021-07-17 18:56 49K 
[ ]numeral2__t81_numeral2.depv12021-07-25 20:57 118  
[ ]numeral2__t81_numeral2.depvmin12021-07-25 21:03 118  
[ ]numeral2__t81_numeral2.vmin12021-07-25 20:57 1.2K 
[ ]numeral2__t81_numeral2.vmin1out2021-07-25 20:57 14K 
[ ]numeral2__t81_numeral2.vout2021-07-25 16:24 15K 
[ ]numeral2__t82_numeral22021-07-17 18:56 74K 
[ ]numeral2__t82_numeral2.vout2021-07-25 16:24 2.0K 
[ ]numeral2__t83_numeral22021-07-17 18:57 54K 
[ ]numeral2__t83_numeral2.vout2021-07-25 18:54 2.0K 
[ ]numeral2__t84_numeral22021-07-17 18:58 67K 
[ ]numeral2__t84_numeral2.vout2021-07-25 17:31 2.0K 
[ ]numeral2__t85_numeral22021-07-17 18:58 54K 
[ ]numeral2__t85_numeral2.vout2021-07-25 18:52 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80