Index of /~mptp/mml5.63.1382/MPTP2/problems_small/gate_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gate_4__t4_gate_4.vout2021-07-25 19:24 306K 
[ ]gate_4__t4_gate_4.vmin1out2021-07-25 20:59 306K 
[ ]gate_4__t4_gate_4.vmin12021-07-25 20:57 7.9K 
[ ]gate_4__t4_gate_4.depvmin12021-07-25 21:03 113  
[ ]gate_4__t4_gate_4.depv12021-07-25 20:57 113  
[ ]gate_4__t4_gate_42021-07-17 22:07 8.0K 
[ ]gate_4__t3_gate_4.vout2021-07-25 15:15 227K 
[ ]gate_4__t3_gate_4.vmin1out2021-07-25 21:01 227K 
[ ]gate_4__t3_gate_4.vmin12021-07-25 20:57 6.0K 
[ ]gate_4__t3_gate_4.depvmin12021-07-25 21:03 113  
[ ]gate_4__t3_gate_4.depv12021-07-25 20:57 113  
[ ]gate_4__t3_gate_42021-07-17 22:07 6.1K 
[ ]gate_4__t2_gate_4.vout2021-07-25 18:15 172K 
[ ]gate_4__t2_gate_4.vmin1out2021-07-25 20:59 172K 
[ ]gate_4__t2_gate_4.vmin12021-07-25 20:57 6.8K 
[ ]gate_4__t2_gate_4.depvmin12021-07-25 21:03 113  
[ ]gate_4__t2_gate_4.depv12021-07-25 20:57 113  
[ ]gate_4__t2_gate_42021-07-17 22:07 6.9K 
[ ]gate_4__t1_gate_4.vout2021-07-25 18:23 130K 
[ ]gate_4__t1_gate_4.vmin1out2021-07-25 21:01 130K 
[ ]gate_4__t1_gate_4.vmin12021-07-25 20:57 5.3K 
[ ]gate_4__t1_gate_4.depvmin12021-07-25 21:03 113  
[ ]gate_4__t1_gate_4.depv12021-07-25 20:57 113  
[ ]gate_4__t1_gate_42021-07-17 22:06 5.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80