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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xreal_0__l16_xreal_0.vout2021-07-25 15:24 21K 
[ ]xreal_0__l16_xreal_0.vmin1out2021-07-25 20:59 21K 
[ ]xreal_0__l16_xreal_0.vmin12021-07-25 20:57 1.5K 
[ ]xreal_0__l16_xreal_0.depvmin12021-07-25 21:03 208  
[ ]xreal_0__l16_xreal_0.depv12021-07-25 20:57 208  
[ ]xreal_0__l16_xreal_02021-07-18 09:32 7.7K 
[ ]xreal_0__l15_xreal_0.vout2021-07-25 20:56 2.0K 
[ ]xreal_0__l15_xreal_02021-07-18 09:32 11K 
[ ]xreal_0__l14_xreal_0.vout2021-07-25 15:43 7.8K 
[ ]xreal_0__l14_xreal_02021-07-18 09:32 7.7K 
[ ]xreal_0__l13_xreal_0.vout2021-07-25 16:35 7.8K 
[ ]xreal_0__l13_xreal_02021-07-18 09:32 7.7K 
[ ]xreal_0__l12_xreal_0.vout2021-07-25 19:55 7.8K 
[ ]xreal_0__l12_xreal_02021-07-18 09:31 26K 
[ ]xreal_0__l11_xreal_0.vout2021-07-25 17:40 14K 
[ ]xreal_0__l11_xreal_0.vmin1out2021-07-25 20:59 11K 
[ ]xreal_0__l11_xreal_0.vmin12021-07-25 20:57 1.4K 
[ ]xreal_0__l11_xreal_0.depvmin12021-07-25 21:03 143  
[ ]xreal_0__l11_xreal_0.depv12021-07-25 20:57 192  
[ ]xreal_0__l11_xreal_02021-07-18 09:31 7.2K 
[ ]xreal_0__l10_xreal_0.vout2021-07-25 18:34 11K 
[ ]xreal_0__l10_xreal_0.vmin1out2021-07-25 21:00 11K 
[ ]xreal_0__l10_xreal_0.vmin12021-07-25 20:57 1.2K 
[ ]xreal_0__l10_xreal_0.depvmin12021-07-25 21:03 143  
[ ]xreal_0__l10_xreal_0.depv12021-07-25 20:57 156  
[ ]xreal_0__l10_xreal_02021-07-18 09:31 7.2K 
[ ]xreal_0__l9_xreal_0.vout2021-07-25 16:17 3.6K 
[ ]xreal_0__l9_xreal_0.vmin1out2021-07-25 21:01 2.7K 
[ ]xreal_0__l9_xreal_0.vmin12021-07-25 20:57 409  
[ ]xreal_0__l9_xreal_0.depvmin12021-07-25 21:03 102  
[ ]xreal_0__l9_xreal_0.depv12021-07-25 20:57 127  
[ ]xreal_0__l9_xreal_02021-07-18 09:31 18K 
[ ]xreal_0__l8_xreal_0.vout2021-07-25 15:08 8.4K 
[ ]xreal_0__l8_xreal_0.vmin1out2021-07-25 20:58 5.3K 
[ ]xreal_0__l8_xreal_0.vmin12021-07-25 20:57 801  
[ ]xreal_0__l8_xreal_0.depvmin12021-07-25 21:03 131  
[ ]xreal_0__l8_xreal_0.depv12021-07-25 20:57 131  
[ ]xreal_0__l8_xreal_02021-07-18 09:29 16K 
[ ]xreal_0__l7_xreal_0.vout2021-07-25 14:24 7.9K 
[ ]xreal_0__l7_xreal_02021-07-18 09:30 20K 
[ ]xreal_0__l6_xreal_0.vout2021-07-25 20:13 7.8K 
[ ]xreal_0__l6_xreal_02021-07-18 09:30 38K 
[ ]xreal_0__l5_xreal_0.vout2021-07-25 19:01 7.8K 
[ ]xreal_0__l5_xreal_02021-07-18 09:30 19K 
[ ]xreal_0__l4_xreal_0.vout2021-07-25 14:23 3.9K 
[ ]xreal_0__l4_xreal_0.vmin1out2021-07-25 21:00 4.0K 
[ ]xreal_0__l4_xreal_0.vmin12021-07-25 20:57 280  
[ ]xreal_0__l4_xreal_0.depvmin12021-07-25 21:03 44  
[ ]xreal_0__l4_xreal_0.depv12021-07-25 20:57 44  
[ ]xreal_0__l4_xreal_02021-07-18 09:29 5.4K 
[ ]xreal_0__l3_xreal_0.vout2021-07-25 18:43 52K 
[ ]xreal_0__l3_xreal_0.vmin1out2021-07-25 20:57 48K 
[ ]xreal_0__l3_xreal_0.vmin12021-07-25 20:57 2.6K 
[ ]xreal_0__l3_xreal_0.depvmin12021-07-25 21:03 163  
[ ]xreal_0__l3_xreal_0.depv12021-07-25 20:57 163  
[ ]xreal_0__l3_xreal_02021-07-18 09:29 19K 
[ ]xreal_0__l2_xreal_0.vout2021-07-25 15:53 12K 
[ ]xreal_0__l2_xreal_0.vmin1out2021-07-25 21:00 12K 
[ ]xreal_0__l2_xreal_0.vmin12021-07-25 20:57 931  
[ ]xreal_0__l2_xreal_0.depvmin12021-07-25 21:03 104  
[ ]xreal_0__l2_xreal_0.depv12021-07-25 20:57 104  
[ ]xreal_0__l2_xreal_02021-07-18 09:29 8.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80