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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mmlquery__t1_mmlquery2024-07-27 04:40 14K 
[ ]mmlquery__t1_mmlquery.depv12024-08-03 10:19 46  
[ ]mmlquery__t1_mmlquery.depvmin12024-08-03 10:24 46  
[ ]mmlquery__t1_mmlquery.vmin12024-08-03 10:19 640  
[ ]mmlquery__t1_mmlquery.vmin1out2024-08-03 10:20 13K 
[ ]mmlquery__t1_mmlquery.vout2024-08-03 04:16 17K 
[ ]mmlquery__t2_mmlquery2024-07-27 04:35 15K 
[ ]mmlquery__t2_mmlquery.depv12024-08-03 10:19 98  
[ ]mmlquery__t2_mmlquery.depvmin12024-08-03 10:24 98  
[ ]mmlquery__t2_mmlquery.vmin12024-08-03 10:19 908  
[ ]mmlquery__t2_mmlquery.vmin1out2024-08-03 10:23 11K 
[ ]mmlquery__t2_mmlquery.vout2024-08-03 05:01 11K 
[ ]mmlquery__t3_mmlquery2024-07-27 04:42 16K 
[ ]mmlquery__t3_mmlquery.vout2024-08-03 06:55 7.3K 
[ ]mmlquery__t4_mmlquery2024-07-27 04:36 16K 
[ ]mmlquery__t4_mmlquery.depv12024-08-03 10:19 82  
[ ]mmlquery__t4_mmlquery.depvmin12024-08-03 10:24 82  
[ ]mmlquery__t4_mmlquery.vmin12024-08-03 10:19 1.0K 
[ ]mmlquery__t4_mmlquery.vmin1out2024-08-03 10:20 14K 
[ ]mmlquery__t4_mmlquery.vout2024-08-03 04:22 9.4K 
[ ]mmlquery__t5_mmlquery2024-07-27 04:43 17K 
[ ]mmlquery__t5_mmlquery.vout2024-08-03 04:47 4.2K 
[ ]mmlquery__t6_mmlquery2024-07-27 04:44 18K 
[ ]mmlquery__t6_mmlquery.vout2024-08-03 07:59 3.7K 
[ ]mmlquery__t7_mmlquery2024-07-27 04:45 21K 
[ ]mmlquery__t7_mmlquery.vout2024-08-03 06:38 3.7K 
[ ]mmlquery__t8_mmlquery2024-07-27 04:46 18K 
[ ]mmlquery__t8_mmlquery.vout2024-08-03 09:37 3.7K 
[ ]mmlquery__t9_mmlquery2024-07-27 04:47 18K 
[ ]mmlquery__t9_mmlquery.vout2024-08-03 07:47 3.7K 
[ ]mmlquery__t10_mmlquery2024-07-27 04:48 18K 
[ ]mmlquery__t10_mmlquery.vout2024-08-03 06:51 3.7K 
[ ]mmlquery__t11_mmlquery2024-07-27 04:49 23K 
[ ]mmlquery__t11_mmlquery.vout2024-08-03 10:16 3.7K 
[ ]mmlquery__t12_mmlquery2024-07-27 04:50 23K 
[ ]mmlquery__t12_mmlquery.vout2024-08-03 08:01 3.7K 
[ ]mmlquery__t13_mmlquery2024-07-27 04:52 19K 
[ ]mmlquery__t13_mmlquery.vout2024-08-03 05:05 3.7K 
[ ]mmlquery__t14_mmlquery2024-07-27 04:53 19K 
[ ]mmlquery__t14_mmlquery.vout2024-08-03 08:21 3.7K 
[ ]mmlquery__t15_mmlquery2024-07-27 04:54 19K 
[ ]mmlquery__t15_mmlquery.vout2024-08-03 05:18 3.8K 
[ ]mmlquery__t16_mmlquery2024-07-27 04:55 19K 
[ ]mmlquery__t16_mmlquery.vout2024-08-03 05:56 3.7K 
[ ]mmlquery__t17_mmlquery2024-07-27 04:56 18K 
[ ]mmlquery__t17_mmlquery.vout2024-08-03 06:39 3.7K 
[ ]mmlquery__t18_mmlquery2024-07-27 04:57 18K 
[ ]mmlquery__t18_mmlquery.vout2024-08-03 05:27 3.7K 
[ ]mmlquery__t19_mmlquery2024-07-27 04:58 18K 
[ ]mmlquery__t19_mmlquery.vout2024-08-03 07:08 3.6K 
[ ]mmlquery__t20_mmlquery2024-07-27 04:59 18K 
[ ]mmlquery__t20_mmlquery.vout2024-08-03 04:41 3.7K 
[ ]mmlquery__t21_mmlquery2024-07-27 05:00 18K 
[ ]mmlquery__t21_mmlquery.depv12024-08-03 10:19 147  
[ ]mmlquery__t21_mmlquery.depvmin12024-08-03 10:24 147  
[ ]mmlquery__t21_mmlquery.vmin12024-08-03 10:19 2.0K 
[ ]mmlquery__t21_mmlquery.vmin1out2024-08-03 10:21 26K 
[ ]mmlquery__t21_mmlquery.vout2024-08-03 09:59 31K 
[ ]mmlquery__t22_mmlquery2024-07-27 05:01 16K 
[ ]mmlquery__t22_mmlquery.vout2024-08-03 08:13 3.7K 
[ ]mmlquery__t23_mmlquery2024-07-27 05:02 16K 
[ ]mmlquery__t23_mmlquery.depv12024-08-03 10:19 163  
[ ]mmlquery__t23_mmlquery.depvmin12024-08-03 10:24 134  
[ ]mmlquery__t23_mmlquery.vmin12024-08-03 10:19 1.7K 
[ ]mmlquery__t23_mmlquery.vmin1out2024-08-03 10:21 29K 
[ ]mmlquery__t23_mmlquery.vout2024-08-03 05:39 37K 
[ ]mmlquery__t24_mmlquery2024-07-27 05:03 20K 
[ ]mmlquery__t24_mmlquery.vout2024-08-03 07:16 3.7K 
[ ]mmlquery__t25_mmlquery2024-07-27 05:04 17K 
[ ]mmlquery__t25_mmlquery.depv12024-08-03 10:19 112  
[ ]mmlquery__t25_mmlquery.depvmin12024-08-03 10:24 112  
[ ]mmlquery__t25_mmlquery.vmin12024-08-03 10:19 1.3K 
[ ]mmlquery__t25_mmlquery.vmin1out2024-08-03 10:20 21K 
[ ]mmlquery__t25_mmlquery.vout2024-08-03 07:28 14K 
[ ]mmlquery__t26_mmlquery2024-07-27 05:05 17K 
[ ]mmlquery__t26_mmlquery.vout2024-08-03 09:10 3.7K 
[ ]mmlquery__t27_mmlquery2024-07-27 05:06 19K 
[ ]mmlquery__t27_mmlquery.vout2024-08-03 04:19 3.7K 
[ ]mmlquery__t28_mmlquery2024-07-27 05:08 16K 
[ ]mmlquery__t28_mmlquery.vout2024-08-03 09:19 4.2K 
[ ]mmlquery__t29_mmlquery2024-07-27 05:09 16K 
[ ]mmlquery__t29_mmlquery.vout2024-08-03 04:35 7.3K 
[ ]mmlquery__t30_mmlquery2024-07-27 05:10 17K 
[ ]mmlquery__t30_mmlquery.vout2024-08-03 04:59 3.7K 
[ ]mmlquery__t31_mmlquery2024-07-27 04:37 17K 
[ ]mmlquery__t31_mmlquery.depv12024-08-03 10:19 147  
[ ]mmlquery__t31_mmlquery.depvmin12024-08-03 10:24 147  
[ ]mmlquery__t31_mmlquery.vmin12024-08-03 10:19 1.5K 
[ ]mmlquery__t31_mmlquery.vmin1out2024-08-03 10:20 14K 
[ ]mmlquery__t31_mmlquery.vout2024-08-03 05:14 18K 
[ ]mmlquery__t32_mmlquery2024-07-27 04:38 17K 
[ ]mmlquery__t32_mmlquery.depv12024-08-03 10:19 147  
[ ]mmlquery__t32_mmlquery.depvmin12024-08-03 10:24 147  
[ ]mmlquery__t32_mmlquery.vmin12024-08-03 10:19 1.5K 
[ ]mmlquery__t32_mmlquery.vmin1out2024-08-03 10:20 14K 
[ ]mmlquery__t32_mmlquery.vout2024-08-03 07:01 18K 
[ ]mmlquery__t33_mmlquery2024-07-27 04:39 17K 
[ ]mmlquery__t33_mmlquery.vout2024-08-03 06:23 2.0K 
[ ]mmlquery__t34_mmlquery2024-07-27 04:40 17K 
[ ]mmlquery__t34_mmlquery.vout2024-08-03 09:44 7.3K 
[ ]mmlquery__t35_mmlquery2024-07-27 05:11 18K 
[ ]mmlquery__t35_mmlquery.vout2024-08-03 04:20 3.7K 
[ ]mmlquery__t36_mmlquery2024-07-27 05:12 20K 
[ ]mmlquery__t36_mmlquery.vout2024-08-03 10:08 3.7K 
[ ]mmlquery__t37_mmlquery2024-07-27 05:13 16K 
[ ]mmlquery__t37_mmlquery.vout2024-08-03 06:15 5.3K 
[ ]mmlquery__t38_mmlquery2024-07-27 05:14 18K 
[ ]mmlquery__t38_mmlquery.vout2024-08-03 05:55 7.3K 
[ ]mmlquery__t39_mmlquery2024-07-27 05:15 17K 
[ ]mmlquery__t39_mmlquery.vout2024-08-03 04:34 3.7K 
[ ]mmlquery__t40_mmlquery2024-07-27 05:16 19K 
[ ]mmlquery__t40_mmlquery.vout2024-08-03 10:10 3.7K 
[ ]mmlquery__t41_mmlquery2024-07-27 05:17 16K 
[ ]mmlquery__t41_mmlquery.depv12024-08-03 10:19 79  
[ ]mmlquery__t41_mmlquery.depvmin12024-08-03 10:24 79  
[ ]mmlquery__t41_mmlquery.vmin12024-08-03 10:19 900  
[ ]mmlquery__t41_mmlquery.vmin1out2024-08-03 10:23 8.3K 
[ ]mmlquery__t41_mmlquery.vout2024-08-03 04:22 7.3K 
[ ]mmlquery__t42_mmlquery2024-07-27 05:18 20K 
[ ]mmlquery__t42_mmlquery.vout2024-08-03 05:52 7.3K 
[ ]mmlquery__t43_mmlquery2024-07-27 05:19 20K 
[ ]mmlquery__t43_mmlquery.vout2024-08-03 06:58 4.7K 
[ ]mmlquery__t44_mmlquery2024-07-27 05:20 24K 
[ ]mmlquery__t44_mmlquery.vout2024-08-03 08:13 6.8K 
[ ]mmlquery__t45_mmlquery2024-07-27 05:21 16K 
[ ]mmlquery__t45_mmlquery.depv12024-08-03 10:19 198  
[ ]mmlquery__t45_mmlquery.depvmin12024-08-03 10:24 187  
[ ]mmlquery__t45_mmlquery.vmin12024-08-03 10:19 1.9K 
[ ]mmlquery__t45_mmlquery.vmin1out2024-08-03 10:22 38K 
[ ]mmlquery__t45_mmlquery.vout2024-08-03 07:49 34K 
[ ]mmlquery__t46_mmlquery2024-07-27 05:22 16K 
[ ]mmlquery__t46_mmlquery.depv12024-08-03 10:19 238  
[ ]mmlquery__t46_mmlquery.depvmin12024-08-03 10:24 203  
[ ]mmlquery__t46_mmlquery.vmin12024-08-03 10:19 2.1K 
[ ]mmlquery__t46_mmlquery.vmin1out2024-08-03 10:20 17K 
[ ]mmlquery__t46_mmlquery.vout2024-08-03 09:48 29K 
[ ]mmlquery__t47_mmlquery2024-07-27 05:23 19K 
[ ]mmlquery__t47_mmlquery.vout2024-08-03 10:17 3.7K 
[ ]mmlquery__t48_mmlquery2024-07-27 05:24 20K 
[ ]mmlquery__t48_mmlquery.depv12024-08-03 10:19 273  
[ ]mmlquery__t48_mmlquery.depvmin12024-08-03 10:24 260  
[ ]mmlquery__t48_mmlquery.vmin12024-08-03 10:19 2.1K 
[ ]mmlquery__t48_mmlquery.vmin1out2024-08-03 10:22 17K 
[ ]mmlquery__t48_mmlquery.vout2024-08-03 09:46 21K 
[ ]mmlquery__t49_mmlquery2024-07-27 05:25 24K 
[ ]mmlquery__t49_mmlquery.vout2024-08-03 05:34 4.7K 
[ ]mmlquery__t50_mmlquery2024-07-27 05:26 20K 
[ ]mmlquery__t50_mmlquery.vout2024-08-03 06:59 6.8K 
[ ]mmlquery__t51_mmlquery2024-07-27 05:27 18K 
[ ]mmlquery__t51_mmlquery.vout2024-08-03 06:52 7.3K 
[ ]mmlquery__t52_mmlquery2024-07-27 05:28 21K 
[ ]mmlquery__t52_mmlquery.vout2024-08-03 09:26 6.8K 
[ ]mmlquery__t53_mmlquery2024-07-27 05:29 19K 
[ ]mmlquery__t53_mmlquery.depv12024-08-03 10:19 251  
[ ]mmlquery__t53_mmlquery.vmin12024-08-03 10:19 2.1K 
[ ]mmlquery__t53_mmlquery.vmin1out2024-08-03 10:22 2.0K 
[ ]mmlquery__t53_mmlquery.vout2024-08-03 09:21 21K 
[ ]mmlquery__t54_mmlquery2024-07-27 05:30 21K 
[ ]mmlquery__t54_mmlquery.vout2024-08-03 07:47 5.3K 
[ ]mmlquery__t55_mmlquery2024-07-27 05:31 20K 
[ ]mmlquery__t55_mmlquery.vout2024-08-03 08:57 5.3K 
[ ]mmlquery__t56_mmlquery2024-07-27 05:32 18K 
[ ]mmlquery__t56_mmlquery.depv12024-08-03 10:19 83  
[ ]mmlquery__t56_mmlquery.depvmin12024-08-03 10:24 83  
[ ]mmlquery__t56_mmlquery.vmin12024-08-03 10:19 1.0K 
[ ]mmlquery__t56_mmlquery.vmin1out2024-08-03 10:23 14K 
[ ]mmlquery__t56_mmlquery.vout2024-08-03 09:00 14K 
[ ]mmlquery__t57_mmlquery2024-07-27 05:33 18K 
[ ]mmlquery__t57_mmlquery.depv12024-08-03 10:19 96  
[ ]mmlquery__t57_mmlquery.depvmin12024-08-03 10:24 96  
[ ]mmlquery__t57_mmlquery.vmin12024-08-03 10:19 1.1K 
[ ]mmlquery__t57_mmlquery.vmin1out2024-08-03 10:22 18K 
[ ]mmlquery__t57_mmlquery.vout2024-08-03 08:12 17K 
[ ]mmlquery__t58_mmlquery2024-07-27 05:34 24K 
[ ]mmlquery__t58_mmlquery.vout2024-08-03 05:54 5.9K 
[ ]mmlquery__t59_mmlquery2024-07-27 05:35 23K 
[ ]mmlquery__t59_mmlquery.vout2024-08-03 08:30 3.7K 
[ ]mmlquery__t60_mmlquery2024-07-27 05:37 23K 
[ ]mmlquery__t60_mmlquery.vout2024-08-03 09:27 3.7K 
[ ]mmlquery__t61_mmlquery2024-07-27 05:38 23K 
[ ]mmlquery__t61_mmlquery.vout2024-08-03 09:40 5.3K 
[ ]mmlquery__t62_mmlquery2024-07-27 05:39 25K 
[ ]mmlquery__t62_mmlquery.vout2024-08-03 05:01 5.3K 
[ ]mmlquery__t63_mmlquery2024-07-27 05:40 28K 
[ ]mmlquery__t63_mmlquery.vout2024-08-03 07:06 5.3K 
[ ]mmlquery__t64_mmlquery2024-07-27 05:41 24K 
[ ]mmlquery__t64_mmlquery.vout2024-08-03 09:26 7.3K 
[ ]mmlquery__t65_mmlquery2024-07-27 05:43 25K 
[ ]mmlquery__t65_mmlquery.depv12024-08-03 10:19 228  
[ ]mmlquery__t65_mmlquery.depvmin12024-08-03 10:24 228  
[ ]mmlquery__t65_mmlquery.vmin12024-08-03 10:19 1.6K 
[ ]mmlquery__t65_mmlquery.vmin1out2024-08-03 10:22 15K 
[ ]mmlquery__t65_mmlquery.vout2024-08-03 05:01 16K 
[ ]mmlquery__t66_mmlquery2024-07-27 05:44 17K 
[ ]mmlquery__t66_mmlquery.vout2024-08-03 06:38 7.3K 
[ ]mmlquery__t67_mmlquery2024-07-27 05:45 26K 
[ ]mmlquery__t67_mmlquery.vout2024-08-03 08:49 5.9K 
[ ]mmlquery__t68_mmlquery2024-07-27 05:46 27K 
[ ]mmlquery__t68_mmlquery.vout2024-08-03 06:03 5.3K 
[ ]mmlquery__t69_mmlquery2024-07-27 05:47 27K 
[ ]mmlquery__t69_mmlquery.vout2024-08-03 04:16 5.3K 
[ ]mmlquery__t70_mmlquery2024-07-27 05:49 25K 
[ ]mmlquery__t70_mmlquery.vout2024-08-03 09:12 3.7K 
[ ]mmlquery__t71_mmlquery2024-07-27 05:50 26K 
[ ]mmlquery__t71_mmlquery.vout2024-08-03 06:15 3.7K 
[ ]mmlquery__t72_mmlquery2024-07-27 05:51 26K 
[ ]mmlquery__t72_mmlquery.vout2024-08-03 08:19 3.7K 
[ ]mmlquery__t73_mmlquery2024-07-27 05:52 20K 
[ ]mmlquery__t73_mmlquery.depv12024-08-03 10:19 128  
[ ]mmlquery__t73_mmlquery.depvmin12024-08-03 10:24 128  
[ ]mmlquery__t73_mmlquery.vmin12024-08-03 10:19 1.0K 
[ ]mmlquery__t73_mmlquery.vmin1out2024-08-03 10:20 8.7K 
[ ]mmlquery__t73_mmlquery.vout2024-08-03 09:11 11K 
[ ]mmlquery__t74_mmlquery2024-07-27 05:53 20K 
[ ]mmlquery__t74_mmlquery.depv12024-08-03 10:19 128  
[ ]mmlquery__t74_mmlquery.depvmin12024-08-03 10:24 128  
[ ]mmlquery__t74_mmlquery.vmin12024-08-03 10:19 1.0K 
[ ]mmlquery__t74_mmlquery.vmin1out2024-08-03 10:20 9.9K 
[ ]mmlquery__t74_mmlquery.vout2024-08-03 10:01 13K 
[ ]mmlquery__t75_mmlquery2024-07-27 05:54 20K 
[ ]mmlquery__t75_mmlquery.depv12024-08-03 10:19 141  
[ ]mmlquery__t75_mmlquery.depvmin12024-08-03 10:24 98  
[ ]mmlquery__t75_mmlquery.vmin12024-08-03 10:19 1.2K 
[ ]mmlquery__t75_mmlquery.vmin1out2024-08-03 10:21 11K 
[ ]mmlquery__t75_mmlquery.vout2024-08-03 07:27 16K 
[ ]mmlquery__t76_mmlquery2024-07-27 05:56 25K 
[ ]mmlquery__t76_mmlquery.vout2024-08-03 05:13 3.7K 
[ ]mmlquery__t77_mmlquery2024-07-27 05:57 30K 
[ ]mmlquery__t77_mmlquery.vout2024-08-03 09:32 3.7K 
[ ]mmlquery__t78_mmlquery2024-07-27 06:00 25K 
[ ]mmlquery__t78_mmlquery.vout2024-08-03 09:52 3.7K 
[ ]mmlquery__t79_mmlquery2024-07-27 05:58 26K 
[ ]mmlquery__t79_mmlquery.vout2024-08-03 07:43 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80