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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gate_5__t1_gate_52024-07-27 07:26 5.8K 
[ ]gate_5__t1_gate_5.depv12024-08-03 10:19 287  
[ ]gate_5__t1_gate_5.depvmin12024-08-03 10:24 287  
[ ]gate_5__t1_gate_5.vmin12024-08-03 10:20 5.2K 
[ ]gate_5__t1_gate_5.vmin1out2024-08-03 10:23 133K 
[ ]gate_5__t1_gate_5.vout2024-08-03 06:37 134K 
[ ]gate_5__t2_gate_52024-07-27 07:27 9.8K 
[ ]gate_5__t2_gate_5.depv12024-08-03 10:19 375  
[ ]gate_5__t2_gate_5.depvmin12024-08-03 10:24 375  
[ ]gate_5__t2_gate_5.vmin12024-08-03 10:20 9.1K 
[ ]gate_5__t2_gate_5.vmin1out2024-08-03 10:22 246K 
[ ]gate_5__t2_gate_5.vout2024-08-03 04:37 237K 
[ ]gate_5__t3_gate_52024-07-27 07:28 9.8K 
[ ]gate_5__t3_gate_5.depv12024-08-03 10:19 375  
[ ]gate_5__t3_gate_5.depvmin12024-08-03 10:24 375  
[ ]gate_5__t3_gate_5.vmin12024-08-03 10:20 9.1K 
[ ]gate_5__t3_gate_5.vmin1out2024-08-03 10:23 239K 
[ ]gate_5__t3_gate_5.vout2024-08-03 07:25 251K 
[ ]gate_5__t4_gate_52024-07-27 07:29 11K 
[ ]gate_5__t4_gate_5.depv12024-08-03 10:19 525  
[ ]gate_5__t4_gate_5.depvmin12024-08-03 10:24 525  
[ ]gate_5__t4_gate_5.vmin12024-08-03 10:20 10K 
[ ]gate_5__t4_gate_5.vmin1out2024-08-03 10:21 264K 
[ ]gate_5__t4_gate_5.vout2024-08-03 09:35 248K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80