Comparison of PackUP with Other Solvers
The presented cactus plots correspond to the times of the solver with relatively optimal answers, i.e. if a solver did not produce an answer or some other solver produced a better answer, the corresponding time is not plotted. See the detailed view for more information. All experimental results were obtained on an Intel Xeon 5160 3GHz with 4GB of memory. The experiments were obtained with a memory limit of 2GB and time limit of 300 seconds.
Trendy Criterion
Paranoid Criterion
Criterion -notuptodate,-changed,-removed
Criterion -changed,-notuptodate,-removed,-new
|
Last updated: Oct 23, 2012 16:15:13 PM |