<commit_before>
(prover
  (name zip-find-expect)
  (cmd "grep ' expect:'")
  (sat "expect: sat")
  (unsat "expect: unsat"))

(dir
  (path $cur_dir)
  (pattern ".*\\zf")
  (expect (try (run zip-find-expect) (const unsat))))

(dir
  (path $cur_dir/../examples/)
  (pattern ".*\\.(zf|p)")
  (expect (const unsat)))

(prover
  (name zip-dev)
  (binary $cur_dir/../zipperposition.exe)
  (cmd "$cur_dir/../zipperposition.exe $file --timeout $timeout --mem-limit $memory --output none")
  (unsat "SZS status (Theorem|Unsatisfiable)")
  (sat "SZS status (CounterSatisfiable|Satisfiable)")
  (timeout "SZS status ResourceOut")
  (version "git:."))

(prover
  (name zip-dev-check)
  (binary $cur_dir/../zipperposition.exe)
  (cmd "$cur_dir/../zipperposition.exe $file --timeout $timeout --mem-limit $memory --output none --check")
  (unsat "SZS status (Theorem|Unsatisfiable)")
  (sat "SZS status (CounterSatisfiable|Satisfiable)")<commit_msg>test: modify benchpress config<commit_after>
(prover
  (name zip-find-expect)
  (cmd "grep ' expect:'")
  (sat "expect: sat")
  (unsat "expect: unsat"))

(prover
  (name tptp-find-expect)
  (cmd "grep '% Status[ ]*:'")
  (sat "Status[ ]*: (CounterSatisfiable|Satisfiable)")
  (unsat "Status[ ]*: (Unsatisfiable|Theorem|CounterTheorem|Lemma)"))

(dir
  (path $cur_dir)
  (pattern ".*\\zf")
  (expect (try (run zip-find-expect) (run tptp-find-status) (const unknown))))

(dir
  (path $cur_dir/../examples/)
  (pattern ".*\\.(zf|p)")
  (expect (try (run zip-find-expect) (run tptp-find-status) (const unknown))))

(dir
  (path $home/workspace/TPTP-v6.1.0//)
  (pattern ".*\\.p")
  (expect (try (run tptp-find-status) (const unknown))))

(prover
  (name zip-dev)
  (binary $cur_dir/../zipperposition.exe)
  (cmd "$cur_dir/../zipperposition.exe $file --timeout $timeout --mem-limit $memory --output none")
  (unsat "SZS status (Theorem|Unsatisfiable)")
  (sat "SZS status (CounterSatisfiable|Satisfiable)")
  (timeout "SZS status ResourceOut")
  (version "git:."))

(prover
  (name zip-dev-check)
  (binary $cur_dir/../zipperposition.exe)
  (cmd "$cur_dir/../zipperposition.exe $file --timeout $timeout --mem-limit $memory --output none --check")
  (unsat "SZS status (Theorem|Unsatisfiable)")
  (sat "SZS status (CounterSatisfiable|Satisfiable)")
{'fraction_non_alphanumeric': 0.19736263736263737, 'fraction_numerical': 0.0013186813186813187, 'mean_word_length': 4.0690423162583516, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4587683', 'n_tokens_mistral': 896, 'n_tokens_neox': 863, 'n_words': 198}