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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mboolean__l2_mboolean2024-07-27 22:30 8.9K 
[ ]mboolean__l2_mboolean.depv12024-08-03 10:19 212  
[ ]mboolean__l2_mboolean.depvmin12024-08-03 10:24 212  
[ ]mboolean__l2_mboolean.vmin12024-08-03 10:19 2.0K 
[ ]mboolean__l2_mboolean.vmin1out2024-08-03 10:22 23K 
[ ]mboolean__l2_mboolean.vout2024-08-03 07:45 23K 
[ ]mboolean__l3_mboolean2024-07-27 22:31 6.5K 
[ ]mboolean__l3_mboolean.depv12024-08-03 10:19 83  
[ ]mboolean__l3_mboolean.depvmin12024-08-03 10:24 83  
[ ]mboolean__l3_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__l3_mboolean.vmin1out2024-08-03 10:20 47K 
[ ]mboolean__l3_mboolean.vout2024-08-03 04:25 46K 
[ ]mboolean__l4_mboolean2024-07-27 22:31 6.3K 
[ ]mboolean__l4_mboolean.depv12024-08-03 10:19 83  
[ ]mboolean__l4_mboolean.depvmin12024-08-03 10:24 83  
[ ]mboolean__l4_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__l4_mboolean.vmin1out2024-08-03 10:23 47K 
[ ]mboolean__l4_mboolean.vout2024-08-03 09:45 46K 
[ ]mboolean__l5_mboolean2024-07-27 22:32 5.9K 
[ ]mboolean__l5_mboolean.depv12024-08-03 10:19 108  
[ ]mboolean__l5_mboolean.depvmin12024-08-03 10:24 108  
[ ]mboolean__l5_mboolean.vmin12024-08-03 10:19 2.0K 
[ ]mboolean__l5_mboolean.vmin1out2024-08-03 10:23 47K 
[ ]mboolean__l5_mboolean.vout2024-08-03 05:44 47K 
[ ]mboolean__l6_mboolean2024-07-27 22:32 5.9K 
[ ]mboolean__l6_mboolean.depv12024-08-03 10:19 83  
[ ]mboolean__l6_mboolean.depvmin12024-08-03 10:24 83  
[ ]mboolean__l6_mboolean.vmin12024-08-03 10:19 1.8K 
[ ]mboolean__l6_mboolean.vmin1out2024-08-03 10:20 41K 
[ ]mboolean__l6_mboolean.vout2024-08-03 06:54 40K 
[ ]mboolean__l27_mboolean2024-07-27 22:33 4.5K 
[ ]mboolean__l27_mboolean.depv12024-08-03 10:19 86  
[ ]mboolean__l27_mboolean.depvmin12024-08-03 10:24 86  
[ ]mboolean__l27_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__l27_mboolean.vmin1out2024-08-03 10:22 47K 
[ ]mboolean__l27_mboolean.vout2024-08-03 06:01 46K 
[ ]mboolean__l28_mboolean2024-07-27 22:33 4.3K 
[ ]mboolean__l28_mboolean.depv12024-08-03 10:19 86  
[ ]mboolean__l28_mboolean.depvmin12024-08-03 10:24 86  
[ ]mboolean__l28_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__l28_mboolean.vmin1out2024-08-03 10:22 47K 
[ ]mboolean__l28_mboolean.vout2024-08-03 08:19 47K 
[ ]mboolean__t1_mboolean2024-07-27 22:07 12K 
[ ]mboolean__t1_mboolean.vout2024-08-03 09:20 6.2K 
[ ]mboolean__t2_mboolean2024-07-27 22:08 8.5K 
[ ]mboolean__t2_mboolean.depv12024-08-03 10:19 161  
[ ]mboolean__t2_mboolean.depvmin12024-08-03 10:24 134  
[ ]mboolean__t2_mboolean.vmin12024-08-03 10:19 2.0K 
[ ]mboolean__t2_mboolean.vmin1out2024-08-03 10:23 30K 
[ ]mboolean__t2_mboolean.vout2024-08-03 09:36 43K 
[ ]mboolean__t3_mboolean2024-07-27 22:08 8.2K 
[ ]mboolean__t3_mboolean.depv12024-08-03 10:19 128  
[ ]mboolean__t3_mboolean.depvmin12024-08-03 10:24 101  
[ ]mboolean__t3_mboolean.vmin12024-08-03 10:19 1.6K 
[ ]mboolean__t3_mboolean.vmin1out2024-08-03 10:20 30K 
[ ]mboolean__t3_mboolean.vout2024-08-03 09:18 35K 
[ ]mboolean__t4_mboolean2024-07-27 22:09 8.6K 
[ ]mboolean__t4_mboolean.depv12024-08-03 10:19 153  
[ ]mboolean__t4_mboolean.depvmin12024-08-03 10:24 126  
[ ]mboolean__t4_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__t4_mboolean.vmin1out2024-08-03 10:21 37K 
[ ]mboolean__t4_mboolean.vout2024-08-03 04:57 41K 
[ ]mboolean__t5_mboolean2024-07-27 22:10 4.3K 
[ ]mboolean__t5_mboolean.depv12024-08-03 10:19 57  
[ ]mboolean__t5_mboolean.depvmin12024-08-03 10:24 57  
[ ]mboolean__t5_mboolean.vmin12024-08-03 10:19 833  
[ ]mboolean__t5_mboolean.vmin1out2024-08-03 10:21 9.2K 
[ ]mboolean__t5_mboolean.vout2024-08-03 05:54 9.3K 
[ ]mboolean__t6_mboolean2024-07-27 22:10 5.3K 
[ ]mboolean__t6_mboolean.depv12024-08-03 10:19 60  
[ ]mboolean__t6_mboolean.depvmin12024-08-03 10:24 60  
[ ]mboolean__t6_mboolean.vmin12024-08-03 10:19 1.4K 
[ ]mboolean__t6_mboolean.vmin1out2024-08-03 10:23 42K 
[ ]mboolean__t6_mboolean.vout2024-08-03 05:05 42K 
[ ]mboolean__t7_mboolean2024-07-27 22:11 7.5K 
[ ]mboolean__t7_mboolean.vout2024-08-03 09:43 7.3K 
[ ]mboolean__t8_mboolean2024-07-27 22:11 8.3K 
[ ]mboolean__t8_mboolean.depv12024-08-03 10:19 167  
[ ]mboolean__t8_mboolean.depvmin12024-08-03 10:24 167  
[ ]mboolean__t8_mboolean.vmin12024-08-03 10:19 2.7K 
[ ]mboolean__t8_mboolean.vmin1out2024-08-03 10:23 28K 
[ ]mboolean__t8_mboolean.vout2024-08-03 04:29 28K 
[ ]mboolean__t9_mboolean2024-07-27 22:12 7.8K 
[ ]mboolean__t9_mboolean.vout2024-08-03 08:40 7.2K 
[ ]mboolean__t10_mboolean2024-07-27 22:13 11K 
[ ]mboolean__t10_mboolean.vout2024-08-03 05:41 7.3K 
[ ]mboolean__t11_mboolean2024-07-27 22:13 9.3K 
[ ]mboolean__t11_mboolean.vout2024-08-03 09:13 6.3K 
[ ]mboolean__t12_mboolean2024-07-27 22:14 9.0K 
[ ]mboolean__t12_mboolean.vout2024-08-03 10:03 7.3K 
[ ]mboolean__t13_mboolean2024-07-27 22:15 13K 
[ ]mboolean__t13_mboolean.vout2024-08-03 05:35 4.1K 
[ ]mboolean__t14_mboolean2024-07-27 22:15 6.0K 
[ ]mboolean__t14_mboolean.vout2024-08-03 09:47 7.3K 
[ ]mboolean__t15_mboolean2024-07-27 22:16 5.5K 
[ ]mboolean__t15_mboolean.depv12024-08-03 10:19 85  
[ ]mboolean__t15_mboolean.depvmin12024-08-03 10:24 85  
[ ]mboolean__t15_mboolean.vmin12024-08-03 10:19 1.8K 
[ ]mboolean__t15_mboolean.vmin1out2024-08-03 10:20 32K 
[ ]mboolean__t15_mboolean.vout2024-08-03 09:14 28K 
[ ]mboolean__t16_mboolean2024-07-27 22:16 5.6K 
[ ]mboolean__t16_mboolean.vout2024-08-03 08:24 2.0K 
[ ]mboolean__t17_mboolean2024-07-27 22:17 8.0K 
[ ]mboolean__t17_mboolean.vout2024-08-03 09:43 7.3K 
[ ]mboolean__t18_mboolean2024-07-27 22:17 5.5K 
[ ]mboolean__t18_mboolean.depv12024-08-03 10:19 124  
[ ]mboolean__t18_mboolean.depvmin12024-08-03 10:24 101  
[ ]mboolean__t18_mboolean.vmin12024-08-03 10:19 2.1K 
[ ]mboolean__t18_mboolean.vmin1out2024-08-03 10:21 57K 
[ ]mboolean__t18_mboolean.vout2024-08-03 05:42 56K 
[ ]mboolean__t19_mboolean2024-07-27 22:18 7.1K 
[ ]mboolean__t19_mboolean.depv12024-08-03 10:19 108  
[ ]mboolean__t19_mboolean.vmin12024-08-03 10:19 3.0K 
[ ]mboolean__t19_mboolean.vmin1out2024-08-03 10:22 7.9K 
[ ]mboolean__t19_mboolean.vout2024-08-03 09:40 48K 
[ ]mboolean__t20_mboolean2024-07-27 22:19 3.9K 
[ ]mboolean__t20_mboolean.vout2024-08-03 04:09 7.3K 
[ ]mboolean__t21_mboolean2024-07-27 22:19 4.1K 
[ ]mboolean__t21_mboolean.depv12024-08-03 10:19 84  
[ ]mboolean__t21_mboolean.depvmin12024-08-03 10:24 84  
[ ]mboolean__t21_mboolean.vmin12024-08-03 10:19 1.3K 
[ ]mboolean__t21_mboolean.vmin1out2024-08-03 10:21 23K 
[ ]mboolean__t21_mboolean.vout2024-08-03 08:25 13K 
[ ]mboolean__t22_mboolean2024-07-27 22:20 8.0K 
[ ]mboolean__t22_mboolean.depv12024-08-03 10:19 129  
[ ]mboolean__t22_mboolean.depvmin12024-08-03 10:24 102  
[ ]mboolean__t22_mboolean.vmin12024-08-03 10:19 1.6K 
[ ]mboolean__t22_mboolean.vmin1out2024-08-03 10:23 29K 
[ ]mboolean__t22_mboolean.vout2024-08-03 06:04 35K 
[ ]mboolean__t23_mboolean2024-07-27 22:20 8.0K 
[ ]mboolean__t23_mboolean.depv12024-08-03 10:19 142  
[ ]mboolean__t23_mboolean.depvmin12024-08-03 10:24 142  
[ ]mboolean__t23_mboolean.vmin12024-08-03 10:19 1.8K 
[ ]mboolean__t23_mboolean.vmin1out2024-08-03 10:21 35K 
[ ]mboolean__t23_mboolean.vout2024-08-03 05:19 38K 
[ ]mboolean__t24_mboolean2024-07-27 22:21 8.3K 
[ ]mboolean__t24_mboolean.depv12024-08-03 10:19 142  
[ ]mboolean__t24_mboolean.depvmin12024-08-03 10:24 142  
[ ]mboolean__t24_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__t24_mboolean.vmin1out2024-08-03 10:20 42K 
[ ]mboolean__t24_mboolean.vout2024-08-03 04:07 43K 
[ ]mboolean__t25_mboolean2024-07-27 22:22 5.2K 
[ ]mboolean__t25_mboolean.depv12024-08-03 10:19 73  
[ ]mboolean__t25_mboolean.depvmin12024-08-03 10:24 73  
[ ]mboolean__t25_mboolean.vmin12024-08-03 10:19 1.7K 
[ ]mboolean__t25_mboolean.vmin1out2024-08-03 10:20 37K 
[ ]mboolean__t25_mboolean.vout2024-08-03 06:27 37K 
[ ]mboolean__t26_mboolean2024-07-27 22:22 4.9K 
[ ]mboolean__t26_mboolean.depv12024-08-03 10:19 63  
[ ]mboolean__t26_mboolean.depvmin12024-08-03 10:24 63  
[ ]mboolean__t26_mboolean.vmin12024-08-03 10:19 1.4K 
[ ]mboolean__t26_mboolean.vmin1out2024-08-03 10:22 42K 
[ ]mboolean__t26_mboolean.vout2024-08-03 07:33 42K 
[ ]mboolean__t27_mboolean2024-07-27 22:23 6.0K 
[ ]mboolean__t27_mboolean.vout2024-08-03 09:18 7.2K 
[ ]mboolean__t28_mboolean2024-07-27 22:23 6.9K 
[ ]mboolean__t28_mboolean.vout2024-08-03 07:52 7.3K 
[ ]mboolean__t29_mboolean2024-07-27 22:24 6.3K 
[ ]mboolean__t29_mboolean.depv12024-08-03 10:19 88  
[ ]mboolean__t29_mboolean.depvmin12024-08-03 10:24 88  
[ ]mboolean__t29_mboolean.vmin12024-08-03 10:19 1.5K 
[ ]mboolean__t29_mboolean.vmin1out2024-08-03 10:20 19K 
[ ]mboolean__t29_mboolean.vout2024-08-03 05:23 19K 
[ ]mboolean__t30_mboolean2024-07-27 22:25 5.8K 
[ ]mboolean__t30_mboolean.depv12024-08-03 10:19 88  
[ ]mboolean__t30_mboolean.depvmin12024-08-03 10:24 88  
[ ]mboolean__t30_mboolean.vmin12024-08-03 10:19 1.9K 
[ ]mboolean__t30_mboolean.vmin1out2024-08-03 10:20 44K 
[ ]mboolean__t30_mboolean.vout2024-08-03 06:55 44K 
[ ]mboolean__t31_mboolean2024-07-27 22:25 5.4K 
[ ]mboolean__t31_mboolean.depv12024-08-03 10:19 73  
[ ]mboolean__t31_mboolean.depvmin12024-08-03 10:24 73  
[ ]mboolean__t31_mboolean.vmin12024-08-03 10:19 1.8K 
[ ]mboolean__t31_mboolean.vmin1out2024-08-03 10:23 44K 
[ ]mboolean__t31_mboolean.vout2024-08-03 07:32 44K 
[ ]mboolean__t32_mboolean2024-07-27 22:26 11K 
[ ]mboolean__t32_mboolean.vout2024-08-03 05:16 6.3K 
[ ]mboolean__t33_mboolean2024-07-27 22:27 14K 
[ ]mboolean__t33_mboolean.vout2024-08-03 09:18 6.2K 
[ ]mboolean__t34_mboolean2024-07-27 22:28 16K 
[ ]mboolean__t34_mboolean.vout2024-08-03 06:46 6.2K 
[ ]mboolean__t35_mboolean2024-07-27 22:29 16K 
[ ]mboolean__t35_mboolean.vout2024-08-03 08:13 6.3K 
[ ]mboolean__t36_mboolean2024-07-27 22:30 12K 
[ ]mboolean__t36_mboolean.vout2024-08-03 04:13 6.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80