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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboole_0__l13_xboole_02024-07-28 14:30 743  
[ ]xboole_0__l13_xboole_0.depv12024-08-03 10:19 60  
[ ]xboole_0__l13_xboole_0.depvmin12024-08-03 10:24 60  
[ ]xboole_0__l13_xboole_0.vmin12024-08-03 10:19 391  
[ ]xboole_0__l13_xboole_0.vmin1out2024-08-03 10:23 5.1K 
[ ]xboole_0__l13_xboole_0.vout2024-08-03 08:47 5.4K 
[ ]xboole_0__t1_xboole_02024-07-28 14:29 1.1K 
[ ]xboole_0__t1_xboole_0.depv12024-08-03 10:19 48  
[ ]xboole_0__t1_xboole_0.depvmin12024-08-03 10:24 48  
[ ]xboole_0__t1_xboole_0.vmin12024-08-03 10:19 605  
[ ]xboole_0__t1_xboole_0.vmin1out2024-08-03 10:22 17K 
[ ]xboole_0__t1_xboole_0.vout2024-08-03 05:56 17K 
[ ]xboole_0__t2_xboole_02024-07-28 14:29 1.2K 
[ ]xboole_0__t2_xboole_0.depv12024-08-03 10:19 48  
[ ]xboole_0__t2_xboole_0.depvmin12024-08-03 10:24 48  
[ ]xboole_0__t2_xboole_0.vmin12024-08-03 10:19 628  
[ ]xboole_0__t2_xboole_0.vmin1out2024-08-03 10:23 24K 
[ ]xboole_0__t2_xboole_0.vout2024-08-03 05:56 24K 
[ ]xboole_0__t3_xboole_02024-07-28 14:29 1.4K 
[ ]xboole_0__t3_xboole_0.depv12024-08-03 10:19 91  
[ ]xboole_0__t3_xboole_0.depvmin12024-08-03 10:24 91  
[ ]xboole_0__t3_xboole_0.vmin12024-08-03 10:19 763  
[ ]xboole_0__t3_xboole_0.vmin1out2024-08-03 10:20 13K 
[ ]xboole_0__t3_xboole_0.vout2024-08-03 09:28 14K 
[ ]xboole_0__t4_xboole_02024-07-28 14:30 1.2K 
[ ]xboole_0__t4_xboole_0.depv12024-08-03 10:19 74  
[ ]xboole_0__t4_xboole_0.depvmin12024-08-03 10:24 74  
[ ]xboole_0__t4_xboole_0.vmin12024-08-03 10:19 602  
[ ]xboole_0__t4_xboole_0.vmin1out2024-08-03 10:22 9.6K 
[ ]xboole_0__t4_xboole_0.vout2024-08-03 09:09 7.1K 
[ ]xboole_0__t5_xboole_02024-07-28 14:28 1.9K 
[ ]xboole_0__t5_xboole_0.depv12024-08-03 10:19 36  
[ ]xboole_0__t5_xboole_0.depvmin12024-08-03 10:24 36  
[ ]xboole_0__t5_xboole_0.vmin12024-08-03 10:19 633  
[ ]xboole_0__t5_xboole_0.vmin1out2024-08-03 10:20 8.8K 
[ ]xboole_0__t5_xboole_0.vout2024-08-03 08:20 8.8K 
[ ]xboole_0__t6_xboole_02024-07-28 14:28 766  
[ ]xboole_0__t6_xboole_0.depv12024-08-03 10:19 56  
[ ]xboole_0__t6_xboole_0.depvmin12024-08-03 10:24 56  
[ ]xboole_0__t6_xboole_0.vmin12024-08-03 10:19 478  
[ ]xboole_0__t6_xboole_0.vmin1out2024-08-03 10:20 6.4K 
[ ]xboole_0__t6_xboole_0.vout2024-08-03 05:59 6.4K 
[ ]xboole_0__t7_xboole_02024-07-28 14:28 735  
[ ]xboole_0__t7_xboole_0.depv12024-08-03 10:19 49  
[ ]xboole_0__t7_xboole_0.depvmin12024-08-03 10:24 49  
[ ]xboole_0__t7_xboole_0.vmin12024-08-03 10:19 332  
[ ]xboole_0__t7_xboole_0.vmin1out2024-08-03 10:20 4.1K 
[ ]xboole_0__t7_xboole_0.vout2024-08-03 10:03 4.2K 
[ ]xboole_0__t8_xboole_02024-07-28 14:30 1.4K 
[ ]xboole_0__t8_xboole_0.depv12024-08-03 10:19 68  
[ ]xboole_0__t8_xboole_0.depvmin12024-08-03 10:24 68  
[ ]xboole_0__t8_xboole_0.vmin12024-08-03 10:19 822  
[ ]xboole_0__t8_xboole_0.vmin1out2024-08-03 10:22 13K 
[ ]xboole_0__t8_xboole_0.vout2024-08-03 07:11 13K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80