Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/csspace

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]csspace__l23_csspace2025-09-08 15:20 43K 
[ ]csspace__l23_csspace.vout2025-09-15 15:33 6.8K 
[ ]csspace__l29_csspace2025-09-08 13:08 35K 
[ ]csspace__l29_csspace.depv12025-09-15 19:47 56  
[ ]csspace__l29_csspace.depvmin12025-09-15 19:51 56  
[ ]csspace__l29_csspace.vmin12025-09-15 19:47 1.2K 
[ ]csspace__l29_csspace.vmin1out2025-09-15 19:50 17K 
[ ]csspace__l29_csspace.vout2025-09-15 13:32 12K 
[ ]csspace__l30_csspace2025-09-08 13:09 35K 
[ ]csspace__l30_csspace.depv12025-09-15 19:47 79  
[ ]csspace__l30_csspace.depvmin12025-09-15 19:51 54  
[ ]csspace__l30_csspace.vmin12025-09-15 19:47 1.1K 
[ ]csspace__l30_csspace.vmin1out2025-09-15 19:48 7.3K 
[ ]csspace__l30_csspace.vout2025-09-15 16:37 9.6K 
[ ]csspace__l31_csspace2025-09-08 13:11 37K 
[ ]csspace__l31_csspace.depv12025-09-15 19:47 297  
[ ]csspace__l31_csspace.depvmin12025-09-15 19:51 297  
[ ]csspace__l31_csspace.vmin12025-09-15 19:47 3.6K 
[ ]csspace__l31_csspace.vmin1out2025-09-15 19:49 36K 
[ ]csspace__l31_csspace.vout2025-09-15 19:23 29K 
[ ]csspace__l32_csspace2025-09-08 13:12 35K 
[ ]csspace__l32_csspace.depv12025-09-15 19:47 172  
[ ]csspace__l32_csspace.depvmin12025-09-15 19:51 172  
[ ]csspace__l32_csspace.vmin12025-09-15 19:47 1.4K 
[ ]csspace__l32_csspace.vmin1out2025-09-15 19:49 14K 
[ ]csspace__l32_csspace.vout2025-09-15 15:19 10K 
[ ]csspace__l33_csspace2025-09-08 13:14 38K 
[ ]csspace__l33_csspace.depv12025-09-15 19:47 270  
[ ]csspace__l33_csspace.depvmin12025-09-15 19:51 270  
[ ]csspace__l33_csspace.vmin12025-09-15 19:47 3.0K 
[ ]csspace__l33_csspace.vmin1out2025-09-15 19:50 28K 
[ ]csspace__l33_csspace.vout2025-09-15 16:46 23K 
[ ]csspace__l34_csspace2025-09-08 13:16 40K 
[ ]csspace__l34_csspace.depv12025-09-15 19:47 410  
[ ]csspace__l34_csspace.depvmin12025-09-15 19:51 410  
[ ]csspace__l34_csspace.vmin12025-09-15 19:47 4.3K 
[ ]csspace__l34_csspace.vmin1out2025-09-15 19:49 52K 
[ ]csspace__l34_csspace.vout2025-09-15 19:39 40K 
[ ]csspace__l35_csspace2025-09-08 15:24 40K 
[ ]csspace__l35_csspace.depv12025-09-15 19:47 533  
[ ]csspace__l35_csspace.depvmin12025-09-15 19:51 455  
[ ]csspace__l35_csspace.vmin12025-09-15 19:47 5.5K 
[ ]csspace__l35_csspace.vmin1out2025-09-15 19:48 38K 
[ ]csspace__l35_csspace.vout2025-09-15 15:25 51K 
[ ]csspace__l36_csspace2025-09-08 15:26 44K 
[ ]csspace__l36_csspace.vout2025-09-15 15:29 4.7K 
[ ]csspace__l37_csspace2025-09-08 15:28 41K 
[ ]csspace__l37_csspace.vout2025-09-15 16:44 4.7K 
[ ]csspace__l38_csspace2025-09-08 15:30 58K 
[ ]csspace__l38_csspace.vout2025-09-15 14:47 4.7K 
[ ]csspace__l58_csspace2025-09-08 15:22 44K 
[ ]csspace__l58_csspace.vout2025-09-15 18:14 2.0K 
[ ]csspace__t1_csspace2025-09-08 12:51 26K 
[ ]csspace__t1_csspace.depv12025-09-15 19:47 47  
[ ]csspace__t1_csspace.depvmin12025-09-15 19:51 47  
[ ]csspace__t1_csspace.vmin12025-09-15 19:47 719  
[ ]csspace__t1_csspace.vmin1out2025-09-15 19:50 8.6K 
[ ]csspace__t1_csspace.vout2025-09-15 18:45 6.9K 
[ ]csspace__t2_csspace2025-09-08 13:18 53K 
[ ]csspace__t2_csspace.vout2025-09-15 17:36 4.7K 
[ ]csspace__t3_csspace2025-09-08 13:20 48K 
[ ]csspace__t3_csspace.vout2025-09-15 13:25 4.7K 
[ ]csspace__t4_csspace2025-09-08 13:21 31K 
[ ]csspace__t4_csspace.depv12025-09-15 19:47 330  
[ ]csspace__t4_csspace.depvmin12025-09-15 19:51 274  
[ ]csspace__t4_csspace.vmin12025-09-15 19:47 2.4K 
[ ]csspace__t4_csspace.vmin1out2025-09-15 19:49 18K 
[ ]csspace__t4_csspace.vout2025-09-15 16:24 20K 
[ ]csspace__t5_csspace2025-09-08 13:22 31K 
[ ]csspace__t5_csspace.vout2025-09-15 16:33 7.3K 
[ ]csspace__t11_csspace2025-09-08 13:24 41K 
[ ]csspace__t11_csspace.vout2025-09-15 14:26 4.7K 
[ ]csspace__t12_csspace2025-09-08 13:26 193K 
[ ]csspace__t12_csspace.vout2025-09-15 15:25 6.2K 
[ ]csspace__t13_csspace2025-09-08 12:53 40K 
[ ]csspace__t13_csspace.depv12025-09-15 19:47 88  
[ ]csspace__t13_csspace.depvmin12025-09-15 19:51 88  
[ ]csspace__t13_csspace.vmin12025-09-15 19:47 1.3K 
[ ]csspace__t13_csspace.vmin1out2025-09-15 19:48 10K 
[ ]csspace__t13_csspace.vout2025-09-15 17:30 9.8K 
[ ]csspace__t14_csspace2025-09-08 12:55 42K 
[ ]csspace__t14_csspace.depv12025-09-15 19:47 103  
[ ]csspace__t14_csspace.depvmin12025-09-15 19:51 103  
[ ]csspace__t14_csspace.vmin12025-09-15 19:47 3.1K 
[ ]csspace__t14_csspace.vmin1out2025-09-15 19:47 32K 
[ ]csspace__t14_csspace.vout2025-09-15 18:16 31K 
[ ]csspace__t15_csspace2025-09-08 12:57 52K 
[ ]csspace__t15_csspace.vout2025-09-15 15:08 8.8K 
[ ]csspace__t16_csspace2025-09-08 12:58 41K 
[ ]csspace__t16_csspace.depv12025-09-15 19:47 155  
[ ]csspace__t16_csspace.depvmin12025-09-15 19:51 155  
[ ]csspace__t16_csspace.vmin12025-09-15 19:47 1.7K 
[ ]csspace__t16_csspace.vmin1out2025-09-15 19:49 27K 
[ ]csspace__t16_csspace.vout2025-09-15 15:31 27K 
[ ]csspace__t17_csspace2025-09-08 13:28 42K 
[ ]csspace__t17_csspace.vout2025-09-15 15:00 7.3K 
[ ]csspace__t18_csspace2025-09-08 13:30 41K 
[ ]csspace__t18_csspace.vout2025-09-15 17:31 7.3K 
[ ]csspace__t19_csspace2025-09-08 13:32 41K 
[ ]csspace__t19_csspace.vout2025-09-15 19:35 7.3K 
[ ]csspace__t20_csspace2025-09-08 13:34 47K 
[ ]csspace__t20_csspace.vout2025-09-15 15:50 7.3K 
[ ]csspace__t21_csspace2025-09-08 13:36 48K 
[ ]csspace__t21_csspace.vout2025-09-15 17:09 7.3K 
[ ]csspace__t22_csspace2025-09-08 13:37 35K 
[ ]csspace__t22_csspace.depv12025-09-15 19:47 119  
[ ]csspace__t22_csspace.depvmin12025-09-15 19:51 119  
[ ]csspace__t22_csspace.vmin12025-09-15 19:47 1.8K 
[ ]csspace__t22_csspace.vmin1out2025-09-15 19:48 20K 
[ ]csspace__t22_csspace.vout2025-09-15 16:28 23K 
[ ]csspace__t23_csspace2025-09-08 13:39 51K 
[ ]csspace__t23_csspace.vout2025-09-15 15:59 7.3K 
[ ]csspace__t24_csspace2025-09-08 13:41 34K 
[ ]csspace__t24_csspace.depv12025-09-15 19:47 36  
[ ]csspace__t24_csspace.depvmin12025-09-15 19:51 36  
[ ]csspace__t24_csspace.vmin12025-09-15 19:47 1.3K 
[ ]csspace__t24_csspace.vmin1out2025-09-15 19:50 17K 
[ ]csspace__t24_csspace.vout2025-09-15 19:39 13K 
[ ]csspace__t25_csspace2025-09-08 13:42 34K 
[ ]csspace__t25_csspace.depv12025-09-15 19:47 122  
[ ]csspace__t25_csspace.depvmin12025-09-15 19:51 122  
[ ]csspace__t25_csspace.vmin12025-09-15 19:47 1.9K 
[ ]csspace__t25_csspace.vmin1out2025-09-15 19:51 23K 
[ ]csspace__t25_csspace.vout2025-09-15 18:32 19K 
[ ]csspace__t26_csspace2025-09-08 13:44 51K 
[ ]csspace__t26_csspace.vout2025-09-15 16:01 7.3K 
[ ]csspace__t27_csspace2025-09-08 13:46 43K 
[ ]csspace__t27_csspace.vout2025-09-15 18:18 2.0K 
[ ]csspace__t28_csspace2025-09-08 13:48 42K 
[ ]csspace__t28_csspace.vout2025-09-15 19:46 2.0K 
[ ]csspace__t29_csspace2025-09-08 13:50 45K 
[ ]csspace__t29_csspace.vout2025-09-15 14:49 7.3K 
[ ]csspace__t30_csspace2025-09-08 13:51 42K 
[ ]csspace__t30_csspace.depv12025-09-15 19:47 192  
[ ]csspace__t30_csspace.depvmin12025-09-15 19:51 192  
[ ]csspace__t30_csspace.vmin12025-09-15 19:47 2.2K 
[ ]csspace__t30_csspace.vmin1out2025-09-15 19:47 37K 
[ ]csspace__t30_csspace.vout2025-09-15 18:41 37K 
[ ]csspace__t31_csspace2025-09-08 13:53 47K 
[ ]csspace__t31_csspace.depv12025-09-15 19:47 160  
[ ]csspace__t31_csspace.depvmin12025-09-15 19:51 147  
[ ]csspace__t31_csspace.vmin12025-09-15 19:47 2.9K 
[ ]csspace__t31_csspace.vmin1out2025-09-15 19:49 66K 
[ ]csspace__t31_csspace.vout2025-09-15 16:44 55K 
[ ]csspace__t32_csspace2025-09-08 13:55 52K 
[ ]csspace__t32_csspace.vout2025-09-15 13:29 7.3K 
[ ]csspace__t33_csspace2025-09-08 13:57 42K 
[ ]csspace__t33_csspace.vout2025-09-15 15:00 2.0K 
[ ]csspace__t34_csspace2025-09-08 13:59 51K 
[ ]csspace__t34_csspace.vout2025-09-15 14:53 7.3K 
[ ]csspace__t35_csspace2025-09-08 14:01 152K 
[ ]csspace__t35_csspace.vout2025-09-15 14:10 7.3K 
[ ]csspace__t36_csspace2025-09-08 14:02 46K 
[ ]csspace__t36_csspace.vout2025-09-15 19:45 2.0K 
[ ]csspace__t37_csspace2025-09-08 14:04 46K 
[ ]csspace__t37_csspace.vout2025-09-15 18:22 2.0K 
[ ]csspace__t38_csspace2025-09-08 13:00 33K 
[ ]csspace__t38_csspace.depv12025-09-15 19:47 80  
[ ]csspace__t38_csspace.depvmin12025-09-15 19:51 80  
[ ]csspace__t38_csspace.vmin12025-09-15 19:47 1.6K 
[ ]csspace__t38_csspace.vmin1out2025-09-15 19:48 26K 
[ ]csspace__t38_csspace.vout2025-09-15 13:53 20K 
[ ]csspace__t39_csspace2025-09-08 14:06 34K 
[ ]csspace__t39_csspace.vout2025-09-15 14:36 2.0K 
[ ]csspace__t40_csspace2025-09-08 14:07 41K 
[ ]csspace__t40_csspace.vout2025-09-15 19:15 2.0K 
[ ]csspace__t41_csspace2025-09-08 14:09 41K 
[ ]csspace__t41_csspace.vout2025-09-15 16:51 2.0K 
[ ]csspace__t42_csspace2025-09-08 14:11 44K 
[ ]csspace__t42_csspace.depv12025-09-15 19:47 170  
[ ]csspace__t42_csspace.depvmin12025-09-15 19:51 143  
[ ]csspace__t42_csspace.vmin12025-09-15 19:47 3.0K 
[ ]csspace__t42_csspace.vmin1out2025-09-15 19:49 51K 
[ ]csspace__t42_csspace.vout2025-09-15 13:33 51K 
[ ]csspace__t43_csspace2025-09-08 14:13 51K 
[ ]csspace__t43_csspace.vout2025-09-15 19:14 7.3K 
[ ]csspace__t44_csspace2025-09-08 14:15 44K 
[ ]csspace__t44_csspace.depv12025-09-15 19:47 177  
[ ]csspace__t44_csspace.depvmin12025-09-15 19:51 177  
[ ]csspace__t44_csspace.vmin12025-09-15 19:47 2.9K 
[ ]csspace__t44_csspace.vmin1out2025-09-15 19:47 51K 
[ ]csspace__t44_csspace.vout2025-09-15 19:43 51K 
[ ]csspace__t45_csspace2025-09-08 13:01 37K 
[ ]csspace__t45_csspace.vout2025-09-15 15:30 2.0K 
[ ]csspace__t46_csspace2025-09-08 14:17 319K 
[ ]csspace__t46_csspace.vout2025-09-15 14:51 5.8K 
[ ]csspace__t47_csspace2025-09-08 14:18 40K 
[ ]csspace__t47_csspace.depv12025-09-15 19:47 156  
[ ]csspace__t47_csspace.depvmin12025-09-15 19:51 156  
[ ]csspace__t47_csspace.vmin12025-09-15 19:47 2.1K 
[ ]csspace__t47_csspace.vmin1out2025-09-15 19:49 23K 
[ ]csspace__t47_csspace.vout2025-09-15 17:29 26K 
[ ]csspace__t48_csspace2025-09-08 14:20 44K 
[ ]csspace__t48_csspace.vout2025-09-15 17:29 2.0K 
[ ]csspace__t49_csspace2025-09-08 14:22 45K 
[ ]csspace__t49_csspace.vout2025-09-15 17:11 2.0K 
[ ]csspace__t50_csspace2025-09-08 14:23 38K 
[ ]csspace__t50_csspace.depv12025-09-15 19:47 182  
[ ]csspace__t50_csspace.depvmin12025-09-15 19:51 182  
[ ]csspace__t50_csspace.vmin12025-09-15 19:47 2.3K 
[ ]csspace__t50_csspace.vmin1out2025-09-15 19:48 36K 
[ ]csspace__t50_csspace.vout2025-09-15 14:27 37K 
[ ]csspace__t51_csspace2025-09-08 14:25 43K 
[ ]csspace__t51_csspace.vout2025-09-15 17:10 2.0K 
[ ]csspace__t52_csspace2025-09-08 14:27 39K 
[ ]csspace__t52_csspace.depv12025-09-15 19:47 167  
[ ]csspace__t52_csspace.depvmin12025-09-15 19:51 167  
[ ]csspace__t52_csspace.vmin12025-09-15 19:47 2.8K 
[ ]csspace__t52_csspace.vmin1out2025-09-15 19:49 37K 
[ ]csspace__t52_csspace.vout2025-09-15 14:48 36K 
[ ]csspace__t53_csspace2025-09-08 13:03 39K 
[ ]csspace__t53_csspace.depv12025-09-15 19:47 265  
[ ]csspace__t53_csspace.depvmin12025-09-15 19:51 142  
[ ]csspace__t53_csspace.vmin12025-09-15 19:47 3.6K 
[ ]csspace__t53_csspace.vmin1out2025-09-15 19:50 24K 
[ ]csspace__t53_csspace.vout2025-09-15 15:47 43K 
[ ]csspace__t54_csspace2025-09-08 14:29 40K 
[ ]csspace__t54_csspace.vout2025-09-15 15:41 7.9K 
[ ]csspace__t55_csspace2025-09-08 13:05 37K 
[ ]csspace__t55_csspace.depv12025-09-15 19:47 105  
[ ]csspace__t55_csspace.depvmin12025-09-15 19:51 105  
[ ]csspace__t55_csspace.vmin12025-09-15 19:47 2.0K 
[ ]csspace__t55_csspace.vmin1out2025-09-15 19:50 25K 
[ ]csspace__t55_csspace.vout2025-09-15 15:25 27K 
[ ]csspace__t56_csspace2025-09-08 14:32 42K 
[ ]csspace__t56_csspace.vout2025-09-15 18:25 2.0K 
[ ]csspace__t57_csspace2025-09-08 14:34 42K 
[ ]csspace__t57_csspace.vout2025-09-15 19:31 2.0K 
[ ]csspace__t58_csspace2025-09-08 14:36 39K 
[ ]csspace__t58_csspace.vout2025-09-15 15:09 2.0K 
[ ]csspace__t59_csspace2025-09-08 14:38 42K 
[ ]csspace__t59_csspace.vout2025-09-15 19:28 2.0K 
[ ]csspace__t60_csspace2025-09-08 14:40 39K 
[ ]csspace__t60_csspace.vout2025-09-15 18:47 4.7K 
[ ]csspace__t61_csspace2025-09-08 14:42 38K 
[ ]csspace__t61_csspace.vout2025-09-15 13:49 4.7K 
[ ]csspace__t62_csspace2025-09-08 14:44 36K 
[ ]csspace__t62_csspace.vout2025-09-15 14:29 4.7K 
[ ]csspace__t63_csspace2025-09-08 14:45 35K 
[ ]csspace__t63_csspace.depv12025-09-15 19:47 250  
[ ]csspace__t63_csspace.depvmin12025-09-15 19:51 212  
[ ]csspace__t63_csspace.vmin12025-09-15 19:47 4.2K 
[ ]csspace__t63_csspace.vmin1out2025-09-15 19:47 42K 
[ ]csspace__t63_csspace.vout2025-09-15 14:28 66K 
[ ]csspace__t64_csspace2025-09-08 14:47 41K 
[ ]csspace__t64_csspace.vout2025-09-15 18:28 4.7K 
[ ]csspace__t65_csspace2025-09-08 14:49 37K 
[ ]csspace__t65_csspace.depv12025-09-15 19:47 128  
[ ]csspace__t65_csspace.depvmin12025-09-15 19:51 128  
[ ]csspace__t65_csspace.vmin12025-09-15 19:47 2.2K 
[ ]csspace__t65_csspace.vmin1out2025-09-15 19:49 38K 
[ ]csspace__t65_csspace.vout2025-09-15 17:45 33K 
[ ]csspace__t66_csspace2025-09-08 14:51 41K 
[ ]csspace__t66_csspace.vout2025-09-15 15:57 4.7K 
[ ]csspace__t67_csspace2025-09-08 14:53 43K 
[ ]csspace__t67_csspace.vout2025-09-15 14:47 4.7K 
[ ]csspace__t68_csspace2025-09-08 14:55 37K 
[ ]csspace__t68_csspace.vout2025-09-15 16:59 4.7K 
[ ]csspace__t69_csspace2025-09-08 14:57 35K 
[ ]csspace__t69_csspace.depv12025-09-15 19:47 163  
[ ]csspace__t69_csspace.depvmin12025-09-15 19:51 163  
[ ]csspace__t69_csspace.vmin12025-09-15 19:47 2.5K 
[ ]csspace__t69_csspace.vmin1out2025-09-15 19:50 39K 
[ ]csspace__t69_csspace.vout2025-09-15 19:39 40K 
[ ]csspace__t70_csspace2025-09-08 14:59 38K 
[ ]csspace__t70_csspace.vout2025-09-15 18:00 4.7K 
[ ]csspace__t71_csspace2025-09-08 15:01 37K 
[ ]csspace__t71_csspace.vout2025-09-15 15:23 4.7K 
[ ]csspace__t72_csspace2025-09-08 15:03 38K 
[ ]csspace__t72_csspace.vout2025-09-15 18:16 4.7K 
[ ]csspace__t73_csspace2025-09-08 15:04 37K 
[ ]csspace__t73_csspace.depv12025-09-15 19:47 174  
[ ]csspace__t73_csspace.depvmin12025-09-15 19:51 174  
[ ]csspace__t73_csspace.vmin12025-09-15 19:47 2.6K 
[ ]csspace__t73_csspace.vmin1out2025-09-15 19:51 44K 
[ ]csspace__t73_csspace.vout2025-09-15 13:48 37K 
[ ]csspace__t74_csspace2025-09-08 15:06 34K 
[ ]csspace__t74_csspace.vout2025-09-15 17:17 4.7K 
[ ]csspace__t75_csspace2025-09-08 15:08 41K 
[ ]csspace__t75_csspace.vout2025-09-15 16:35 4.7K 
[ ]csspace__t76_csspace2025-09-08 15:10 41K 
[ ]csspace__t76_csspace.vout2025-09-15 15:52 4.7K 
[ ]csspace__t77_csspace2025-09-08 15:12 41K 
[ ]csspace__t77_csspace.vout2025-09-15 16:51 4.7K 
[ ]csspace__t78_csspace2025-09-08 15:14 39K 
[ ]csspace__t78_csspace.vout2025-09-15 17:07 4.7K 
[ ]csspace__t79_csspace2025-09-08 15:16 42K 
[ ]csspace__t79_csspace.vout2025-09-15 15:25 7.3K 
[ ]csspace__t80_csspace2025-09-08 15:18 40K 
[ ]csspace__t80_csspace.vout2025-09-15 14:37 6.8K 
[ ]csspace__t81_csspace2025-09-08 13:06 37K 
[ ]csspace__t81_csspace.depv12025-09-15 19:47 24  
[ ]csspace__t81_csspace.depvmin12025-09-15 19:51 24  
[ ]csspace__t81_csspace.vmin12025-09-15 19:47 435  
[ ]csspace__t81_csspace.vmin1out2025-09-15 19:48 2.1K 
[ ]csspace__t81_csspace.vout2025-09-15 18:43 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80