Skip to content

Latest commit

 

History

History
43 lines (40 loc) · 4.39 KB

BENCHMARKS.md

File metadata and controls

43 lines (40 loc) · 4.39 KB
Raw

Benchmark Results

Test (1) (1) (2) (2) (3) (3) (4) (4) (5) (5) (6) (6) (7) (7) (8) (8)
graph-01.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.017 P 0.000 P 0.000 P
graph-02.c.strace 0.002 P 0.003 P 0.001 P 0.002 P 0.001 P 0.205 P 0.000 P 0.000 P
graph-03.c.strace 0.007 P 0.007 P 0.006 P 0.008 P 0.005 P 0.397 P 0.000 P 0.001 P
graph-04.c.strace 0.001 P 0.000 P 0.000 P 0.000 P 0.000 P 0.043 P 0.000 P 0.000 P
graph-05.c.strace 0.002 P 0.002 P 0.001 P 0.002 P 0.001 P 0.226 P 0.000 P 0.000 P
graph-08.c.strace 0.009 P 0.015 P 0.010 P 0.009 P 0.006 P 0.756 P 0.001 P 0.002 P
graph-09.c.strace 0.016 P 0.023 P 0.011 P 0.014 P 0.007 P 1.079 P 0.001 P 0.002 P
graph-10.c.strace 0.028 P 0.037 P 0.024 P 0.031 P 0.015 P 2.618 P 0.003 P 0.004 P
graph-11.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.027 P 0.000 P 0.000 P
graph-13.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.016 P 0.000 P 0.000 P
graph-14.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.033 P 0.000 P 0.000 P
graph-15.c.strace 0.013 P 0.019 P 0.008 P 0.012 P 0.006 P 1.153 P 0.001 P 0.002 P
graph-16.c.strace 0.067 P 0.073 P 0.050 P 0.054 P 0.029 P 3.000 T 0.003 P 0.006 P
graph-17.c.strace 0.001 P 0.001 P 0.001 P 0.001 P 0.001 P 0.103 P 0.000 P 0.000 P
set-00.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P
set-01.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.005 P 0.000 P 0.000 P
set-04.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P
set-05.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.005 P 0.000 P 0.000 P
set-07.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.005 P 0.000 P 0.000 P
set-08.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.016 P 0.000 P 0.000 P
set-09.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.037 P 0.000 P 0.000 P
set-10.c.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.012 P 0.000 P 0.000 P
set-11.c.strace 0.000 P 0.001 P 0.001 P 0.001 P 0.001 P 0.061 P 0.000 P 0.000 P
set-12.c.strace 0.000 P 0.000 P 0.000 P 0.001 P 0.000 P 0.065 P 0.000 P 0.000 P
test1.strace 0.000 P 0.000 P 0.000 P 0.000 P 0.000 P 0.016 P 0.000 P 0.000 P
Total 0.148 25 0.182 25 0.115 25 0.137 25 0.075 25 9.898 24 0.010 25 0.019 25

  • T: Timeout

  • P: Pass: No warnings

  • F: Fail: Warnings raised

  • (1): -bdd-full -sing

  • (2): -bdd-full -pack -sing

  • (3): -bdd-full -eq -sing

  • (4): -bdd-full -eq -pack -sing

  • (5): -bdd-full -pack -eq -sing

  • (6): -qbf depqbf -sing

  • (7): -lin

  • (8): -lin -eq