Figure 4.8 - Run time behavior for eijk.S1238.S

Applying AIGMOD to AIGER benchmark eijk.S1238.S yields the AIGER benchmark eijk.S1238.S+aigmod. For this benchmark we ran modified AIGBMC, linked to the original unmodified solver MiniSAT 2.2.0, as follows:

./aigbmc -m -v -v eijk.S1238.S+aigmod.aig 50 > eijk.S1238.S+aigmod.inc
And for X between 0 and 50:
./aigbmc -m -v -v -j eijk.S1238.S+aigmod.aig X > eijk.S1238.S+aigmod.jX

The result was the following set of 51 logs. A postscript version of Figure 4.8 was obtained using the bash script plot-eijk-runtime.sh. It was subsequently translated to a PDF using ps2pdf, and cropped with pdfcrop.