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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa6c__l4_scmfsa6c2025-09-09 14:44 49K 
[ ]scmfsa6c__l4_scmfsa6c.vout2025-09-15 13:32 6.3K 
[ ]scmfsa6c__l7_scmfsa6c2025-09-09 14:46 64K 
[ ]scmfsa6c__l7_scmfsa6c.vout2025-09-15 15:38 4.7K 
[ ]scmfsa6c__t1_scmfsa6c2025-09-09 14:18 79K 
[ ]scmfsa6c__t1_scmfsa6c.vout2025-09-15 13:39 4.7K 
[ ]scmfsa6c__t2_scmfsa6c2025-09-09 14:21 81K 
[ ]scmfsa6c__t2_scmfsa6c.vout2025-09-15 19:11 4.7K 
[ ]scmfsa6c__t4_scmfsa6c2025-09-09 14:25 807K 
[ ]scmfsa6c__t4_scmfsa6c.vout2025-09-15 19:28 4.7K 
[ ]scmfsa6c__t6_scmfsa6c2025-09-09 14:28 95K 
[ ]scmfsa6c__t6_scmfsa6c.vout2025-09-15 17:12 4.7K 
[ ]scmfsa6c__t7_scmfsa6c2025-09-09 14:31 97K 
[ ]scmfsa6c__t7_scmfsa6c.vout2025-09-15 15:54 4.7K 
[ ]scmfsa6c__t8_scmfsa6c2025-09-09 14:33 83K 
[ ]scmfsa6c__t8_scmfsa6c.vout2025-09-15 19:26 4.7K 
[ ]scmfsa6c__t9_scmfsa6c2025-09-09 14:36 85K 
[ ]scmfsa6c__t9_scmfsa6c.vout2025-09-15 17:09 4.7K 
[ ]scmfsa6c__t10_scmfsa6c2025-09-09 14:39 100K 
[ ]scmfsa6c__t10_scmfsa6c.vout2025-09-15 15:57 4.7K 
[ ]scmfsa6c__t11_scmfsa6c2025-09-09 14:41 69K 
[ ]scmfsa6c__t11_scmfsa6c.vout2025-09-15 15:11 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80