ppfolio

The two versions of ppfolio (sequential and parallel) did unexpectedly well at the SAT 2011 competition. ppfolio parallel got 11 medals and ppfolio sequential obtained 5 medals, which is extremely surprising. It should be recalled that ppfolio is only a system tool to run the solvers in parallel, assigning them a given set of cores. This is essentially equivalent to typing the following command line: solver1 & solver2 & solver3 & solver4 & solver5 & . Therefore, the results obtained by this portfolio are only due to the base solvers selected, which are the actual solvers to deserve a medal. Here are the medals that ppfolio owes to the individual solvers: ...