Commit 9a393a7f authored by AVANZINI Martin's avatar AVANZINI Martin
Browse files

added current results

parent 058665be
This source diff could not be displayed because it is too large. You can view the blob instead.
processing ... examples/oopsla/absynthLinear/2drwalk.imp
 examples/oopsla/absynthLinear/2drwalk.imp : 0.031s : [Success] [n ≥ 1 + d]·2·(1 + -d + n)
processing ... examples/oopsla/absynthLinear/C4B_t09.imp
 examples/oopsla/absynthLinear/C4B_t09.imp : 0.007s : [Success] [x ≥ 1]·41·(x)
processing ... examples/oopsla/absynthLinear/C4B_t13.imp
 examples/oopsla/absynthLinear/C4B_t13.imp : 0.008s : [Success] [x ≥ 1 ∧ y ≥ 0]·(5/4·(x) + y)
processing ... examples/oopsla/absynthLinear/C4B_t15.imp
 examples/oopsla/absynthLinear/C4B_t15.imp : 0.171s : [Failed ]
processing ... examples/oopsla/absynthLinear/C4B_t15_2.imp
 examples/oopsla/absynthLinear/C4B_t15_2.imp : 0.004s : [Success] [x ≥ 0 ∧ x ≥ 1 + y ∧ y ≥ 0]·(1 + x)
processing ... examples/oopsla/absynthLinear/C4B_t19.imp
 examples/oopsla/absynthLinear/C4B_t19.imp : 0.012s : [Success] ite(i ≥ 101,2·(-100 + i) + 51 + i + k,[50 + i + k ≥ 0]·(51 + i + k))
processing ... examples/oopsla/absynthLinear/C4B_t30.imp
 examples/oopsla/absynthLinear/C4B_t30.imp : 0.008s : [Failed ]
processing ... examples/oopsla/absynthLinear/C4B_t30_2.imp
 examples/oopsla/absynthLinear/C4B_t30_2.imp : 0.001s : [Success] [x ≥ 1 ∧ y ≥ -1]·(2·(2 + y) + 2·(x))
processing ... examples/oopsla/absynthLinear/C4B_t61.imp
 examples/oopsla/absynthLinear/C4B_t61.imp : 0.011s : [Success] ite(l ≥ 8,10·(-7 + l) + 7,[l ≥ 1]·(l))
processing ... examples/oopsla/absynthLinear/bayesian.imp
 examples/oopsla/absynthLinear/bayesian.imp : 0.002s : [Success] [n ≥ 1]·4·(n)
processing ... examples/oopsla/absynthLinear/ber.imp
 examples/oopsla/absynthLinear/ber.imp : 0.001s : [Success] [n ≥ 1 + x]·(n + -x)
processing ... examples/oopsla/absynthLinear/bin.imp
 examples/oopsla/absynthLinear/bin.imp : 0.001s : [Success] [n ≥ 1 + x]·(n + -x)
processing ... examples/oopsla/absynthLinear/condand.imp
 examples/oopsla/absynthLinear/condand.imp : 0.002s : [Success] [m ≥ 1 ∧ n ≥ 1]·2·(m)
processing ... examples/oopsla/absynthLinear/cooling.imp
 examples/oopsla/absynthLinear/cooling.imp : 0.023s : [Success] [t ≥ 0]·(21/10·(1 + t) + mt + -st)
processing ... examples/oopsla/absynthLinear/filling.imp
 examples/oopsla/absynthLinear/filling.imp : 0.008s : [Success] [volToFill ≥ 0]·3/5·(1 + volToFill) + [volToFill ≥ 1]·3/5·(volToFill)
processing ... examples/oopsla/absynthLinear/linear01.imp
 examples/oopsla/absynthLinear/linear01.imp : 0.001s : [Success] [x ≥ 2]·(-1 + x)
processing ... examples/oopsla/absynthLinear/miner.imp
 examples/oopsla/absynthLinear/miner.imp : 0.002s : [Success] [n ≥ 1]·15/2·(n)
processing ... examples/oopsla/absynthLinear/prdwalk.imp
 examples/oopsla/absynthLinear/prdwalk.imp : 0.002s : [Success] [n ≥ 1 + x]·40/13·(n + -x)
processing ... examples/oopsla/absynthLinear/prnes.imp
 examples/oopsla/absynthLinear/prnes.imp : 0.737s : [Success] [0 ≥ 1 + n ∧ y ≥ 0]·(50/9·(99·(n) + -n·y) + 250000/81·(n^2))
processing ... examples/oopsla/absynthLinear/prseq.imp
 examples/oopsla/absynthLinear/prseq.imp : 0.017s : [Success] [y ≥ 10]·ite(x + -y ≥ 3,3·(-2 + x + -y) + 9/4·(-2 + x + -y) + 3/2·(-9 + y),[y ≥ 10]·3/2·(-9 + y))
