SMT 1.4 Performance Results

From Event-B
Revision as of 09:38, 7 September 2017 by imported>Nicolas (Created page with "In SMT plug-in 1.4.0, the following bundled provers have been upgraded: * veriT (v2016) * CVC4 (v1.4) * Z3 (v4.5) This has led to globally improve the rate of automatically d...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

In SMT plug-in 1.4.0, the following bundled provers have been upgraded:

  • veriT (v2016)
  • CVC4 (v1.4)
  • Z3 (v4.5)

This has led to globally improve the rate of automatically discharged proof obligations (PO), thus reducing the remaining POs to prove manually. The following picture shows the discharged POs:

File:Discharged.png

This next image focuses on the remaining POs:

File:Remaining.png

Retrieved from ‘https://wiki.event-b.org/index.php?title=SMT_1.4_Performance_Results&oldid=9113’