It's mostly z3 instances because yices and boolector finish much faster :) 1665 jobs in total. 2/5 of them are z3 jobs.
-
-
-
running them on a 36 core ec2 c4 instance really helps. But it costs ~25 USD to run the entire benchmark.
End of conversation
New conversation -
-
-
3/5 of those jobs are QF_AUFBV, the other 2/5 are QF_ABV with unrolling in yosys-smtbmc to get rid of UF.
-
Results of my last run: http://scratch.clifford.at/compact_smt2_enc_r1102.html … generally the unrolled version is better. Expected, but not what I hoped for.
- Show replies
New conversation -
-
-
Same here. I think it's like what they say about quantum mechanics: If you claim to understand it, you probably don't. :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.