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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gate_2__t1_gate_22024-07-27 22:18 7.1K 
[ ]gate_2__t1_gate_2.depv12024-08-03 10:19 215  
[ ]gate_2__t1_gate_2.depvmin12024-08-03 10:24 215  
[ ]gate_2__t1_gate_2.vmin12024-08-03 10:19 6.1K 
[ ]gate_2__t1_gate_2.vmin1out2024-08-03 10:23 163K 
[ ]gate_2__t1_gate_2.vout2024-08-03 07:24 175K 
[ ]gate_2__t2_gate_22024-07-27 22:19 1.8K 
[ ]gate_2__t2_gate_2.depv12024-08-03 10:19 113  
[ ]gate_2__t2_gate_2.depvmin12024-08-03 10:24 113  
[ ]gate_2__t2_gate_2.vmin12024-08-03 10:19 1.2K 
[ ]gate_2__t2_gate_2.vmin1out2024-08-03 10:22 27K 
[ ]gate_2__t2_gate_2.vout2024-08-03 09:14 27K 
[ ]gate_2__t3_gate_22024-07-27 22:19 3.0K 
[ ]gate_2__t3_gate_2.depv12024-08-03 10:19 181  
[ ]gate_2__t3_gate_2.depvmin12024-08-03 10:24 181  
[ ]gate_2__t3_gate_2.vmin12024-08-03 10:19 2.4K 
[ ]gate_2__t3_gate_2.vmin1out2024-08-03 10:20 59K 
[ ]gate_2__t3_gate_2.vout2024-08-03 05:29 60K 
[ ]gate_2__t4_gate_22024-07-27 22:20 7.1K 
[ ]gate_2__t4_gate_2.depv12024-08-03 10:19 238  
[ ]gate_2__t4_gate_2.depvmin12024-08-03 10:24 238  
[ ]gate_2__t4_gate_2.vmin12024-08-03 10:19 6.4K 
[ ]gate_2__t4_gate_2.vmin1out2024-08-03 10:20 206K 
[ ]gate_2__t4_gate_2.vout2024-08-03 09:11 207K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80