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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa_3__t3_scmfsa_32024-07-26 17:11 52K 
[ ]scmfsa_3__t3_scmfsa_3.vout2024-08-03 09:48 4.7K 
[ ]scmfsa_3__t4_scmfsa_32024-07-26 17:13 54K 
[ ]scmfsa_3__t4_scmfsa_3.vout2024-08-03 07:00 4.7K 
[ ]scmfsa_3__t5_scmfsa_32024-07-26 17:16 59K 
[ ]scmfsa_3__t5_scmfsa_3.vout2024-08-03 08:23 4.1K 
[ ]scmfsa_3__t6_scmfsa_32024-07-26 17:18 70K 
[ ]scmfsa_3__t6_scmfsa_3.vout2024-08-03 04:35 4.1K 
[ ]scmfsa_3__t7_scmfsa_32024-07-26 17:21 70K 
[ ]scmfsa_3__t7_scmfsa_3.vout2024-08-03 05:35 4.2K 
[ ]scmfsa_3__t8_scmfsa_32024-07-26 17:23 73K 
[ ]scmfsa_3__t8_scmfsa_3.vout2024-08-03 06:01 4.1K 
[ ]scmfsa_3__t9_scmfsa_32024-07-26 17:25 60K 
[ ]scmfsa_3__t9_scmfsa_3.vout2024-08-03 05:17 4.1K 
[ ]scmfsa_3__t10_scmfsa_32024-07-26 17:28 60K 
[ ]scmfsa_3__t10_scmfsa_3.vout2024-08-03 06:19 4.1K 
[ ]scmfsa_3__t11_scmfsa_32024-07-26 17:30 71K 
[ ]scmfsa_3__t11_scmfsa_3.vout2024-08-03 04:09 4.7K 
[ ]scmfsa_3__t12_scmfsa_32024-07-26 17:32 62K 
[ ]scmfsa_3__t12_scmfsa_3.vout2024-08-03 07:52 4.7K 
[ ]scmfsa_3__t13_scmfsa_32024-07-26 17:35 61K 
[ ]scmfsa_3__t13_scmfsa_3.vout2024-08-03 06:23 4.2K 
[ ]scmfsa_3__t14_scmfsa_32024-07-26 17:37 62K 
[ ]scmfsa_3__t14_scmfsa_3.vout2024-08-03 09:53 4.1K 
[ ]scmfsa_3__t15_scmfsa_32024-07-26 17:40 62K 
[ ]scmfsa_3__t15_scmfsa_3.vout2024-08-03 05:27 4.1K 
[ ]scmfsa_3__t16_scmfsa_32024-07-26 17:42 63K 
[ ]scmfsa_3__t16_scmfsa_3.vout2024-08-03 06:17 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80