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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mmlquery__t79_mmlquery.vout2021-07-25 17:46 4.2K 
[ ]mmlquery__t79_mmlquery2021-07-18 07:36 26K 
[ ]mmlquery__t78_mmlquery.vout2021-07-25 15:46 3.7K 
[ ]mmlquery__t78_mmlquery2021-07-18 07:36 25K 
[ ]mmlquery__t77_mmlquery.vout2021-07-25 19:22 3.7K 
[ ]mmlquery__t77_mmlquery2021-07-18 07:35 30K 
[ ]mmlquery__t76_mmlquery.vout2021-07-25 17:48 3.7K 
[ ]mmlquery__t76_mmlquery2021-07-18 07:35 25K 
[ ]mmlquery__t75_mmlquery.vout2021-07-25 16:41 16K 
[ ]mmlquery__t75_mmlquery.vmin1out2021-07-25 21:01 12K 
[ ]mmlquery__t75_mmlquery.vmin12021-07-25 20:57 1.2K 
[ ]mmlquery__t75_mmlquery.depvmin12021-07-25 21:03 128  
[ ]mmlquery__t75_mmlquery.depv12021-07-25 20:57 128  
[ ]mmlquery__t75_mmlquery2021-07-18 07:35 20K 
[ ]mmlquery__t74_mmlquery.vout2021-07-25 16:17 13K 
[ ]mmlquery__t74_mmlquery.vmin1out2021-07-25 21:00 9.9K 
[ ]mmlquery__t74_mmlquery.vmin12021-07-25 20:57 1.0K 
[ ]mmlquery__t74_mmlquery.depvmin12021-07-25 21:03 128  
[ ]mmlquery__t74_mmlquery.depv12021-07-25 20:57 128  
[ ]mmlquery__t74_mmlquery2021-07-18 07:34 20K 
[ ]mmlquery__t73_mmlquery.vout2021-07-25 15:17 11K 
[ ]mmlquery__t73_mmlquery.vmin1out2021-07-25 21:00 8.7K 
[ ]mmlquery__t73_mmlquery.vmin12021-07-25 20:57 1.0K 
[ ]mmlquery__t73_mmlquery.depvmin12021-07-25 21:03 128  
[ ]mmlquery__t73_mmlquery.depv12021-07-25 20:57 128  
[ ]mmlquery__t73_mmlquery2021-07-18 07:34 20K 
[ ]mmlquery__t72_mmlquery.vout2021-07-25 14:39 3.7K 
[ ]mmlquery__t72_mmlquery2021-07-18 07:34 25K 
[ ]mmlquery__t71_mmlquery.vout2021-07-25 16:38 3.7K 
[ ]mmlquery__t71_mmlquery2021-07-18 07:33 26K 
[ ]mmlquery__t70_mmlquery.vout2021-07-25 20:49 3.7K 
[ ]mmlquery__t70_mmlquery2021-07-18 07:33 25K 
[ ]mmlquery__t69_mmlquery.vout2021-07-25 17:43 5.3K 
[ ]mmlquery__t69_mmlquery2021-07-18 07:33 27K 
[ ]mmlquery__t68_mmlquery.vout2021-07-25 19:07 5.3K 
[ ]mmlquery__t68_mmlquery2021-07-18 07:32 27K 
[ ]mmlquery__t67_mmlquery.vout2021-07-25 16:29 5.9K 
[ ]mmlquery__t67_mmlquery2021-07-18 07:32 26K 
[ ]mmlquery__t66_mmlquery.vout2021-07-25 17:32 7.4K 
[ ]mmlquery__t66_mmlquery2021-07-18 07:32 18K 
[ ]mmlquery__t65_mmlquery.vout2021-07-25 19:21 16K 
[ ]mmlquery__t65_mmlquery.vmin1out2021-07-25 21:01 15K 
[ ]mmlquery__t65_mmlquery.vmin12021-07-25 20:57 1.6K 
[ ]mmlquery__t65_mmlquery.depvmin12021-07-25 21:03 228  
[ ]mmlquery__t65_mmlquery.depv12021-07-25 20:57 228  
[ ]mmlquery__t65_mmlquery2021-07-18 07:31 25K 
[ ]mmlquery__t64_mmlquery.vout2021-07-25 15:44 7.3K 
[ ]mmlquery__t64_mmlquery2021-07-18 07:31 25K 
[ ]mmlquery__t63_mmlquery.vout2021-07-25 18:04 5.3K 
[ ]mmlquery__t63_mmlquery2021-07-18 07:31 28K 
[ ]mmlquery__t62_mmlquery.vout2021-07-25 18:06 5.3K 
[ ]mmlquery__t62_mmlquery2021-07-18 07:30 25K 
[ ]mmlquery__t61_mmlquery.vout2021-07-25 18:15 5.3K 
[ ]mmlquery__t61_mmlquery2021-07-18 07:30 23K 
[ ]mmlquery__t60_mmlquery.vout2021-07-25 20:09 3.7K 
[ ]mmlquery__t60_mmlquery2021-07-18 07:30 23K 
[ ]mmlquery__t59_mmlquery.vout2021-07-25 19:50 3.7K 
[ ]mmlquery__t59_mmlquery2021-07-18 07:29 23K 
[ ]mmlquery__t58_mmlquery.vout2021-07-25 15:41 5.3K 
[ ]mmlquery__t58_mmlquery2021-07-18 07:29 24K 
[ ]mmlquery__t57_mmlquery.vout2021-07-25 20:10 17K 
[ ]mmlquery__t57_mmlquery.vmin1out2021-07-25 20:58 18K 
[ ]mmlquery__t57_mmlquery.vmin12021-07-25 20:57 1.1K 
[ ]mmlquery__t57_mmlquery.depvmin12021-07-25 21:03 96  
[ ]mmlquery__t57_mmlquery.depv12021-07-25 20:57 96  
[ ]mmlquery__t57_mmlquery2021-07-18 07:29 19K 
[ ]mmlquery__t56_mmlquery.vout2021-07-25 18:41 14K 
[ ]mmlquery__t56_mmlquery.vmin1out2021-07-25 21:01 14K 
[ ]mmlquery__t56_mmlquery.vmin12021-07-25 20:57 1.0K 
[ ]mmlquery__t56_mmlquery.depvmin12021-07-25 21:03 83  
[ ]mmlquery__t56_mmlquery.depv12021-07-25 20:57 83  
[ ]mmlquery__t56_mmlquery2021-07-18 07:29 19K 
[ ]mmlquery__t55_mmlquery.vout2021-07-25 16:01 5.3K 
[ ]mmlquery__t55_mmlquery2021-07-18 07:28 21K 
[ ]mmlquery__t54_mmlquery.vout2021-07-25 19:38 5.3K 
[ ]mmlquery__t54_mmlquery2021-07-18 07:28 21K 
[ ]mmlquery__t53_mmlquery.vout2021-07-25 16:30 21K 
[ ]mmlquery__t53_mmlquery.vmin1out2021-07-25 21:00 2.0K 
[ ]mmlquery__t53_mmlquery.vmin12021-07-25 20:57 2.3K 
[ ]mmlquery__t53_mmlquery.depv12021-07-25 20:57 278  
[ ]mmlquery__t53_mmlquery2021-07-18 07:28 19K 
[ ]mmlquery__t52_mmlquery.vout2021-07-25 18:36 6.8K 
[ ]mmlquery__t52_mmlquery2021-07-18 07:27 22K 
[ ]mmlquery__t51_mmlquery.vout2021-07-25 16:53 28K 
[ ]mmlquery__t51_mmlquery.vmin1out2021-07-25 21:01 17K 
[ ]mmlquery__t51_mmlquery.vmin12021-07-25 20:57 2.3K 
[ ]mmlquery__t51_mmlquery.depvmin12021-07-25 21:03 210  
[ ]mmlquery__t51_mmlquery.depv12021-07-25 20:57 223  
[ ]mmlquery__t51_mmlquery2021-07-18 07:27 18K 
[ ]mmlquery__t50_mmlquery.vout2021-07-25 18:39 6.8K 
[ ]mmlquery__t50_mmlquery2021-07-18 07:27 20K 
[ ]mmlquery__t49_mmlquery.vout2021-07-25 17:55 4.7K 
[ ]mmlquery__t49_mmlquery2021-07-18 07:27 24K 
[ ]mmlquery__t48_mmlquery.vout2021-07-25 20:43 18K 
[ ]mmlquery__t48_mmlquery.vmin1out2021-07-25 20:58 17K 
[ ]mmlquery__t48_mmlquery.vmin12021-07-25 20:57 2.0K 
[ ]mmlquery__t48_mmlquery.depvmin12021-07-25 21:03 245  
[ ]mmlquery__t48_mmlquery.depv12021-07-25 20:57 258  
[ ]mmlquery__t48_mmlquery2021-07-18 07:26 20K 
[ ]mmlquery__t47_mmlquery.vout2021-07-25 17:01 3.7K 
[ ]mmlquery__t47_mmlquery2021-07-18 07:26 20K 
[ ]mmlquery__t46_mmlquery.vout2021-07-25 18:01 24K 
[ ]mmlquery__t46_mmlquery.vmin1out2021-07-25 20:59 16K 
[ ]mmlquery__t46_mmlquery.vmin12021-07-25 20:57 2.0K 
[ ]mmlquery__t46_mmlquery.depvmin12021-07-25 21:03 191  
[ ]mmlquery__t46_mmlquery.depv12021-07-25 20:57 226  
[ ]mmlquery__t46_mmlquery2021-07-18 07:26 16K 
[ ]mmlquery__t45_mmlquery.vout2021-07-25 19:12 34K 
[ ]mmlquery__t45_mmlquery.vmin1out2021-07-25 20:58 38K 
[ ]mmlquery__t45_mmlquery.vmin12021-07-25 20:57 1.9K 
[ ]mmlquery__t45_mmlquery.depvmin12021-07-25 21:03 187  
[ ]mmlquery__t45_mmlquery.depv12021-07-25 20:57 198  
[ ]mmlquery__t45_mmlquery2021-07-18 07:26 16K 
[ ]mmlquery__t44_mmlquery.vout2021-07-25 19:19 6.8K 
[ ]mmlquery__t44_mmlquery2021-07-18 07:25 24K 
[ ]mmlquery__t43_mmlquery.vout2021-07-25 20:35 4.7K 
[ ]mmlquery__t43_mmlquery2021-07-18 07:25 20K 
[ ]mmlquery__t42_mmlquery.vout2021-07-25 18:47 6.8K 
[ ]mmlquery__t42_mmlquery2021-07-18 07:25 20K 
[ ]mmlquery__t41_mmlquery.vout2021-07-25 15:22 7.3K 
[ ]mmlquery__t41_mmlquery.vmin1out2021-07-25 20:58 8.3K 
[ ]mmlquery__t41_mmlquery.vmin12021-07-25 20:57 900  
[ ]mmlquery__t41_mmlquery.depvmin12021-07-25 21:03 79  
[ ]mmlquery__t41_mmlquery.depv12021-07-25 20:57 79  
[ ]mmlquery__t41_mmlquery2021-07-18 07:24 17K 
[ ]mmlquery__t40_mmlquery.vout2021-07-25 19:02 4.2K 
[ ]mmlquery__t40_mmlquery2021-07-18 07:24 20K 
[ ]mmlquery__t39_mmlquery.vout2021-07-25 18:17 3.7K 
[ ]mmlquery__t39_mmlquery2021-07-18 07:24 18K 
[ ]mmlquery__t38_mmlquery.vout2021-07-25 15:14 7.4K 
[ ]mmlquery__t38_mmlquery2021-07-18 07:24 19K 
[ ]mmlquery__t37_mmlquery.vout2021-07-25 18:04 4.7K 
[ ]mmlquery__t37_mmlquery2021-07-18 07:23 17K 
[ ]mmlquery__t36_mmlquery.vout2021-07-25 17:30 3.7K 
[ ]mmlquery__t36_mmlquery2021-07-18 07:23 20K 
[ ]mmlquery__t35_mmlquery.vout2021-07-25 20:09 4.2K 
[ ]mmlquery__t35_mmlquery2021-07-18 07:23 18K 
[ ]mmlquery__t34_mmlquery.vout2021-07-25 17:13 7.3K 
[ ]mmlquery__t34_mmlquery2021-07-18 07:14 17K 
[ ]mmlquery__t33_mmlquery.vout2021-07-25 18:35 2.0K 
[ ]mmlquery__t33_mmlquery2021-07-18 07:14 17K 
[ ]mmlquery__t32_mmlquery.vout2021-07-25 15:19 18K 
[ ]mmlquery__t32_mmlquery.vmin1out2021-07-25 21:00 14K 
[ ]mmlquery__t32_mmlquery.vmin12021-07-25 20:57 1.5K 
[ ]mmlquery__t32_mmlquery.depvmin12021-07-25 21:03 147  
[ ]mmlquery__t32_mmlquery.depv12021-07-25 20:57 147  
[ ]mmlquery__t32_mmlquery2021-07-18 07:14 18K 
[ ]mmlquery__t31_mmlquery.vout2021-07-25 18:43 18K 
[ ]mmlquery__t31_mmlquery.vmin1out2021-07-25 21:00 14K 
[ ]mmlquery__t31_mmlquery.vmin12021-07-25 20:57 1.5K 
[ ]mmlquery__t31_mmlquery.depvmin12021-07-25 21:03 147  
[ ]mmlquery__t31_mmlquery.depv12021-07-25 20:57 147  
[ ]mmlquery__t31_mmlquery2021-07-18 07:14 18K 
[ ]mmlquery__t30_mmlquery.vout2021-07-25 15:35 3.7K 
[ ]mmlquery__t30_mmlquery2021-07-18 07:22 18K 
[ ]mmlquery__t29_mmlquery.vout2021-07-25 15:50 6.8K 
[ ]mmlquery__t29_mmlquery2021-07-18 07:22 17K 
[ ]mmlquery__t28_mmlquery.vout2021-07-25 16:02 4.2K 
[ ]mmlquery__t28_mmlquery2021-07-18 07:22 17K 
[ ]mmlquery__t27_mmlquery.vout2021-07-25 20:02 3.7K 
[ ]mmlquery__t27_mmlquery2021-07-18 07:22 20K 
[ ]mmlquery__t26_mmlquery.vout2021-07-25 17:39 3.7K 
[ ]mmlquery__t26_mmlquery2021-07-18 07:21 17K 
[ ]mmlquery__t25_mmlquery.vout2021-07-25 18:23 14K 
[ ]mmlquery__t25_mmlquery.vmin1out2021-07-25 21:01 21K 
[ ]mmlquery__t25_mmlquery.vmin12021-07-25 20:57 1.3K 
[ ]mmlquery__t25_mmlquery.depvmin12021-07-25 21:03 112  
[ ]mmlquery__t25_mmlquery.depv12021-07-25 20:57 112  
[ ]mmlquery__t25_mmlquery2021-07-18 07:21 17K 
[ ]mmlquery__t24_mmlquery.vout2021-07-25 16:40 3.7K 
[ ]mmlquery__t24_mmlquery2021-07-18 07:21 21K 
[ ]mmlquery__t23_mmlquery.vout2021-07-25 20:22 7.3K 
[ ]mmlquery__t23_mmlquery2021-07-18 07:20 17K 
[ ]mmlquery__t22_mmlquery.vout2021-07-25 17:04 3.7K 
[ ]mmlquery__t22_mmlquery2021-07-18 07:20 17K 
[ ]mmlquery__t21_mmlquery.vout2021-07-25 16:58 31K 
[ ]mmlquery__t21_mmlquery.vmin1out2021-07-25 21:00 26K 
[ ]mmlquery__t21_mmlquery.vmin12021-07-25 20:57 2.0K 
[ ]mmlquery__t21_mmlquery.depvmin12021-07-25 21:03 147  
[ ]mmlquery__t21_mmlquery.depv12021-07-25 20:57 147  
[ ]mmlquery__t21_mmlquery2021-07-18 07:20 18K 
[ ]mmlquery__t20_mmlquery.vout2021-07-25 17:32 3.7K 
[ ]mmlquery__t20_mmlquery2021-07-18 07:20 19K 
[ ]mmlquery__t19_mmlquery.vout2021-07-25 19:29 3.7K 
[ ]mmlquery__t19_mmlquery2021-07-18 07:19 19K 
[ ]mmlquery__t18_mmlquery.vout2021-07-25 20:05 3.7K 
[ ]mmlquery__t18_mmlquery2021-07-18 07:19 19K 
[ ]mmlquery__t17_mmlquery.vout2021-07-25 15:45 3.7K 
[ ]mmlquery__t17_mmlquery2021-07-18 07:19 19K 
[ ]mmlquery__t16_mmlquery.vout2021-07-25 17:22 3.7K 
[ ]mmlquery__t16_mmlquery2021-07-18 07:18 20K 
[ ]mmlquery__t15_mmlquery.vout2021-07-25 20:44 3.7K 
[ ]mmlquery__t15_mmlquery2021-07-18 07:18 20K 
[ ]mmlquery__t14_mmlquery.vout2021-07-25 18:25 3.7K 
[ ]mmlquery__t14_mmlquery2021-07-18 07:18 20K 
[ ]mmlquery__t13_mmlquery.vout2021-07-25 17:06 3.7K 
[ ]mmlquery__t13_mmlquery2021-07-18 07:18 20K 
[ ]mmlquery__t12_mmlquery.vout2021-07-25 16:00 3.7K 
[ ]mmlquery__t12_mmlquery2021-07-18 07:17 24K 
[ ]mmlquery__t11_mmlquery.vout2021-07-25 18:10 3.7K 
[ ]mmlquery__t11_mmlquery2021-07-18 07:17 25K 
[ ]mmlquery__t10_mmlquery.vout2021-07-25 16:52 4.2K 
[ ]mmlquery__t10_mmlquery2021-07-18 07:17 18K 
[ ]mmlquery__t9_mmlquery.vout2021-07-25 14:34 3.7K 
[ ]mmlquery__t9_mmlquery2021-07-18 07:16 19K 
[ ]mmlquery__t8_mmlquery.vout2021-07-25 15:24 3.7K 
[ ]mmlquery__t8_mmlquery2021-07-18 07:16 18K 
[ ]mmlquery__t7_mmlquery.vout2021-07-25 19:50 3.7K 
[ ]mmlquery__t7_mmlquery2021-07-18 07:16 22K 
[ ]mmlquery__t6_mmlquery.vout2021-07-25 19:42 3.7K 
[ ]mmlquery__t6_mmlquery2021-07-18 07:15 19K 
[ ]mmlquery__t5_mmlquery.vout2021-07-25 18:02 4.2K 
[ ]mmlquery__t5_mmlquery2021-07-18 07:15 18K 
[ ]mmlquery__t4_mmlquery.vout2021-07-25 17:37 9.4K 
[ ]mmlquery__t4_mmlquery.vmin1out2021-07-25 20:58 14K 
[ ]mmlquery__t4_mmlquery.vmin12021-07-25 20:57 1.0K 
[ ]mmlquery__t4_mmlquery.depvmin12021-07-25 21:03 82  
[ ]mmlquery__t4_mmlquery.depv12021-07-25 20:57 82  
[ ]mmlquery__t4_mmlquery2021-07-18 07:13 16K 
[ ]mmlquery__t3_mmlquery.vout2021-07-25 18:25 7.3K 
[ ]mmlquery__t3_mmlquery2021-07-18 07:15 17K 
[ ]mmlquery__t2_mmlquery.vout2021-07-25 15:41 11K 
[ ]mmlquery__t2_mmlquery.vmin1out2021-07-25 21:02 11K 
[ ]mmlquery__t2_mmlquery.vmin12021-07-25 20:57 908  
[ ]mmlquery__t2_mmlquery.depvmin12021-07-25 21:03 98  
[ ]mmlquery__t2_mmlquery.depv12021-07-25 20:57 98  
[ ]mmlquery__t2_mmlquery2021-07-18 07:13 16K 
[ ]mmlquery__t1_mmlquery.vout2021-07-25 19:42 17K 
[ ]mmlquery__t1_mmlquery.vmin1out2021-07-25 21:00 13K 
[ ]mmlquery__t1_mmlquery.vmin12021-07-25 20:57 640  
[ ]mmlquery__t1_mmlquery.depvmin12021-07-25 21:03 46  
[ ]mmlquery__t1_mmlquery.depv12021-07-25 20:57 46  
[ ]mmlquery__t1_mmlquery2021-07-18 07:15 14K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80