Commit e6e359f6 authored by AVANZINI Martin's avatar AVANZINI Martin
Browse files

experiments

parent 6ac4e555
......@@ -26,7 +26,7 @@ do
tmp=/tmp/`basename ${ex}`.imp
cp $ex $tmp
echo -ne "`basename $ex`\t\t"
$ostimeout $tmout $bin $opt $tmp | tee -a ${output} | tee "`basename $ex`.absynth-out" | head -n 1
time $ostimeout $tmout $bin $opt $tmp | tee -a ${output} | tee "`basename $ex`.absynth-out" | head -n 1
code=$?
rm $tmp
......
This diff is collapsed.
Bound: 2 max(0, 1 - d + n)
Degree: 1
Statistics:
Weakenings inserted per function:
38 for f
Number of LP variables: 7097
Number of LP constraints: 5084
Maximum focus functions in use: 75
LP solver time ratio: 36%
Total runtime: 0.278s
Bound: 8.27273 max(0, x)
Degree: 1
Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 1231
Number of LP constraints: 991
Maximum focus functions in use: 50
LP solver time ratio: 40%
Total runtime: 0.062s
Bound: 1.25 max(0, x) + max(0, y)
Degree: 1
Statistics:
Weakenings inserted per function:
10 for f
Number of LP variables: 550
Number of LP constraints: 425
Maximum focus functions in use: 21
LP solver time ratio: 42%
Total runtime: 0.018s
Bound: max(0, -1 + x) + max(0, x)
Degree: 1
Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 961
Number of LP constraints: 760
Maximum focus functions in use: 44
LP solver time ratio: 29%
Total runtime: 0.020s
Bound: max(0, 51 + i + k) + 2 max(0, i)
Degree: 1
Statistics:
Weakenings inserted per function:
8 for f
Number of LP variables: 663
Number of LP constraints: 586
Maximum focus functions in use: 30
LP solver time ratio: 49%
Total runtime: 0.015s
Bound: 0.333333 max(0, 2 + x) + 0.166667 max(0, 2 + x) max(0, 2 + y)
Degree: 2
Statistics:
Weakenings inserted per function:
5 for f
Number of LP variables: 7702
Number of LP constraints: 5991
Maximum focus functions in use: 654
LP solver time ratio: 45%
Total runtime: 0.228s
Bound: 0.0606061 max(0, -1 + l) + max(0, l)
Degree: 1
Statistics:
Weakenings inserted per function:
7 for f
Number of LP variables: 364
Number of LP constraints: 297
Maximum focus functions in use: 20
LP solver time ratio: 72%
Total runtime: 0.017s
Bound: 2 max(0, n - x)
Degree: 1
Statistics:
Bound: 0.2 max(0, 9 + n)
Degree: 1
Statistics:
Weakenings inserted per function:
14 for f
Number of LP variables: 3993
Number of LP constraints: 3012
Maximum focus functions in use: 96
LP solver time ratio: 38%
Total runtime: 0.126s
Sorry, I could not find a bound.
Statistics:
Weakenings inserted per function:
5 for bridge
Number of LP variables: 1491
Number of LP constraints: 1148
Maximum focus functions in use: 137
LP solver time ratio: 32%
Total runtime: 0.022s
Bound: 18 max(0, M) max(0, N) + 9 max(0, N) + max(0, w) + 3 max(0, y)
Degree: 2
Statistics:
Weakenings inserted per function:
15 for f
Number of LP variables: 23930
Number of LP constraints: 17754
Maximum focus functions in use: 637
LP solver time ratio: 37%
Total runtime: 0.779s
Bound: 2 max(0, m)
Degree: 1
Statistics:
Weakenings inserted per function:
4 for f
Number of LP variables: 179
Number of LP constraints: 149
Maximum focus functions in use: 21
LP solver time ratio: 54%
Total runtime: 0.005s
Bound: 0.42 max(0, 5 + t) + max(0, mt - st)
Degree: 1
Statistics:
Weakenings inserted per function:
11 for f
Number of LP variables: 1443
Number of LP constraints: 1061
Maximum focus functions in use: 57
LP solver time ratio: 42%
Total runtime: 0.072s
Bound: 15
Degree: 1
Statistics:
Weakenings inserted per function:
13 for f
Number of LP variables: 1062
Number of LP constraints: 783
Maximum focus functions in use: 35
LP solver time ratio: 44%
Total runtime: 0.034s
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment