Bug #4809
long verification time for /hi-bench/main-bench/TACAS17_ex/ex1_lra.c --claim 1 --logic qflra
Start date:
15/03/2017
Due date:
% Done:
100%
Estimated time:
Description
it took 100 sec to be verified
previously it used to work faster like in 5 sec.
History
#1 Updated by Karine Even Mendoza about 7 years ago
- Status changed from New to Resolved
- Assignee set to Sepideh Asadi
- % Done changed from 0 to 100
fixed.
3.5s, is it ok?
#2 Updated by Karine Even Mendoza almost 7 years ago
- Status changed from Resolved to Closed
If still too slow, please open a new issue.
Please state what's the current run time and what is the goal run time.