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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quatern2__l1_quatern22024-07-27 03:48 11K 
[ ]quatern2__l1_quatern2.depv12024-08-03 10:19 68  
[ ]quatern2__l1_quatern2.depvmin12024-08-03 10:24 68  
[ ]quatern2__l1_quatern2.vmin12024-08-03 10:19 750  
[ ]quatern2__l1_quatern2.vmin1out2024-08-03 10:22 15K 
[ ]quatern2__l1_quatern2.vout2024-08-03 07:04 10K 
[ ]quatern2__l2_quatern22024-07-27 02:40 17K 
[ ]quatern2__l2_quatern2.depv12024-08-03 10:19 25  
[ ]quatern2__l2_quatern2.depvmin12024-08-03 10:24 25  
[ ]quatern2__l2_quatern2.vmin12024-08-03 10:19 576  
[ ]quatern2__l2_quatern2.vmin1out2024-08-03 10:23 5.6K 
[ ]quatern2__l2_quatern2.vout2024-08-03 06:06 5.6K 
[ ]quatern2__l3_quatern22024-07-27 02:41 26K 
[ ]quatern2__l3_quatern2.depv12024-08-03 10:19 49  
[ ]quatern2__l3_quatern2.depvmin12024-08-03 10:24 49  
[ ]quatern2__l3_quatern2.vmin12024-08-03 10:19 763  
[ ]quatern2__l3_quatern2.vmin1out2024-08-03 10:21 17K 
[ ]quatern2__l3_quatern2.vout2024-08-03 09:05 18K 
[ ]quatern2__l4_quatern22024-07-27 02:41 6.4K 
[ ]quatern2__l4_quatern2.depv12024-08-03 10:19 95  
[ ]quatern2__l4_quatern2.depvmin12024-08-03 10:24 95  
[ ]quatern2__l4_quatern2.vmin12024-08-03 10:19 563  
[ ]quatern2__l4_quatern2.vmin1out2024-08-03 10:22 4.0K 
[ ]quatern2__l4_quatern2.vout2024-08-03 07:46 3.7K 
[ ]quatern2__l14_quatern22024-07-27 02:42 15K 
[ ]quatern2__l14_quatern2.depv12024-08-03 10:19 50  
[ ]quatern2__l14_quatern2.depvmin12024-08-03 10:24 50  
[ ]quatern2__l14_quatern2.vmin12024-08-03 10:19 282  
[ ]quatern2__l14_quatern2.vmin1out2024-08-03 10:22 3.8K 
[ ]quatern2__l14_quatern2.vout2024-08-03 09:56 3.9K 
[ ]quatern2__l38_quatern22024-07-27 02:43 6.5K 
[ ]quatern2__l38_quatern2.depv12024-08-03 10:19 96  
[ ]quatern2__l38_quatern2.depvmin12024-08-03 10:24 96  
[ ]quatern2__l38_quatern2.vmin12024-08-03 10:19 429  
[ ]quatern2__l38_quatern2.vmin1out2024-08-03 10:21 3.4K 
[ ]quatern2__l38_quatern2.vout2024-08-03 04:11 3.1K 
[ ]quatern2__t1_quatern22024-07-27 02:44 51K 
[ ]quatern2__t1_quatern2.vout2024-08-03 09:38 7.3K 
[ ]quatern2__t2_quatern22024-07-27 02:45 14K 
[ ]quatern2__t2_quatern2.vout2024-08-03 05:32 7.3K 
[ ]quatern2__t3_quatern22024-07-27 02:46 15K 
[ ]quatern2__t3_quatern2.vout2024-08-03 09:11 7.3K 
[ ]quatern2__t4_quatern22024-07-27 02:47 28K 
[ ]quatern2__t4_quatern2.vout2024-08-03 09:01 7.3K 
[ ]quatern2__t5_quatern22024-07-27 02:48 24K 
[ ]quatern2__t5_quatern2.vout2024-08-03 08:34 7.3K 
[ ]quatern2__t6_quatern22024-07-27 02:24 12K 
[ ]quatern2__t6_quatern2.depv12024-08-03 10:19 172  
[ ]quatern2__t6_quatern2.depvmin12024-08-03 10:24 143  
[ ]quatern2__t6_quatern2.vmin12024-08-03 10:19 1.4K 
[ ]quatern2__t6_quatern2.vmin1out2024-08-03 10:23 11K 
[ ]quatern2__t6_quatern2.vout2024-08-03 06:41 20K 
[ ]quatern2__t7_quatern22024-07-27 02:49 12K 
[ ]quatern2__t7_quatern2.vout2024-08-03 08:24 7.3K 
[ ]quatern2__t8_quatern22024-07-27 02:50 12K 
[ ]quatern2__t8_quatern2.depv12024-08-03 10:19 212  
[ ]quatern2__t8_quatern2.depvmin12024-08-03 10:24 212  
[ ]quatern2__t8_quatern2.vmin12024-08-03 10:19 1.3K 
[ ]quatern2__t8_quatern2.vmin1out2024-08-03 10:20 15K 
[ ]quatern2__t8_quatern2.vout2024-08-03 06:18 17K 
[ ]quatern2__t9_quatern22024-07-27 02:52 51K 
[ ]quatern2__t9_quatern2.vout2024-08-03 05:12 7.3K 
[ ]quatern2__t10_quatern22024-07-27 02:52 17K 
[ ]quatern2__t10_quatern2.vout2024-08-03 09:36 7.9K 
[ ]quatern2__t11_quatern22024-07-27 02:53 12K 
[ ]quatern2__t11_quatern2.depv12024-08-03 10:19 152  
[ ]quatern2__t11_quatern2.depvmin12024-08-03 10:24 152  
[ ]quatern2__t11_quatern2.vmin12024-08-03 10:19 1.0K 
[ ]quatern2__t11_quatern2.vmin1out2024-08-03 10:23 8.4K 
[ ]quatern2__t11_quatern2.vout2024-08-03 04:29 8.5K 
[ ]quatern2__t12_quatern22024-07-27 02:55 31K 
[ ]quatern2__t12_quatern2.vout2024-08-03 08:09 7.4K 
[ ]quatern2__t13_quatern22024-07-27 02:56 31K 
[ ]quatern2__t13_quatern2.vout2024-08-03 04:34 7.4K 
[ ]quatern2__t14_quatern22024-07-27 02:57 33K 
[ ]quatern2__t14_quatern2.vout2024-08-03 04:51 7.3K 
[ ]quatern2__t15_quatern22024-07-27 02:58 33K 
[ ]quatern2__t15_quatern2.vout2024-08-03 04:45 7.3K 
[ ]quatern2__t16_quatern22024-07-27 02:59 27K 
[ ]quatern2__t16_quatern2.vout2024-08-03 06:21 7.3K 
[ ]quatern2__t17_quatern22024-07-27 03:01 28K 
[ ]quatern2__t17_quatern2.vout2024-08-03 08:30 7.3K 
[ ]quatern2__t18_quatern22024-07-27 03:02 28K 
[ ]quatern2__t18_quatern2.vout2024-08-03 06:01 7.4K 
[ ]quatern2__t19_quatern22024-07-27 03:03 35K 
[ ]quatern2__t19_quatern2.vout2024-08-03 09:13 7.4K 
[ ]quatern2__t20_quatern22024-07-27 03:05 36K 
[ ]quatern2__t20_quatern2.vout2024-08-03 10:00 7.3K 
[ ]quatern2__t21_quatern22024-07-27 03:06 36K 
[ ]quatern2__t21_quatern2.vout2024-08-03 09:43 7.3K 
[ ]quatern2__t22_quatern22024-07-27 03:07 28K 
[ ]quatern2__t22_quatern2.vout2024-08-03 09:40 7.3K 
[ ]quatern2__t23_quatern22024-07-27 03:08 13K 
[ ]quatern2__t23_quatern2.vout2024-08-03 09:13 7.4K 
[ ]quatern2__t24_quatern22024-07-27 03:09 13K 
[ ]quatern2__t24_quatern2.vout2024-08-03 08:44 7.3K 
[ ]quatern2__t25_quatern22024-07-27 03:11 17K 
[ ]quatern2__t25_quatern2.vout2024-08-03 08:57 7.4K 
[ ]quatern2__t26_quatern22024-07-27 03:12 78K 
[ ]quatern2__t26_quatern2.depv12024-08-03 10:19 173  
[ ]quatern2__t26_quatern2.depvmin12024-08-03 10:24 160  
[ ]quatern2__t26_quatern2.vmin12024-08-03 10:19 1.4K 
[ ]quatern2__t26_quatern2.vmin1out2024-08-03 10:23 11K 
[ ]quatern2__t26_quatern2.vout2024-08-03 07:20 18K 
[ ]quatern2__t27_quatern22024-07-27 03:13 266K 
[ ]quatern2__t27_quatern2.vout2024-08-03 07:45 6.8K 
[ ]quatern2__t28_quatern22024-07-27 03:15 268K 
[ ]quatern2__t28_quatern2.vout2024-08-03 08:57 7.3K 
[ ]quatern2__t29_quatern22024-07-27 03:16 108K 
[ ]quatern2__t29_quatern2.vout2024-08-03 10:08 7.3K 
[ ]quatern2__t30_quatern22024-07-27 03:18 107K 
[ ]quatern2__t30_quatern2.vout2024-08-03 06:20 7.3K 
[ ]quatern2__t31_quatern22024-07-27 03:19 140K 
[ ]quatern2__t31_quatern2.vout2024-08-03 04:27 7.3K 
[ ]quatern2__t32_quatern22024-07-27 03:21 140K 
[ ]quatern2__t32_quatern2.vout2024-08-03 04:49 7.4K 
[ ]quatern2__t33_quatern22024-07-27 03:22 138K 
[ ]quatern2__t33_quatern2.vout2024-08-03 04:19 7.3K 
[ ]quatern2__t34_quatern22024-07-27 03:24 110K 
[ ]quatern2__t34_quatern2.vout2024-08-03 05:16 7.3K 
[ ]quatern2__t35_quatern22024-07-27 02:25 16K 
[ ]quatern2__t35_quatern2.depv12024-08-03 10:19 103  
[ ]quatern2__t35_quatern2.depvmin12024-08-03 10:24 103  
[ ]quatern2__t35_quatern2.vmin12024-08-03 10:19 531  
[ ]quatern2__t35_quatern2.vmin1out2024-08-03 10:20 5.2K 
[ ]quatern2__t35_quatern2.vout2024-08-03 05:10 5.3K 
[ ]quatern2__t36_quatern22024-07-27 02:26 19K 
[ ]quatern2__t36_quatern2.depv12024-08-03 10:19 162  
[ ]quatern2__t36_quatern2.depvmin12024-08-03 10:24 162  
[ ]quatern2__t36_quatern2.vmin12024-08-03 10:19 2.0K 
[ ]quatern2__t36_quatern2.vmin1out2024-08-03 10:20 33K 
[ ]quatern2__t36_quatern2.vout2024-08-03 05:20 40K 
[ ]quatern2__t37_quatern22024-07-27 02:28 19K 
[ ]quatern2__t37_quatern2.depv12024-08-03 10:19 80  
[ ]quatern2__t37_quatern2.depvmin12024-08-03 10:24 80  
[ ]quatern2__t37_quatern2.vmin12024-08-03 10:19 531  
[ ]quatern2__t37_quatern2.vmin1out2024-08-03 10:20 5.3K 
[ ]quatern2__t37_quatern2.vout2024-08-03 09:47 5.3K 
[ ]quatern2__t38_quatern22024-07-27 02:29 19K 
[ ]quatern2__t38_quatern2.depv12024-08-03 10:19 112  
[ ]quatern2__t38_quatern2.depvmin12024-08-03 10:24 112  
[ ]quatern2__t38_quatern2.vmin12024-08-03 10:19 939  
[ ]quatern2__t38_quatern2.vmin1out2024-08-03 10:21 6.8K 
[ ]quatern2__t38_quatern2.vout2024-08-03 07:43 6.9K 
[ ]quatern2__t39_quatern22024-07-27 02:31 19K 
[ ]quatern2__t39_quatern2.depv12024-08-03 10:19 104  
[ ]quatern2__t39_quatern2.depvmin12024-08-03 10:24 104  
[ ]quatern2__t39_quatern2.vmin12024-08-03 10:19 601  
[ ]quatern2__t39_quatern2.vmin1out2024-08-03 10:23 5.7K 
[ ]quatern2__t39_quatern2.vout2024-08-03 05:50 5.7K 
[ ]quatern2__t40_quatern22024-07-27 03:25 24K 
[ ]quatern2__t40_quatern2.depv12024-08-03 10:19 342  
[ ]quatern2__t40_quatern2.depvmin12024-08-03 10:24 300  
[ ]quatern2__t40_quatern2.vmin12024-08-03 10:19 2.9K 
[ ]quatern2__t40_quatern2.vmin1out2024-08-03 10:20 36K 
[ ]quatern2__t40_quatern2.vout2024-08-03 04:59 40K 
[ ]quatern2__t41_quatern22024-07-27 03:27 26K 
[ ]quatern2__t41_quatern2.depv12024-08-03 10:19 213  
[ ]quatern2__t41_quatern2.depvmin12024-08-03 10:24 189  
[ ]quatern2__t41_quatern2.vmin12024-08-03 10:19 1.4K 
[ ]quatern2__t41_quatern2.vmin1out2024-08-03 10:23 9.0K 
[ ]quatern2__t41_quatern2.vout2024-08-03 09:10 9.5K 
[ ]quatern2__t42_quatern22024-07-27 03:29 26K 
[ ]quatern2__t42_quatern2.depv12024-08-03 10:19 158  
[ ]quatern2__t42_quatern2.depvmin12024-08-03 10:24 158  
[ ]quatern2__t42_quatern2.vmin12024-08-03 10:19 1.1K 
[ ]quatern2__t42_quatern2.vmin1out2024-08-03 10:21 11K 
[ ]quatern2__t42_quatern2.vout2024-08-03 08:02 11K 
[ ]quatern2__t43_quatern22024-07-27 03:31 26K 
[ ]quatern2__t43_quatern2.depv12024-08-03 10:19 189  
[ ]quatern2__t43_quatern2.depvmin12024-08-03 10:24 176  
[ ]quatern2__t43_quatern2.vmin12024-08-03 10:19 1.3K 
[ ]quatern2__t43_quatern2.vmin1out2024-08-03 10:20 7.9K 
[ ]quatern2__t43_quatern2.vout2024-08-03 08:43 8.3K 
[ ]quatern2__t44_quatern22024-07-27 02:32 40K 
[ ]quatern2__t44_quatern2.depv12024-08-03 10:19 104  
[ ]quatern2__t44_quatern2.depvmin12024-08-03 10:24 104  
[ ]quatern2__t44_quatern2.vmin12024-08-03 10:19 628  
[ ]quatern2__t44_quatern2.vmin1out2024-08-03 10:23 5.7K 
[ ]quatern2__t44_quatern2.vout2024-08-03 08:10 5.8K 
[ ]quatern2__t45_quatern22024-07-27 02:34 39K 
[ ]quatern2__t45_quatern2.depv12024-08-03 10:19 114  
[ ]quatern2__t45_quatern2.depvmin12024-08-03 10:24 114  
[ ]quatern2__t45_quatern2.vmin12024-08-03 10:19 607  
[ ]quatern2__t45_quatern2.vmin1out2024-08-03 10:22 6.4K 
[ ]quatern2__t45_quatern2.vout2024-08-03 05:03 6.4K 
[ ]quatern2__t46_quatern22024-07-27 02:36 40K 
[ ]quatern2__t46_quatern2.depv12024-08-03 10:19 93  
[ ]quatern2__t46_quatern2.depvmin12024-08-03 10:24 93  
[ ]quatern2__t46_quatern2.vmin12024-08-03 10:19 591  
[ ]quatern2__t46_quatern2.vmin1out2024-08-03 10:20 5.5K 
[ ]quatern2__t46_quatern2.vout2024-08-03 07:49 5.6K 
[ ]quatern2__t47_quatern22024-07-27 03:33 21K 
[ ]quatern2__t47_quatern2.depv12024-08-03 10:19 288  
[ ]quatern2__t47_quatern2.depvmin12024-08-03 10:24 288  
[ ]quatern2__t47_quatern2.vmin12024-08-03 10:19 1.9K 
[ ]quatern2__t47_quatern2.vmin1out2024-08-03 10:20 12K 
[ ]quatern2__t47_quatern2.vout2024-08-03 07:25 12K 
[ ]quatern2__t48_quatern22024-07-27 03:34 72K 
[ ]quatern2__t48_quatern2.vout2024-08-03 08:14 6.8K 
[ ]quatern2__t49_quatern22024-07-27 03:36 294K 
[ ]quatern2__t49_quatern2.vout2024-08-03 06:48 7.3K 
[ ]quatern2__t50_quatern22024-07-27 03:37 294K 
[ ]quatern2__t50_quatern2.vout2024-08-03 04:49 7.3K 
[ ]quatern2__t51_quatern22024-07-27 03:38 262K 
[ ]quatern2__t51_quatern2.depv12024-08-03 10:19 94  
[ ]quatern2__t51_quatern2.depvmin12024-08-03 10:24 94  
[ ]quatern2__t51_quatern2.vmin12024-08-03 10:19 806  
[ ]quatern2__t51_quatern2.vmin1out2024-08-03 10:21 6.2K 
[ ]quatern2__t51_quatern2.vout2024-08-03 09:18 9.0K 
[ ]quatern2__t52_quatern22024-07-27 03:40 294K 
[ ]quatern2__t52_quatern2.vout2024-08-03 04:20 7.4K 
[ ]quatern2__t53_quatern22024-07-27 02:37 17K 
[ ]quatern2__t53_quatern2.depv12024-08-03 10:19 110  
[ ]quatern2__t53_quatern2.depvmin12024-08-03 10:24 110  
[ ]quatern2__t53_quatern2.vmin12024-08-03 10:19 1.0K 
[ ]quatern2__t53_quatern2.vmin1out2024-08-03 10:21 9.6K 
[ ]quatern2__t53_quatern2.vout2024-08-03 07:54 16K 
[ ]quatern2__t54_quatern22024-07-27 03:41 17K 
[ ]quatern2__t54_quatern2.vout2024-08-03 08:22 7.3K 
[ ]quatern2__t55_quatern22024-07-27 02:38 18K 
[ ]quatern2__t55_quatern2.depv12024-08-03 10:19 84  
[ ]quatern2__t55_quatern2.depvmin12024-08-03 10:24 84  
[ ]quatern2__t55_quatern2.vmin12024-08-03 10:19 775  
[ ]quatern2__t55_quatern2.vmin1out2024-08-03 10:20 6.5K 
[ ]quatern2__t55_quatern2.vout2024-08-03 08:13 9.7K 
[ ]quatern2__t56_quatern22024-07-27 03:42 18K 
[ ]quatern2__t56_quatern2.depv12024-08-03 10:19 135  
[ ]quatern2__t56_quatern2.depvmin12024-08-03 10:24 135  
[ ]quatern2__t56_quatern2.vmin12024-08-03 10:19 1.0K 
[ ]quatern2__t56_quatern2.vmin1out2024-08-03 10:22 7.5K 
[ ]quatern2__t56_quatern2.vout2024-08-03 09:47 11K 
[ ]quatern2__t57_quatern22024-07-27 03:43 18K 
[ ]quatern2__t57_quatern2.depv12024-08-03 10:19 145  
[ ]quatern2__t57_quatern2.depvmin12024-08-03 10:24 135  
[ ]quatern2__t57_quatern2.vmin12024-08-03 10:19 1.1K 
[ ]quatern2__t57_quatern2.vmin1out2024-08-03 10:22 12K 
[ ]quatern2__t57_quatern2.vout2024-08-03 07:47 16K 
[ ]quatern2__t58_quatern22024-07-27 02:39 18K 
[ ]quatern2__t58_quatern2.depv12024-08-03 10:19 147  
[ ]quatern2__t58_quatern2.vmin12024-08-03 10:19 1.2K 
[ ]quatern2__t58_quatern2.vmin1out2024-08-03 10:23 2.0K 
[ ]quatern2__t58_quatern2.vout2024-08-03 05:50 12K 
[ ]quatern2__t59_quatern22024-07-27 03:45 18K 
[ ]quatern2__t59_quatern2.vout2024-08-03 06:52 7.3K 
[ ]quatern2__t60_quatern22024-07-27 03:46 18K 
[ ]quatern2__t60_quatern2.vout2024-08-03 05:31 7.4K 
[ ]quatern2__t61_quatern22024-07-27 03:47 19K 
[ ]quatern2__t61_quatern2.vout2024-08-03 05:34 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80