[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