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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]binop_1__t20_binop_1.vout2021-07-25 20:19 7.7K 
[ ]binop_1__t20_binop_12021-07-18 11:53 7.9K 
[ ]binop_1__t19_binop_1.vout2021-07-25 18:57 2.0K 
[ ]binop_1__t19_binop_12021-07-18 11:53 7.3K 
[ ]binop_1__t18_binop_1.vout2021-07-25 15:04 19K 
[ ]binop_1__t18_binop_1.vmin1out2021-07-25 21:02 19K 
[ ]binop_1__t18_binop_1.vmin12021-07-25 20:57 1.4K 
[ ]binop_1__t18_binop_1.depvmin12021-07-25 21:03 87  
[ ]binop_1__t18_binop_1.depv12021-07-25 20:57 87  
[ ]binop_1__t18_binop_12021-07-18 11:51 7.8K 
[ ]binop_1__t17_binop_1.vout2021-07-25 16:26 13K 
[ ]binop_1__t17_binop_1.vmin1out2021-07-25 20:58 13K 
[ ]binop_1__t17_binop_1.vmin12021-07-25 20:57 1.0K 
[ ]binop_1__t17_binop_1.depvmin12021-07-25 21:03 60  
[ ]binop_1__t17_binop_1.depv12021-07-25 20:57 60  
[ ]binop_1__t17_binop_12021-07-18 11:53 7.1K 
[ ]binop_1__t16_binop_1.vout2021-07-25 18:35 28K 
[ ]binop_1__t16_binop_1.vmin1out2021-07-25 21:01 24K 
[ ]binop_1__t16_binop_1.vmin12021-07-25 20:57 1.6K 
[ ]binop_1__t16_binop_1.depvmin12021-07-25 21:03 48  
[ ]binop_1__t16_binop_1.depv12021-07-25 20:57 48  
[ ]binop_1__t16_binop_12021-07-18 11:52 11K 
[ ]binop_1__t15_binop_1.vout2021-07-25 19:08 33K 
[ ]binop_1__t15_binop_1.vmin1out2021-07-25 21:02 50K 
[ ]binop_1__t15_binop_1.vmin12021-07-25 20:57 2.4K 
[ ]binop_1__t15_binop_1.depvmin12021-07-25 21:03 72  
[ ]binop_1__t15_binop_1.depv12021-07-25 20:57 72  
[ ]binop_1__t15_binop_12021-07-18 11:50 9.7K 
[ ]binop_1__t14_binop_1.vout2021-07-25 17:55 33K 
[ ]binop_1__t14_binop_1.vmin1out2021-07-25 21:00 50K 
[ ]binop_1__t14_binop_1.vmin12021-07-25 20:57 2.4K 
[ ]binop_1__t14_binop_1.depvmin12021-07-25 21:03 72  
[ ]binop_1__t14_binop_1.depv12021-07-25 20:57 72  
[ ]binop_1__t14_binop_12021-07-18 11:50 9.7K 
[ ]binop_1__t13_binop_1.vout2021-07-25 16:40 2.0K 
[ ]binop_1__t13_binop_12021-07-18 11:52 8.8K 
[ ]binop_1__t12_binop_1.vout2021-07-25 19:04 2.0K 
[ ]binop_1__t12_binop_12021-07-18 11:52 8.8K 
[ ]binop_1__t11_binop_1.vout2021-07-25 17:47 2.0K 
[ ]binop_1__t11_binop_12021-07-18 11:52 10K 
[ ]binop_1__t10_binop_1.vout2021-07-25 18:56 14K 
[ ]binop_1__t10_binop_1.vmin1out2021-07-25 21:02 14K 
[ ]binop_1__t10_binop_1.vmin12021-07-25 20:57 897  
[ ]binop_1__t10_binop_1.depvmin12021-07-25 21:03 34  
[ ]binop_1__t10_binop_1.depv12021-07-25 20:57 34  
[ ]binop_1__t10_binop_12021-07-18 11:50 8.4K 
[ ]binop_1__t9_binop_1.vout2021-07-25 18:24 15K 
[ ]binop_1__t9_binop_1.vmin1out2021-07-25 20:58 14K 
[ ]binop_1__t9_binop_1.vmin12021-07-25 20:57 877  
[ ]binop_1__t9_binop_1.depvmin12021-07-25 21:03 33  
[ ]binop_1__t9_binop_1.depv12021-07-25 20:57 33  
[ ]binop_1__t9_binop_12021-07-18 11:52 7.9K 
[ ]binop_1__t8_binop_1.vout2021-07-25 16:37 16K 
[ ]binop_1__t8_binop_1.vmin1out2021-07-25 21:01 16K 
[ ]binop_1__t8_binop_1.vmin12021-07-25 20:57 1.1K 
[ ]binop_1__t8_binop_1.depvmin12021-07-25 21:03 44  
[ ]binop_1__t8_binop_1.depv12021-07-25 20:57 44  
[ ]binop_1__t8_binop_12021-07-18 11:52 8.7K 
[ ]binop_1__t7_binop_1.vout2021-07-25 18:57 23K 
[ ]binop_1__t7_binop_1.vmin1out2021-07-25 21:00 19K 
[ ]binop_1__t7_binop_1.vmin12021-07-25 20:57 1.1K 
[ ]binop_1__t7_binop_1.depvmin12021-07-25 21:03 44  
[ ]binop_1__t7_binop_1.depv12021-07-25 20:57 44  
[ ]binop_1__t7_binop_12021-07-18 11:50 7.9K 
[ ]binop_1__t6_binop_1.vout2021-07-25 18:36 23K 
[ ]binop_1__t6_binop_1.vmin1out2021-07-25 20:58 18K 
[ ]binop_1__t6_binop_1.vmin12021-07-25 20:57 1.1K 
[ ]binop_1__t6_binop_1.depvmin12021-07-25 21:03 44  
[ ]binop_1__t6_binop_1.depv12021-07-25 20:57 44  
[ ]binop_1__t6_binop_12021-07-18 11:50 7.9K 
[ ]binop_1__t5_binop_1.vout2021-07-25 20:23 2.0K 
[ ]binop_1__t5_binop_12021-07-18 11:51 7.3K 
[ ]binop_1__t4_binop_1.vout2021-07-25 19:59 2.0K 
[ ]binop_1__t4_binop_12021-07-18 11:51 7.3K 
[ ]binop_1__t3_binop_1.vout2021-07-25 17:19 45K 
[ ]binop_1__t3_binop_1.vmin1out2021-07-25 21:00 29K 
[ ]binop_1__t3_binop_1.vmin12021-07-25 20:57 2.1K 
[ ]binop_1__t3_binop_1.depvmin12021-07-25 21:03 44  
[ ]binop_1__t3_binop_1.depv12021-07-25 20:57 142  
[ ]binop_1__t3_binop_12021-07-18 11:51 8.2K 
[ ]binop_1__t2_binop_1.vout2021-07-25 15:33 28K 
[ ]binop_1__t2_binop_1.vmin1out2021-07-25 21:02 28K 
[ ]binop_1__t2_binop_1.vmin12021-07-25 20:57 1.4K 
[ ]binop_1__t2_binop_1.depvmin12021-07-25 21:03 56  
[ ]binop_1__t2_binop_1.depv12021-07-25 20:57 56  
[ ]binop_1__t2_binop_12021-07-18 11:51 7.9K 
[ ]binop_1__t1_binop_1.vout2021-07-25 20:11 7.1K 
[ ]binop_1__t1_binop_12021-07-18 11:51 8.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80