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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_inst__l18_scm_inst2024-07-27 16:57 40K 
[ ]scm_inst__l18_scm_inst.depv12024-08-03 10:19 361  
[ ]scm_inst__l18_scm_inst.depvmin12024-08-03 10:24 321  
[ ]scm_inst__l18_scm_inst.vmin12024-08-03 10:20 2.8K 
[ ]scm_inst__l18_scm_inst.vmin1out2024-08-03 10:23 41K 
[ ]scm_inst__l18_scm_inst.vout2024-08-03 09:02 40K 
[ ]scm_inst__l19_scm_inst2024-07-27 16:59 45K 
[ ]scm_inst__l19_scm_inst.vout2024-08-03 10:01 7.4K 
[ ]scm_inst__l20_scm_inst2024-07-27 17:01 45K 
[ ]scm_inst__l20_scm_inst.vout2024-08-03 07:03 7.4K 
[ ]scm_inst__l21_scm_inst2024-07-27 17:02 42K 
[ ]scm_inst__l21_scm_inst.vout2024-08-03 09:45 7.9K 
[ ]scm_inst__l22_scm_inst2024-07-27 17:04 41K 
[ ]scm_inst__l22_scm_inst.vout2024-08-03 07:14 5.9K 
[ ]scm_inst__l23_scm_inst2024-07-27 17:06 42K 
[ ]scm_inst__l23_scm_inst.vout2024-08-03 09:22 5.9K 
[ ]scm_inst__t1_scm_inst2024-07-27 16:41 35K 
[ ]scm_inst__t1_scm_inst.depv12024-08-03 10:19 167  
[ ]scm_inst__t1_scm_inst.depvmin12024-08-03 10:24 167  
[ ]scm_inst__t1_scm_inst.vmin12024-08-03 10:20 1.1K 
[ ]scm_inst__t1_scm_inst.vmin1out2024-08-03 10:22 13K 
[ ]scm_inst__t1_scm_inst.vout2024-08-03 07:32 17K 
[ ]scm_inst__t2_scm_inst2024-07-27 16:42 34K 
[ ]scm_inst__t2_scm_inst.depv12024-08-03 10:19 289  
[ ]scm_inst__t2_scm_inst.depvmin12024-08-03 10:24 263  
[ ]scm_inst__t2_scm_inst.vmin12024-08-03 10:20 2.0K 
[ ]scm_inst__t2_scm_inst.vmin1out2024-08-03 10:23 21K 
[ ]scm_inst__t2_scm_inst.vout2024-08-03 05:44 20K 
[ ]scm_inst__t3_scm_inst2024-07-27 16:44 34K 
[ ]scm_inst__t3_scm_inst.vout2024-08-03 06:27 7.3K 
[ ]scm_inst__t4_scm_inst2024-07-27 16:45 34K 
[ ]scm_inst__t4_scm_inst.vout2024-08-03 08:59 7.3K 
[ ]scm_inst__t5_scm_inst2024-07-27 16:47 35K 
[ ]scm_inst__t5_scm_inst.depv12024-08-03 10:19 90  
[ ]scm_inst__t5_scm_inst.depvmin12024-08-03 10:24 90  
[ ]scm_inst__t5_scm_inst.vmin12024-08-03 10:20 1.8K 
[ ]scm_inst__t5_scm_inst.vmin1out2024-08-03 10:23 35K 
[ ]scm_inst__t5_scm_inst.vout2024-08-03 05:40 35K 
[ ]scm_inst__t6_scm_inst2024-07-27 16:49 36K 
[ ]scm_inst__t6_scm_inst.depv12024-08-03 10:19 175  
[ ]scm_inst__t6_scm_inst.depvmin12024-08-03 10:24 175  
[ ]scm_inst__t6_scm_inst.vmin12024-08-03 10:20 1.5K 
[ ]scm_inst__t6_scm_inst.vmin1out2024-08-03 10:23 22K 
[ ]scm_inst__t6_scm_inst.vout2024-08-03 09:33 19K 
[ ]scm_inst__t7_scm_inst2024-07-27 16:50 36K 
[ ]scm_inst__t7_scm_inst.depv12024-08-03 10:19 279  
[ ]scm_inst__t7_scm_inst.depvmin12024-08-03 10:24 279  
[ ]scm_inst__t7_scm_inst.vmin12024-08-03 10:20 2.8K 
[ ]scm_inst__t7_scm_inst.vmin1out2024-08-03 10:22 63K 
[ ]scm_inst__t7_scm_inst.vout2024-08-03 10:13 53K 
[ ]scm_inst__t8_scm_inst2024-07-27 16:52 39K 
[ ]scm_inst__t8_scm_inst.vout2024-08-03 05:57 5.3K 
[ ]scm_inst__t9_scm_inst2024-07-27 16:55 36K 
[ ]scm_inst__t9_scm_inst.vout2024-08-03 08:05 7.3K 
[ ]scm_inst__t10_scm_inst2024-07-27 16:54 39K 
[ ]scm_inst__t10_scm_inst.vout2024-08-03 09:08 7.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80