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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa6c__l4_scmfsa6c2024-07-26 21:48 49K 
[ ]scmfsa6c__l4_scmfsa6c.vout2024-08-03 07:23 6.3K 
[ ]scmfsa6c__l7_scmfsa6c2024-07-26 21:50 64K 
[ ]scmfsa6c__l7_scmfsa6c.vout2024-08-03 08:33 4.7K 
[ ]scmfsa6c__t1_scmfsa6c2024-07-26 21:25 79K 
[ ]scmfsa6c__t1_scmfsa6c.vout2024-08-03 10:12 4.7K 
[ ]scmfsa6c__t2_scmfsa6c2024-07-26 21:28 81K 
[ ]scmfsa6c__t2_scmfsa6c.vout2024-08-03 08:44 4.7K 
[ ]scmfsa6c__t4_scmfsa6c2024-07-26 21:31 761K 
[ ]scmfsa6c__t4_scmfsa6c.vout2024-08-03 04:49 4.7K 
[ ]scmfsa6c__t6_scmfsa6c2024-07-26 21:34 95K 
[ ]scmfsa6c__t6_scmfsa6c.vout2024-08-03 07:43 4.7K 
[ ]scmfsa6c__t7_scmfsa6c2024-07-26 21:36 97K 
[ ]scmfsa6c__t7_scmfsa6c.vout2024-08-03 04:47 4.7K 
[ ]scmfsa6c__t8_scmfsa6c2024-07-26 21:39 83K 
[ ]scmfsa6c__t8_scmfsa6c.vout2024-08-03 09:03 4.7K 
[ ]scmfsa6c__t9_scmfsa6c2024-07-26 21:41 85K 
[ ]scmfsa6c__t9_scmfsa6c.vout2024-08-03 04:32 4.7K 
[ ]scmfsa6c__t10_scmfsa6c2024-07-26 21:44 100K 
[ ]scmfsa6c__t10_scmfsa6c.vout2024-08-03 08:32 4.7K 
[ ]scmfsa6c__t11_scmfsa6c2024-07-26 21:46 69K 
[ ]scmfsa6c__t11_scmfsa6c.vout2024-08-03 07:44 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80