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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]csspace__l23_csspace2021-07-18 07:58 40K 
[ ]csspace__l23_csspace.vout2021-07-25 16:25 6.8K 
[ ]csspace__l29_csspace2021-07-18 07:24 32K 
[ ]csspace__l29_csspace.depv12021-07-25 20:57 56  
[ ]csspace__l29_csspace.depvmin12021-07-25 21:03 56  
[ ]csspace__l29_csspace.vmin12021-07-25 20:57 1.2K 
[ ]csspace__l29_csspace.vmin1out2021-07-25 20:59 17K 
[ ]csspace__l29_csspace.vout2021-07-25 18:29 12K 
[ ]csspace__l30_csspace2021-07-18 07:25 31K 
[ ]csspace__l30_csspace.depv12021-07-25 20:57 79  
[ ]csspace__l30_csspace.depvmin12021-07-25 21:03 54  
[ ]csspace__l30_csspace.vmin12021-07-25 20:57 1.1K 
[ ]csspace__l30_csspace.vmin1out2021-07-25 20:58 7.3K 
[ ]csspace__l30_csspace.vout2021-07-25 16:10 9.6K 
[ ]csspace__l31_csspace2021-07-18 07:25 34K 
[ ]csspace__l31_csspace.depv12021-07-25 20:57 297  
[ ]csspace__l31_csspace.depvmin12021-07-25 21:03 297  
[ ]csspace__l31_csspace.vmin12021-07-25 20:57 3.6K 
[ ]csspace__l31_csspace.vmin1out2021-07-25 20:59 36K 
[ ]csspace__l31_csspace.vout2021-07-25 15:10 29K 
[ ]csspace__l32_csspace2021-07-18 07:25 31K 
[ ]csspace__l32_csspace.depv12021-07-25 20:57 172  
[ ]csspace__l32_csspace.depvmin12021-07-25 21:03 172  
[ ]csspace__l32_csspace.vmin12021-07-25 20:57 1.4K 
[ ]csspace__l32_csspace.vmin1out2021-07-25 20:58 14K 
[ ]csspace__l32_csspace.vout2021-07-25 14:57 10K 
[ ]csspace__l33_csspace2021-07-18 07:26 34K 
[ ]csspace__l33_csspace.vout2021-07-25 17:39 8.9K 
[ ]csspace__l34_csspace2021-07-18 07:26 37K 
[ ]csspace__l34_csspace.depv12021-07-25 20:57 410  
[ ]csspace__l34_csspace.depvmin12021-07-25 21:03 410  
[ ]csspace__l34_csspace.vmin12021-07-25 20:57 4.3K 
[ ]csspace__l34_csspace.vmin1out2021-07-25 20:59 52K 
[ ]csspace__l34_csspace.vout2021-07-25 17:31 40K 
[ ]csspace__l35_csspace2021-07-18 07:59 36K 
[ ]csspace__l35_csspace.depv12021-07-25 20:57 533  
[ ]csspace__l35_csspace.depvmin12021-07-25 21:03 455  
[ ]csspace__l35_csspace.vmin12021-07-25 20:57 5.5K 
[ ]csspace__l35_csspace.vmin1out2021-07-25 20:59 38K 
[ ]csspace__l35_csspace.vout2021-07-25 17:22 51K 
[ ]csspace__l36_csspace2021-07-18 07:59 40K 
[ ]csspace__l36_csspace.vout2021-07-25 14:52 4.7K 
[ ]csspace__l37_csspace2021-07-18 08:00 38K 
[ ]csspace__l37_csspace.vout2021-07-25 18:33 4.7K 
[ ]csspace__l38_csspace2021-07-18 08:01 55K 
[ ]csspace__l38_csspace.vout2021-07-25 15:35 4.7K 
[ ]csspace__l58_csspace2021-07-18 07:59 40K 
[ ]csspace__l58_csspace.vout2021-07-25 14:50 2.0K 
[ ]csspace__t1_csspace2021-07-18 07:20 23K 
[ ]csspace__t1_csspace.depv12021-07-25 20:57 47  
[ ]csspace__t1_csspace.depvmin12021-07-25 21:03 47  
[ ]csspace__t1_csspace.vmin12021-07-25 20:57 719  
[ ]csspace__t1_csspace.vmin1out2021-07-25 21:00 8.6K 
[ ]csspace__t1_csspace.vout2021-07-25 16:12 6.9K 
[ ]csspace__t2_csspace2021-07-18 07:27 50K 
[ ]csspace__t2_csspace.vout2021-07-25 15:13 4.7K 
[ ]csspace__t3_csspace2021-07-18 07:27 45K 
[ ]csspace__t3_csspace.vout2021-07-25 18:13 4.7K 
[ ]csspace__t4_csspace2021-07-18 07:28 27K 
[ ]csspace__t4_csspace.depv12021-07-25 20:57 330  
[ ]csspace__t4_csspace.depvmin12021-07-25 21:03 274  
[ ]csspace__t4_csspace.vmin12021-07-25 20:57 2.4K 
[ ]csspace__t4_csspace.vmin1out2021-07-25 20:57 18K 
[ ]csspace__t4_csspace.vout2021-07-25 17:53 20K 
[ ]csspace__t5_csspace2021-07-18 07:28 27K 
[ ]csspace__t5_csspace.vout2021-07-25 19:28 7.3K 
[ ]csspace__t11_csspace2021-07-18 07:29 37K 
[ ]csspace__t11_csspace.vout2021-07-25 16:59 4.7K 
[ ]csspace__t12_csspace2021-07-18 07:29 186K 
[ ]csspace__t12_csspace.vout2021-07-25 15:55 6.3K 
[ ]csspace__t13_csspace2021-07-18 07:20 37K 
[ ]csspace__t13_csspace.depv12021-07-25 20:57 88  
[ ]csspace__t13_csspace.depvmin12021-07-25 21:03 88  
[ ]csspace__t13_csspace.vmin12021-07-25 20:57 1.3K 
[ ]csspace__t13_csspace.vmin1out2021-07-25 20:59 10K 
[ ]csspace__t13_csspace.vout2021-07-25 18:14 9.8K 
[ ]csspace__t14_csspace2021-07-18 07:21 38K 
[ ]csspace__t14_csspace.depv12021-07-25 20:57 103  
[ ]csspace__t14_csspace.depvmin12021-07-25 21:03 103  
[ ]csspace__t14_csspace.vmin12021-07-25 20:57 3.1K 
[ ]csspace__t14_csspace.vmin1out2021-07-25 20:59 32K 
[ ]csspace__t14_csspace.vout2021-07-25 17:14 31K 
[ ]csspace__t15_csspace2021-07-18 07:21 49K 
[ ]csspace__t15_csspace.vout2021-07-25 18:17 8.8K 
[ ]csspace__t16_csspace2021-07-18 07:22 38K 
[ ]csspace__t16_csspace.depv12021-07-25 20:57 155  
[ ]csspace__t16_csspace.depvmin12021-07-25 21:03 155  
[ ]csspace__t16_csspace.vmin12021-07-25 20:57 1.7K 
[ ]csspace__t16_csspace.vmin1out2021-07-25 20:57 27K 
[ ]csspace__t16_csspace.vout2021-07-25 17:50 27K 
[ ]csspace__t17_csspace2021-07-18 07:30 39K 
[ ]csspace__t17_csspace.vout2021-07-25 20:29 7.3K 
[ ]csspace__t18_csspace2021-07-18 07:30 38K 
[ ]csspace__t18_csspace.vout2021-07-25 16:59 7.3K 
[ ]csspace__t19_csspace2021-07-18 07:31 38K 
[ ]csspace__t19_csspace.vout2021-07-25 20:34 7.3K 
[ ]csspace__t20_csspace2021-07-18 07:31 44K 
[ ]csspace__t20_csspace.vout2021-07-25 14:34 7.3K 
[ ]csspace__t21_csspace2021-07-18 07:32 45K 
[ ]csspace__t21_csspace.vout2021-07-25 18:21 7.3K 
[ ]csspace__t22_csspace2021-07-18 07:32 31K 
[ ]csspace__t22_csspace.depv12021-07-25 20:57 119  
[ ]csspace__t22_csspace.depvmin12021-07-25 21:03 119  
[ ]csspace__t22_csspace.vmin12021-07-25 20:57 1.8K 
[ ]csspace__t22_csspace.vmin1out2021-07-25 21:00 20K 
[ ]csspace__t22_csspace.vout2021-07-25 14:56 23K 
[ ]csspace__t23_csspace2021-07-18 07:33 48K 
[ ]csspace__t23_csspace.vout2021-07-25 17:50 7.3K 
[ ]csspace__t24_csspace2021-07-18 07:33 30K 
[ ]csspace__t24_csspace.depv12021-07-25 20:57 36  
[ ]csspace__t24_csspace.depvmin12021-07-25 21:03 36  
[ ]csspace__t24_csspace.vmin12021-07-25 20:57 1.3K 
[ ]csspace__t24_csspace.vmin1out2021-07-25 21:02 17K 
[ ]csspace__t24_csspace.vout2021-07-25 14:40 13K 
[ ]csspace__t25_csspace2021-07-18 07:34 30K 
[ ]csspace__t25_csspace.depv12021-07-25 20:57 122  
[ ]csspace__t25_csspace.depvmin12021-07-25 21:03 122  
[ ]csspace__t25_csspace.vmin12021-07-25 20:57 1.9K 
[ ]csspace__t25_csspace.vmin1out2021-07-25 20:59 23K 
[ ]csspace__t25_csspace.vout2021-07-25 19:37 19K 
[ ]csspace__t26_csspace2021-07-18 07:34 48K 
[ ]csspace__t26_csspace.vout2021-07-25 16:45 7.3K 
[ ]csspace__t27_csspace2021-07-18 07:35 39K 
[ ]csspace__t27_csspace.vout2021-07-25 16:22 2.0K 
[ ]csspace__t28_csspace2021-07-18 07:35 39K 
[ ]csspace__t28_csspace.vout2021-07-25 17:37 2.0K 
[ ]csspace__t29_csspace2021-07-18 07:36 42K 
[ ]csspace__t29_csspace.vout2021-07-25 16:07 7.3K 
[ ]csspace__t30_csspace2021-07-18 07:36 39K 
[ ]csspace__t30_csspace.depv12021-07-25 20:57 219  
[ ]csspace__t30_csspace.depvmin12021-07-25 21:03 194  
[ ]csspace__t30_csspace.vmin12021-07-25 20:57 2.3K 
[ ]csspace__t30_csspace.vmin1out2021-07-25 21:00 45K 
[ ]csspace__t30_csspace.vout2021-07-25 16:33 45K 
[ ]csspace__t31_csspace2021-07-18 07:37 44K 
[ ]csspace__t31_csspace.depv12021-07-25 20:57 160  
[ ]csspace__t31_csspace.depvmin12021-07-25 21:03 147  
[ ]csspace__t31_csspace.vmin12021-07-25 20:57 2.9K 
[ ]csspace__t31_csspace.vmin1out2021-07-25 21:02 66K 
[ ]csspace__t31_csspace.vout2021-07-25 20:42 55K 
[ ]csspace__t32_csspace2021-07-18 07:37 49K 
[ ]csspace__t32_csspace.vout2021-07-25 19:51 7.3K 
[ ]csspace__t33_csspace2021-07-18 07:38 39K 
[ ]csspace__t33_csspace.vout2021-07-25 15:43 2.0K 
[ ]csspace__t34_csspace2021-07-18 07:38 47K 
[ ]csspace__t34_csspace.vout2021-07-25 14:29 7.3K 
[ ]csspace__t35_csspace2021-07-18 07:39 140K 
[ ]csspace__t35_csspace.vout2021-07-25 20:39 7.3K 
[ ]csspace__t36_csspace2021-07-18 07:39 42K 
[ ]csspace__t36_csspace.vout2021-07-25 16:25 2.0K 
[ ]csspace__t37_csspace2021-07-18 07:40 42K 
[ ]csspace__t37_csspace.vout2021-07-25 16:29 2.0K 
[ ]csspace__t38_csspace2021-07-18 07:22 30K 
[ ]csspace__t38_csspace.depv12021-07-25 20:57 80  
[ ]csspace__t38_csspace.depvmin12021-07-25 21:03 80  
[ ]csspace__t38_csspace.vmin12021-07-25 20:57 1.6K 
[ ]csspace__t38_csspace.vmin1out2021-07-25 21:00 26K 
[ ]csspace__t38_csspace.vout2021-07-25 18:58 20K 
[ ]csspace__t39_csspace2021-07-18 07:40 30K 
[ ]csspace__t39_csspace.vout2021-07-25 20:33 2.0K 
[ ]csspace__t40_csspace2021-07-18 07:40 37K 
[ ]csspace__t40_csspace.vout2021-07-25 20:33 2.0K 
[ ]csspace__t41_csspace2021-07-18 07:41 37K 
[ ]csspace__t41_csspace.vout2021-07-25 20:14 2.0K 
[ ]csspace__t42_csspace2021-07-18 07:41 41K 
[ ]csspace__t42_csspace.depv12021-07-25 20:57 202  
[ ]csspace__t42_csspace.depvmin12021-07-25 21:03 202  
[ ]csspace__t42_csspace.vmin12021-07-25 20:57 2.8K 
[ ]csspace__t42_csspace.vmin1out2021-07-25 20:58 55K 
[ ]csspace__t42_csspace.vout2021-07-25 14:36 55K 
[ ]csspace__t43_csspace2021-07-18 07:42 48K 
[ ]csspace__t43_csspace.vout2021-07-25 16:36 7.3K 
[ ]csspace__t44_csspace2021-07-18 07:42 41K 
[ ]csspace__t44_csspace.depv12021-07-25 20:57 177  
[ ]csspace__t44_csspace.depvmin12021-07-25 21:03 177  
[ ]csspace__t44_csspace.vmin12021-07-25 20:57 2.9K 
[ ]csspace__t44_csspace.vmin1out2021-07-25 21:00 51K 
[ ]csspace__t44_csspace.vout2021-07-25 19:08 51K 
[ ]csspace__t45_csspace2021-07-18 07:22 33K 
[ ]csspace__t45_csspace.vout2021-07-25 16:44 2.0K 
[ ]csspace__t46_csspace2021-07-18 07:43 296K 
[ ]csspace__t46_csspace.vout2021-07-25 17:38 5.8K 
[ ]csspace__t47_csspace2021-07-18 07:43 36K 
[ ]csspace__t47_csspace.vout2021-07-25 15:35 2.0K 
[ ]csspace__t48_csspace2021-07-18 07:44 40K 
[ ]csspace__t48_csspace.vout2021-07-25 17:13 2.0K 
[ ]csspace__t49_csspace2021-07-18 07:44 42K 
[ ]csspace__t49_csspace.vout2021-07-25 15:09 2.0K 
[ ]csspace__t50_csspace2021-07-18 07:45 35K 
[ ]csspace__t50_csspace.depv12021-07-25 20:57 170  
[ ]csspace__t50_csspace.depvmin12021-07-25 21:03 170  
[ ]csspace__t50_csspace.vmin12021-07-25 20:57 2.2K 
[ ]csspace__t50_csspace.vmin1out2021-07-25 20:59 35K 
[ ]csspace__t50_csspace.vout2021-07-25 19:21 36K 
[ ]csspace__t51_csspace2021-07-18 07:45 40K 
[ ]csspace__t51_csspace.vout2021-07-25 15:10 2.0K 
[ ]csspace__t52_csspace2021-07-18 07:46 35K 
[ ]csspace__t52_csspace.depv12021-07-25 20:57 167  
[ ]csspace__t52_csspace.depvmin12021-07-25 21:03 167  
[ ]csspace__t52_csspace.vmin12021-07-25 20:57 2.8K 
[ ]csspace__t52_csspace.vmin1out2021-07-25 21:00 37K 
[ ]csspace__t52_csspace.vout2021-07-25 20:25 36K 
[ ]csspace__t53_csspace2021-07-18 07:23 35K 
[ ]csspace__t53_csspace.depv12021-07-25 20:57 265  
[ ]csspace__t53_csspace.depvmin12021-07-25 21:03 142  
[ ]csspace__t53_csspace.vmin12021-07-25 20:57 3.6K 
[ ]csspace__t53_csspace.vmin1out2021-07-25 21:02 24K 
[ ]csspace__t53_csspace.vout2021-07-25 18:34 43K 
[ ]csspace__t54_csspace2021-07-18 07:46 36K 
[ ]csspace__t54_csspace.vout2021-07-25 17:43 7.3K 
[ ]csspace__t55_csspace2021-07-18 07:23 33K 
[ ]csspace__t55_csspace.depv12021-07-25 20:57 105  
[ ]csspace__t55_csspace.depvmin12021-07-25 21:03 105  
[ ]csspace__t55_csspace.vmin12021-07-25 20:57 2.0K 
[ ]csspace__t55_csspace.vmin1out2021-07-25 21:02 25K 
[ ]csspace__t55_csspace.vout2021-07-25 16:44 27K 
[ ]csspace__t56_csspace2021-07-18 07:47 38K 
[ ]csspace__t56_csspace.vout2021-07-25 18:23 2.0K 
[ ]csspace__t57_csspace2021-07-18 07:47 39K 
[ ]csspace__t57_csspace.vout2021-07-25 19:21 2.0K 
[ ]csspace__t58_csspace2021-07-18 07:48 36K 
[ ]csspace__t58_csspace.vout2021-07-25 17:29 2.0K 
[ ]csspace__t59_csspace2021-07-18 07:48 38K 
[ ]csspace__t59_csspace.vout2021-07-25 14:55 2.0K 
[ ]csspace__t60_csspace2021-07-18 07:49 35K 
[ ]csspace__t60_csspace.vout2021-07-25 15:49 4.7K 
[ ]csspace__t61_csspace2021-07-18 07:49 34K 
[ ]csspace__t61_csspace.vout2021-07-25 18:08 4.7K 
[ ]csspace__t62_csspace2021-07-18 07:49 32K 
[ ]csspace__t62_csspace.depv12021-07-25 20:57 275  
[ ]csspace__t62_csspace.depvmin12021-07-25 21:03 211  
[ ]csspace__t62_csspace.vmin12021-07-25 20:57 4.4K 
[ ]csspace__t62_csspace.vmin1out2021-07-25 21:01 103K 
[ ]csspace__t62_csspace.vout2021-07-25 16:57 69K 
[ ]csspace__t63_csspace2021-07-18 07:50 31K 
[ ]csspace__t63_csspace.depv12021-07-25 20:57 250  
[ ]csspace__t63_csspace.depvmin12021-07-25 21:03 212  
[ ]csspace__t63_csspace.vmin12021-07-25 20:57 4.2K 
[ ]csspace__t63_csspace.vmin1out2021-07-25 20:58 42K 
[ ]csspace__t63_csspace.vout2021-07-25 18:29 66K 
[ ]csspace__t64_csspace2021-07-18 07:50 37K 
[ ]csspace__t64_csspace.vout2021-07-25 20:40 4.7K 
[ ]csspace__t65_csspace2021-07-18 07:51 33K 
[ ]csspace__t65_csspace.depv12021-07-25 20:57 128  
[ ]csspace__t65_csspace.depvmin12021-07-25 21:03 128  
[ ]csspace__t65_csspace.vmin12021-07-25 20:57 2.2K 
[ ]csspace__t65_csspace.vmin1out2021-07-25 20:59 38K 
[ ]csspace__t65_csspace.vout2021-07-25 15:20 33K 
[ ]csspace__t66_csspace2021-07-18 07:51 38K 
[ ]csspace__t66_csspace.vout2021-07-25 16:23 4.7K 
[ ]csspace__t67_csspace2021-07-18 07:52 39K 
[ ]csspace__t67_csspace.vout2021-07-25 18:28 4.7K 
[ ]csspace__t68_csspace2021-07-18 07:52 34K 
[ ]csspace__t68_csspace.vout2021-07-25 14:40 4.7K 
[ ]csspace__t69_csspace2021-07-18 07:53 32K 
[ ]csspace__t69_csspace.depv12021-07-25 20:57 163  
[ ]csspace__t69_csspace.depvmin12021-07-25 21:03 163  
[ ]csspace__t69_csspace.vmin12021-07-25 20:57 2.5K 
[ ]csspace__t69_csspace.vmin1out2021-07-25 21:02 39K 
[ ]csspace__t69_csspace.vout2021-07-25 18:15 40K 
[ ]csspace__t70_csspace2021-07-18 07:53 34K 
[ ]csspace__t70_csspace.vout2021-07-25 19:07 4.7K 
[ ]csspace__t71_csspace2021-07-18 07:53 33K 
[ ]csspace__t71_csspace.vout2021-07-25 18:56 4.7K 
[ ]csspace__t72_csspace2021-07-18 07:54 34K 
[ ]csspace__t72_csspace.vout2021-07-25 17:13 4.7K 
[ ]csspace__t73_csspace2021-07-18 07:54 33K 
[ ]csspace__t73_csspace.depv12021-07-25 20:57 174  
[ ]csspace__t73_csspace.depvmin12021-07-25 21:03 174  
[ ]csspace__t73_csspace.vmin12021-07-25 20:57 2.6K 
[ ]csspace__t73_csspace.vmin1out2021-07-25 21:00 44K 
[ ]csspace__t73_csspace.vout2021-07-25 19:24 37K 
[ ]csspace__t74_csspace2021-07-18 07:55 30K 
[ ]csspace__t74_csspace.vout2021-07-25 19:32 4.7K 
[ ]csspace__t75_csspace2021-07-18 07:55 37K 
[ ]csspace__t75_csspace.vout2021-07-25 16:26 4.7K 
[ ]csspace__t76_csspace2021-07-18 07:56 37K 
[ ]csspace__t76_csspace.vout2021-07-25 17:41 4.7K 
[ ]csspace__t77_csspace2021-07-18 07:56 37K 
[ ]csspace__t77_csspace.vout2021-07-25 19:55 4.7K 
[ ]csspace__t78_csspace2021-07-18 07:57 36K 
[ ]csspace__t78_csspace.vout2021-07-25 19:17 4.7K 
[ ]csspace__t79_csspace2021-07-18 07:57 38K 
[ ]csspace__t79_csspace.vout2021-07-25 19:13 7.3K 
[ ]csspace__t80_csspace2021-07-18 07:58 36K 
[ ]csspace__t80_csspace.vout2021-07-25 16:52 6.8K 
[ ]csspace__t81_csspace2021-07-18 07:24 34K 
[ ]csspace__t81_csspace.depv12021-07-25 20:57 24  
[ ]csspace__t81_csspace.depvmin12021-07-25 21:03 24  
[ ]csspace__t81_csspace.vmin12021-07-25 20:57 435  
[ ]csspace__t81_csspace.vmin1out2021-07-25 20:59 2.1K 
[ ]csspace__t81_csspace.vout2021-07-25 19:27 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80