a modern C++ library for the manipulation of Boolean functions
a modern C++ library for the manipulation of Boolean functions
a modern C++ library for the manipulation of Boolean functions
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Program China China + CORAL Differs<br />
puzzle.pl TIMEOUT 37.56 Yes<br />
qdjanus.pl.unsound 1.20 1.21 No<br />
qmlattice.pl.unsound 0.08 0.08 No<br />
raytrace_inst.pl 0.10 0.08 No<br />
re<strong>for</strong>m_compiler.pl.unsound TIMEOUT TIMEOUT Yes<br />
reg.pl 3.50 3.33 No<br />
rubik.pl 185.78 201.85 No<br />
s4_tp.pl 0.21 0.19 No<br />
salvini.pl.unsound 0.14 0.16 No<br />
sax.pl 5.18 5.03 No<br />
scc.pl 1.41 1.38 No<br />
scc2.pl 0.76 0.69 No<br />
semi.pl 0.22 0.23 No<br />
semigroup.pl 29.69 28.68 No<br />
sg_mc_big.pl 0.97 0.57 No<br />
sim.pl 161.73 147.79 No<br />
simple_analyzer.pl 2.32 2.28 No<br />
slice-all.pl 0.13 0.12 No<br />
sprftp.pl.unsound 8.99 8.59 No<br />
spsys.pl 1.20 1.17 No<br />
strips.pl 2.82 2.75 No<br />
synth.pl 2.38 2.25 No<br />
tictactoe.pl 2.12 2.01 No<br />
tricia.pl TIMEOUT 76.43 Yes<br />
trs.pl 47.02 47.93 No<br />
vhdl97_parser.pl 3.03 2.97 No<br />
Here <strong>the</strong> per<strong>for</strong>mance shown by <strong>the</strong> new implementation is very <strong>of</strong>ten better; we suspect<br />
that <strong>the</strong> reason lies in an unoptimal use <strong>of</strong> and_vs_true made by <strong>the</strong> previous<br />
implementation.<br />
5.2 Results 47
Change language