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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realset3__t1_realset32021-07-17 18:40 15K 
[ ]realset3__t1_realset3.depv12021-07-25 20:57 332  
[ ]realset3__t1_realset3.depvmin12021-07-25 21:03 317  
[ ]realset3__t1_realset3.vmin12021-07-25 20:57 4.1K 
[ ]realset3__t1_realset3.vmin1out2021-07-25 21:02 47K 
[ ]realset3__t1_realset3.vout2021-07-25 18:55 26K 
[ ]realset3__t2_realset32021-07-17 18:41 18K 
[ ]realset3__t2_realset3.vout2021-07-25 16:14 7.8K 
[ ]realset3__t3_realset32021-07-17 18:41 16K 
[ ]realset3__t3_realset3.vout2021-07-25 17:17 2.0K 
[ ]realset3__t4_realset32021-07-17 18:42 12K 
[ ]realset3__t4_realset3.depv12021-07-25 20:57 229  
[ ]realset3__t4_realset3.depvmin12021-07-25 21:03 172  
[ ]realset3__t4_realset3.vmin12021-07-25 20:57 3.0K 
[ ]realset3__t4_realset3.vmin1out2021-07-25 20:59 105K 
[ ]realset3__t4_realset3.vout2021-07-25 14:51 100K 
[ ]realset3__t5_realset32021-07-17 18:42 17K 
[ ]realset3__t5_realset3.vout2021-07-25 14:38 7.3K 
[ ]realset3__t6_realset32021-07-17 18:43 17K 
[ ]realset3__t6_realset3.vout2021-07-25 14:55 2.0K 
[ ]realset3__t7_realset32021-07-17 18:43 20K 
[ ]realset3__t7_realset3.vout2021-07-25 18:32 7.3K 
[ ]realset3__t8_realset32021-07-17 18:43 13K 
[ ]realset3__t8_realset3.vout2021-07-25 19:15 8.4K 
[ ]realset3__t9_realset32021-07-17 18:44 17K 
[ ]realset3__t9_realset3.vout2021-07-25 14:29 7.9K 
[ ]realset3__t10_realset32021-07-17 18:44 13K 
[ ]realset3__t10_realset3.vout2021-07-25 15:29 2.0K 
[ ]realset3__t11_realset32021-07-17 18:45 13K 
[ ]realset3__t11_realset3.vout2021-07-25 16:41 7.9K 
[ ]realset3__t12_realset32021-07-17 18:45 13K 
[ ]realset3__t12_realset3.vout2021-07-25 15:39 7.9K 
[ ]realset3__t13_realset32021-07-17 18:45 14K 
[ ]realset3__t13_realset3.vout2021-07-25 18:23 7.3K 
[ ]realset3__t14_realset32021-07-17 18:46 13K 
[ ]realset3__t14_realset3.depv12021-07-25 20:57 230  
[ ]realset3__t14_realset3.depvmin12021-07-25 21:03 215  
[ ]realset3__t14_realset3.vmin12021-07-25 20:57 4.0K 
[ ]realset3__t14_realset3.vmin1out2021-07-25 21:00 73K 
[ ]realset3__t14_realset3.vout2021-07-25 16:51 44K 
[ ]realset3__t15_realset32021-07-17 18:46 14K 
[ ]realset3__t15_realset3.vout2021-07-25 15:26 7.4K 
[ ]realset3__t16_realset32021-07-17 18:47 12K 
[ ]realset3__t16_realset3.depv12021-07-25 20:57 134  
[ ]realset3__t16_realset3.depvmin12021-07-25 21:03 134  
[ ]realset3__t16_realset3.vmin12021-07-25 20:57 2.6K 
[ ]realset3__t16_realset3.vmin1out2021-07-25 21:01 64K 
[ ]realset3__t16_realset3.vout2021-07-25 18:11 64K 
[ ]realset3__t17_realset32021-07-17 18:47 12K 
[ ]realset3__t17_realset3.depv12021-07-25 20:57 133  
[ ]realset3__t17_realset3.depvmin12021-07-25 21:03 108  
[ ]realset3__t17_realset3.vmin12021-07-25 20:57 2.6K 
[ ]realset3__t17_realset3.vmin1out2021-07-25 21:02 57K 
[ ]realset3__t17_realset3.vout2021-07-25 20:02 60K 
[ ]realset3__t18_realset32021-07-17 18:47 14K 
[ ]realset3__t18_realset3.vout2021-07-25 20:17 7.3K 
[ ]realset3__t19_realset32021-07-17 18:48 14K 
[ ]realset3__t19_realset3.vout2021-07-25 20:39 7.9K 
[ ]realset3__t20_realset32021-07-17 18:48 16K 
[ ]realset3__t20_realset3.depv12021-07-25 20:57 197  
[ ]realset3__t20_realset3.depvmin12021-07-25 21:03 197  
[ ]realset3__t20_realset3.vmin12021-07-25 20:57 3.9K 
[ ]realset3__t20_realset3.vmin1out2021-07-25 20:58 80K 
[ ]realset3__t20_realset3.vout2021-07-25 15:52 82K 
[ ]realset3__t21_realset32021-07-17 18:49 18K 
[ ]realset3__t21_realset3.vout2021-07-25 18:42 7.3K 
[ ]realset3__t22_realset32021-07-17 18:49 17K 
[ ]realset3__t22_realset3.vout2021-07-25 18:27 2.0K 
[ ]realset3__t23_realset32021-07-17 18:50 16K 
[ ]realset3__t23_realset3.depv12021-07-25 20:57 182  
[ ]realset3__t23_realset3.depvmin12021-07-25 21:03 182  
[ ]realset3__t23_realset3.vmin12021-07-25 20:57 3.6K 
[ ]realset3__t23_realset3.vmin1out2021-07-25 20:58 77K 
[ ]realset3__t23_realset3.vout2021-07-25 19:03 79K 
[ ]realset3__t24_realset32021-07-17 18:50 17K 
[ ]realset3__t24_realset3.depv12021-07-25 20:57 299  
[ ]realset3__t24_realset3.depvmin12021-07-25 21:03 299  
[ ]realset3__t24_realset3.vmin12021-07-25 20:57 5.2K 
[ ]realset3__t24_realset3.vmin1out2021-07-25 20:57 106K 
[ ]realset3__t24_realset3.vout2021-07-25 18:09 67K 
[ ]realset3__t25_realset32021-07-17 18:50 17K 
[ ]realset3__t25_realset3.depv12021-07-25 20:57 52  
[ ]realset3__t25_realset3.depvmin12021-07-25 21:03 52  
[ ]realset3__t25_realset3.vmin12021-07-25 20:57 2.9K 
[ ]realset3__t25_realset3.vmin1out2021-07-25 20:58 101K 
[ ]realset3__t25_realset3.vout2021-07-25 16:22 100K 
[ ]realset3__t26_realset32021-07-17 18:51 18K 
[ ]realset3__t26_realset3.depv12021-07-25 20:57 391  
[ ]realset3__t26_realset3.depvmin12021-07-25 21:03 367  
[ ]realset3__t26_realset3.vmin12021-07-25 20:57 6.2K 
[ ]realset3__t26_realset3.vmin1out2021-07-25 20:58 107K 
[ ]realset3__t26_realset3.vout2021-07-25 17:32 114K 
[ ]realset3__t27_realset32021-07-17 18:51 18K 
[ ]realset3__t27_realset3.depv12021-07-25 20:57 397  
[ ]realset3__t27_realset3.depvmin12021-07-25 21:03 397  
[ ]realset3__t27_realset3.vmin12021-07-25 20:57 6.6K 
[ ]realset3__t27_realset3.vmin1out2021-07-25 21:00 120K 
[ ]realset3__t27_realset3.vout2021-07-25 20:51 71K 
[ ]realset3__t28_realset32021-07-17 18:52 17K 
[ ]realset3__t28_realset3.vout2021-07-25 16:13 7.3K 
[ ]realset3__t29_realset32021-07-17 18:52 17K 
[ ]realset3__t29_realset3.vout2021-07-25 15:58 7.3K 
[ ]realset3__t30_realset32021-07-17 18:53 20K 
[ ]realset3__t30_realset3.vout2021-07-25 16:00 7.3K 
[ ]realset3__t31_realset32021-07-17 18:53 19K 
[ ]realset3__t31_realset3.vout2021-07-25 17:54 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80