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 9.43 12.55 Yes<br />
qdjanus.pl.unsound 0.10 0.16 Yes<br />
qmlattice.pl.unsound 0.06 0.06 No<br />
raytrace_inst.pl 0.02 0.03 No<br />
re<strong>for</strong>m_compiler.pl.unsound 4.86 3.61 Yes<br />
reg.pl 0.06 0.10 Yes<br />
rubik.pl 4.19 8.97 No<br />
s4_tp.pl 0.20 0.17 No<br />
salvini.pl.unsound 0.04 0.06 Yes<br />
sax.pl 0.31 0.39 Yes<br />
scc.pl 0.07 0.04 Yes<br />
scc2.pl 0.03 0.03 Yes<br />
semi.pl 0.00 0.00 No<br />
semigroup.pl 0.03 0.09 No<br />
sg_mc_big.pl 0.01 0.03 No<br />
sim.pl 0.00 0.00 Yes<br />
simple_analyzer.pl 0.03 0.04 Yes<br />
slice-all.pl 0.08 0.12 No<br />
sprftp.pl.unsound 0.03 0.06 Yes<br />
spsys.pl 0.09 0.10 Yes<br />
strips.pl 0.06 0.06 Yes<br />
synth.pl 0.16 0.18 Yes<br />
tictactoe.pl 0.14 0.16 Yes<br />
tricia.pl 12.67 28.16 Yes<br />
trs.pl 0.10 0.11 Yes<br />
vhdl97_parser.pl 0.46 0.54 Yes<br />
This representation per<strong>for</strong>ms much better than <strong>the</strong> previous ones, although <strong>the</strong> new<br />
implementation is generally less efficient and approximates more.<br />
5.2 Results 53