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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]binarith__t1_binarith2021-07-18 05:55 18K 
[ ]binarith__t1_binarith.depv12021-07-25 20:57 206  
[ ]binarith__t1_binarith.depvmin12021-07-25 21:03 206  
[ ]binarith__t1_binarith.vmin12021-07-25 20:57 1.9K 
[ ]binarith__t1_binarith.vmin1out2021-07-25 20:59 23K 
[ ]binarith__t1_binarith.vout2021-07-25 17:27 24K 
[ ]binarith__t2_binarith2021-07-18 05:55 22K 
[ ]binarith__t2_binarith.vout2021-07-25 15:26 7.3K 
[ ]binarith__t3_binarith2021-07-18 05:52 22K 
[ ]binarith__t3_binarith.vout2021-07-25 17:53 2.0K 
[ ]binarith__t4_binarith2021-07-18 05:52 21K 
[ ]binarith__t4_binarith.depv12021-07-25 20:57 66  
[ ]binarith__t4_binarith.depvmin12021-07-25 21:03 66  
[ ]binarith__t4_binarith.vmin12021-07-25 20:57 539  
[ ]binarith__t4_binarith.vmin1out2021-07-25 21:02 5.1K 
[ ]binarith__t4_binarith.vout2021-07-25 16:21 6.4K 
[ ]binarith__t5_binarith2021-07-18 05:52 21K 
[ ]binarith__t5_binarith.depv12021-07-25 20:57 79  
[ ]binarith__t5_binarith.depvmin12021-07-25 21:03 79  
[ ]binarith__t5_binarith.vmin12021-07-25 20:57 655  
[ ]binarith__t5_binarith.vmin1out2021-07-25 21:02 7.0K 
[ ]binarith__t5_binarith.vout2021-07-25 17:45 8.0K 
[ ]binarith__t6_binarith2021-07-18 05:53 21K 
[ ]binarith__t6_binarith.vout2021-07-25 18:32 2.0K 
[ ]binarith__t7_binarith2021-07-18 05:53 29K 
[ ]binarith__t7_binarith.vout2021-07-25 17:22 2.0K 
[ ]binarith__t8_binarith2021-07-18 05:53 23K 
[ ]binarith__t8_binarith.depv12021-07-25 20:57 605  
[ ]binarith__t8_binarith.depvmin12021-07-25 21:03 407  
[ ]binarith__t8_binarith.vmin12021-07-25 20:57 3.5K 
[ ]binarith__t8_binarith.vmin1out2021-07-25 20:59 23K 
[ ]binarith__t8_binarith.vout2021-07-25 18:57 35K 
[ ]binarith__t9_binarith2021-07-18 05:53 12K 
[ ]binarith__t9_binarith.depv12021-07-25 20:57 36  
[ ]binarith__t9_binarith.depvmin12021-07-25 21:03 36  
[ ]binarith__t9_binarith.vmin12021-07-25 20:57 201  
[ ]binarith__t9_binarith.vmin1out2021-07-25 20:58 3.1K 
[ ]binarith__t9_binarith.vout2021-07-25 14:57 3.2K 
[ ]binarith__t10_binarith2021-07-18 05:54 22K 
[ ]binarith__t10_binarith.vout2021-07-25 20:45 2.0K 
[ ]binarith__t11_binarith2021-07-18 05:54 21K 
[ ]binarith__t11_binarith.vout2021-07-25 19:51 2.0K 
[ ]binarith__t12_binarith2021-07-18 05:54 21K 
[ ]binarith__t12_binarith.depv12021-07-25 20:57 37  
[ ]binarith__t12_binarith.depvmin12021-07-25 21:03 37  
[ ]binarith__t12_binarith.vmin12021-07-25 20:57 202  
[ ]binarith__t12_binarith.vmin1out2021-07-25 20:58 3.1K 
[ ]binarith__t12_binarith.vout2021-07-25 15:02 3.2K 
[ ]binarith__t13_binarith2021-07-18 05:54 21K 
[ ]binarith__t13_binarith.depv12021-07-25 20:57 423  
[ ]binarith__t13_binarith.depvmin12021-07-25 21:03 423  
[ ]binarith__t13_binarith.vmin12021-07-25 20:57 2.3K 
[ ]binarith__t13_binarith.vmin1out2021-07-25 21:02 16K 
[ ]binarith__t13_binarith.vout2021-07-25 16:50 19K 
[ ]binarith__t14_binarith2021-07-18 05:55 14K 
[ ]binarith__t14_binarith.depv12021-07-25 20:57 214  
[ ]binarith__t14_binarith.depvmin12021-07-25 21:03 214  
[ ]binarith__t14_binarith.vmin12021-07-25 20:57 1.2K 
[ ]binarith__t14_binarith.vmin1out2021-07-25 21:00 14K 
[ ]binarith__t14_binarith.vout2021-07-25 19:50 13K 
[ ]binarith__t15_binarith2021-07-18 05:56 20K 
[ ]binarith__t15_binarith.vout2021-07-25 19:29 7.4K 
[ ]binarith__t16_binarith2021-07-18 05:56 31K 
[ ]binarith__t16_binarith.vout2021-07-25 15:29 7.4K 
[ ]binarith__t17_binarith2021-07-18 05:56 46K 
[ ]binarith__t17_binarith.vout2021-07-25 14:32 7.3K 
[ ]binarith__t18_binarith2021-07-18 05:57 45K 
[ ]binarith__t18_binarith.vout2021-07-25 17:49 7.3K 
[ ]binarith__t19_binarith2021-07-18 05:57 1.1M 
[ ]binarith__t19_binarith.vout2021-07-25 18:02 6.9K 
[ ]binarith__t20_binarith2021-07-18 05:58 37K 
[ ]binarith__t20_binarith.vout2021-07-25 17:29 7.3K 
[ ]binarith__t21_binarith2021-07-18 05:59 1.1M 
[ ]binarith__t21_binarith.vout2021-07-25 17:53 6.9K 
[ ]binarith__t22_binarith2021-07-18 05:59 38K 
[ ]binarith__t22_binarith.vout2021-07-25 15:55 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80