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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gate_1__t42_gate_1.vout2021-07-25 19:53 2.0K 
[ ]gate_1__t42_gate_12021-07-18 11:45 14K 
[ ]gate_1__t41_gate_1.vout2021-07-25 19:34 10K 
[ ]gate_1__t41_gate_1.vmin1out2021-07-25 21:00 11K 
[ ]gate_1__t41_gate_1.vmin12021-07-25 20:57 790  
[ ]gate_1__t41_gate_1.depvmin12021-07-25 21:03 71  
[ ]gate_1__t41_gate_1.depv12021-07-25 20:57 71  
[ ]gate_1__t41_gate_12021-07-18 11:45 1.1K 
[ ]gate_1__t40_gate_1.vout2021-07-25 19:57 27K 
[ ]gate_1__t40_gate_1.vmin1out2021-07-25 21:01 27K 
[ ]gate_1__t40_gate_1.vmin12021-07-25 20:57 2.2K 
[ ]gate_1__t40_gate_1.depvmin12021-07-25 21:03 105  
[ ]gate_1__t40_gate_1.depv12021-07-25 20:57 105  
[ ]gate_1__t40_gate_12021-07-18 11:45 3.2K 
[ ]gate_1__t39_gate_1.vout2021-07-25 15:15 22K 
[ ]gate_1__t39_gate_1.vmin1out2021-07-25 20:58 22K 
[ ]gate_1__t39_gate_1.vmin12021-07-25 20:57 1.1K 
[ ]gate_1__t39_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t39_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t39_gate_12021-07-18 11:45 1.4K 
[ ]gate_1__t38_gate_1.vout2021-07-25 19:44 23K 
[ ]gate_1__t38_gate_1.vmin1out2021-07-25 21:00 23K 
[ ]gate_1__t38_gate_1.vmin12021-07-25 20:57 1.5K 
[ ]gate_1__t38_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t38_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t38_gate_12021-07-18 11:45 1.8K 
[ ]gate_1__t37_gate_1.vout2021-07-25 17:33 21K 
[ ]gate_1__t37_gate_1.vmin1out2021-07-25 21:01 21K 
[ ]gate_1__t37_gate_1.vmin12021-07-25 20:57 1.3K 
[ ]gate_1__t37_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t37_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t37_gate_12021-07-18 11:45 1.6K 
[ ]gate_1__t36_gate_1.vout2021-07-25 18:31 36K 
[ ]gate_1__t36_gate_1.vmin1out2021-07-25 21:00 35K 
[ ]gate_1__t36_gate_1.vmin12021-07-25 20:57 1.2K 
[ ]gate_1__t36_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t36_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t36_gate_12021-07-18 11:45 1.5K 
[ ]gate_1__t35_gate_1.vout2021-07-25 16:21 19K 
[ ]gate_1__t35_gate_1.vmin1out2021-07-25 20:57 19K 
[ ]gate_1__t35_gate_1.vmin12021-07-25 20:57 1.0K 
[ ]gate_1__t35_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t35_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t35_gate_12021-07-18 11:45 1.3K 
[ ]gate_1__t34_gate_1.vout2021-07-25 15:40 21K 
[ ]gate_1__t34_gate_1.vmin1out2021-07-25 21:01 21K 
[ ]gate_1__t34_gate_1.vmin12021-07-25 20:57 1.3K 
[ ]gate_1__t34_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t34_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t34_gate_12021-07-18 11:45 1.7K 
[ ]gate_1__t33_gate_1.vout2021-07-25 19:41 19K 
[ ]gate_1__t33_gate_1.vmin1out2021-07-25 21:02 19K 
[ ]gate_1__t33_gate_1.vmin12021-07-25 20:57 1.2K 
[ ]gate_1__t33_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t33_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t33_gate_12021-07-18 11:44 1.5K 
[ ]gate_1__t32_gate_1.vout2021-07-25 17:08 31K 
[ ]gate_1__t32_gate_1.vmin1out2021-07-25 21:00 19K 
[ ]gate_1__t32_gate_1.vmin12021-07-25 20:57 1.1K 
[ ]gate_1__t32_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t32_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t32_gate_12021-07-18 11:44 1.4K 
[ ]gate_1__t31_gate_1.vout2021-07-25 15:57 17K 
[ ]gate_1__t31_gate_1.vmin1out2021-07-25 21:00 17K 
[ ]gate_1__t31_gate_1.vmin12021-07-25 20:57 888  
[ ]gate_1__t31_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t31_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t31_gate_12021-07-18 11:44 1.2K 
[ ]gate_1__t30_gate_1.vout2021-07-25 19:11 18K 
[ ]gate_1__t30_gate_1.vmin1out2021-07-25 21:01 18K 
[ ]gate_1__t30_gate_1.vmin12021-07-25 20:57 1.2K 
[ ]gate_1__t30_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t30_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t30_gate_12021-07-18 11:44 1.5K 
[ ]gate_1__t29_gate_1.vout2021-07-25 18:15 17K 
[ ]gate_1__t29_gate_1.vmin1out2021-07-25 21:00 17K 
[ ]gate_1__t29_gate_1.vmin12021-07-25 20:57 1.1K 
[ ]gate_1__t29_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t29_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t29_gate_12021-07-18 11:44 1.4K 
[ ]gate_1__t28_gate_1.vout2021-07-25 16:13 27K 
[ ]gate_1__t28_gate_1.vmin1out2021-07-25 21:01 27K 
[ ]gate_1__t28_gate_1.vmin12021-07-25 20:57 1.0K 
[ ]gate_1__t28_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t28_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t28_gate_12021-07-18 11:44 1.3K 
[ ]gate_1__t27_gate_1.vout2021-07-25 15:09 15K 
[ ]gate_1__t27_gate_1.vmin1out2021-07-25 20:58 15K 
[ ]gate_1__t27_gate_1.vmin12021-07-25 20:57 792  
[ ]gate_1__t27_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t27_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t27_gate_12021-07-18 11:44 1.1K 
[ ]gate_1__t26_gate_1.vout2021-07-25 20:36 15K 
[ ]gate_1__t26_gate_1.vmin1out2021-07-25 21:00 15K 
[ ]gate_1__t26_gate_1.vmin12021-07-25 20:57 1.1K 
[ ]gate_1__t26_gate_1.depvmin12021-07-25 21:03 57  
[ ]gate_1__t26_gate_1.depv12021-07-25 20:57 57  
[ ]gate_1__t26_gate_12021-07-18 11:44 1.4K 
[ ]gate_1__t25_gate_1.vout2021-07-25 16:04 15K 
[ ]gate_1__t25_gate_1.vmin1out2021-07-25 21:00 15K 
[ ]gate_1__t25_gate_1.vmin12021-07-25 20:57 1.0K 
[ ]gate_1__t25_gate_1.depvmin12021-07-25 21:03 57  
[ ]gate_1__t25_gate_1.depv12021-07-25 20:57 57  
[ ]gate_1__t25_gate_12021-07-18 11:44 1.3K 
[ ]gate_1__t24_gate_1.vout2021-07-25 17:10 23K 
[ ]gate_1__t24_gate_1.vmin1out2021-07-25 21:00 23K 
[ ]gate_1__t24_gate_1.vmin12021-07-25 20:57 882  
[ ]gate_1__t24_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t24_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t24_gate_12021-07-18 11:44 1.2K 
[ ]gate_1__t23_gate_1.vout2021-07-25 19:03 12K 
[ ]gate_1__t23_gate_1.vmin1out2021-07-25 20:59 12K 
[ ]gate_1__t23_gate_1.vmin12021-07-25 20:57 696  
[ ]gate_1__t23_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t23_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t23_gate_12021-07-18 11:44 1.0K 
[ ]gate_1__t22_gate_1.vout2021-07-25 17:14 13K 
[ ]gate_1__t22_gate_1.vmin1out2021-07-25 20:59 13K 
[ ]gate_1__t22_gate_1.vmin12021-07-25 20:57 1.0K 
[ ]gate_1__t22_gate_1.depvmin12021-07-25 21:03 57  
[ ]gate_1__t22_gate_1.depv12021-07-25 20:57 57  
[ ]gate_1__t22_gate_12021-07-18 11:44 1.3K 
[ ]gate_1__t21_gate_1.vout2021-07-25 18:14 14K 
[ ]gate_1__t21_gate_1.vmin1out2021-07-25 20:58 14K 
[ ]gate_1__t21_gate_1.vmin12021-07-25 20:57 838  
[ ]gate_1__t21_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t21_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t21_gate_12021-07-18 11:44 1.2K 
[ ]gate_1__t20_gate_1.vout2021-07-25 18:04 19K 
[ ]gate_1__t20_gate_1.vmin1out2021-07-25 21:00 19K 
[ ]gate_1__t20_gate_1.vmin12021-07-25 20:57 768  
[ ]gate_1__t20_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t20_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t20_gate_12021-07-18 11:44 1.1K 
[ ]gate_1__t19_gate_1.vout2021-07-25 19:47 9.5K 
[ ]gate_1__t19_gate_1.vmin1out2021-07-25 21:02 9.5K 
[ ]gate_1__t19_gate_1.vmin12021-07-25 20:57 600  
[ ]gate_1__t19_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t19_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t19_gate_12021-07-18 11:44 950  
[ ]gate_1__t18_gate_1.vout2021-07-25 16:13 9.6K 
[ ]gate_1__t18_gate_1.vmin1out2021-07-25 21:00 9.6K 
[ ]gate_1__t18_gate_1.vmin12021-07-25 20:57 790  
[ ]gate_1__t18_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t18_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t18_gate_12021-07-18 11:43 1.1K 
[ ]gate_1__t17_gate_1.vout2021-07-25 15:45 15K 
[ ]gate_1__t17_gate_1.vmin1out2021-07-25 21:02 15K 
[ ]gate_1__t17_gate_1.vmin12021-07-25 20:57 1.3K 
[ ]gate_1__t17_gate_1.depvmin12021-07-25 21:03 83  
[ ]gate_1__t17_gate_1.depv12021-07-25 20:57 83  
[ ]gate_1__t17_gate_12021-07-18 11:43 1.5K 
[ ]gate_1__t16_gate_1.vout2021-07-25 19:55 21K 
[ ]gate_1__t16_gate_1.vmin1out2021-07-25 20:59 21K 
[ ]gate_1__t16_gate_1.vmin12021-07-25 20:57 1.9K 
[ ]gate_1__t16_gate_1.depvmin12021-07-25 21:03 107  
[ ]gate_1__t16_gate_1.depv12021-07-25 20:57 107  
[ ]gate_1__t16_gate_12021-07-18 11:43 2.0K 
[ ]gate_1__t15_gate_1.vout2021-07-25 16:50 8.0K 
[ ]gate_1__t15_gate_1.vmin1out2021-07-25 21:00 8.0K 
[ ]gate_1__t15_gate_1.vmin12021-07-25 20:57 756  
[ ]gate_1__t15_gate_1.depvmin12021-07-25 21:03 59  
[ ]gate_1__t15_gate_1.depv12021-07-25 20:57 59  
[ ]gate_1__t15_gate_12021-07-18 11:43 946  
[ ]gate_1__t14_gate_1.vout2021-07-25 14:41 8.1K 
[ ]gate_1__t14_gate_1.vmin1out2021-07-25 21:00 8.2K 
[ ]gate_1__t14_gate_1.vmin12021-07-25 20:57 645  
[ ]gate_1__t14_gate_1.depvmin12021-07-25 21:03 59  
[ ]gate_1__t14_gate_1.depv12021-07-25 20:57 59  
[ ]gate_1__t14_gate_12021-07-18 11:43 835  
[ ]gate_1__t13_gate_1.vout2021-07-25 15:36 6.3K 
[ ]gate_1__t13_gate_1.vmin1out2021-07-25 21:01 6.3K 
[ ]gate_1__t13_gate_1.vmin12021-07-25 20:57 435  
[ ]gate_1__t13_gate_1.depvmin12021-07-25 21:03 59  
[ ]gate_1__t13_gate_1.depv12021-07-25 20:57 59  
[ ]gate_1__t13_gate_12021-07-18 11:43 625  
[ ]gate_1__t12_gate_1.vout2021-07-25 17:03 6.2K 
[ ]gate_1__t12_gate_1.vmin1out2021-07-25 20:58 6.2K 
[ ]gate_1__t12_gate_1.vmin12021-07-25 20:57 558  
[ ]gate_1__t12_gate_1.depvmin12021-07-25 21:03 59  
[ ]gate_1__t12_gate_1.depv12021-07-25 20:57 59  
[ ]gate_1__t12_gate_12021-07-18 11:43 748  
[ ]gate_1__t11_gate_1.vout2021-07-25 14:44 11K 
[ ]gate_1__t11_gate_1.vmin1out2021-07-25 21:00 11K 
[ ]gate_1__t11_gate_1.vmin12021-07-25 20:57 1.0K 
[ ]gate_1__t11_gate_1.depvmin12021-07-25 21:03 128  
[ ]gate_1__t11_gate_1.depv12021-07-25 20:57 128  
[ ]gate_1__t11_gate_12021-07-18 11:45 1.2K 
[ ]gate_1__t10_gate_1.vout2021-07-25 16:05 8.9K 
[ ]gate_1__t10_gate_1.vmin1out2021-07-25 20:59 8.9K 
[ ]gate_1__t10_gate_1.vmin12021-07-25 20:57 653  
[ ]gate_1__t10_gate_1.depvmin12021-07-25 21:03 71  
[ ]gate_1__t10_gate_1.depv12021-07-25 20:57 71  
[ ]gate_1__t10_gate_12021-07-18 11:43 843  
[ ]gate_1__t9_gate_1.vout2021-07-25 19:03 4.1K 
[ ]gate_1__t9_gate_1.vmin1out2021-07-25 21:01 4.1K 
[ ]gate_1__t9_gate_1.vmin12021-07-25 20:57 296  
[ ]gate_1__t9_gate_1.depvmin12021-07-25 21:03 34  
[ ]gate_1__t9_gate_1.depv12021-07-25 20:57 34  
[ ]gate_1__t9_gate_12021-07-18 11:43 845  
[ ]gate_1__t8_gate_1.vout2021-07-25 15:29 5.7K 
[ ]gate_1__t8_gate_1.vmin1out2021-07-25 21:02 5.9K 
[ ]gate_1__t8_gate_1.vmin12021-07-25 20:57 564  
[ ]gate_1__t8_gate_1.depvmin12021-07-25 21:03 69  
[ ]gate_1__t8_gate_1.depv12021-07-25 20:57 69  
[ ]gate_1__t8_gate_12021-07-18 11:43 912  
[ ]gate_1__t7_gate_1.vout2021-07-25 16:23 2.9K 
[ ]gate_1__t7_gate_1.vmin1out2021-07-25 21:00 2.8K 
[ ]gate_1__t7_gate_1.vmin12021-07-25 20:57 306  
[ ]gate_1__t7_gate_1.depvmin12021-07-25 21:03 32  
[ ]gate_1__t7_gate_1.depv12021-07-25 20:57 32  
[ ]gate_1__t7_gate_12021-07-18 11:45 703  
[ ]gate_1__t6_gate_1.vout2021-07-25 15:50 9.9K 
[ ]gate_1__t6_gate_1.vmin1out2021-07-25 21:00 10K 
[ ]gate_1__t6_gate_1.vmin12021-07-25 20:57 784  
[ ]gate_1__t6_gate_1.depvmin12021-07-25 21:03 67  
[ ]gate_1__t6_gate_1.depv12021-07-25 20:57 67  
[ ]gate_1__t6_gate_12021-07-18 11:43 1.0K 
[ ]gate_1__t5_gate_1.vout2021-07-25 16:37 6.3K 
[ ]gate_1__t5_gate_1.vmin1out2021-07-25 20:59 6.3K 
[ ]gate_1__t5_gate_1.vmin12021-07-25 20:57 525  
[ ]gate_1__t5_gate_1.depvmin12021-07-25 21:03 56  
[ ]gate_1__t5_gate_1.depv12021-07-25 20:57 56  
[ ]gate_1__t5_gate_12021-07-18 11:43 714  
[ ]gate_1__t4_gate_1.vout2021-07-25 19:58 6.3K 
[ ]gate_1__t4_gate_1.vmin1out2021-07-25 21:00 6.3K 
[ ]gate_1__t4_gate_1.vmin12021-07-25 20:57 450  
[ ]gate_1__t4_gate_1.depvmin12021-07-25 21:03 56  
[ ]gate_1__t4_gate_1.depv12021-07-25 20:57 56  
[ ]gate_1__t4_gate_12021-07-18 11:43 638  
[ ]gate_1__t3_gate_1.vout2021-07-25 15:08 1.7K 
[ ]gate_1__t3_gate_1.vmin1out2021-07-25 20:59 1.7K 
[ ]gate_1__t3_gate_1.vmin12021-07-25 20:57 214  
[ ]gate_1__t3_gate_1.depvmin12021-07-25 21:03 34  
[ ]gate_1__t3_gate_1.depv12021-07-25 20:57 34  
[ ]gate_1__t3_gate_12021-07-18 11:43 528  
[ ]gate_1__t2_gate_1.vout2021-07-25 20:33 4.2K 
[ ]gate_1__t2_gate_1.vmin1out2021-07-25 21:02 4.2K 
[ ]gate_1__t2_gate_1.vmin12021-07-25 20:57 278  
[ ]gate_1__t2_gate_1.depvmin12021-07-25 21:03 32  
[ ]gate_1__t2_gate_1.depv12021-07-25 20:57 32  
[ ]gate_1__t2_gate_12021-07-18 11:43 466  
[ ]gate_1__t1_gate_1.vout2021-07-25 20:43 3.5K 
[ ]gate_1__t1_gate_1.vmin1out2021-07-25 21:01 3.6K 
[ ]gate_1__t1_gate_1.vmin12021-07-25 20:57 403  
[ ]gate_1__t1_gate_1.depvmin12021-07-25 21:03 46  
[ ]gate_1__t1_gate_1.depv12021-07-25 20:57 46  
[ ]gate_1__t1_gate_12021-07-18 11:43 841  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80