Skip to content

systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed - #9

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
systems/refresh
Open

systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed#9
github-actions[bot] wants to merge 1 commit into
mainfrom
systems/refresh

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 17, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Nightly refresh of the SystemOnTPTP systems snapshot.

SYSTEMS.md

diff --git a/priv/system_on_tptp/SYSTEMS.md b/priv/system_on_tptp/SYSTEMS.md
index 1310d7d..02575f9 100644
--- a/priv/system_on_tptp/SYSTEMS.md
+++ b/priv/system_on_tptp/SYSTEMS.md
@@ -1,11 +1,12 @@
 # SystemOnTPTP systems
 
-Generated by `mix atp_client.systems.refresh` from https://tptp.org/cgi-bin/SystemOnTPTPFormReply at 2026-10-16T09:09:16Z; 174 systems.
+Generated by `mix atp_client.systems.refresh` from https://tptp.org/cgi-bin/SystemOnTPTPFormReply at 2026-10-31T09:35:07Z; 176 systems.
 Capabilities: unmarked from the rules, `*` from the UserNote fallback, `†` from `overrides.json`.
 
 | System | Capabilities | Interfaces | SPCs | URL |
 |---|---|---|---|---|
 | `ACE2TPTP---0.0` | import | pre_tptp |  |  |
+| `AddTypes---1.4.4` | transform | system_b4_tptp | TH1 TH0 TX1 TX0 TF1 TF0 |  |
 | `AGInTRater---0.0` | inspect† | system_on_tstp |  | https://tptp.org/Seminars/AGInT/RaterSummary.html |
 | `AGMV---1.0` | verify†, verify_model† | system_on_tstp | NX0 TX0 TF0 FOF |  |
 | `Alt-Ergo---0.95.2` | prove | system_on_tptp | TF1 TF0 FOF CNF |  |
@@ -24,10 +25,10 @@ Capabilities: unmarked from the rules, `*` from the UserNote fallback, `†` fro
 | `CSE_E---1.7` | find_model, prove | system_on_tptp | FOF CNF |  |
 | `CSI_E---1.1` | prove |  | FOF CNF |  |
 | `CSI_PP---1.0` | prove | system_on_tptp | FOF CNF |  |
-| `cvc5---1.3.4` | find_model, prove | system_on_tptp | TH0 TX0 TF0 FOF CNF | https://cvc5.github.io/ |
+| `cvc5---1.4.2` | find_model, prove | system_on_tptp | TH0 TX0 TF0 FOF CNF | https://cvc5.github.io/ |
 | `cvc5-SAT---1.3.3.LK` | find_model |  | TH0_NAR TF0 FOF CNF | https://cvc5.github.io/ |
-| `cvc5-SAT---1.3.4` | find_model | system_on_tptp | TH0_NAR TF0 FOF CNF | https://cvc5.github.io/ |
-| `cvc5-STC---1.3.4` | check† |  | TH0_NAR TF0 FOF CNF | https://cvc5.github.io/ |
+| `cvc5-SAT---1.4.2` | find_model | system_on_tptp | TH0_NAR TF0 FOF CNF | https://cvc5.github.io/ |
+| `cvc5-STC---1.4.2` | check† |  | TH0_NAR TF0 FOF CNF | https://cvc5.github.io/ |
 | `Darwin---1.4.5` | find_model, prove | system_on_tptp | FOF CNF |  |
 | `DarwinFM---1.4.5` | find_model, prove | system_on_tptp | FOF_CSA FOF_SAT CNF_SAT FOF_UNK CNF_UNK |  |
 | `Dedukti---2.7` | verify |  | TH0 TF0 FOF CNF | https://github.com/Deducteam/lambdapi |
@@ -37,7 +38,7 @@ Capabilities: unmarked from the rules, `*` from the UserNote fallback, `†` fro
 | `Drodi-SAT---4.1.1` | find_model, prove | system_on_tptp | FOF CNF |  |
 | `DT2H2X---1.9.5` | find_model, prove | system_on_tptp | DH1_NAR DH0_NAR NH1_NAR NH0_NAR TH1_NAR TH0_NAR |  |
 | `Duper---1.0` | prove | system_on_tptp | TH1_NAR TH0_NAR TF1_NAR TF0_NAR FOF | https://github.com/leanprover-community/duper |
-| `E---3.5.1` | find_model, prove | system_on_tptp | TH0_NAR TX0_NAR TF0_NAR FOF CNF | http://www.eprover.org/ |
+| `E---3.5.1` | find_model, prove | system_on_tptp | TH0_NAR TH0_PRP TX0_NAR TX0_PRP TF0_NAR TF0_PRP FOF CNF | http://www.eprover.org/ |
 | `E-Darwin---1.5` | find_model, prove | system_on_tptp | FOF CNF |  |
 | `E-SAT---3.5.1` | find_model, prove | system_on_tptp | TF0_NAR FOF CNF | http://www.eprover.org/ |
 | `ECNF---3.5.1` | transform | system_b4_tptp | FOF | http://www.eprover.org/ |
@@ -134,6 +135,7 @@ Capabilities: unmarked from the rules, `*` from the UserNote fallback, `†` fro
 | `SC-TPTP---0.0` | verify | system_on_tstp | FOF CNF | https://github.com/SC-TPTP/sc-tptp |
 | `Scavenger---EP-0.2` | find_model, prove | system_on_tptp | FOF CNF | https://gitlab.com/aossie/Scavenger |
 | `SEM---1.7` | find_model |  | CNF_SAT CNF_UNK | http://www.cs.uiowa.edu/~hzhang/sem.html |
