User Tools

Site Tools


sv-comp_2015_sequentialized

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
sv-comp_2015_sequentialized [2015/01/14 14:59]
bjowac
sv-comp_2015_sequentialized [2015/01/14 15:01]
bjowac
Line 8: Line 8:
 dominated by solver time dominated by solver time
  
-* ESMBC only other tool to solve this+  ​* ESMBC only other tool to solve this
  
 SMT2 backend complains SMT2 backend complains
sv-comp_2015_sequentialized.txt ยท Last modified: 2015/01/14 16:01 by bjowac