2020-07-02 16:43:1 (GMT)
Theoretically, Leo-III could still solve 425 problems, whereas Zip is at 424. We're slowly getting there. And let's hope Zip is sound. ;)
2020-07-02 16:44:57 (GMT)
I tested it on the whole THF and FOF counter-satisfiable TPTP, which gives me reasonable assurance
2020-07-02 16:45:52 (GMT)
Jasmin Blanchette said:
And let's hope Zip is sound. ;)
I heard the TPTP tea party will have more talks about a machine checkable proof format, and I intend to attend. ;-)
2020-07-02 16:47:20 (GMT)
Zip just won! Congratulations!
2020-07-02 16:50:45 (GMT)
up to soundnesss w.r.t. the new problems (about 50 in the THF division).
2020-07-02 16:51:57 (GMT)
Jasmin Blanchette said:
up to soundnesss w.r.t. the new problems (about 50 in the THF division).
Indeed :slight_smile:
But thanks @Uwe Waldmann regardless
2020-07-02 16:52:40 (GMT)
I'd be curious to know how many problems Zipperposition without E solves within the 500.
2020-07-02 16:53:36 (GMT)
Congrats, Petar!! And of course the other Zip developers: Alex, Sophie, Simon. And the theory-only people: Visa, Uwe. And thanks to Stephan for letting Petar steal his heuristics. ;)
2020-07-02 17:9:43 (GMT)
Congratulations, very well done to all developers!
2020-07-02 17:10:37 (GMT)
I'm going to have to find other excuses than "OCaml is slower than C++" for why Zipperposition didn't win in the past :sweat_smile:
2020-07-02 17:30:1 (GMT)
Congrats Petar and All! Impressive!
2020-07-02 18:59:18 (GMT)
So I missed the business meeting. I guess that means I also missed the announcement of the CASC results?
2020-07-02 19:0:50 (GMT)
They are not announced in the business meeting. There is generally a dedicated session for it, but I don't see one in the IJCAR schedule. So I'm not sure how that'll go.
2020-07-02 19:1:26 (GMT)
I guess: Saturday 16:45 CEST
2020-07-02 19:1:47 (GMT)
(The session is called »Session 15A: Results of Competitions, Reasoning Systems«)
2020-07-02 19:2:10 (GMT)
Oh cool, it's followed by a talk by @Ahmed B on polymorphic Vampire!!
2020-07-02 19:6:41 (GMT)
AFAIK The competition is not yet finished. Zipperposition just has an unbeatable lead now.
2020-07-02 19:19:1 (GMT)
Ok, thanks! I have a hard time keeping track of things in the online schedule (and it was quite a long day :tired: )
2020-07-02 19:20:53 (GMT)
Keep track is very hard… (between IJCAR, FSCD, and the workshops, all on different webpgages)
2020-07-02 19:41:40 (GMT)
All tracks apart from LTB have a winner now
2020-07-02 19:42:22 (GMT)
Thanks to everyone!!! I was biking some so I could not follow the discussions
2020-07-03 8:14:4 (GMT)
Giles said:
All tracks apart from LTB have a winner now
And that winner is Vampire in quite a few cases. Congrats!