+| `Shot---0.1.5` | prove | system_on_tptp | TH0_NAR | https://github.com/jcschuster/ShotTx/ |
 | `ShZZaM---0.2` | transform | system_b4_tptp |  |  |
 | `SInE---0.4` | prove |  | FOF | http://www.cs.man.ac.uk/~hoderk/sine/ |
 | `SInE-LTB---0.4` | prove |  |  | http://www.cs.man.ac.uk/~hoderk/sine/ |
@@ -149,7 +151,7 @@ Capabilities: unmarked from the rules, `*` from the UserNote fallback, `†` fro
 | `SRASS---0.1` | prove | system_on_tptp | FOF | https://tptp.org/ATPSystems/SRASS/ |
 | `SSCPA---0.0` | prove |  |  | https://tptp.org/cgi-bin/SystemOnTPTP |
 | `SUPr---1.0` | prove | system_on_tptp | TF0 FOF CNF | https://github.com/ontologyportal/sigma-rs |
-| `Taelja---0.2.0.0` | transform† | system_on_tstp |  | https://github.com/kondylidou/Taelja |
+| `Taelja---0.2.0.1` | transform† | system_on_tstp |  | https://github.com/kondylidou/Taelja |
 | `ToFoF---0.1` | find_model, prove | system_on_tptp | TF0_NAR | http://tptp.org/ATPSystems/ToFoF/ |
 | `ToFoF-SAT---0.1` | find_model, prove | system_on_tptp | TF0_NAR | http://tptp.org/ATPSystems/ToFoF/ |
 | `Toma---0.7` | prove | system_on_tptp | CNF_UEQ | https://www.jaist.ac.jp/project/maxcomp/ |
@@ -161,12 +163,12 @@ Capabilities: unmarked from the rules, `*` from the UserNote fallback, `†` fro
 | `TSTP2NL---0.2` | transform† | system_on_tstp |  |  |
 | `Twee---2.7` | find_model, prove | system_on_tptp | TF0_NAR FOF CNF | http://nick8325.github.io/twee/ |
 | `VaLeaDate---0.1` | verify |  | FOF CNF | https://github.com/i-am-a-teapot/VaLeaDate |
-| `Vampire---5.0.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TX1_NAR TX0 TF1_NAR TF0 FOF CNF | https://vprover.github.io/ |
-| `Vampire-FMo---5.0.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TF1_NAR TX0 TF0 FOF CNF | https://vprover.github.io/ |
-| `Vampire-LIT---5.0.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TX1_NAR TX0 TF1_NAR TF0 FOF CNF | https://vprover.github.io/ |
+| `Vampire---5.1.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TX1_NAR TX0 TF1_NAR TF0 FOF CNF | https://vprover.github.io/ |
+| `Vampire-FMo---5.1.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TF1_NAR TX0 TF0 FOF CNF | https://vprover.github.io/ |
+| `Vampire-LIT---5.1.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TX1_NAR TX0 TF1_NAR TF0 FOF CNF | https://vprover.github.io/ |
 | `Vampire-LP---5.0.1` | prove† | system_on_tptp | TH1_NAR TH0_NAR TF1_NAR TX0 TF0 FOF CNF |  |
-| `Vampire-SAT---5.0.1` | find_model, prove | system_on_tptp | TX0 TF0 FOF CNF | https://vprover.github.io/ |
-| `Vampire-SATLIT---5.0.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TX1_NAR TX0 TF1_NAR TF0 FOF CNF | https://vprover.github.io/ |
+| `Vampire-SAT---5.1.1` | find_model, prove | system_on_tptp | TX0 TF0 FOF CNF | https://vprover.github.io/ |
+| `Vampire-SATLIT---5.1.1` | find_model, prove | system_on_tptp | TH1_NAR TH0_NAR TX1_NAR TX0 TF1_NAR TF0 FOF CNF | https://vprover.github.io/ |
 | `VCNF---4.8` | transform | system_b4_tptp | FOF | https://vprover.github.io/ |
 | `VIP---1.718` | prove | system_on_tptp | FOF CNF | https://github.com/delahayd/ip.git |
 | `VSelect---4.4` | transform | system_b4_tptp |  | https://vprover.github.io/ |

Audit

Compiling 1 file (.ex)
176 systems, nothing requires action

@github-actions
github-actions Bot force-pushed the systems/refresh branch 7 times, most recently from 1ef5dc4 to c083c38 Compare October 24, 2026 08:05
@github-actions
github-actions Bot force-pushed the systems/refresh branch 2 times, most recently from 659eb9b to c8be124 Compare October 26, 2026 08:51
@github-actions github-actions Bot changed the title systems: +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 0 fields changed systems: +Shot---0.1.4 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 0 fields changed Oct 26, 2026
@github-actions github-actions Bot changed the title systems: +Shot---0.1.4 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 0 fields changed systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 0 fields changed Oct 27, 2026
@github-actions github-actions Bot changed the title systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 0 fields changed systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed Oct 28, 2026
@github-actions github-actions Bot changed the title systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed Oct 29, 2026
@github-actions
systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire--…
23e1cfe 
…-5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants