diff options
Diffstat (limited to 'benchmarks/sphere_3_64/phat.txt')
-rw-r--r-- | benchmarks/sphere_3_64/phat.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/benchmarks/sphere_3_64/phat.txt b/benchmarks/sphere_3_64/phat.txt index 0dff324..40c18fe 100644 --- a/benchmarks/sphere_3_64/phat.txt +++ b/benchmarks/sphere_3_64/phat.txt @@ -1,5 +1,5 @@ -uli:phat uli$ /usr/bin/time -l ~/Bitbucket/phat/benchmark --primal --bit_tree_pivot_column --twist ~/Bitbucket/phat-paper/benchmark/sphere_3_64_coboundary.phat -/Users/uli/Bitbucket/phat-paper/benchmark/sphere_3_64_coboundary.phat, bit_tree_pivot_column, twist, primal, Reduction time: 0.019s +uli:phat uli$ /usr/bin/time -l ~/Bitbucket/phat/benchmark --primal --bit_tree_pivot_column --twist ~/Bitbucket/phat-paper/benchmark/phat/sphere_3_64_coboundary.phat +/Users/uli/Bitbucket/phat-paper/benchmark/phat/sphere_3_64_coboundary.phat, bit_tree_pivot_column, twist, primal, Reduction time: 0.019s 0.22 real 0.15 user 0.04 sys 47742976 maximum resident set size 0 average shared memory size |