Skip to content

Commit a82546f

Browse files
author
Martin Jonáš
committed
Remove old submissions.
1 parent 1393c85 commit a82546f

20 files changed

+0
-738
lines changed

‎submissions/Amaya.json‎

Lines changed: 0 additions & 22 deletions
This file was deleted.

‎submissions/COLIBRI.json‎

Lines changed: 0 additions & 22 deletions
This file was deleted.

‎submissions/STP-Parti-Bitwuzla.json‎

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎submissions/STP.json‎

Lines changed: 0 additions & 40 deletions
This file was deleted.

‎submissions/Z3-Parti-Z3++.json‎

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎submissions/Z3-alpha.json‎

Lines changed: 0 additions & 35 deletions
This file was deleted.

‎submissions/algaroba.json‎

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎submissions/bitwuzla.json‎

Lines changed: 0 additions & 39 deletions
This file was deleted.

‎submissions/cvc5-cloud.json‎

Lines changed: 0 additions & 19 deletions
This file was deleted.

‎submissions/cvc5.json‎

Lines changed: 0 additions & 63 deletions
This file was deleted.

0 commit comments

Comments
 (0)