Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/scm_comp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scm_comp__l1_scm_comp2025-09-08 05:47 14K 
[   ]scm_comp__l1_scm_comp.depv12025-09-15 19:47 105  
[   ]scm_comp__l1_scm_comp.depvmin12025-09-15 19:52 105  
[   ]scm_comp__l1_scm_comp.vmin12025-09-15 19:47 733  
[   ]scm_comp__l1_scm_comp.vmin1out2025-09-15 19:47 15K 
[   ]scm_comp__l1_scm_comp.vout2025-09-15 15:26 15K 
[   ]scm_comp__l2_scm_comp2025-09-08 05:48 14K 
[   ]scm_comp__l2_scm_comp.depv12025-09-15 19:47 105  
[   ]scm_comp__l2_scm_comp.depvmin12025-09-15 19:52 105  
[   ]scm_comp__l2_scm_comp.vmin12025-09-15 19:47 733  
[   ]scm_comp__l2_scm_comp.vmin1out2025-09-15 19:48 15K 
[   ]scm_comp__l2_scm_comp.vout2025-09-15 18:46 15K 
[   ]scm_comp__l4_scm_comp2025-09-08 05:43 32K 
[   ]scm_comp__l4_scm_comp.depv12025-09-15 19:47 39  
[   ]scm_comp__l4_scm_comp.depvmin12025-09-15 19:52 39  
[   ]scm_comp__l4_scm_comp.vmin12025-09-15 19:47 831  
[   ]scm_comp__l4_scm_comp.vmin1out2025-09-15 19:50 13K 
[   ]scm_comp__l4_scm_comp.vout2025-09-15 13:36 12K 
[   ]scm_comp__l8_scm_comp2025-09-08 05:45 28K 
[   ]scm_comp__l8_scm_comp.depv12025-09-15 19:47 377  
[   ]scm_comp__l8_scm_comp.depvmin12025-09-15 19:52 357  
[   ]scm_comp__l8_scm_comp.vmin12025-09-15 19:47 2.3K 
[   ]scm_comp__l8_scm_comp.vmin1out2025-09-15 19:50 23K 
[   ]scm_comp__l8_scm_comp.vout2025-09-15 17:09 25K 
[   ]scm_comp__l27_scm_comp2025-09-08 05:50 41K 
[   ]scm_comp__l27_scm_comp.vout2025-09-15 18:01 6.3K 
[   ]scm_comp__l32_scm_comp2025-09-08 05:46 32K 
[   ]scm_comp__l32_scm_comp.depv12025-09-15 19:47 40  
[   ]scm_comp__l32_scm_comp.depvmin12025-09-15 19:52 40  
[   ]scm_comp__l32_scm_comp.vmin12025-09-15 19:47 832  
[   ]scm_comp__l32_scm_comp.vmin1out2025-09-15 19:49 13K 
[   ]scm_comp__l32_scm_comp.vout2025-09-15 16:32 12K 
[   ]scm_comp__l34_scm_comp2025-09-08 06:25 64K 
[   ]scm_comp__l34_scm_comp.depv12025-09-15 19:47 207  
[   ]scm_comp__l34_scm_comp.depvmin12025-09-15 19:52 207  
[   ]scm_comp__l34_scm_comp.vmin12025-09-15 19:47 2.7K 
[   ]scm_comp__l34_scm_comp.vmin1out2025-09-15 19:51 36K 
[   ]scm_comp__l34_scm_comp.vout2025-09-15 18:46 26K 
[   ]scm_comp__l35_scm_comp2025-09-08 06:27 69K 
[   ]scm_comp__l35_scm_comp.vout2025-09-15 15:37 6.8K 
[   ]scm_comp__t1_scm_comp2025-09-08 05:51 34K 
[   ]scm_comp__t1_scm_comp.vout2025-09-15 14:28 8.4K 
[   ]scm_comp__t2_scm_comp2025-09-08 05:53 30K 
[   ]scm_comp__t2_scm_comp.vout2025-09-15 14:42 8.4K 
[   ]scm_comp__t3_scm_comp2025-09-08 05:55 55K 
[   ]scm_comp__t3_scm_comp.vout2025-09-15 18:31 6.2K 
[   ]scm_comp__t4_scm_comp2025-09-08 05:58 60K 
[   ]scm_comp__t4_scm_comp.vout2025-09-15 19:19 7.3K 
[   ]scm_comp__t5_scm_comp2025-09-08 06:00 61K 
[   ]scm_comp__t5_scm_comp.vout2025-09-15 14:31 7.3K 
[   ]scm_comp__t6_scm_comp2025-09-08 06:03 112K 
[   ]scm_comp__t6_scm_comp.vout2025-09-15 14:03 7.3K 
[   ]scm_comp__t7_scm_comp2025-09-08 06:06 70K 
[   ]scm_comp__t7_scm_comp.vout2025-09-15 18:00 7.3K 
[   ]scm_comp__t8_scm_comp2025-09-08 06:09 70K 
[   ]scm_comp__t8_scm_comp.vout2025-09-15 14:04 7.3K 
[   ]scm_comp__t9_scm_comp2025-09-08 06:11 41K 
[   ]scm_comp__t9_scm_comp.depv12025-09-15 19:47 217  
[   ]scm_comp__t9_scm_comp.depvmin12025-09-15 19:52 217  
[   ]scm_comp__t9_scm_comp.vmin12025-09-15 19:47 3.6K 
[   ]scm_comp__t9_scm_comp.vmin1out2025-09-15 19:49 36K 
[   ]scm_comp__t9_scm_comp.vout2025-09-15 13:58 50K 
[   ]scm_comp__t10_scm_comp2025-09-08 06:12 43K 
[   ]scm_comp__t10_scm_comp.vout2025-09-15 19:01 6.3K 
[   ]scm_comp__t11_scm_comp2025-09-08 06:15 73K 
[   ]scm_comp__t11_scm_comp.vout2025-09-15 17:59 7.4K 
[   ]scm_comp__t12_scm_comp2025-09-08 06:19 612K 
[   ]scm_comp__t12_scm_comp.vout2025-09-15 19:11 6.8K 
[   ]scm_comp__t13_scm_comp2025-09-08 06:22 584K 
[   ]scm_comp__t13_scm_comp.vout2025-09-15 19:04 7.3K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80