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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]csspace__l23_csspace2024-07-28 00:33 43K 
[ ]csspace__l23_csspace.vout2024-08-03 09:01 6.8K 
[ ]csspace__l29_csspace2024-07-27 22:31 35K 
[ ]csspace__l29_csspace.depv12024-08-03 10:19 56  
[ ]csspace__l29_csspace.depvmin12024-08-03 10:24 56  
[ ]csspace__l29_csspace.vmin12024-08-03 10:19 1.2K 
[ ]csspace__l29_csspace.vmin1out2024-08-03 10:23 17K 
[ ]csspace__l29_csspace.vout2024-08-03 06:24 12K 
[ ]csspace__l30_csspace2024-07-27 22:32 35K 
[ ]csspace__l30_csspace.depv12024-08-03 10:19 79  
[ ]csspace__l30_csspace.depvmin12024-08-03 10:24 54  
[ ]csspace__l30_csspace.vmin12024-08-03 10:19 1.1K 
[ ]csspace__l30_csspace.vmin1out2024-08-03 10:21 7.3K 
[ ]csspace__l30_csspace.vout2024-08-03 07:44 9.6K 
[ ]csspace__l31_csspace2024-07-27 22:34 37K 
[ ]csspace__l31_csspace.depv12024-08-03 10:19 297  
[ ]csspace__l31_csspace.depvmin12024-08-03 10:24 297  
[ ]csspace__l31_csspace.vmin12024-08-03 10:19 3.6K 
[ ]csspace__l31_csspace.vmin1out2024-08-03 10:21 36K 
[ ]csspace__l31_csspace.vout2024-08-03 08:50 29K 
[ ]csspace__l32_csspace2024-07-27 22:35 35K 
[ ]csspace__l32_csspace.depv12024-08-03 10:19 172  
[ ]csspace__l32_csspace.depvmin12024-08-03 10:24 172  
[ ]csspace__l32_csspace.vmin12024-08-03 10:19 1.4K 
[ ]csspace__l32_csspace.vmin1out2024-08-03 10:20 14K 
[ ]csspace__l32_csspace.vout2024-08-03 05:32 10K 
[ ]csspace__l33_csspace2024-07-27 22:37 38K 
[ ]csspace__l33_csspace.depv12024-08-03 10:19 270  
[ ]csspace__l33_csspace.depvmin12024-08-03 10:24 270  
[ ]csspace__l33_csspace.vmin12024-08-03 10:19 3.0K 
[ ]csspace__l33_csspace.vmin1out2024-08-03 10:20 28K 
[ ]csspace__l33_csspace.vout2024-08-03 07:34 23K 
[ ]csspace__l34_csspace2024-07-27 22:38 40K 
[ ]csspace__l34_csspace.depv12024-08-03 10:19 410  
[ ]csspace__l34_csspace.depvmin12024-08-03 10:24 410  
[ ]csspace__l34_csspace.vmin12024-08-03 10:19 4.3K 
[ ]csspace__l34_csspace.vmin1out2024-08-03 10:23 52K 
[ ]csspace__l34_csspace.vout2024-08-03 06:15 40K 
[ ]csspace__l35_csspace2024-07-28 00:36 40K 
[ ]csspace__l35_csspace.depv12024-08-03 10:19 533  
[ ]csspace__l35_csspace.depvmin12024-08-03 10:24 455  
[ ]csspace__l35_csspace.vmin12024-08-03 10:19 5.5K 
[ ]csspace__l35_csspace.vmin1out2024-08-03 10:23 38K 
[ ]csspace__l35_csspace.vout2024-08-03 05:58 51K 
[ ]csspace__l36_csspace2024-07-28 00:38 44K 
[ ]csspace__l36_csspace.vout2024-08-03 07:53 4.7K 
[ ]csspace__l37_csspace2024-07-28 00:40 41K 
[ ]csspace__l37_csspace.vout2024-08-03 06:12 4.7K 
[ ]csspace__l38_csspace2024-07-28 00:42 58K 
[ ]csspace__l38_csspace.vout2024-08-03 05:30 4.7K 
[ ]csspace__l58_csspace2024-07-28 00:35 44K 
[ ]csspace__l58_csspace.vout2024-08-03 07:37 2.0K 
[ ]csspace__t1_csspace2024-07-27 22:14 26K 
[ ]csspace__t1_csspace.depv12024-08-03 10:19 47  
[ ]csspace__t1_csspace.depvmin12024-08-03 10:24 47  
[ ]csspace__t1_csspace.vmin12024-08-03 10:19 719  
[ ]csspace__t1_csspace.vmin1out2024-08-03 10:23 8.6K 
[ ]csspace__t1_csspace.vout2024-08-03 08:07 6.9K 
[ ]csspace__t2_csspace2024-07-27 22:40 53K 
[ ]csspace__t2_csspace.vout2024-08-03 05:27 4.7K 
[ ]csspace__t3_csspace2024-07-27 22:42 48K 
[ ]csspace__t3_csspace.vout2024-08-03 04:41 4.7K 
[ ]csspace__t4_csspace2024-07-27 22:44 31K 
[ ]csspace__t4_csspace.depv12024-08-03 10:19 330  
[ ]csspace__t4_csspace.depvmin12024-08-03 10:24 274  
[ ]csspace__t4_csspace.vmin12024-08-03 10:19 2.4K 
[ ]csspace__t4_csspace.vmin1out2024-08-03 10:20 18K 
[ ]csspace__t4_csspace.vout2024-08-03 07:22 20K 
[ ]csspace__t5_csspace2024-07-27 22:45 31K 
[ ]csspace__t5_csspace.vout2024-08-03 05:37 7.3K 
[ ]csspace__t11_csspace2024-07-27 22:46 41K 
[ ]csspace__t11_csspace.vout2024-08-03 05:14 4.7K 
[ ]csspace__t12_csspace2024-07-27 22:49 193K 
[ ]csspace__t12_csspace.vout2024-08-03 06:37 6.2K 
[ ]csspace__t13_csspace2024-07-27 22:16 40K 
[ ]csspace__t13_csspace.depv12024-08-03 10:19 88  
[ ]csspace__t13_csspace.depvmin12024-08-03 10:24 88  
[ ]csspace__t13_csspace.vmin12024-08-03 10:19 1.3K 
[ ]csspace__t13_csspace.vmin1out2024-08-03 10:21 10K 
[ ]csspace__t13_csspace.vout2024-08-03 05:00 9.8K 
[ ]csspace__t14_csspace2024-07-27 22:18 42K 
[ ]csspace__t14_csspace.depv12024-08-03 10:19 103  
[ ]csspace__t14_csspace.depvmin12024-08-03 10:24 103  
[ ]csspace__t14_csspace.vmin12024-08-03 10:19 3.1K 
[ ]csspace__t14_csspace.vmin1out2024-08-03 10:23 32K 
[ ]csspace__t14_csspace.vout2024-08-03 05:46 31K 
[ ]csspace__t15_csspace2024-07-27 22:20 52K 
[ ]csspace__t15_csspace.vout2024-08-03 08:01 8.8K 
[ ]csspace__t16_csspace2024-07-27 22:21 41K 
[ ]csspace__t16_csspace.depv12024-08-03 10:19 155  
[ ]csspace__t16_csspace.depvmin12024-08-03 10:24 155  
[ ]csspace__t16_csspace.vmin12024-08-03 10:19 1.7K 
[ ]csspace__t16_csspace.vmin1out2024-08-03 10:21 27K 
[ ]csspace__t16_csspace.vout2024-08-03 08:27 27K 
[ ]csspace__t17_csspace2024-07-27 22:51 42K 
[ ]csspace__t17_csspace.vout2024-08-03 08:55 7.3K 
[ ]csspace__t18_csspace2024-07-27 22:52 41K 
[ ]csspace__t18_csspace.vout2024-08-03 10:02 7.3K 
[ ]csspace__t19_csspace2024-07-27 22:54 41K 
[ ]csspace__t19_csspace.vout2024-08-03 06:37 7.3K 
[ ]csspace__t20_csspace2024-07-27 22:56 47K 
[ ]csspace__t20_csspace.vout2024-08-03 09:47 7.3K 
[ ]csspace__t21_csspace2024-07-27 22:58 48K 
[ ]csspace__t21_csspace.vout2024-08-03 04:54 7.3K 
[ ]csspace__t22_csspace2024-07-27 22:59 35K 
[ ]csspace__t22_csspace.depv12024-08-03 10:19 119  
[ ]csspace__t22_csspace.depvmin12024-08-03 10:24 119  
[ ]csspace__t22_csspace.vmin12024-08-03 10:19 1.8K 
[ ]csspace__t22_csspace.vmin1out2024-08-03 10:20 20K 
[ ]csspace__t22_csspace.vout2024-08-03 04:38 23K 
[ ]csspace__t23_csspace2024-07-27 23:01 51K 
[ ]csspace__t23_csspace.vout2024-08-03 07:18 7.3K 
[ ]csspace__t24_csspace2024-07-27 23:03 34K 
[ ]csspace__t24_csspace.depv12024-08-03 10:19 36  
[ ]csspace__t24_csspace.depvmin12024-08-03 10:24 36  
[ ]csspace__t24_csspace.vmin12024-08-03 10:19 1.3K 
[ ]csspace__t24_csspace.vmin1out2024-08-03 10:22 17K 
[ ]csspace__t24_csspace.vout2024-08-03 04:44 13K 
[ ]csspace__t25_csspace2024-07-27 23:04 34K 
[ ]csspace__t25_csspace.depv12024-08-03 10:19 122  
[ ]csspace__t25_csspace.depvmin12024-08-03 10:24 122  
[ ]csspace__t25_csspace.vmin12024-08-03 10:19 1.9K 
[ ]csspace__t25_csspace.vmin1out2024-08-03 10:22 23K 
[ ]csspace__t25_csspace.vout2024-08-03 04:25 19K 
[ ]csspace__t26_csspace2024-07-27 23:06 51K 
[ ]csspace__t26_csspace.vout2024-08-03 09:18 7.3K 
[ ]csspace__t27_csspace2024-07-27 23:08 43K 
[ ]csspace__t27_csspace.vout2024-08-03 09:02 2.0K 
[ ]csspace__t28_csspace2024-07-27 23:10 42K 
[ ]csspace__t28_csspace.vout2024-08-03 09:57 2.0K 
[ ]csspace__t29_csspace2024-07-27 23:11 45K 
[ ]csspace__t29_csspace.vout2024-08-03 07:19 7.3K 
[ ]csspace__t30_csspace2024-07-27 23:13 42K 
[ ]csspace__t30_csspace.depv12024-08-03 10:19 192  
[ ]csspace__t30_csspace.depvmin12024-08-03 10:24 192  
[ ]csspace__t30_csspace.vmin12024-08-03 10:19 2.2K 
[ ]csspace__t30_csspace.vmin1out2024-08-03 10:20 37K 
[ ]csspace__t30_csspace.vout2024-08-03 07:38 37K 
[ ]csspace__t31_csspace2024-07-27 23:15 47K 
[ ]csspace__t31_csspace.depv12024-08-03 10:19 160  
[ ]csspace__t31_csspace.depvmin12024-08-03 10:24 147  
[ ]csspace__t31_csspace.vmin12024-08-03 10:19 2.9K 
[ ]csspace__t31_csspace.vmin1out2024-08-03 10:20 66K 
[ ]csspace__t31_csspace.vout2024-08-03 06:47 55K 
[ ]csspace__t32_csspace2024-07-27 23:17 52K 
[ ]csspace__t32_csspace.vout2024-08-03 09:13 7.3K 
[ ]csspace__t33_csspace2024-07-27 23:18 42K 
[ ]csspace__t33_csspace.vout2024-08-03 05:26 2.0K 
[ ]csspace__t34_csspace2024-07-27 23:20 51K 
[ ]csspace__t34_csspace.vout2024-08-03 05:02 7.3K 
[ ]csspace__t35_csspace2024-07-27 23:22 152K 
[ ]csspace__t35_csspace.vout2024-08-03 10:01 7.3K 
[ ]csspace__t36_csspace2024-07-27 23:24 46K 
[ ]csspace__t36_csspace.vout2024-08-03 10:18 2.0K 
[ ]csspace__t37_csspace2024-07-27 23:26 46K 
[ ]csspace__t37_csspace.vout2024-08-03 04:33 2.0K 
[ ]csspace__t38_csspace2024-07-27 22:23 33K 
[ ]csspace__t38_csspace.depv12024-08-03 10:19 80  
[ ]csspace__t38_csspace.depvmin12024-08-03 10:24 80  
[ ]csspace__t38_csspace.vmin12024-08-03 10:19 1.6K 
[ ]csspace__t38_csspace.vmin1out2024-08-03 10:20 26K 
[ ]csspace__t38_csspace.vout2024-08-03 09:17 20K 
[ ]csspace__t39_csspace2024-07-27 23:27 34K 
[ ]csspace__t39_csspace.vout2024-08-03 05:47 2.0K 
[ ]csspace__t40_csspace2024-07-27 23:29 41K 
[ ]csspace__t40_csspace.vout2024-08-03 05:54 2.0K 
[ ]csspace__t41_csspace2024-07-27 23:31 41K 
[ ]csspace__t41_csspace.vout2024-08-03 04:28 2.0K 
[ ]csspace__t42_csspace2024-07-27 23:32 44K 
[ ]csspace__t42_csspace.depv12024-08-03 10:19 170  
[ ]csspace__t42_csspace.depvmin12024-08-03 10:24 143  
[ ]csspace__t42_csspace.vmin12024-08-03 10:19 3.0K 
[ ]csspace__t42_csspace.vmin1out2024-08-03 10:23 51K 
[ ]csspace__t42_csspace.vout2024-08-03 05:05 51K 
[ ]csspace__t43_csspace2024-07-27 23:34 51K 
[ ]csspace__t43_csspace.vout2024-08-03 04:30 7.3K 
[ ]csspace__t44_csspace2024-07-27 23:36 44K 
[ ]csspace__t44_csspace.depv12024-08-03 10:19 177  
[ ]csspace__t44_csspace.depvmin12024-08-03 10:24 177  
[ ]csspace__t44_csspace.vmin12024-08-03 10:19 2.9K 
[ ]csspace__t44_csspace.vmin1out2024-08-03 10:21 51K 
[ ]csspace__t44_csspace.vout2024-08-03 08:17 51K 
[ ]csspace__t45_csspace2024-07-27 22:25 37K 
[ ]csspace__t45_csspace.vout2024-08-03 04:48 2.0K 
[ ]csspace__t46_csspace2024-07-27 23:38 318K 
[ ]csspace__t46_csspace.vout2024-08-03 08:30 5.8K 
[ ]csspace__t47_csspace2024-07-27 23:40 40K 
[ ]csspace__t47_csspace.depv12024-08-03 10:19 156  
[ ]csspace__t47_csspace.depvmin12024-08-03 10:24 156  
[ ]csspace__t47_csspace.vmin12024-08-03 10:19 2.1K 
[ ]csspace__t47_csspace.vmin1out2024-08-03 10:21 23K 
[ ]csspace__t47_csspace.vout2024-08-03 06:55 26K 
[ ]csspace__t48_csspace2024-07-27 23:41 44K 
[ ]csspace__t48_csspace.vout2024-08-03 08:28 2.0K 
[ ]csspace__t49_csspace2024-07-27 23:43 45K 
[ ]csspace__t49_csspace.vout2024-08-03 06:40 2.0K 
[ ]csspace__t50_csspace2024-07-27 23:45 38K 
[ ]csspace__t50_csspace.depv12024-08-03 10:19 182  
[ ]csspace__t50_csspace.depvmin12024-08-03 10:24 182  
[ ]csspace__t50_csspace.vmin12024-08-03 10:19 2.3K 
[ ]csspace__t50_csspace.vmin1out2024-08-03 10:21 36K 
[ ]csspace__t50_csspace.vout2024-08-03 07:13 37K 
[ ]csspace__t51_csspace2024-07-27 23:47 43K 
[ ]csspace__t51_csspace.vout2024-08-03 05:28 2.0K 
[ ]csspace__t52_csspace2024-07-27 23:48 39K 
[ ]csspace__t52_csspace.depv12024-08-03 10:19 167  
[ ]csspace__t52_csspace.depvmin12024-08-03 10:24 167  
[ ]csspace__t52_csspace.vmin12024-08-03 10:19 2.8K 
[ ]csspace__t52_csspace.vmin1out2024-08-03 10:21 37K 
[ ]csspace__t52_csspace.vout2024-08-03 08:35 36K 
[ ]csspace__t53_csspace2024-07-27 22:26 39K 
[ ]csspace__t53_csspace.depv12024-08-03 10:19 265  
[ ]csspace__t53_csspace.depvmin12024-08-03 10:24 142  
[ ]csspace__t53_csspace.vmin12024-08-03 10:19 3.6K 
[ ]csspace__t53_csspace.vmin1out2024-08-03 10:20 24K 
[ ]csspace__t53_csspace.vout2024-08-03 09:05 43K 
[ ]csspace__t54_csspace2024-07-27 23:50 40K 
[ ]csspace__t54_csspace.vout2024-08-03 05:49 7.9K 
[ ]csspace__t55_csspace2024-07-27 22:28 37K 
[ ]csspace__t55_csspace.depv12024-08-03 10:19 105  
[ ]csspace__t55_csspace.depvmin12024-08-03 10:24 105  
[ ]csspace__t55_csspace.vmin12024-08-03 10:19 2.0K 
[ ]csspace__t55_csspace.vmin1out2024-08-03 10:20 25K 
[ ]csspace__t55_csspace.vout2024-08-03 06:42 27K 
[ ]csspace__t56_csspace2024-07-27 23:52 42K 
[ ]csspace__t56_csspace.vout2024-08-03 04:27 2.0K 
[ ]csspace__t57_csspace2024-07-27 23:54 42K 
[ ]csspace__t57_csspace.vout2024-08-03 08:10 2.0K 
[ ]csspace__t58_csspace2024-07-27 23:55 39K 
[ ]csspace__t58_csspace.vout2024-08-03 10:00 2.0K 
[ ]csspace__t59_csspace2024-07-27 23:57 42K 
[ ]csspace__t59_csspace.vout2024-08-03 10:18 2.0K 
[ ]csspace__t60_csspace2024-07-27 23:59 39K 
[ ]csspace__t60_csspace.vout2024-08-03 06:36 4.7K 
[ ]csspace__t61_csspace2024-07-28 00:00 38K 
[ ]csspace__t61_csspace.vout2024-08-03 10:10 4.7K 
[ ]csspace__t62_csspace2024-07-28 00:02 36K 
[ ]csspace__t62_csspace.vout2024-08-03 08:36 4.7K 
[ ]csspace__t63_csspace2024-07-28 00:04 35K 
[ ]csspace__t63_csspace.depv12024-08-03 10:19 250  
[ ]csspace__t63_csspace.depvmin12024-08-03 10:24 212  
[ ]csspace__t63_csspace.vmin12024-08-03 10:19 4.2K 
[ ]csspace__t63_csspace.vmin1out2024-08-03 10:21 42K 
[ ]csspace__t63_csspace.vout2024-08-03 04:08 66K 
[ ]csspace__t64_csspace2024-07-28 00:05 41K 
[ ]csspace__t64_csspace.vout2024-08-03 05:54 4.7K 
[ ]csspace__t65_csspace2024-07-28 00:07 37K 
[ ]csspace__t65_csspace.depv12024-08-03 10:19 128  
[ ]csspace__t65_csspace.depvmin12024-08-03 10:24 128  
[ ]csspace__t65_csspace.vmin12024-08-03 10:19 2.2K 
[ ]csspace__t65_csspace.vmin1out2024-08-03 10:23 38K 
[ ]csspace__t65_csspace.vout2024-08-03 09:55 33K 
[ ]csspace__t66_csspace2024-07-28 00:09 41K 
[ ]csspace__t66_csspace.vout2024-08-03 10:16 4.7K 
[ ]csspace__t67_csspace2024-07-28 00:10 43K 
[ ]csspace__t67_csspace.vout2024-08-03 09:40 4.7K 
[ ]csspace__t68_csspace2024-07-28 00:12 37K 
[ ]csspace__t68_csspace.depv12024-08-03 10:19 162  
[ ]csspace__t68_csspace.vmin12024-08-03 10:19 3.3K 
[ ]csspace__t68_csspace.vmin1out2024-08-03 10:21 7.4K 
[ ]csspace__t68_csspace.vout2024-08-03 07:44 108K 
[ ]csspace__t69_csspace2024-07-28 00:13 35K 
[ ]csspace__t69_csspace.depv12024-08-03 10:19 163  
[ ]csspace__t69_csspace.depvmin12024-08-03 10:24 163  
[ ]csspace__t69_csspace.vmin12024-08-03 10:19 2.5K 
[ ]csspace__t69_csspace.vmin1out2024-08-03 10:22 39K 
[ ]csspace__t69_csspace.vout2024-08-03 04:18 40K 
[ ]csspace__t70_csspace2024-07-28 00:15 38K 
[ ]csspace__t70_csspace.vout2024-08-03 06:57 4.7K 
[ ]csspace__t71_csspace2024-07-28 00:17 37K 
[ ]csspace__t71_csspace.vout2024-08-03 07:39 4.7K 
[ ]csspace__t72_csspace2024-07-28 00:18 38K 
[ ]csspace__t72_csspace.vout2024-08-03 05:00 4.7K 
[ ]csspace__t73_csspace2024-07-28 00:20 37K 
[ ]csspace__t73_csspace.depv12024-08-03 10:19 174  
[ ]csspace__t73_csspace.depvmin12024-08-03 10:24 174  
[ ]csspace__t73_csspace.vmin12024-08-03 10:19 2.6K 
[ ]csspace__t73_csspace.vmin1out2024-08-03 10:22 44K 
[ ]csspace__t73_csspace.vout2024-08-03 09:26 37K 
[ ]csspace__t74_csspace2024-07-28 00:21 34K 
[ ]csspace__t74_csspace.vout2024-08-03 06:38 4.7K 
[ ]csspace__t75_csspace2024-07-28 00:23 41K 
[ ]csspace__t75_csspace.vout2024-08-03 10:03 4.7K 
[ ]csspace__t76_csspace2024-07-28 00:25 41K 
[ ]csspace__t76_csspace.vout2024-08-03 08:19 4.7K 
[ ]csspace__t77_csspace2024-07-28 00:26 41K 
[ ]csspace__t77_csspace.vout2024-08-03 08:24 4.7K 
[ ]csspace__t78_csspace2024-07-28 00:28 39K 
[ ]csspace__t78_csspace.vout2024-08-03 09:35 4.7K 
[ ]csspace__t79_csspace2024-07-28 00:30 42K 
[ ]csspace__t79_csspace.vout2024-08-03 07:24 7.3K 
[ ]csspace__t80_csspace2024-07-28 00:32 40K 
[ ]csspace__t80_csspace.vout2024-08-03 07:43 6.8K 
[ ]csspace__t81_csspace2024-07-27 22:29 37K 
[ ]csspace__t81_csspace.depv12024-08-03 10:19 24  
[ ]csspace__t81_csspace.depvmin12024-08-03 10:24 24  
[ ]csspace__t81_csspace.vmin12024-08-03 10:19 435  
[ ]csspace__t81_csspace.vmin1out2024-08-03 10:22 2.1K 
[ ]csspace__t81_csspace.vout2024-08-03 06:26 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80