processing ... examples/oopsla/absynthLinear/prspeed.imp
 examples/oopsla/absynthLinear/prspeed.imp : 0.019s : [Success] [n ≥ 3 + x]·(4/3·(-2 + n + -x) + 2·(m + -y))
processing ... examples/oopsla/absynthLinear/race.imp
 examples/oopsla/absynthLinear/race.imp : 0.014s : [Success] [t ≥ h]·11/6·(3 + -h + t)
processing ... examples/oopsla/absynthLinear/rdseql.imp
 examples/oopsla/absynthLinear/rdseql.imp : 0.014s : [Success] [x ≥ 1 ∧ y ≥ 0]·(9/4·(x) + y)
processing ... examples/oopsla/absynthLinear/rdspeed.imp
 examples/oopsla/absynthLinear/rdspeed.imp : 0.016s : [Success] [n ≥ 3 + x]·(4/3·(-2 + n + -x) + 2·(m + -y))
processing ... examples/oopsla/absynthLinear/rdwalk.imp
 examples/oopsla/absynthLinear/rdwalk.imp : 0.003s : [Success] [n ≥ 1 + x]·2·(1 + n + -x)
processing ... examples/oopsla/absynthLinear/robot.imp
 examples/oopsla/absynthLinear/robot.imp : 0.006s : [Success] [N ≥ 1]·5/4·(N)
processing ... examples/oopsla/absynthLinear/roulette.imp
 examples/oopsla/absynthLinear/roulette.imp : 0.049s : [Success] [10 ≥ n]·74/15·(21 + -n)
processing ... examples/oopsla/absynthLinear/sampling.imp
 examples/oopsla/absynthLinear/sampling.imp : 0.002s : [Success] [n ≥ 1]·2·(n)
processing ... examples/oopsla/absynthLinear/sprdwalk.imp
 examples/oopsla/absynthLinear/sprdwalk.imp : 0.001s : [Success] [n ≥ 1 + x]·2·(n + -x)
processing ... examples/oopsla/absynthPolynomial/complex.imp
 examples/oopsla/absynthPolynomial/complex.imp : 0.181s : [Success] [M ≥ 0 ∧ y ≥ 0]·ite(N ≥ 1,6·(3·(M·N) + 2·(N)) + w + 3·(y),[y ≥ 1]·(w + 3·(y)))
processing ... examples/oopsla/absynthPolynomial/multirace.imp
 examples/oopsla/absynthPolynomial/multirace.imp : 0.018s : [Success] [m ≥ 0 ∧ n ≥ 1]·4·(m·n + n)
processing ... examples/oopsla/absynthPolynomial/pol04.imp
 examples/oopsla/absynthPolynomial/pol04.imp : 0.017s : [Success] [x ≥ 1]·(15/2·(x) + 9/2·(x^2))
processing ... examples/oopsla/absynthPolynomial/pol05.imp
 examples/oopsla/absynthPolynomial/pol05.imp : 0.019s : [Success] [x ≥ 1]·(5/8·(x) + 5/4·(x^2))
processing ... examples/oopsla/absynthPolynomial/pol06.imp
 examples/oopsla/absynthPolynomial/pol06.imp : 0.019s : [Success] [minPrice ≥ 0 ∧ sPrice ≥ 1 + minPrice]·8/3·(-minPrice + sPrice)
processing ... examples/oopsla/absynthPolynomial/pol07.imp
 examples/oopsla/absynthPolynomial/pol07.imp : 0.022s : [Success] [n ≥ 2]·3/2·(1 + -2·(n) + n^2)
processing ... examples/oopsla/absynthPolynomial/rdbub.imp
 examples/oopsla/absynthPolynomial/rdbub.imp : 0.009s : [Success] [n ≥ 1]·(n + n^2)
processing ... examples/oopsla/absynthPolynomial/trader.imp
 examples/oopsla/absynthPolynomial/trader.imp : 0.057s : [Success] ite(sPrice ≥ 1 + minPrice,3·(-minPrice + -minPrice·sPrice + sPrice + sPrice^2) + z,z)
processing ... examples/oopsla/bridge.imp
 examples/oopsla/bridge.imp : 0.009s : [Success] [b ≥ 1 + x ∧ x ≥ 1 + a]·(-a·b + a·x + b·x + -x^2)
processing ... examples/oopsla/coupons.imp
 examples/oopsla/coupons.imp : 0.195s : [Success] [N ≥ 1]·(1/2 + N + 1/2·(N^2))
processing ... examples/oopsla/geo.imp
 examples/oopsla/geo.imp : 0.001s : [Success] [1 ≥ b ∧ b ≥ 1]·2·(b)
processing ... examples/oopsla/trader.imp
 examples/oopsla/trader.imp : 0.068s : [Success] [min ≥ 0 ∧ price ≥ 1 + min]·9/2·(1 + 2·(price) + price^2)
Supports Markdown
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