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

new experiments table

parent ac8b34ea
......@@ -13,7 +13,7 @@ coupons-10.imp Bound: 1551
real 0m27.011s
user 0m26.870s
sys 0m0.117s
coupons-50.imp
coupons-50.imp
real 2m0.057s
user 1m51.861s
sys 0m8.171s
......@@ -267,11 +267,11 @@ nest-2.absynth Bound: 2 max(0, 1 + n) + 4 max(0, 1 + n)²
real 0m0.097s
user 0m0.091s
sys 0m0.006s
nest-3.absynth Sorry, I could not find a bound.
nest-3.absynth Bound: 2 max(0, 1 + n) + 4 max(0, 1 + n)² + 8 max(0, 1 + n)³
real 0m0.197s
user 0m0.184s
sys 0m0.014s
real 0m5.130s
user 0m5.033s
sys 0m0.0042s
nest-4.absynth Sorry, I could not find a bound.
real 0m0.490s
......@@ -292,11 +292,11 @@ trader-1000000.absynth Fatal error: exception Stack overflow
real 0m0.180s
user 0m0.155s
sys 0m0.026s
trader-1000.absynth
trader-1000.absynth
real 2m0.042s
user 1m52.980s
sys 0m7.024s
trader-100.absynth
trader-100.absynth
real 2m0.039s
user 1m52.068s
sys 0m7.936s
......@@ -305,23 +305,22 @@ trader-10.absynth Bound: 5 max(0, -min + price) + 10 max(0, -min + price) max(0
real 0m3.638s
user 0m3.622s
sys 0m0.013s
trader-5000.absynth
trader-5000.absynth
real 2m0.042s
user 1m55.782s
sys 0m4.220s
trader-500.absynth
trader-500.absynth
real 2m0.043s
user 1m53.042s
sys 0m6.955s
trader-50.absynth
trader-50.absynth
real 2m0.044s
user 1m50.268s
sys 0m9.742s
2drobot.imp /tmp/2drobot.imp.imp:19:3: syntax error near 'var'
real 0m0.005s
user 0m0.003s
sys 0m0.002s
2drobot.imp
real 2m0.043s
user 1m51.920s
sys 0m8.123s
queueing-network.absynth Bound: 0.0461967 max(0, 1 + n) + 0.014 max(0, 1 + n)²
real 0m1.286s
......
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