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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]binarith__t1_binarith2024-07-27 13:05 18K 
[ ]binarith__t1_binarith.depv12024-08-03 10:19 206  
[ ]binarith__t1_binarith.depvmin12024-08-03 10:24 206  
[ ]binarith__t1_binarith.vmin12024-08-03 10:19 1.9K 
[ ]binarith__t1_binarith.vmin1out2024-08-03 10:21 23K 
[ ]binarith__t1_binarith.vout2024-08-03 07:44 24K 
[ ]binarith__t2_binarith2024-07-27 13:06 23K 
[ ]binarith__t2_binarith.vout2024-08-03 07:43 7.3K 
[ ]binarith__t3_binarith2024-07-27 12:55 22K 
[ ]binarith__t3_binarith.depv12024-08-03 10:19 339  
[ ]binarith__t3_binarith.depvmin12024-08-03 10:24 316  
[ ]binarith__t3_binarith.vmin12024-08-03 10:19 2.0K 
[ ]binarith__t3_binarith.vmin1out2024-08-03 10:21 13K 
[ ]binarith__t3_binarith.vout2024-08-03 05:22 39K 
[ ]binarith__t4_binarith2024-07-27 12:56 21K 
[ ]binarith__t4_binarith.depv12024-08-03 10:19 66  
[ ]binarith__t4_binarith.depvmin12024-08-03 10:24 66  
[ ]binarith__t4_binarith.vmin12024-08-03 10:19 539  
[ ]binarith__t4_binarith.vmin1out2024-08-03 10:20 5.1K 
[ ]binarith__t4_binarith.vout2024-08-03 08:15 5.8K 
[ ]binarith__t5_binarith2024-07-27 12:57 21K 
[ ]binarith__t5_binarith.depv12024-08-03 10:19 79  
[ ]binarith__t5_binarith.depvmin12024-08-03 10:24 79  
[ ]binarith__t5_binarith.vmin12024-08-03 10:19 655  
[ ]binarith__t5_binarith.vmin1out2024-08-03 10:22 7.0K 
[ ]binarith__t5_binarith.vout2024-08-03 08:00 8.0K 
[ ]binarith__t6_binarith2024-07-27 12:58 21K 
[ ]binarith__t6_binarith.depv12024-08-03 10:19 79  
[ ]binarith__t6_binarith.depvmin12024-08-03 10:24 79  
[ ]binarith__t6_binarith.vmin12024-08-03 10:19 655  
[ ]binarith__t6_binarith.vmin1out2024-08-03 10:21 7.1K 
[ ]binarith__t6_binarith.vout2024-08-03 06:07 6.8K 
[ ]binarith__t7_binarith2024-07-27 12:59 29K 
[ ]binarith__t7_binarith.vout2024-08-03 08:23 2.0K 
[ ]binarith__t8_binarith2024-07-27 13:00 23K 
[ ]binarith__t8_binarith.depv12024-08-03 10:19 605  
[ ]binarith__t8_binarith.depvmin12024-08-03 10:24 407  
[ ]binarith__t8_binarith.vmin12024-08-03 10:19 3.5K 
[ ]binarith__t8_binarith.vmin1out2024-08-03 10:22 23K 
[ ]binarith__t8_binarith.vout2024-08-03 06:03 35K 
[ ]binarith__t9_binarith2024-07-27 13:00 12K 
[ ]binarith__t9_binarith.depv12024-08-03 10:19 36  
[ ]binarith__t9_binarith.depvmin12024-08-03 10:24 36  
[ ]binarith__t9_binarith.vmin12024-08-03 10:19 201  
[ ]binarith__t9_binarith.vmin1out2024-08-03 10:21 3.1K 
[ ]binarith__t9_binarith.vout2024-08-03 08:13 3.2K 
[ ]binarith__t10_binarith2024-07-27 13:01 22K 
[ ]binarith__t10_binarith.vout2024-08-03 04:14 2.0K 
[ ]binarith__t11_binarith2024-07-27 13:02 21K 
[ ]binarith__t11_binarith.vout2024-08-03 06:18 2.0K 
[ ]binarith__t12_binarith2024-07-27 13:03 21K 
[ ]binarith__t12_binarith.depv12024-08-03 10:19 37  
[ ]binarith__t12_binarith.depvmin12024-08-03 10:24 37  
[ ]binarith__t12_binarith.vmin12024-08-03 10:19 202  
[ ]binarith__t12_binarith.vmin1out2024-08-03 10:22 3.1K 
[ ]binarith__t12_binarith.vout2024-08-03 08:37 3.2K 
[ ]binarith__t13_binarith2024-07-27 13:04 21K 
[ ]binarith__t13_binarith.depv12024-08-03 10:19 513  
[ ]binarith__t13_binarith.depvmin12024-08-03 10:24 423  
[ ]binarith__t13_binarith.vmin12024-08-03 10:19 2.9K 
[ ]binarith__t13_binarith.vmin1out2024-08-03 10:21 16K 
[ ]binarith__t13_binarith.vout2024-08-03 05:40 25K 
[ ]binarith__t14_binarith2024-07-27 13:07 14K 
[ ]binarith__t14_binarith.depv12024-08-03 10:19 214  
[ ]binarith__t14_binarith.depvmin12024-08-03 10:24 214  
[ ]binarith__t14_binarith.vmin12024-08-03 10:19 1.2K 
[ ]binarith__t14_binarith.vmin1out2024-08-03 10:21 14K 
[ ]binarith__t14_binarith.vout2024-08-03 08:56 13K 
[ ]binarith__t15_binarith2024-07-27 13:08 21K 
[ ]binarith__t15_binarith.depv12024-08-03 10:19 580  
[ ]binarith__t15_binarith.depvmin12024-08-03 10:24 565  
[ ]binarith__t15_binarith.vmin12024-08-03 10:19 4.5K 
[ ]binarith__t15_binarith.vmin1out2024-08-03 10:20 52K 
[ ]binarith__t15_binarith.vout2024-08-03 05:18 55K 
[ ]binarith__t16_binarith2024-07-27 13:09 31K 
[ ]binarith__t16_binarith.vout2024-08-03 05:01 7.4K 
[ ]binarith__t17_binarith2024-07-27 13:11 46K 
[ ]binarith__t17_binarith.vout2024-08-03 08:35 7.3K 
[ ]binarith__t18_binarith2024-07-27 13:12 46K 
[ ]binarith__t18_binarith.vout2024-08-03 06:54 7.3K 
[ ]binarith__t19_binarith2024-07-27 13:14 1.6M 
[ ]binarith__t19_binarith.vout2024-08-03 05:31 6.8K 
[ ]binarith__t20_binarith2024-07-27 13:16 37K 
[ ]binarith__t20_binarith.vout2024-08-03 07:23 7.3K 
[ ]binarith__t21_binarith2024-07-27 13:18 1.6M 
[ ]binarith__t21_binarith.vout2024-08-03 10:04 6.9K 
[ ]binarith__t22_binarith2024-07-27 13:20 39K 
[ ]binarith__t22_binarith.vout2024-08-03 08:50 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80