FAST Extended Release

You are on the download page of the new version of the FAST tool. The official home page is hosted by the LSV laboratory.

Short description of FAST Extended Release

In this new release the algorithms used to accelerate transitions are separated from those used to encode solutions of Presburger formulas. The encoding of solutions is realized by means of GENEPI plugins loaded when FAST Extended Release is started.

Benchmarks

The following table compares performances of Genepi plugins on FAST models 1). Since the semi-algorithm implemented in FAST may make random choices, each test is parametrized by the seed of the random number generator; the seed is given in the second column of the table below.

Each process was allocated a budget of 4.5 GB and 5 minutes of CPU times. ERR indicates an abnormal termination of the program due to the consumption of its memory or time limit. The benchmarks was executed on a 64 bits machine equipped with an Intel® Xeon® 2.33 GHz CPU and 8 GB of memory. CPU Execution times are expressed in seconds and were computed with the time command of the bash shell.

File Seed lash-lsdf lash-msdf lira mona omega prestaf prestaf
no-among
rva
barber 2691 2.17 1.45 0.85 0.10 0.38 0.37 0.40 ERR
barber 3284 2.03 1.35 0.85 0.10 0.56 0.34 0.39 ERR
barber 21768 2.07 1.32 0.90 0.10 0.47 0.37 0.38 ERR
berkeley 2691 0.35 0.21 0.13 0.03 0.02 0.23 0.22 ERR
berkeley 3284 0.32 0.20 0.12 0.03 0.02 0.24 0.24 ERR
berkeley 21768 0.34 0.21 0.13 0.03 0.02 0.22 0.23 ERR
BoigelotLe... 2691 78.35 15.33 25.31 31.17 ERR 25.44 66.08 ERR
BoigelotLe... 3284 60.95 16.74 19.31 25.77 ERR 22.77 51.68 ERR
BoigelotLe... 21768 119.89 26.57 32.87 20.06 ERR 35.15 36.86 ERR
BoigelotLe... 2691 41.51 11.71 13.89 6.57 0.91 5.92 12.39 ERR
BoigelotLe... 3284 35.48 9.88 12.02 6.51 0.31 4.16 11.58 ERR
BoigelotLe... 21768 155.71 34.51 27.30 25.41 9.21 35.91 47.80 ERR
canibals_v... 2691 ERR ERR ERR ERR ERR ERR ERR ERR
canibals_v... 3284 ERR ERR ERR ERR ERR ERR ERR ERR
canibals_v... 21768 ERR ERR ERR ERR ERR ERR ERR ERR
centralser... 2691 55.44 32.86 45.04 1.49 ERR 2.53 3.29 ERR
centralser... 3284 50.56 33.74 56.64 1.32 ERR 2.48 3.12 ERR
centralser... 21768 51.62 39.39 46.99 1.33 ERR 2.49 3.17 ERR
consistenc... 2691 ERR ERR ERR 22.61 22.69 71.25 76.47 ERR
consistenc... 3284 ERR ERR ERR 23.99 ERR 71.63 77.09 ERR
consistenc... 21768 ERR ERR ERR 22.58 9.41 71.35 76.24 ERR
consistenc... 2691 6.20 3.55 4.61 0.21 0.29 0.45 0.52 ERR
consistenc... 3284 6.11 3.51 4.53 0.20 0.28 0.46 0.51 ERR
consistenc... 21768 6.18 3.54 4.59 0.20 0.28 0.45 0.52 ERR
consprod 2691 90.31 88.65 ERR 3.15 ERR 2.50 3.81 ERR
consprod 3284 98.51 93.86 ERR 3.52 ERR 2.51 3.97 ERR
consprod 21768 99.55 86.12 ERR 3.53 ERR 2.51 3.92 ERR
consprodja... 2691 ERR ERR ERR 72.76 ERR 13.71 28.25 ERR
consprodja... 3284 ERR ERR ERR 189.15 ERR 16.81 36.74 ERR
consprodja... 21768 ERR ERR ERR 76.40 ERR 22.33 50.14 ERR
consprodja... 2691 ERR ERR ERR 71.29 ERR 13.76 28.26 ERR
consprodja... 3284 ERR ERR ERR 189.78 ERR 16.75 36.96 ERR
consprodja... 21768 ERR ERR ERR 76.17 ERR 22.44 50.17 ERR
consprodja... 2691 ERR 186.79 ERR 6.63 ERR 2.55 4.48 ERR
consprodja... 3284 ERR 129.54 ERR 5.45 ERR 2.50 4.26 ERR
consprodja... 21768 ERR 144.48 ERR 6.35 ERR 2.52 4.34 ERR
csm 2691 216.40 153.61 ERR 7.02 ERR 4.69 7.70 ERR
csm 3284 230.39 156.15 278.47 7.08 ERR 4.72 7.90 ERR
csm 21768 236.61 157.34 281.97 7.35 ERR 4.72 8.08 ERR
csmInv 2691 6.75 4.60 7.88 0.25 0.45 0.69 0.72 ERR
csmInv 3284 6.72 4.59 7.89 0.25 0.44 0.69 0.71 ERR
csmInv 21768 6.71 4.60 7.90 0.24 0.44 0.71 0.71 ERR
dekker 2691 119.54 87.06 ERR 3.13 ERR 4.21 5.15 ERR
dekker 3284 128.07 97.60 ERR 3.52 ERR 4.20 5.24 ERR
dekker 21768 125.78 96.00 ERR 3.43 ERR 4.21 5.33 ERR
DRAGON 2691 1.71 1.06 0.75 0.10 0.31 0.34 0.36 ERR
DRAGON 3284 1.67 1.12 0.71 0.09 0.20 0.35 0.36 ERR
DRAGON 21768 1.76 1.11 0.79 0.09 0.24 0.35 0.36 ERR
efm 2691 1.36 0.71 0.40 0.06 0.03 0.31 0.32 ERR
efm 3284 1.37 0.72 0.41 0.06 0.03 0.32 0.33 ERR
efm 21768 1.35 0.71 0.41 0.06 0.03 0.32 0.32 ERR
FIREFLY 2691 1.06 0.56 0.34 0.05 0.04 0.24 0.27 ERR
FIREFLY 3284 1.06 0.56 0.32 0.05 0.05 0.26 0.28 ERR
FIREFLY 21768 1.06 0.56 0.33 0.05 0.05 0.26 0.26 ERR
fms 2691 ERR ERR ERR 15.35 ERR 12.50 ERR ERR
fms 3284 ERR ERR ERR 12.89 ERR 10.10 35.63 ERR
fms 21768 ERR ERR ERR 14.83 ERR 12.04 ERR ERR
fmsInv 2691 ERR ERR ERR 17.94 ERR 12.46 ERR ERR
fmsInv 3284 ERR ERR ERR 15.52 ERR 10.87 ERR ERR
fmsInv 21768 ERR ERR ERR 17.42 ERR 12.20 ERR ERR
futurbus 2691 4.28 2.86 2.15 0.18 0.54 0.48 0.56 ERR
futurbus 3284 5.18 3.27 2.53 0.20 1.01 0.50 0.58 ERR
futurbus 21768 4.31 2.73 2.26 0.19 0.67 0.49 0.56 ERR
gb 2691 ERR ERR ERR ERR ERR ERR ERR ERR
gb 3284 ERR ERR ERR ERR ERR ERR ERR ERR
gb 21768 ERR ERR ERR ERR ERR ERR ERR ERR
ILLINOIS 2691 1.01 0.62 0.41 0.05 0.08 0.29 0.31 ERR
ILLINOIS 3284 1.04 0.66 0.39 0.06 0.07 0.30 0.33 ERR
ILLINOIS 21768 1.03 0.63 0.43 0.06 0.08 0.29 0.32 ERR
incdec 2691 ERR ERR ERR ERR ERR ERR ERR ERR
incdec 3284 ERR ERR ERR ERR ERR ERR ERR ERR
incdec 21768 ERR ERR ERR ERR ERR ERR ERR ERR
incdecInv 2691 ERR ERR ERR ERR ERR 41.09 ERR ERR
incdecInv 3284 ERR ERR ERR ERR ERR 42.94 ERR ERR
incdecInv 21768 ERR ERR ERR ERR ERR 43.52 ERR ERR
kanban 2691 29.08 20.77 121.77 0.90 ERR 2.15 2.42 ERR
kanban 3284 28.69 20.24 122.54 0.86 ERR 2.14 2.42 ERR
kanban 21768 27.52 19.10 120.89 0.83 ERR 2.14 2.34 ERR
lamport 2691 7.04 4.04 3.46 0.22 0.88 0.67 0.73 ERR
lamport 3284 6.81 3.82 3.42 0.20 0.50 0.66 0.71 ERR
lamport 21768 6.74 3.71 3.24 0.20 0.61 0.64 0.72 ERR
lastinfirs... 2691 3.74 2.42 1.29 0.16 2.67 0.44 0.49 ERR
lastinfirs... 3284 3.95 2.11 1.35 0.16 1.19 0.45 0.48 ERR
lastinfirs... 21768 4.41 2.34 1.40 0.18 190.59 0.44 0.52 ERR
lift 2691 5.84 3.66 2.81 0.21 0.48 0.49 0.53 ERR
lift 3284 5.76 3.61 2.63 0.22 1.48 0.48 0.55 ERR
lift 21768 5.52 3.64 2.78 0.21 0.59 0.50 0.52 ERR
manufactur... 2691 2.19 1.59 1.18 21.89 0.07 3.91 78.02 ERR
manufactur... 3284 2.23 1.58 1.21 21.92 0.07 3.94 78.24 ERR
manufactur... 21768 2.21 1.59 1.20 21.82 0.07 3.95 77.63 ERR
MESI 2691 0.40 0.27 0.18 0.03 0.04 0.23 0.23 ERR
MESI 3284 0.39 0.26 0.18 0.03 0.04 0.21 0.22 ERR
MESI 21768 0.40 0.27 0.17 0.03 0.02 0.23 0.25 ERR
MOESI 2691 0.63 0.44 0.28 0.04 0.07 0.26 0.28 ERR
MOESI 3284 0.58 0.41 0.27 0.04 0.04 0.26 0.28 ERR
MOESI 21768 0.63 0.44 0.27 0.04 0.04 0.26 0.27 ERR
multipoll 2691 112.37 59.97 210.27 2.46 24.81 2.47 4.80 ERR
multipoll 3284 109.63 63.11 210.76 2.47 30.26 2.42 4.62 ERR
multipoll 21768 95.86 64.54 209.01 2.15 25.62 2.31 4.33 ERR
peterson 2691 16.14 9.16 21.95 0.42 3.10 1.18 1.30 ERR
peterson 3284 15.88 8.84 22.12 0.41 2.08 1.18 1.24 ERR
peterson 21768 16.16 9.19 22.16 0.43 3.52 1.18 1.27 ERR
PRODUCER-C... 2691 0.45 0.32 0.16 0.03 0.02 0.23 0.24 ERR
PRODUCER-C... 3284 0.45 0.32 0.16 0.03 0.02 0.22 0.24 ERR
PRODUCER-C... 21768 0.45 0.31 0.16 0.03 0.02 0.22 0.25 ERR
readwrit 2691 30.56 19.96 47.18 1.24 ERR 6.24 6.44 ERR
readwrit 3284 28.90 19.85 45.38 1.16 ERR 6.22 6.44 ERR
readwrit 21768 30.19 19.89 49.98 1.22 ERR 6.27 6.41 ERR
rtp 2691 3.35 2.20 1.29 0.13 0.27 0.44 0.48 ERR
rtp 3284 3.29 2.16 1.38 0.13 0.27 0.43 0.46 ERR
rtp 21768 3.23 2.11 1.28 0.13 0.27 0.42 0.46 ERR
swimmingpo... 2691 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 3284 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 21768 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 2691 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 3284 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 21768 ERR ERR ERR 22.05 ERR ERR 52.26 ERR
swimmingpo... 2691 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 3284 ERR ERR ERR ERR ERR ERR ERR ERR
swimmingpo... 21768 ERR ERR ERR 90.51 ERR ERR 217.22 ERR
SYNAPSE 2691 0.24 0.14 0.09 0.02 0.01 0.21 0.22 48.57
SYNAPSE 3284 0.24 0.14 0.08 0.02 0.01 0.21 0.23 48.11
SYNAPSE 21768 0.24 0.14 0.08 0.02 0.01 0.23 0.23 48.67
ticket2i 2691 1.02 0.97 0.70 0.06 0.14 0.26 0.27 ERR
ticket2i 3284 1.04 0.98 0.73 0.06 0.14 0.29 0.31 ERR
ticket2i 21768 1.07 1.02 0.76 0.06 0.14 0.29 0.31 ERR
ticket3i 2691 10.65 9.58 7.88 0.42 14.31 0.40 0.50 ERR
ticket3i 3284 10.73 9.58 8.71 0.43 9.30 0.41 0.50 ERR
ticket3i 21768 10.57 9.37 8.46 0.41 11.62 0.37 0.53 ERR
train 2691 13.45 7.88 7.43 0.60 15.42 0.56 0.67 ERR
train 3284 16.87 9.36 9.26 1.21 45.57 0.69 0.88 ERR
train 21768 14.19 6.98 8.61 0.71 50.86 0.58 0.67 ERR
ttp2 2691 ERR ERR ERR 104.19 ERR 32.37 52.35 ERR
ttp2 3284 ERR ERR ERR 71.21 ERR 28.22 45.94 ERR
ttp2 21768 ERR ERR ERR 89.66 ERR 30.30 53.08 ERR
ttp 2691 ERR ERR ERR 18.14 29.90 23.56 39.78 ERR
ttp 3284 ERR ERR ERR 17.57 21.96 22.86 38.33 ERR
ttp 21768 ERR ERR ERR 20.21 25.90 23.11 38.72 ERR

Downloads

FASTer, GENEPI and plugins are downloadable here. The current version for the software if FASTer 2.1.

Bug reporting and Feature requests

Report bugs adn new feature requests to altarica-bugs@labri.fr

1) these files are distributed within the FAST package.
 
tools/faster.txt · Last modified: 2009/04/24 12:34 by point
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki