[SMT-COMP] SMTCOMP news - done with the sprints, now for the long haul

David Cok dcok at grammatech.com
Fri Jun 20 23:04:10 EDT 2014


Exciting things happen in SMTCOMP - on the scale of hours (not just 
days, like the World Cup)

As we head into the weekend after 4 days of computing, all but one of 
the small divisions are now complete, with just the marathons to go over 
the next few days: AUFLIRA is only 1/4 of the way through its 43K 
job-pairs, QF_NRA has 27K todo, QF_NIA has 23K, and  QF_ABV, QF_LIA,  
UFLIA, QF_UF each have  10-14K to do. Only UF is expected to finish its 
last 1K in the near term.

StarExec is feeling the strain as well :-)  - we must be into a harder 
set of benchmarks, because progress has slowed 35-40K job-pairs per day.

We have seen another soundness error, so Yices no longer leads the gold 
medal rankings.  Furthermore, veriT as the #2 is starting to challenge 
SMTInterpol - currently #1. They are just 0.6 out of 18 points apart, 
and veriT has been gaining steadily over the course of the day. Let's 
hope for no more stumbles!

Cheers,

David


More information about the SMT-COMP mailing list