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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]boolealg__l66_boolealg2024-07-27 03:00 11K 
[ ]boolealg__l66_boolealg.vout2024-08-03 07:53 7.2K 
[ ]boolealg__t1_boolealg2024-07-27 02:27 5.6K 
[ ]boolealg__t1_boolealg.depv12024-08-03 10:19 192  
[ ]boolealg__t1_boolealg.depvmin12024-08-03 10:24 192  
[ ]boolealg__t1_boolealg.vmin12024-08-03 10:20 2.7K 
[ ]boolealg__t1_boolealg.vmin1out2024-08-03 10:23 40K 
[ ]boolealg__t1_boolealg.vout2024-08-03 08:39 65K 
[ ]boolealg__t2_boolealg2024-07-27 02:27 5.2K 
[ ]boolealg__t2_boolealg.depv12024-08-03 10:19 156  
[ ]boolealg__t2_boolealg.depvmin12024-08-03 10:24 156  
[ ]boolealg__t2_boolealg.vmin12024-08-03 10:20 2.6K 
[ ]boolealg__t2_boolealg.vmin1out2024-08-03 10:22 47K 
[ ]boolealg__t2_boolealg.vout2024-08-03 04:34 48K 
[ ]boolealg__t3_boolealg2024-07-27 02:28 4.9K 
[ ]boolealg__t3_boolealg.depv12024-08-03 10:19 131  
[ ]boolealg__t3_boolealg.depvmin12024-08-03 10:24 131  
[ ]boolealg__t3_boolealg.vmin12024-08-03 10:20 2.2K 
[ ]boolealg__t3_boolealg.vmin1out2024-08-03 10:23 31K 
[ ]boolealg__t3_boolealg.vout2024-08-03 05:45 31K 
[ ]boolealg__t4_boolealg2024-07-27 02:19 6.0K 
[ ]boolealg__t4_boolealg.depv12024-08-03 10:19 130  
[ ]boolealg__t4_boolealg.depvmin12024-08-03 10:24 64  
[ ]boolealg__t4_boolealg.vmin12024-08-03 10:20 2.2K 
[ ]boolealg__t4_boolealg.vmin1out2024-08-03 10:20 20K 
[ ]boolealg__t4_boolealg.vout2024-08-03 05:04 18K 
[ ]boolealg__t5_boolealg2024-07-27 02:28 5.1K 
[ ]boolealg__t5_boolealg.depv12024-08-03 10:19 205  
[ ]boolealg__t5_boolealg.depvmin12024-08-03 10:24 205  
[ ]boolealg__t5_boolealg.vmin12024-08-03 10:20 3.3K 
[ ]boolealg__t5_boolealg.vmin1out2024-08-03 10:20 35K 
[ ]boolealg__t5_boolealg.vout2024-08-03 05:49 35K 
[ ]boolealg__t6_boolealg2024-07-27 02:29 5.0K 
[ ]boolealg__t6_boolealg.depv12024-08-03 10:19 220  
[ ]boolealg__t6_boolealg.depvmin12024-08-03 10:24 220  
[ ]boolealg__t6_boolealg.vmin12024-08-03 10:20 3.4K 
[ ]boolealg__t6_boolealg.vmin1out2024-08-03 10:22 36K 
[ ]boolealg__t6_boolealg.vout2024-08-03 08:39 35K 
[ ]boolealg__t7_boolealg2024-07-27 02:20 3.0K 
[ ]boolealg__t7_boolealg.depv12024-08-03 10:19 50  
[ ]boolealg__t7_boolealg.depvmin12024-08-03 10:24 50  
[ ]boolealg__t7_boolealg.vmin12024-08-03 10:20 968  
[ ]boolealg__t7_boolealg.vmin1out2024-08-03 10:23 16K 
[ ]boolealg__t7_boolealg.vout2024-08-03 05:59 15K 
[ ]boolealg__t8_boolealg2024-07-27 02:29 6.2K 
[ ]boolealg__t8_boolealg.depv12024-08-03 10:19 236  
[ ]boolealg__t8_boolealg.depvmin12024-08-03 10:24 221  
[ ]boolealg__t8_boolealg.vmin12024-08-03 10:20 3.3K 
[ ]boolealg__t8_boolealg.vmin1out2024-08-03 10:22 29K 
[ ]boolealg__t8_boolealg.vout2024-08-03 04:36 32K 
[ ]boolealg__t9_boolealg2024-07-27 02:20 3.3K 
[ ]boolealg__t9_boolealg.depv12024-08-03 10:19 67  
[ ]boolealg__t9_boolealg.depvmin12024-08-03 10:24 67  
[ ]boolealg__t9_boolealg.vmin12024-08-03 10:20 1.0K 
[ ]boolealg__t9_boolealg.vmin1out2024-08-03 10:23 11K 
[ ]boolealg__t9_boolealg.vout2024-08-03 06:57 13K 
[ ]boolealg__t10_boolealg2024-07-27 02:21 5.3K 
[ ]boolealg__t10_boolealg.depv12024-08-03 10:19 120  
[ ]boolealg__t10_boolealg.depvmin12024-08-03 10:24 120  
[ ]boolealg__t10_boolealg.vmin12024-08-03 10:20 2.0K 
[ ]boolealg__t10_boolealg.vmin1out2024-08-03 10:23 30K 
[ ]boolealg__t10_boolealg.vout2024-08-03 10:04 30K 
[ ]boolealg__t11_boolealg2024-07-27 02:21 5.1K 
[ ]boolealg__t11_boolealg.depv12024-08-03 10:19 222  
[ ]boolealg__t11_boolealg.depvmin12024-08-03 10:24 222  
[ ]boolealg__t11_boolealg.vmin12024-08-03 10:20 3.1K 
[ ]boolealg__t11_boolealg.vmin1out2024-08-03 10:21 28K 
[ ]boolealg__t11_boolealg.vout2024-08-03 06:40 28K 
[ ]boolealg__t12_boolealg2024-07-27 02:22 5.3K 
[ ]boolealg__t12_boolealg.depv12024-08-03 10:19 196  
[ ]boolealg__t12_boolealg.depvmin12024-08-03 10:24 170  
[ ]boolealg__t12_boolealg.vmin12024-08-03 10:20 2.7K 
[ ]boolealg__t12_boolealg.vmin1out2024-08-03 10:22 20K 
[ ]boolealg__t12_boolealg.vout2024-08-03 06:18 21K 
[ ]boolealg__t13_boolealg2024-07-27 02:22 4.5K 
[ ]boolealg__t13_boolealg.vout2024-08-03 06:38 9.2K 
[ ]boolealg__t14_boolealg2024-07-27 02:30 3.9K 
[ ]boolealg__t14_boolealg.vout2024-08-03 05:15 4.2K 
[ ]boolealg__t15_boolealg2024-07-27 02:30 4.5K 
[ ]boolealg__t15_boolealg.vout2024-08-03 04:53 2.0K 
[ ]boolealg__t16_boolealg2024-07-27 02:22 2.1K 
[ ]boolealg__t16_boolealg.vout2024-08-03 07:42 3.3K 
[ ]boolealg__t17_boolealg2024-07-27 02:23 3.5K 
[ ]boolealg__t17_boolealg.depv12024-08-03 10:19 76  
[ ]boolealg__t17_boolealg.depvmin12024-08-03 10:24 76  
[ ]boolealg__t17_boolealg.vmin12024-08-03 10:20 1.2K 
[ ]boolealg__t17_boolealg.vmin1out2024-08-03 10:21 16K 
[ ]boolealg__t17_boolealg.vout2024-08-03 08:45 16K 
[ ]boolealg__t18_boolealg2024-07-27 02:23 4.1K 
[ ]boolealg__t18_boolealg.depv12024-08-03 10:19 145  
[ ]boolealg__t18_boolealg.depvmin12024-08-03 10:24 145  
[ ]boolealg__t18_boolealg.vmin12024-08-03 10:20 2.1K 
[ ]boolealg__t18_boolealg.vmin1out2024-08-03 10:22 29K 
[ ]boolealg__t18_boolealg.vout2024-08-03 06:33 29K 
[ ]boolealg__t19_boolealg2024-07-27 02:24 5.8K 
[ ]boolealg__t19_boolealg.vout2024-08-03 04:31 9.2K 
[ ]boolealg__t20_boolealg2024-07-27 02:31 3.9K 
[ ]boolealg__t20_boolealg.vout2024-08-03 07:41 4.2K 
[ ]boolealg__t21_boolealg2024-07-27 02:31 8.4K 
[ ]boolealg__t21_boolealg.vout2024-08-03 08:45 2.0K 
[ ]boolealg__t22_boolealg2024-07-27 02:32 5.7K 
[ ]boolealg__t22_boolealg.depv12024-08-03 10:19 184  
[ ]boolealg__t22_boolealg.depvmin12024-08-03 10:24 184  
[ ]boolealg__t22_boolealg.vmin12024-08-03 10:20 2.8K 
[ ]boolealg__t22_boolealg.vmin1out2024-08-03 10:21 22K 
[ ]boolealg__t22_boolealg.vout2024-08-03 05:03 21K 
[ ]boolealg__t23_boolealg2024-07-27 02:32 6.2K 
[ ]boolealg__t23_boolealg.vout2024-08-03 07:55 2.0K 
[ ]boolealg__t24_boolealg2024-07-27 02:33 8.3K 
[ ]boolealg__t24_boolealg.vout2024-08-03 07:57 2.0K 
[ ]boolealg__t25_boolealg2024-07-27 02:34 6.3K 
[ ]boolealg__t25_boolealg.depv12024-08-03 10:19 146  
[ ]boolealg__t25_boolealg.depvmin12024-08-03 10:24 146  
[ ]boolealg__t25_boolealg.vmin12024-08-03 10:20 2.2K 
[ ]boolealg__t25_boolealg.vmin1out2024-08-03 10:21 30K 
[ ]boolealg__t25_boolealg.vout2024-08-03 09:26 28K 
[ ]boolealg__t26_boolealg2024-07-27 02:34 7.2K 
[ ]boolealg__t26_boolealg.depv12024-08-03 10:19 146  
[ ]boolealg__t26_boolealg.depvmin12024-08-03 10:24 146  
[ ]boolealg__t26_boolealg.vmin12024-08-03 10:20 2.1K 
[ ]boolealg__t26_boolealg.vmin1out2024-08-03 10:23 29K 
[ ]boolealg__t26_boolealg.vout2024-08-03 04:34 15K 
[ ]boolealg__t27_boolealg2024-07-27 02:35 7.2K 
[ ]boolealg__t27_boolealg.depv12024-08-03 10:19 234  
[ ]boolealg__t27_boolealg.depvmin12024-08-03 10:24 234  
[ ]boolealg__t27_boolealg.vmin12024-08-03 10:20 3.4K 
[ ]boolealg__t27_boolealg.vmin1out2024-08-03 10:20 33K 
[ ]boolealg__t27_boolealg.vout2024-08-03 09:17 32K 
[ ]boolealg__t28_boolealg2024-07-27 02:36 8.5K 
[ ]boolealg__t28_boolealg.depv12024-08-03 10:19 327  
[ ]boolealg__t28_boolealg.depvmin12024-08-03 10:24 327  
[ ]boolealg__t28_boolealg.vmin12024-08-03 10:20 4.4K 
[ ]boolealg__t28_boolealg.vmin1out2024-08-03 10:20 34K 
[ ]boolealg__t28_boolealg.vout2024-08-03 05:01 34K 
[ ]boolealg__t29_boolealg2024-07-27 02:36 7.4K 
[ ]boolealg__t29_boolealg.depv12024-08-03 10:19 196  
[ ]boolealg__t29_boolealg.depvmin12024-08-03 10:24 157  
[ ]boolealg__t29_boolealg.vmin12024-08-03 10:20 2.7K 
[ ]boolealg__t29_boolealg.vmin1out2024-08-03 10:21 23K 
[ ]boolealg__t29_boolealg.vout2024-08-03 10:14 27K 
[ ]boolealg__t30_boolealg2024-07-27 02:37 7.5K 
[ ]boolealg__t30_boolealg.depv12024-08-03 10:19 315  
[ ]boolealg__t30_boolealg.depvmin12024-08-03 10:24 315  
[ ]boolealg__t30_boolealg.vmin12024-08-03 10:20 4.2K 
[ ]boolealg__t30_boolealg.vmin1out2024-08-03 10:21 36K 
[ ]boolealg__t30_boolealg.vout2024-08-03 09:23 36K 
[ ]boolealg__t31_boolealg2024-07-27 02:38 8.3K 
[ ]boolealg__t31_boolealg.depv12024-08-03 10:19 305  
[ ]boolealg__t31_boolealg.depvmin12024-08-03 10:24 239  
[ ]boolealg__t31_boolealg.vmin12024-08-03 10:20 4.2K 
[ ]boolealg__t31_boolealg.vmin1out2024-08-03 10:20 24K 
[ ]boolealg__t31_boolealg.vout2024-08-03 04:07 33K 
[ ]boolealg__t32_boolealg2024-07-27 02:24 8.3K 
[ ]boolealg__t32_boolealg.depv12024-08-03 10:19 131  
[ ]boolealg__t32_boolealg.depvmin12024-08-03 10:24 131  
[ ]boolealg__t32_boolealg.vmin12024-08-03 10:20 2.0K 
[ ]boolealg__t32_boolealg.vmin1out2024-08-03 10:21 24K 
[ ]boolealg__t32_boolealg.vout2024-08-03 07:48 15K 
[ ]boolealg__t33_boolealg2024-07-27 02:38 8.6K 
[ ]boolealg__t33_boolealg.depv12024-08-03 10:19 333  
[ ]boolealg__t33_boolealg.vmin12024-08-03 10:20 4.5K 
[ ]boolealg__t33_boolealg.vmin1out2024-08-03 10:21 8.7K 
[ ]boolealg__t33_boolealg.vout2024-08-03 06:30 40K 
[ ]boolealg__t34_boolealg2024-07-27 02:39 6.9K 
[ ]boolealg__t34_boolealg.depv12024-08-03 10:19 211  
[ ]boolealg__t34_boolealg.depvmin12024-08-03 10:24 196  
[ ]boolealg__t34_boolealg.vmin12024-08-03 10:20 2.9K 
[ ]boolealg__t34_boolealg.vmin1out2024-08-03 10:23 41K 
[ ]boolealg__t34_boolealg.vout2024-08-03 06:31 27K 
[ ]boolealg__t35_boolealg2024-07-27 02:39 8.3K 
[ ]boolealg__t35_boolealg.depv12024-08-03 10:19 290  
[ ]boolealg__t35_boolealg.depvmin12024-08-03 10:24 224  
[ ]boolealg__t35_boolealg.vmin12024-08-03 10:20 4.0K 
[ ]boolealg__t35_boolealg.vmin1out2024-08-03 10:22 22K 
[ ]boolealg__t35_boolealg.vout2024-08-03 08:09 29K 
[ ]boolealg__t36_boolealg2024-07-27 02:40 8.7K 
[ ]boolealg__t36_boolealg.depv12024-08-03 10:19 370  
[ ]boolealg__t36_boolealg.depvmin12024-08-03 10:24 370  
[ ]boolealg__t36_boolealg.vmin12024-08-03 10:20 5.2K 
[ ]boolealg__t36_boolealg.vmin1out2024-08-03 10:20 43K 
[ ]boolealg__t36_boolealg.vout2024-08-03 04:09 48K 
[ ]boolealg__t37_boolealg2024-07-27 02:41 7.9K 
[ ]boolealg__t37_boolealg.vout2024-08-03 08:33 7.2K 
[ ]boolealg__t38_boolealg2024-07-27 02:41 8.6K 
[ ]boolealg__t38_boolealg.vout2024-08-03 04:44 7.2K 
[ ]boolealg__t39_boolealg2024-07-27 02:42 8.2K 
[ ]boolealg__t39_boolealg.depv12024-08-03 10:19 305  
[ ]boolealg__t39_boolealg.depvmin12024-08-03 10:24 305  
[ ]boolealg__t39_boolealg.vmin12024-08-03 10:20 4.0K 
[ ]boolealg__t39_boolealg.vmin1out2024-08-03 10:22 32K 
[ ]boolealg__t39_boolealg.vout2024-08-03 04:48 33K 
[ ]boolealg__t40_boolealg2024-07-27 02:43 9.7K 
[ ]boolealg__t40_boolealg.depv12024-08-03 10:19 378  
[ ]boolealg__t40_boolealg.depvmin12024-08-03 10:24 378  
[ ]boolealg__t40_boolealg.vmin12024-08-03 10:20 5.2K 
[ ]boolealg__t40_boolealg.vmin1out2024-08-03 10:21 67K 
[ ]boolealg__t40_boolealg.vout2024-08-03 08:08 66K 
[ ]boolealg__t41_boolealg2024-07-27 02:43 7.8K 
[ ]boolealg__t41_boolealg.vout2024-08-03 07:13 7.2K 
[ ]boolealg__t42_boolealg2024-07-27 02:44 7.9K 
[ ]boolealg__t42_boolealg.depv12024-08-03 10:19 252  
[ ]boolealg__t42_boolealg.vmin12024-08-03 10:20 3.6K 
[ ]boolealg__t42_boolealg.vmin1out2024-08-03 10:20 2.0K 
[ ]boolealg__t42_boolealg.vout2024-08-03 09:42 31K 
[ ]boolealg__t43_boolealg2024-07-27 02:45 9.0K 
[ ]boolealg__t43_boolealg.vout2024-08-03 08:54 8.2K 
[ ]boolealg__t44_boolealg2024-07-27 02:45 8.6K 
[ ]boolealg__t44_boolealg.depv12024-08-03 10:19 347  
[ ]boolealg__t44_boolealg.vmin12024-08-03 10:20 4.8K 
[ ]boolealg__t44_boolealg.vmin1out2024-08-03 10:21 2.1K 
[ ]boolealg__t44_boolealg.vout2024-08-03 08:59 48K 
[ ]boolealg__t45_boolealg2024-07-27 02:46 7.8K 
[ ]boolealg__t45_boolealg.vout2024-08-03 08:29 7.2K 
[ ]boolealg__t46_boolealg2024-07-27 02:47 11K 
[ ]boolealg__t46_boolealg.depv12024-08-03 10:19 325  
[ ]boolealg__t46_boolealg.depvmin12024-08-03 10:24 325  
[ ]boolealg__t46_boolealg.vmin12024-08-03 10:20 4.7K 
[ ]boolealg__t46_boolealg.vmin1out2024-08-03 10:20 53K 
[ ]boolealg__t46_boolealg.vout2024-08-03 07:13 46K 
[ ]boolealg__t47_boolealg2024-07-27 02:47 6.8K 
[ ]boolealg__t47_boolealg.depv12024-08-03 10:19 186  
[ ]boolealg__t47_boolealg.depvmin12024-08-03 10:24 186  
[ ]boolealg__t47_boolealg.vmin12024-08-03 10:20 2.3K 
[ ]boolealg__t47_boolealg.vmin1out2024-08-03 10:22 17K 
[ ]boolealg__t47_boolealg.vout2024-08-03 07:04 16K 
[ ]boolealg__t48_boolealg2024-07-27 02:48 7.4K 
[ ]boolealg__t48_boolealg.depv12024-08-03 10:19 184  
[ ]boolealg__t48_boolealg.depvmin12024-08-03 10:24 158  
[ ]boolealg__t48_boolealg.vmin12024-08-03 10:20 2.5K 
[ ]boolealg__t48_boolealg.vmin1out2024-08-03 10:21 25K 
[ ]boolealg__t48_boolealg.vout2024-08-03 08:26 19K 
[ ]boolealg__t49_boolealg2024-07-27 02:49 8.6K 
[ ]boolealg__t49_boolealg.vout2024-08-03 06:00 8.7K 
[ ]boolealg__t50_boolealg2024-07-27 02:49 5.8K 
[ ]boolealg__t50_boolealg.vout2024-08-03 09:06 2.0K 
[ ]boolealg__t51_boolealg2024-07-27 02:25 5.0K 
[ ]boolealg__t51_boolealg.depv12024-08-03 10:19 191  
[ ]boolealg__t51_boolealg.depvmin12024-08-03 10:24 165  
[ ]boolealg__t51_boolealg.vmin12024-08-03 10:20 2.5K 
[ ]boolealg__t51_boolealg.vmin1out2024-08-03 10:20 45K 
[ ]boolealg__t51_boolealg.vout2024-08-03 07:30 43K 
[ ]boolealg__t52_boolealg2024-07-27 02:50 5.8K 
[ ]boolealg__t52_boolealg.vout2024-08-03 04:24 2.0K 
[ ]boolealg__t53_boolealg2024-07-27 02:51 10K 
[ ]boolealg__t53_boolealg.depv12024-08-03 10:19 420  
[ ]boolealg__t53_boolealg.depvmin12024-08-03 10:24 405  
[ ]boolealg__t53_boolealg.vmin12024-08-03 10:20 6.0K 
[ ]boolealg__t53_boolealg.vmin1out2024-08-03 10:21 55K 
[ ]boolealg__t53_boolealg.vout2024-08-03 09:24 55K 
[ ]boolealg__t54_boolealg2024-07-27 02:51 8.4K 
[ ]boolealg__t54_boolealg.vout2024-08-03 08:02 9.2K 
[ ]boolealg__t55_boolealg2024-07-27 02:52 10K 
[ ]boolealg__t55_boolealg.vout2024-08-03 04:56 7.1K 
[ ]boolealg__t56_boolealg2024-07-27 02:26 9.0K 
[ ]boolealg__t56_boolealg.depv12024-08-03 10:19 238  
[ ]boolealg__t56_boolealg.depvmin12024-08-03 10:24 238  
[ ]boolealg__t56_boolealg.vmin12024-08-03 10:20 3.1K 
[ ]boolealg__t56_boolealg.vmin1out2024-08-03 10:22 21K 
[ ]boolealg__t56_boolealg.vout2024-08-03 06:18 20K 
[ ]boolealg__t57_boolealg2024-07-27 02:26 9.0K 
[ ]boolealg__t57_boolealg.depv12024-08-03 10:19 223  
[ ]boolealg__t57_boolealg.depvmin12024-08-03 10:24 223  
[ ]boolealg__t57_boolealg.vmin12024-08-03 10:20 2.9K 
[ ]boolealg__t57_boolealg.vmin1out2024-08-03 10:22 20K 
[ ]boolealg__t57_boolealg.vout2024-08-03 04:54 19K 
[ ]boolealg__t58_boolealg2024-07-27 02:53 8.5K 
[ ]boolealg__t58_boolealg.vout2024-08-03 07:42 2.0K 
[ ]boolealg__t59_boolealg2024-07-27 02:54 11K 
[ ]boolealg__t59_boolealg.depv12024-08-03 10:19 417  
[ ]boolealg__t59_boolealg.depvmin12024-08-03 10:24 417  
[ ]boolealg__t59_boolealg.vmin12024-08-03 10:20 6.2K 
[ ]boolealg__t59_boolealg.vmin1out2024-08-03 10:20 74K 
[ ]boolealg__t59_boolealg.vout2024-08-03 06:44 65K 
[ ]boolealg__t60_boolealg2024-07-27 02:54 10K 
[ ]boolealg__t60_boolealg.vout2024-08-03 09:09 7.2K 
[ ]boolealg__t61_boolealg2024-07-27 02:55 9.3K 
[ ]boolealg__t61_boolealg.vout2024-08-03 04:49 8.2K 
[ ]boolealg__t62_boolealg2024-07-27 02:56 12K 
[ ]boolealg__t62_boolealg.vout2024-08-03 06:35 4.1K 
[ ]boolealg__t63_boolealg2024-07-27 02:56 10K 
[ ]boolealg__t63_boolealg.vout2024-08-03 09:31 8.2K 
[ ]boolealg__t64_boolealg2024-07-27 02:57 9.0K 
[ ]boolealg__t64_boolealg.vout2024-08-03 06:56 7.2K 
[ ]boolealg__t65_boolealg2024-07-27 02:58 9.2K 
[ ]boolealg__t65_boolealg.vout2024-08-03 04:09 7.2K 
[ ]boolealg__t66_boolealg2024-07-27 02:58 9.5K 
[ ]boolealg__t66_boolealg.vout2024-08-03 09:35 7.2K 
[ ]boolealg__t67_boolealg2024-07-27 02:59 11K 
[ ]boolealg__t67_boolealg.vout2024-08-03 06:43 8.1K 
[ ]boolealg__t68_boolealg2024-07-27 03:00 10K 
[ ]boolealg__t68_boolealg.vout2024-08-03 06:34 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80