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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mboolean__t36_mboolean.vout2021-07-25 18:57 6.2K 
[ ]mboolean__t36_mboolean2021-07-18 04:43 12K 
[ ]mboolean__t35_mboolean.vout2021-07-25 20:07 6.2K 
[ ]mboolean__t35_mboolean2021-07-18 04:43 16K 
[ ]mboolean__t34_mboolean.vout2021-07-25 18:26 6.2K 
[ ]mboolean__t34_mboolean2021-07-18 04:42 16K 
[ ]mboolean__t33_mboolean.vout2021-07-25 19:47 6.2K 
[ ]mboolean__t33_mboolean2021-07-18 04:42 14K 
[ ]mboolean__t32_mboolean.vout2021-07-25 16:33 6.3K 
[ ]mboolean__t32_mboolean2021-07-18 04:42 11K 
[ ]mboolean__t31_mboolean.vout2021-07-25 15:45 44K 
[ ]mboolean__t31_mboolean.vmin1out2021-07-25 20:59 44K 
[ ]mboolean__t31_mboolean.vmin12021-07-25 20:57 1.8K 
[ ]mboolean__t31_mboolean.depvmin12021-07-25 21:03 73  
[ ]mboolean__t31_mboolean.depv12021-07-25 20:57 73  
[ ]mboolean__t31_mboolean2021-07-18 04:41 5.4K 
[ ]mboolean__t30_mboolean.vout2021-07-25 17:46 44K 
[ ]mboolean__t30_mboolean.vmin1out2021-07-25 21:02 44K 
[ ]mboolean__t30_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__t30_mboolean.depvmin12021-07-25 21:03 88  
[ ]mboolean__t30_mboolean.depv12021-07-25 20:57 88  
[ ]mboolean__t30_mboolean2021-07-18 04:41 5.8K 
[ ]mboolean__t29_mboolean.vout2021-07-25 20:12 19K 
[ ]mboolean__t29_mboolean.vmin1out2021-07-25 21:02 19K 
[ ]mboolean__t29_mboolean.vmin12021-07-25 20:57 1.5K 
[ ]mboolean__t29_mboolean.depvmin12021-07-25 21:03 88  
[ ]mboolean__t29_mboolean.depv12021-07-25 20:57 88  
[ ]mboolean__t29_mboolean2021-07-18 04:41 6.3K 
[ ]mboolean__t28_mboolean.vout2021-07-25 14:42 7.4K 
[ ]mboolean__t28_mboolean2021-07-18 04:41 6.9K 
[ ]mboolean__t27_mboolean.vout2021-07-25 19:35 7.2K 
[ ]mboolean__t27_mboolean2021-07-18 04:41 6.0K 
[ ]mboolean__t26_mboolean.vout2021-07-25 20:13 42K 
[ ]mboolean__t26_mboolean.vmin1out2021-07-25 21:00 42K 
[ ]mboolean__t26_mboolean.vmin12021-07-25 20:57 1.4K 
[ ]mboolean__t26_mboolean.depvmin12021-07-25 21:03 63  
[ ]mboolean__t26_mboolean.depv12021-07-25 20:57 63  
[ ]mboolean__t26_mboolean2021-07-18 04:40 4.9K 
[ ]mboolean__t25_mboolean.vout2021-07-25 14:31 37K 
[ ]mboolean__t25_mboolean.vmin1out2021-07-25 20:58 37K 
[ ]mboolean__t25_mboolean.vmin12021-07-25 20:57 1.7K 
[ ]mboolean__t25_mboolean.depvmin12021-07-25 21:03 73  
[ ]mboolean__t25_mboolean.depv12021-07-25 20:57 73  
[ ]mboolean__t25_mboolean2021-07-18 04:40 5.2K 
[ ]mboolean__t24_mboolean.vout2021-07-25 17:23 43K 
[ ]mboolean__t24_mboolean.vmin1out2021-07-25 21:00 42K 
[ ]mboolean__t24_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__t24_mboolean.depvmin12021-07-25 21:03 142  
[ ]mboolean__t24_mboolean.depv12021-07-25 20:57 142  
[ ]mboolean__t24_mboolean2021-07-18 04:40 8.3K 
[ ]mboolean__t23_mboolean.vout2021-07-25 19:52 38K 
[ ]mboolean__t23_mboolean.vmin1out2021-07-25 20:58 35K 
[ ]mboolean__t23_mboolean.vmin12021-07-25 20:57 1.8K 
[ ]mboolean__t23_mboolean.depvmin12021-07-25 21:03 142  
[ ]mboolean__t23_mboolean.depv12021-07-25 20:57 142  
[ ]mboolean__t23_mboolean2021-07-18 04:40 8.0K 
[ ]mboolean__t22_mboolean.vout2021-07-25 16:22 35K 
[ ]mboolean__t22_mboolean.vmin1out2021-07-25 21:02 29K 
[ ]mboolean__t22_mboolean.vmin12021-07-25 20:57 1.6K 
[ ]mboolean__t22_mboolean.depvmin12021-07-25 21:03 102  
[ ]mboolean__t22_mboolean.depv12021-07-25 20:57 129  
[ ]mboolean__t22_mboolean2021-07-18 04:40 8.0K 
[ ]mboolean__t21_mboolean.vout2021-07-25 19:51 13K 
[ ]mboolean__t21_mboolean.vmin1out2021-07-25 20:57 23K 
[ ]mboolean__t21_mboolean.vmin12021-07-25 20:57 1.3K 
[ ]mboolean__t21_mboolean.depvmin12021-07-25 21:03 84  
[ ]mboolean__t21_mboolean.depv12021-07-25 20:57 84  
[ ]mboolean__t21_mboolean2021-07-18 04:39 4.1K 
[ ]mboolean__t20_mboolean.vout2021-07-25 19:09 7.3K 
[ ]mboolean__t20_mboolean2021-07-18 04:39 3.9K 
[ ]mboolean__t19_mboolean.vout2021-07-25 18:33 48K 
[ ]mboolean__t19_mboolean.vmin1out2021-07-25 21:02 8.4K 
[ ]mboolean__t19_mboolean.vmin12021-07-25 20:57 3.0K 
[ ]mboolean__t19_mboolean.depv12021-07-25 20:57 108  
[ ]mboolean__t19_mboolean2021-07-18 04:39 7.1K 
[ ]mboolean__t18_mboolean.vout2021-07-25 15:42 56K 
[ ]mboolean__t18_mboolean.vmin1out2021-07-25 20:58 57K 
[ ]mboolean__t18_mboolean.vmin12021-07-25 20:57 2.1K 
[ ]mboolean__t18_mboolean.depvmin12021-07-25 21:03 101  
[ ]mboolean__t18_mboolean.depv12021-07-25 20:57 124  
[ ]mboolean__t18_mboolean2021-07-18 04:39 5.5K 
[ ]mboolean__t17_mboolean.vout2021-07-25 20:52 7.3K 
[ ]mboolean__t17_mboolean2021-07-18 04:39 8.0K 
[ ]mboolean__t16_mboolean.vout2021-07-25 18:55 2.0K 
[ ]mboolean__t16_mboolean2021-07-18 04:38 5.6K 
[ ]mboolean__t15_mboolean.vout2021-07-25 18:43 28K 
[ ]mboolean__t15_mboolean.vmin1out2021-07-25 21:01 32K 
[ ]mboolean__t15_mboolean.vmin12021-07-25 20:57 1.8K 
[ ]mboolean__t15_mboolean.depvmin12021-07-25 21:03 85  
[ ]mboolean__t15_mboolean.depv12021-07-25 20:57 85  
[ ]mboolean__t15_mboolean2021-07-18 04:38 5.5K 
[ ]mboolean__t14_mboolean.vout2021-07-25 17:29 7.3K 
[ ]mboolean__t14_mboolean2021-07-18 04:38 6.0K 
[ ]mboolean__t13_mboolean.vout2021-07-25 17:54 4.1K 
[ ]mboolean__t13_mboolean2021-07-18 04:38 13K 
[ ]mboolean__t12_mboolean.vout2021-07-25 16:40 7.3K 
[ ]mboolean__t12_mboolean2021-07-18 04:37 9.0K 
[ ]mboolean__t11_mboolean.vout2021-07-25 20:23 6.2K 
[ ]mboolean__t11_mboolean2021-07-18 04:37 9.3K 
[ ]mboolean__t10_mboolean.vout2021-07-25 18:09 7.3K 
[ ]mboolean__t10_mboolean2021-07-18 04:37 11K 
[ ]mboolean__t9_mboolean.vout2021-07-25 19:22 7.2K 
[ ]mboolean__t9_mboolean2021-07-18 04:37 7.8K 
[ ]mboolean__t8_mboolean.vout2021-07-25 18:42 28K 
[ ]mboolean__t8_mboolean.vmin1out2021-07-25 21:02 28K 
[ ]mboolean__t8_mboolean.vmin12021-07-25 20:57 2.7K 
[ ]mboolean__t8_mboolean.depvmin12021-07-25 21:03 167  
[ ]mboolean__t8_mboolean.depv12021-07-25 20:57 167  
[ ]mboolean__t8_mboolean2021-07-18 04:37 8.3K 
[ ]mboolean__t7_mboolean.vout2021-07-25 17:44 7.3K 
[ ]mboolean__t7_mboolean2021-07-18 04:36 7.5K 
[ ]mboolean__t6_mboolean.vout2021-07-25 17:49 42K 
[ ]mboolean__t6_mboolean.vmin1out2021-07-25 21:02 42K 
[ ]mboolean__t6_mboolean.vmin12021-07-25 20:57 1.4K 
[ ]mboolean__t6_mboolean.depvmin12021-07-25 21:03 60  
[ ]mboolean__t6_mboolean.depv12021-07-25 20:57 60  
[ ]mboolean__t6_mboolean2021-07-18 04:36 5.3K 
[ ]mboolean__t5_mboolean.vout2021-07-25 17:52 9.3K 
[ ]mboolean__t5_mboolean.vmin1out2021-07-25 20:58 9.2K 
[ ]mboolean__t5_mboolean.vmin12021-07-25 20:57 833  
[ ]mboolean__t5_mboolean.depvmin12021-07-25 21:03 57  
[ ]mboolean__t5_mboolean.depv12021-07-25 20:57 57  
[ ]mboolean__t5_mboolean2021-07-18 04:36 4.3K 
[ ]mboolean__t4_mboolean.vout2021-07-25 15:33 41K 
[ ]mboolean__t4_mboolean.vmin1out2021-07-25 20:58 37K 
[ ]mboolean__t4_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__t4_mboolean.depvmin12021-07-25 21:03 126  
[ ]mboolean__t4_mboolean.depv12021-07-25 20:57 153  
[ ]mboolean__t4_mboolean2021-07-18 04:36 8.6K 
[ ]mboolean__t3_mboolean.vout2021-07-25 17:19 35K 
[ ]mboolean__t3_mboolean.vmin1out2021-07-25 21:01 30K 
[ ]mboolean__t3_mboolean.vmin12021-07-25 20:57 1.6K 
[ ]mboolean__t3_mboolean.depvmin12021-07-25 21:03 101  
[ ]mboolean__t3_mboolean.depv12021-07-25 20:57 128  
[ ]mboolean__t3_mboolean2021-07-18 04:36 8.2K 
[ ]mboolean__t2_mboolean.vout2021-07-25 18:31 43K 
[ ]mboolean__t2_mboolean.vmin1out2021-07-25 21:01 30K 
[ ]mboolean__t2_mboolean.vmin12021-07-25 20:57 2.0K 
[ ]mboolean__t2_mboolean.depvmin12021-07-25 21:03 134  
[ ]mboolean__t2_mboolean.depv12021-07-25 20:57 161  
[ ]mboolean__t2_mboolean2021-07-18 04:35 8.5K 
[ ]mboolean__t1_mboolean.vout2021-07-25 18:31 6.2K 
[ ]mboolean__t1_mboolean2021-07-18 04:35 12K 
[ ]mboolean__l28_mboolean.vout2021-07-25 14:50 47K 
[ ]mboolean__l28_mboolean.vmin1out2021-07-25 20:59 47K 
[ ]mboolean__l28_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__l28_mboolean.depvmin12021-07-25 21:03 86  
[ ]mboolean__l28_mboolean.depv12021-07-25 20:57 86  
[ ]mboolean__l28_mboolean2021-07-18 04:44 4.3K 
[ ]mboolean__l27_mboolean.vout2021-07-25 14:22 46K 
[ ]mboolean__l27_mboolean.vmin1out2021-07-25 20:58 47K 
[ ]mboolean__l27_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__l27_mboolean.depvmin12021-07-25 21:03 86  
[ ]mboolean__l27_mboolean.depv12021-07-25 20:57 86  
[ ]mboolean__l27_mboolean2021-07-18 04:44 4.5K 
[ ]mboolean__l6_mboolean.vout2021-07-25 19:28 40K 
[ ]mboolean__l6_mboolean.vmin1out2021-07-25 20:59 41K 
[ ]mboolean__l6_mboolean.vmin12021-07-25 20:57 1.8K 
[ ]mboolean__l6_mboolean.depvmin12021-07-25 21:03 83  
[ ]mboolean__l6_mboolean.depv12021-07-25 20:57 83  
[ ]mboolean__l6_mboolean2021-07-18 04:44 5.9K 
[ ]mboolean__l5_mboolean.vout2021-07-25 19:35 47K 
[ ]mboolean__l5_mboolean.vmin1out2021-07-25 21:01 47K 
[ ]mboolean__l5_mboolean.vmin12021-07-25 20:57 2.0K 
[ ]mboolean__l5_mboolean.depvmin12021-07-25 21:03 108  
[ ]mboolean__l5_mboolean.depv12021-07-25 20:57 108  
[ ]mboolean__l5_mboolean2021-07-18 04:44 5.9K 
[ ]mboolean__l4_mboolean.vout2021-07-25 20:03 46K 
[ ]mboolean__l4_mboolean.vmin1out2021-07-25 21:02 47K 
[ ]mboolean__l4_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__l4_mboolean.depvmin12021-07-25 21:03 83  
[ ]mboolean__l4_mboolean.depv12021-07-25 20:57 83  
[ ]mboolean__l4_mboolean2021-07-18 04:43 6.3K 
[ ]mboolean__l3_mboolean.vout2021-07-25 15:50 46K 
[ ]mboolean__l3_mboolean.vmin1out2021-07-25 20:59 47K 
[ ]mboolean__l3_mboolean.vmin12021-07-25 20:57 1.9K 
[ ]mboolean__l3_mboolean.depvmin12021-07-25 21:03 83  
[ ]mboolean__l3_mboolean.depv12021-07-25 20:57 83  
[ ]mboolean__l3_mboolean2021-07-18 04:43 6.5K 
[ ]mboolean__l2_mboolean.vout2021-07-25 14:58 23K 
[ ]mboolean__l2_mboolean.vmin1out2021-07-25 21:01 23K 
[ ]mboolean__l2_mboolean.vmin12021-07-25 20:57 2.0K 
[ ]mboolean__l2_mboolean.depvmin12021-07-25 21:03 212  
[ ]mboolean__l2_mboolean.depv12021-07-25 20:57 212  
[ ]mboolean__l2_mboolean2021-07-18 04:43 8.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80