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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]boole__l6_boole2024-07-28 06:17 566  
[ ]boole__l6_boole.depv12024-08-03 10:19 61  
[ ]boole__l6_boole.depvmin12024-08-03 10:24 61  
[ ]boole__l6_boole.vmin12024-08-03 10:20 395  
[ ]boole__l6_boole.vmin1out2024-08-03 10:21 4.9K 
[ ]boole__l6_boole.vout2024-08-03 10:04 4.9K 
[ ]boole__t1_boole2024-07-28 06:16 1.1K 
[ ]boole__t1_boole.depv12024-08-03 10:19 63  
[ ]boole__t1_boole.depvmin12024-08-03 10:24 63  
[ ]boole__t1_boole.vmin12024-08-03 10:20 442  
[ ]boole__t1_boole.vmin1out2024-08-03 10:21 7.4K 
[ ]boole__t1_boole.vout2024-08-03 05:23 7.4K 
[ ]boole__t2_boole2024-07-28 06:16 1.1K 
[ ]boole__t2_boole.depv12024-08-03 10:19 63  
[ ]boole__t2_boole.depvmin12024-08-03 10:24 63  
[ ]boole__t2_boole.vmin12024-08-03 10:20 452  
[ ]boole__t2_boole.vmin1out2024-08-03 10:20 6.6K 
[ ]boole__t2_boole.vout2024-08-03 08:41 6.6K 
[ ]boole__t3_boole2024-07-28 06:16 944  
[ ]boole__t3_boole.depv12024-08-03 10:19 63  
[ ]boole__t3_boole.depvmin12024-08-03 10:24 63  
[ ]boole__t3_boole.vmin12024-08-03 10:20 448  
[ ]boole__t3_boole.vmin1out2024-08-03 10:23 7.4K 
[ ]boole__t3_boole.vout2024-08-03 07:37 7.3K 
[ ]boole__t4_boole2024-07-28 06:16 954  
[ ]boole__t4_boole.depv12024-08-03 10:19 63  
[ ]boole__t4_boole.depvmin12024-08-03 10:24 63  
[ ]boole__t4_boole.vmin12024-08-03 10:20 458  
[ ]boole__t4_boole.vmin1out2024-08-03 10:23 6.6K 
[ ]boole__t4_boole.vout2024-08-03 09:21 6.6K 
[ ]boole__t5_boole2024-07-28 06:17 1.5K 
[ ]boole__t5_boole.depv12024-08-03 10:19 87  
[ ]boole__t5_boole.depvmin12024-08-03 10:24 87  
[ ]boole__t5_boole.vmin12024-08-03 10:20 730  
[ ]boole__t5_boole.vmin1out2024-08-03 10:23 15K 
[ ]boole__t5_boole.vout2024-08-03 07:45 14K 
[ ]boole__t6_boole2024-07-28 06:15 335  
[ ]boole__t6_boole.depv12024-08-03 10:19 30  
[ ]boole__t6_boole.depvmin12024-08-03 10:24 30  
[ ]boole__t6_boole.vmin12024-08-03 10:20 200  
[ ]boole__t6_boole.vmin1out2024-08-03 10:23 2.8K 
[ ]boole__t6_boole.vout2024-08-03 06:58 2.8K 
[ ]boole__t7_boole2024-07-28 06:15 513  
[ ]boole__t7_boole.depv12024-08-03 10:19 44  
[ ]boole__t7_boole.depvmin12024-08-03 10:24 44  
[ ]boole__t7_boole.vmin12024-08-03 10:20 282  
[ ]boole__t7_boole.vmin1out2024-08-03 10:20 2.7K 
[ ]boole__t7_boole.vout2024-08-03 06:08 2.6K 
[ ]boole__t8_boole2024-07-28 06:17 368  
[ ]boole__t8_boole.depv12024-08-03 10:19 30  
[ ]boole__t8_boole.depvmin12024-08-03 10:24 30  
[ ]boole__t8_boole.vmin12024-08-03 10:20 234  
[ ]boole__t8_boole.vmin1out2024-08-03 10:22 3.8K 
[ ]boole__t8_boole.vout2024-08-03 04:24 3.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80