User Tools

Site Tools



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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sv-comp_2015_sequentialized [2015/01/14 14:59]
sv-comp_2015_sequentialized [2015/01/14 16:01]
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 not working due to floatbv? 
 +Passing problem to SMT2 QF_AUFBV using Yices 
 +TODO: floatbv -> int
 SMT2 backend complains SMT2 backend complains
sv-comp_2015_sequentialized.txt · Last modified: 2015/01/14 16:01 by bjowac