POSIX Apps
#NameSize FromScratch JustRename
1aget_comb 1280 lines 2.89 s / 2418 vars / 5421 evals 2.91 s / 2418 vars / 5421 evals (compare)
-aget_comb01.patch patched 2.90 s / 2419 vars / 5430 evals 2.91 s / 2419 vars / 5483 evals (compare)
-aget_comb02.patch patched 2.93 s / 2418 vars / 5421 evals 2.96 s / 2418 vars / 5421 evals (compare)
2knot_comb 2255 lines 4.15 s / 5845 vars / 13551 evals 4.18 s / 5845 vars / 13551 evals (compare)
-knot_comb01.patch patched 4.17 s / 5845 vars / 13551 evals 4.25 s / 5845 vars / 13695 evals (compare)
-knot_comb02.patch patched 4.18 s / 5845 vars / 13551 evals 4.18 s / 5845 vars / 13551 evals (compare)
3ypbind_comb 6591 lines 21.88 s / 32824 vars / 59225 evals 21.88 s / 32824 vars / 59225 evals (compare)
-ypbind_comb01.patch patched 21.69 s / 32860 vars / 59675 evals 21.76 s / 32860 vars / 59675 evals (compare)
-ypbind_comb02.patch patched 21.51 s / 32824 vars / 59225 evals 21.60 s / 32824 vars / 59225 evals (compare)
-ypbind_comb03.patch patched 22.01 s / 32824 vars / 59225 evals 21.78 s / 32824 vars / 59225 evals (compare)
4smtprc_comb 5787 lines 21.46 s / 17376 vars / 26086 evals 21.65 s / 17376 vars / 26086 evals (compare)
-smtprc_comb01.patch patched 21.68 s / 17376 vars / 26086 evals 21.79 s / 17376 vars / 26086 evals (compare)
-smtprc_comb02.patch patched 21.43 s / 17376 vars / 26086 evals 21.25 s / 17376 vars / 26086 evals (compare)

Last updated: 2021-10-19 17:34:11 +0000 Goblint version: heads/incremental/comparing-runs-0-g61376cf8 Cil version: 1.8.1 (unknown) Configuration: tracing disabled