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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gate_4__t1_gate_42024-07-28 14:20 5.4K 
[ ]gate_4__t1_gate_4.depv12024-08-03 10:19 113  
[ ]gate_4__t1_gate_4.depvmin12024-08-03 10:24 113  
[ ]gate_4__t1_gate_4.vmin12024-08-03 10:20 5.3K 
[ ]gate_4__t1_gate_4.vmin1out2024-08-03 10:23 130K 
[ ]gate_4__t1_gate_4.vout2024-08-03 09:52 130K 
[ ]gate_4__t2_gate_42024-07-28 14:21 6.9K 
[ ]gate_4__t2_gate_4.depv12024-08-03 10:19 113  
[ ]gate_4__t2_gate_4.depvmin12024-08-03 10:24 113  
[ ]gate_4__t2_gate_4.vmin12024-08-03 10:20 6.8K 
[ ]gate_4__t2_gate_4.vmin1out2024-08-03 10:21 172K 
[ ]gate_4__t2_gate_4.vout2024-08-03 09:01 172K 
[ ]gate_4__t3_gate_42024-07-28 14:22 6.1K 
[ ]gate_4__t3_gate_4.depv12024-08-03 10:19 113  
[ ]gate_4__t3_gate_4.depvmin12024-08-03 10:24 113  
[ ]gate_4__t3_gate_4.vmin12024-08-03 10:20 6.0K 
[ ]gate_4__t3_gate_4.vmin1out2024-08-03 10:21 227K 
[ ]gate_4__t3_gate_4.vout2024-08-03 06:24 227K 
[ ]gate_4__t4_gate_42024-07-28 14:22 8.0K 
[ ]gate_4__t4_gate_4.depv12024-08-03 10:19 113  
[ ]gate_4__t4_gate_4.depvmin12024-08-03 10:24 113  
[ ]gate_4__t4_gate_4.vmin12024-08-03 10:20 7.9K 
[ ]gate_4__t4_gate_4.vmin1out2024-08-03 10:23 306K 
[ ]gate_4__t4_gate_4.vout2024-08-03 09:52 306K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80