Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small/scmfsa6c

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa6c__l4_scmfsa6c2021-07-18 00:58 52K 
[   ]scmfsa6c__l4_scmfsa6c.vout2021-07-25 17:24 6.3K 
[   ]scmfsa6c__l7_scmfsa6c2021-07-18 00:59 68K 
[   ]scmfsa6c__l7_scmfsa6c.vout2021-07-25 18:00 4.7K 
[   ]scmfsa6c__t1_scmfsa6c2021-07-18 00:51 83K 
[   ]scmfsa6c__t1_scmfsa6c.vout2021-07-25 18:33 4.7K 
[   ]scmfsa6c__t2_scmfsa6c2021-07-18 00:51 85K 
[   ]scmfsa6c__t2_scmfsa6c.vout2021-07-25 16:03 4.7K 
[   ]scmfsa6c__t4_scmfsa6c2021-07-18 00:52 637K 
[   ]scmfsa6c__t4_scmfsa6c.vout2021-07-25 19:25 4.7K 
[   ]scmfsa6c__t6_scmfsa6c2021-07-18 00:53 99K 
[   ]scmfsa6c__t6_scmfsa6c.vout2021-07-25 20:35 4.7K 
[   ]scmfsa6c__t7_scmfsa6c2021-07-18 00:54 101K 
[   ]scmfsa6c__t7_scmfsa6c.vout2021-07-25 19:04 4.7K 
[   ]scmfsa6c__t8_scmfsa6c2021-07-18 00:55 87K 
[   ]scmfsa6c__t8_scmfsa6c.vout2021-07-25 16:00 4.7K 
[   ]scmfsa6c__t9_scmfsa6c2021-07-18 00:56 89K 
[   ]scmfsa6c__t9_scmfsa6c.vout2021-07-25 18:28 4.7K 
[   ]scmfsa6c__t10_scmfsa6c2021-07-18 00:57 103K 
[   ]scmfsa6c__t10_scmfsa6c.vout2021-07-25 16:11 4.7K 
[   ]scmfsa6c__t11_scmfsa6c2021-07-18 00:57 73K 
[   ]scmfsa6c__t11_scmfsa6c.vout2021-07-25 16:32 4.7K 

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