The following packages will be installed:
 eprover 
Fetching README...  0%100%100%100%100%100%Done
Fetching eprover.SlackBuild...  0%100%100%100%100%100%Done
Fetching eprover.info...  0%100%100%100%100%100%Done
Fetching slack-desc...  0%100%100%100%100%100%Done
E/
E/BASICS/
E/HEURISTICS/
E/SIMPLE_APPS/
E/PROPOSITIONAL/
E/Makefile.vars
E/LEARN/
E/ORDERINGS/
E/INOUT/
E/configure
E/PYTHON/
E/Makefile
E/include/
E/TERMS/
E/etc/
E/PCL2/
E/CONTRIB/
E/README
E/CLAUSES/
E/README.md
E/SKELETONS/
E/COPYING
E/.gitignore
E/PROVER/
E/lib/
E/DOC/
E/README.server
E/EXTERNAL/
E/development_tools/
E/CONTROL/
E/Makefile.services
E/EXAMPLE_PROBLEMS/
E/EXAMPLE_PROBLEMS/README
E/EXAMPLE_PROBLEMS/LFHOL/
E/EXAMPLE_PROBLEMS/TPTP/
E/EXAMPLE_PROBLEMS/SMOKETEST/
E/EXAMPLE_PROBLEMS/SMOKETEST/GROUP1st.p
E/EXAMPLE_PROBLEMS/SMOKETEST/LUSK3.p
E/EXAMPLE_PROBLEMS/SMOKETEST/BOO020-1.p
E/EXAMPLE_PROBLEMS/SMOKETEST/LUSK6ext.lop
E/EXAMPLE_PROBLEMS/SMOKETEST/ans_test06.p
E/EXAMPLE_PROBLEMS/SMOKETEST/tffex01.p
E/EXAMPLE_PROBLEMS/SMOKETEST/ALL_RULES.p
E/EXAMPLE_PROBLEMS/SMOKETEST/socrates.p
E/EXAMPLE_PROBLEMS/SMOKETEST/LUSK6.lop
E/EXAMPLE_PROBLEMS/SMOKETEST/CNFTest.p
E/EXAMPLE_PROBLEMS/TPTP/SET183-6.p
E/EXAMPLE_PROBLEMS/TPTP/SWC078-1.p
E/EXAMPLE_PROBLEMS/TPTP/Axioms/
E/EXAMPLE_PROBLEMS/TPTP/CSR036+2.p
E/EXAMPLE_PROBLEMS/TPTP/SWB008+1.p
E/EXAMPLE_PROBLEMS/TPTP/HEN011-2.p
E/EXAMPLE_PROBLEMS/TPTP/LCL365-1.p
E/EXAMPLE_PROBLEMS/TPTP/SEU027+1.p
E/EXAMPLE_PROBLEMS/TPTP/SWV851-1.p
E/EXAMPLE_PROBLEMS/TPTP/SYN190-1.p
E/EXAMPLE_PROBLEMS/TPTP/CAT004-4.p
E/EXAMPLE_PROBLEMS/TPTP/MGT063+1.p
E/EXAMPLE_PROBLEMS/TPTP/GRP237-1.p
E/EXAMPLE_PROBLEMS/TPTP/PLA012-1.p
E/EXAMPLE_PROBLEMS/TPTP/GEO288+1.p
E/EXAMPLE_PROBLEMS/TPTP/SWB030+3.p
E/EXAMPLE_PROBLEMS/TPTP/SWW194+1.p
E/EXAMPLE_PROBLEMS/TPTP/PUZ028-6.p
E/EXAMPLE_PROBLEMS/TPTP/BOO006-1.p
E/EXAMPLE_PROBLEMS/TPTP/SET844-1.p
E/EXAMPLE_PROBLEMS/TPTP/BOO010-2.p
E/EXAMPLE_PROBLEMS/TPTP/COL042-8.p
E/EXAMPLE_PROBLEMS/TPTP/Axioms/HEN001-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/MSC001-2.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/SWC001-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/SWB001+0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/CSR002+1.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/SYN001-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/SWB002+0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/MSC001-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/BOO002-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/BOO003-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/BOO004-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/SET004-1.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/SET004-0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/MGT001+0.ax
E/EXAMPLE_PROBLEMS/TPTP/Axioms/GRP004-0.ax
E/EXAMPLE_PROBLEMS/LFHOL/sledgehammer.p
E/EXAMPLE_PROBLEMS/LFHOL/SEV286^5.p
E/EXAMPLE_PROBLEMS/LFHOL/permute_func_axioms.p
E/EXAMPLE_PROBLEMS/LFHOL/lists.p
E/EXAMPLE_PROBLEMS/LFHOL/permute_func_no_axioms.p
E/CONTROL/cco_eqnresolving.h
E/CONTROL/cco_sine.h
E/CONTROL/cco_batch_spec.c
E/CONTROL/cco_factoring.c
E/CONTROL/cco_eserver.c
E/CONTROL/cco_einteractive_mode.c
E/CONTROL/cco_proofproc.c
E/CONTROL/Makefile
E/CONTROL/cco_forward_contraction.h
E/CONTROL/cco_clausesplitting.h
E/CONTROL/cco_proc_ctrl.h
E/CONTROL/cco_interpreted.c
E/CONTROL/cco_esession.c
E/CONTROL/cco_simplification.h
E/CONTROL/cco_paramodulation.c
E/CONTROL/cco_scheduling.h
E/CONTROL/cco_eqnresolving.c
E/CONTROL/cco_factoring.h
E/CONTROL/cco_batch_spec.h
E/CONTROL/cco_sine.c
E/CONTROL/cco_einteractive_mode.h
E/CONTROL/cco_eserver.h
E/CONTROL/Makefile.dependencies
E/CONTROL/cco_proc_ctrl.c
E/CONTROL/cco_clausesplitting.c
E/CONTROL/cco_esession.h
E/CONTROL/cco_interpreted.h
E/CONTROL/cco_forward_contraction.c
E/CONTROL/cco_proofproc.h
E/CONTROL/cco_scheduling.c
E/CONTROL/cco_paramodulation.h
E/CONTROL/cco_simplification.c
E/development_tools/pylib_probabilities.py
E/development_tools/generate_class_lists.sh
E/development_tools/average.awk
E/development_tools/classify_problems.sh
E/development_tools/make_test.awk
E/development_tools/pylib_eprots.py
E/development_tools/genclauses.awk
E/development_tools/do_dp_plots.py
E/development_tools/pylib_graphs.py
E/development_tools/auto_analyze.sh
E/development_tools/generate_testfiles.py
E/development_tools/join_feature_class.py
E/development_tools/adapt_testfile.awk
E/development_tools/sequential_eprover_x.awk
E/development_tools/kill_eprovers.sh
E/development_tools/bootstrap
E/development_tools/sequential_eprover_new.awk
E/development_tools/sequential_eprover.awk
E/development_tools/pylib_dectrees.py
E/development_tools/configure_tools
E/development_tools/generate_raw_class_lists_from_file.sh
E/development_tools/distribute_eprover.awk
E/development_tools/histogram.awk
E/development_tools/Makefile
E/development_tools/prot2starexec.sh
E/development_tools/eval_perf.sh
E/development_tools/sym_mark.awk
E/development_tools/classgen.awk
E/development_tools/pylib_dimacs.py
E/development_tools/eprot_proc.py
E/development_tools/spec_version.sh
E/development_tools/analyze_distrib.awk
E/development_tools/do_crossval.awk
E/development_tools/generate_horn.sh
E/development_tools/problem_classifier.py
E/development_tools/pylib_ml_examples.py
E/development_tools/missing_results.awk
E/development_tools/extract_litsel_array.sh
E/development_tools/class_mark.awk
E/development_tools/pylib_basics.py
E/development_tools/scramble_old.awk
E/development_tools/distribute_exgen.awk
E/development_tools/generate_class_lists_from_file.sh
E/development_tools/filter_results.awk
E/development_tools/com_mark.awk
E/development_tools/dectreelearn.py
E/development_tools/eleminate_protocolls.awk
E/development_tools/sequential_eground.awk
E/development_tools/geauswert.sh
E/development_tools/res_host.awk
E/development_tools/generate_testfiles.sh
E/development_tools/generate_auto.py
E/development_tools/new_auto.py
E/development_tools/sequential_waldmeister.awk
E/development_tools/create_plot.awk
E/development_tools/pylib_psfixbb.py
E/development_tools/wo.py
E/development_tools/verify_alloc.awk
E/development_tools/generate_auto_sched.py
E/development_tools/e_scheduler.py
E/development_tools/watchdog.sh
E/development_tools/se_wrapper.sh
E/development_tools/test.awk
E/development_tools/rand_mark.awk
E/development_tools/myuniq.awk
E/development_tools/scramble.awk
E/development_tools/find_similar.awk
E/development_tools/master_distribution.sh
E/development_tools/sequential_eprover_raw.awk
E/development_tools/pylib_discretize.py
E/development_tools/e_option_parse.py
E/development_tools/generate_heuristic.awk
E/development_tools/sequential_eprover_x2.awk
E/development_tools/local-install-exec
E/development_tools/adapt_testfiles.sh
E/development_tools/scheduled_eprover_raw.awk
E/development_tools/cleanprot.sh
E/development_tools/handle_res.awk
E/development_tools/pylib_io.py
E/development_tools/termgen.awk
E/development_tools/class_auswert.awk
E/development_tools/prot_discretizer.py
E/development_tools/get_system.awk
E/development_tools/do_crossval_silent.awk
E/development_tools/run_class_test.sh
E/development_tools/e_install
E/development_tools/find_missing_results.awk
E/development_tools/generate_unitfiles.sh
E/development_tools/eauswert.awk
E/EXTERNAL/cex_csscpa.c
E/EXTERNAL/CSSCPA_filter.c
E/EXTERNAL/Makefile
E/EXTERNAL/PLA012-1+rm_eq_rstfp.csscpa
E/EXTERNAL/cex_csscpa.h
E/EXTERNAL/Makefile.dependencies
E/DOC/man/
E/DOC/CSSCPA.doc
E/DOC/E-0.6.html
E/DOC/bug_reporting
E/DOC/E-1.8pre.html
E/DOC/E-USERS
E/DOC/E-1.1pre.html
E/DOC/E-1.9.1pre.html
E/DOC/grammar.txt
E/DOC/ANNOUNCE
E/DOC/E_package_desc
E/DOC/sample_proofs_tstp.html
E/DOC/E-1.0pre.html
E/DOC/E-2.4pre.html
E/DOC/eprover.tex
E/DOC/E-0.7.html
E/DOC/eprover.idx
E/DOC/eprover.toc
E/DOC/E-1.9pre.html
E/DOC/Makefile
E/DOC/eprover.pdf
E/DOC/E-1.2pre.html
E/DOC/file_layout.eps
E/DOC/unshared_terms.eps
E/DOC/SHORT-DESC.tex
E/DOC/E-0.999.html
E/DOC/sample_proofs.html
E/DOC/E-0.62.html
E/DOC/eicon333.png
E/DOC/ReadMe
E/DOC/TODO
E/DOC/E-2.2pre.html
E/DOC/CONTRIBUTORS
E/DOC/E-REMARKS
E/DOC/E-1.6pre.html
E/DOC/THINKME
E/DOC/E-0.82.html
E/DOC/DONE
E/DOC/NEWS
E/DOC/TSTP_Syntax.txt
E/DOC/HISTORY
E/DOC/pcl2.spec
E/DOC/E-0.99.html
E/DOC/hard_problems
E/DOC/estyle.sty
E/DOC/E-REMARKS.english
E/DOC/unshared_terms.fig
E/DOC/Makefile.dependencies
E/DOC/E-0.8.html
E/DOC/E-2.1pre.html
E/DOC/file_layout.fig
E/DOC/TPTP_SUBMISSION
E/DOC/e-plop-grammar.txt
E/DOC/E-1.4pre.html
E/DOC/WISHLIST
E/DOC/PORTING
E/DOC/man/eprover.1
E/DOC/man/e_ltb_runner.1
E/DOC/man/ekb_delete.1
E/DOC/man/e_deduction_server.1
E/DOC/man/e_axfilter.1
E/DOC/man/ekb_insert.1
E/DOC/man/checkproof.1
E/DOC/man/ekb_create.1
E/DOC/man/eground.1
E/DOC/man/e_stratpar.1
E/DOC/man/ekb_ginsert.1
E/DOC/man/epclextract.1
E/lib/CLAUSES.a
E/lib/TERMS.a
E/lib/PCL2.a
E/lib/CONTROL.a
E/lib/PROPOSITIONAL.a
E/lib/LEARN.a
E/lib/HEURISTICS.a
E/lib/CONTRIB.a
E/lib/BASICS.a
E/lib/INOUT.a
E/lib/ORDERINGS.a
E/PROVER/e_axfilter.c
E/PROVER/e_deduction_server.c
E/PROVER/PLA002-2+rm_eq_rstfp.lop
E/PROVER/epclanalyse.c
E/PROVER/e_gitcommit.h
E/PROVER/ekb_insert.c
E/PROVER/edpll.c
E/PROVER/checkproof.c
E/PROVER/COL003-1+rm_eq_rstfp.lop
E/PROVER/MSC006-1.lop
E/PROVER/BatchSampleLTBHOL.txt
E/PROVER/Makefile
E/PROVER/e_server.c
E/PROVER/ekb_create.c
E/PROVER/ALL_RULES.lop
E/PROVER/LAT3a.lop
E/PROVER/epclextract.c
E/PROVER/SET103-6+rm_eq_rstfp.lop
E/PROVER/e_stratpar.c
E/PROVER/eground.c
E/PROVER/direct_examples.c
E/PROVER/LUSK6ext.lop
E/PROVER/ekb_ginsert.c
E/PROVER/GROUP.lop
E/PROVER/e_version.h
E/PROVER/eprover.c
E/PROVER/classify_problem.c
E/PROVER/e_ltb_runner.c
E/PROVER/epatternize.c
E/PROVER/LAT4.lop
E/PROVER/NUM030-1+rm_eq_rstfp.lop
E/PROVER/enormalizer.c
E/PROVER/HUMBLE.lop
E/PROVER/e_client.c
E/PROVER/termprops.c
E/PROVER/PUZ031-1+rm_eq_rstfp.lop
E/PROVER/epcllemma.c
E/PROVER/Makefile.dependencies
E/PROVER/LUSK3.lop
E/PROVER/GRP001-1_natural.lop
E/PROVER/e_options.h
E/PROVER/tsm_classify.c
E/PROVER/LUSK6.lop
E/PROVER/ekb_delete.c
E/PROVER/SET366+4+rm_eq_rstfp.tptp
E/PROVER/INVCOM.lop
E/PROVER/RNG019-6+rm_eq_rstfp.tptp
E/PROVER/BOO001-1+rm_eq_rstfp.lop
E/SKELETONS/Makefile.ctmp
E/SKELETONS/dbox
E/SKELETONS/cfhbox
E/SKELETONS/cfcbox
E/SKELETONS/dfbox
E/SKELETONS/tfbox
E/SKELETONS/fbox
E/SKELETONS/README.commentboxes
E/CLAUSES/ccl_splitting.h
E/CLAUSES/ccl_unit_simplify.c
E/CLAUSES/ccl_paramod.h
E/CLAUSES/ccl_def_handling.h
E/CLAUSES/ccl_garbage_coll.h
E/CLAUSES/ccl_overlap_index.c
E/CLAUSES/ccl_satinterface.h
E/CLAUSES/ccl_propclauses.h
E/CLAUSES/ccl_freqvectors.h
E/CLAUSES/ccl_derivation.c
E/CLAUSES/ccl_context_sr.c
E/CLAUSES/ccl_global_indices.h
E/CLAUSES/ccl_clauses.c
E/CLAUSES/ccl_rewrite.h
E/CLAUSES/ccl_eqnlist.c
E/CLAUSES/ccl_clauseinfo.h
E/CLAUSES/ccl_clausepos_tree.h
E/CLAUSES/ccl_sine.c
E/CLAUSES/ccl_formulasets.h
E/CLAUSES/ccl_axiomsorter.c
E/CLAUSES/ccl_grounding.h
E/CLAUSES/ccl_clausefunc.h
E/CLAUSES/ccl_eqnresolution.h
E/CLAUSES/ccl_unfold_defs.h
E/CLAUSES/ccl_clausecpos.h
E/CLAUSES/ccl_factor.h
E/CLAUSES/ccl_subsumption.c
E/CLAUSES/ccl_inferencedoc.c
E/CLAUSES/ccl_g_lithash.h
E/CLAUSES/Makefile
E/CLAUSES/ccl_condensation.h
E/CLAUSES/ccl_eqn.c
E/CLAUSES/ccl_neweval.c
E/CLAUSES/ccl_clausepos.h
E/CLAUSES/ccl_formula_wrapper.c
E/CLAUSES/ccl_groundconstr.h
E/CLAUSES/ccl_findex.c
E/CLAUSES/ccl_f_generality.h
E/CLAUSES/ccl_fcvindexing.c
E/CLAUSES/ccl_tcnf.h
E/CLAUSES/ccl_tautologies.h
E/CLAUSES/ccl_tformulae.c
E/CLAUSES/ccl_clausesets.h
E/CLAUSES/ccl_pdtrees.c
E/CLAUSES/ccl_formulafunc.h
E/CLAUSES/ccl_proofstate.h
E/CLAUSES/ccl_relevance.h
E/CLAUSES/ccl_subterm_tree.c
E/CLAUSES/ccl_subterm_index.c
E/CLAUSES/ccl_propclauses.c
E/CLAUSES/ccl_freqvectors.c
E/CLAUSES/ccl_overlap_index.h
E/CLAUSES/ccl_satinterface.c
E/CLAUSES/ccl_paramod.c
E/CLAUSES/ccl_garbage_coll.c
E/CLAUSES/ccl_def_handling.c
E/CLAUSES/ccl_unit_simplify.h
E/CLAUSES/ccl_splitting.c
E/CLAUSES/ccl_eqnresolution.c
E/CLAUSES/ccl_clausefunc.c
E/CLAUSES/ccl_clausecpos.c
E/CLAUSES/ccl_unfold_defs.c
E/CLAUSES/ccl_sine.h
E/CLAUSES/ccl_formulasets.c
E/CLAUSES/ccl_axiomsorter.h
E/CLAUSES/ccl_clausepos_tree.c
E/CLAUSES/ccl_grounding.c
E/CLAUSES/ccl_clauseinfo.c
E/CLAUSES/ccl_eqnlist.h
E/CLAUSES/ccl_clausetrees.h
E/CLAUSES/ccl_context_sr.h
E/CLAUSES/ccl_derivation.h
E/CLAUSES/ccl_rewrite.c
E/CLAUSES/ccl_clauses.h
E/CLAUSES/ccl_global_indices.c
E/CLAUSES/ccl_groundconstr.c
E/CLAUSES/Makefile.dependencies
E/CLAUSES/ccl_formula_wrapper.h
E/CLAUSES/ccl_clausepos.c
E/CLAUSES/ccl_tautologies.c
E/CLAUSES/ccl_tcnf.c
E/CLAUSES/ccl_fcvindexing.h
E/CLAUSES/ccl_findex.h
E/CLAUSES/ccl_f_generality.c
E/CLAUSES/ccl_neweval.h
E/CLAUSES/ccl_condensation.c
E/CLAUSES/ccl_eqn.h
E/CLAUSES/ccl_inferencedoc.h
E/CLAUSES/ccl_subsumption.h
E/CLAUSES/ccl_factor.c
E/CLAUSES/ccl_g_lithash.c
E/CLAUSES/ccl_subterm_index.h
E/CLAUSES/ccl_subterm_tree.h
E/CLAUSES/ccl_formulafunc.c
E/CLAUSES/ccl_relevance.c
E/CLAUSES/ccl_proofstate.c
E/CLAUSES/ccl_tformulae.h
E/CLAUSES/ccl_clausesets.c
E/CLAUSES/ccl_pdtrees.h
E/CONTRIB/Makefile
E/CONTRIB/picosat-965/
E/CONTRIB/Makefile.dependencies
E/CONTRIB/picosat-965/LICENSE
E/CONTRIB/picosat-965/picomcs.c
E/CONTRIB/picosat-965/picomus.c
E/CONTRIB/picosat-965/picosat.c
E/CONTRIB/picosat-965/README
E/CONTRIB/picosat-965/mkconfig.sh
E/CONTRIB/picosat-965/main.c
E/CONTRIB/picosat-965/NEWS
E/CONTRIB/picosat-965/VERSION
E/CONTRIB/picosat-965/picogcnf.c
E/CONTRIB/picosat-965/version.c
E/CONTRIB/picosat-965/configure.sh
E/CONTRIB/picosat-965/makefile.in
E/CONTRIB/picosat-965/picosat.h
E/CONTRIB/picosat-965/app.c
E/PCL2/pcl_lemmas.c
E/PCL2/pcl_propanalysis.h
E/PCL2/pcl_idents.h
E/PCL2/pcl_protocol.c
E/PCL2/pcl_ministeps.h
E/PCL2/pcl_miniclauses.c
E/PCL2/Makefile
E/PCL2/pcl_analysis.h
E/PCL2/pcl_positions.h
E/PCL2/pcl_expressions.h
E/PCL2/pcl_proofcheck.c
E/PCL2/pcl_steps.h
E/PCL2/pcl_miniprotocol.h
E/PCL2/pcl_idents.c
E/PCL2/pcl_propanalysis.c
E/PCL2/pcl_lemmas.h
E/PCL2/pcl_miniclauses.h
E/PCL2/pcl_ministeps.c
E/PCL2/pcl_protocol.h
E/PCL2/Makefile.dependencies
E/PCL2/pcl_analysis.c
E/PCL2/pcl_miniprotocol.c
E/PCL2/pcl_steps.c
E/PCL2/pcl_proofcheck.h
E/PCL2/pcl_expressions.c
E/PCL2/pcl_positions.c
E/etc/STAREXEC2.2/
E/etc/starexec_run_E---1.9.1_0022_10cw112fifo
E/etc/starexec_run_E---1.9.1_0035_cw112
E/etc/g_key
E/etc/horn_key
E/etc/starexec_run_E---1.9.1_0010_evo
E/etc/starexec_run_E---1.9.1_0014_10cw11fifo
E/etc/starexec_run_E---1.9.1_0035_cw113
E/etc/starexec_run_E---autosched
E/etc/starexec_run_E---1.9.1_0028_cw11pi
E/etc/starexec_run_E---1.9.1_0051auto
E/etc/good_appendix_key
E/etc/starexec_run_E---1.9.1_0015_gd
E/etc/starexec_run_E---LTB
E/etc/Makefile.flat.template1
E/etc/starexec_run_E---1.9.1_0024_5cw21fifopi
E/etc/starexec_run_E---1.9.1_0016_5gdfifo
E/etc/starexec_run_E---1.9.1_0053auto
E/etc/starexec_run_E---1.9.1_0034_gd8
E/etc/starexec_run_E---1.9.1_0008_rw2122
E/etc/starexec_run_E---1.9.1_0020_10gd1fifo
E/etc/starexec_run_E---1.9.1_0004_5cw21fifo
E/etc/NO_DISTRIB
E/etc/starexec_run_E---1.9.1_0030_cw11Mpi
E/etc/appendix_key_short
E/etc/starexec_run_E---1.9.1_0039_10cw11fifopi
E/etc/starexec_run_E---1.9.1_0001_FIFO
E/etc/starexec_run_E---2.0_0058cascautosched_ncnf
E/etc/starexec_run_E---1.9.1_0032_gd6
E/etc/starexec_run_E---1.9.1_0029_cw112
E/etc/starexec_run_E---1.9.1_0007_rw2121
E/etc/appendix_key
E/etc/starexec_run_E---2.0_0057cascauto_ncnf
E/etc/starexec_run_E---1.9.1_0013_5cw11fifo
E/etc/starexec_run_E---1.9.1_0030_cw11M
E/etc/starexec_run_E---1.9.1_0017_15cw21fifopi
E/etc/starexec_run_E---1.9.1_0033_gd7
E/etc/starexec_run_E---1.9.1_0023_10cw11Mfifo
E/etc/starexec_run_E---1.9.1_0018_gd1
E/etc/starexec_run_E---1.9.1_0002_cw11
E/etc/unit_key
E/etc/starexec_run_E---satautosched
E/etc/starexec_run_E---1.9.1_0038_2cw11fifo
E/etc/starexec_run_E---1.9.1_0027_10cw21fifopi
E/etc/Makefile.flat.template2
E/etc/option_key
E/etc/starexec_run_E---1.9.1_0036_10cw113fifo
E/etc/starexec_run_E---1.9.1_0003_cw21
E/etc/starexec_run_E---1.9.1_000X
E/etc/starexec_run_E---1.9.1_0052autosched
E/etc/ge_key
E/etc/starexec_run_E---2.0_0055cascauto
E/etc/starexec_run_E---1.9.1_0029_cw112pi
E/etc/starexec_run_E---1.9.1_0026_15cw11fifo
E/etc/bjob_classify
E/etc/starexec_run_E---2.0_0001auto
E/etc/starexec_run_E---1.9.1_0054autosched
E/etc/starexec_run_E---1.9.1_0005_10cw21fifo
E/etc/starexec_run_E---1.9.1_0009_10rw2122fifo
E/etc/starexec_run_E---2.0_XXX
E/etc/starexec_run_E---1.9.1_0037_cw12
E/etc/starexec_run_E---1.9.1_0021_10gd3
E/etc/benchpress.sexp
E/etc/starexec_run_E---1.9.1_0025_gd4
E/etc/starexec_run_E---1.9.1_0012_rw21M1
E/etc/starexec_run_E---1.9.1_0011_auto
E/etc/tptp_test_EXAMPLE
E/etc/starexec_run_E---1.9.1_0006_15cw21fifo
E/etc/starexec_run_E---1.9.1_0019_gd2
E/etc/starexec_run_E---1.9.1_0031_gd5
E/etc/starexec_run_E---2.0_0056cascautosched
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C09_12_F1_AE_ND_CS_SP_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C47_F1_SE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_SE_Q4_CS_SP_S4SI
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_209_C18_F1_AE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_060_C18_F1_PI_AE_CS_SP_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0014_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C02_F1_PI_AE_Q12_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2v
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_B07_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S5PRR_RG_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p005000_rr_Q7
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C12_11_nc_F1_SE_CS_SP_PS_S04BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B42_F1_PI_SE_Q4_CS_SP_PS_S0YI
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2c
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_B02_F1_SE_CS_SP_PI_S0S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18--C_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C18_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2d
E/etc/STAREXEC2.2/starexec_run_E---_det_0002_cw11_bs100
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C18_F1_PI_AE_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07CMA_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p002000_NN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2m
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_215_C46_F1_AE_CS_SP_PS_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07AMC_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C41_F1_AE_CS_SP_PI_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0015_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2j
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_S5PRR_SE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_211_C18_F1_AE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C09_12_F1_SE_CS_SP_PS_S002A
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MaxMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2p
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0026_C18_F1_SE_CS_SP_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S4d
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PS_S0U
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_FrsCon_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_SE_Q4_CS_SP_S4SA
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0016_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_SE_CS_SP_PS_S4d
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C09_12_F1_SE_CS_SP_PS_S5PRR_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B42_F1_PI_SE_Q4_CS_SP_PS_S0YA
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PS_S3S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B02_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_205_C45_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0017_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2k
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C02---_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_GloMin_p005000_NN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C48_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_CO_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_TT_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p005000_rr_RG
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2b
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F2_SE_CS_SP_PS_S5PRR_RG_S04A
E/etc/STAREXEC2.2/starexec_run_E---_autoschedule_tff
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C05_04_F1_AE_R8_CS_SP_RG_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0021_C18_F1_SE_CS_SP_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_110_C45_F1_PI_SE_Q4_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S5PRR_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C09_12_F1_AE_ND_CS_SP_S5PRR_RG_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_AE_SP_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PS_S1Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0003_C18_F1_PI_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_060_C18_F1_PI_SE_CS_SP_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0008_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_AE_CS_SP_CO_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_301_C18_F1_URBAN_S5PRR_RG_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_CO_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_B02_F1_AE_CS_SP_PI_S0S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C36_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0004_C18_F1_SE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_302_C18_F1_URBAN_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_100_C18_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C45_F1_AE_CS_SP_PI_CO_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---_satautoschedule
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_100_C07_23_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---_det_0002_cw11
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C02SC-_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_102_C18_F1_PI_AE_CS_SP_PS_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT003_MinMin_t00X000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S038I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0013_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0023_C18_F1_SE_CS_SP_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_AE_Q4_SP_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_B07_F1_AE_CS_SP_PI_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C18_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_C12_02_nc_SAT001_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_214_C18_F1_AE_R4_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_X1410__C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---_det_0002_cw11_bs010
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S028N
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_201_C45_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S032N
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0012_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_t050000_Nr
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_B31_F1_PI_AE_R4_CS_SP_S2k
E/etc/STAREXEC2.2/starexec_run_E---_det_0002_cw11_bs200
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_302_C18_F1_URBAN_S5PRR_RG_S04BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p002000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C37_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_B02_F1_AE_CS_SP_PI_S2k
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_092_C01_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18AMC_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PS_S3S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C09_12_F1_SE_CS_SP_PS_S5PRR_RG_ND_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p005000_rr_d1
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18CMA_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C41_F1_PI_AE_Q4_CS_SP_PS_CO_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07--C_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C45_F1_AE_R8_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C45_F1_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_Q7_CS_SP_PI_CO_PS_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_060_C18_F1_PI_AE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S059I
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_GloMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_SE_Q4_CS_SP_S4S
E/etc/STAREXEC2.2/starexec_run_E---_auto_tff
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C45_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0004_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B00_00_F1_SE_CS_SP_PS_S5PRR_S00EN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_092_C01_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PS_S0a
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C18_F1_PI_AE_Q4_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---LTB27
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_209_C18_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C41_F1_PI_AE_Q4_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_S5PRR_SE_Q4_CS_SP_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C18_F1_AE_Q4_CS_SP_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0005_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_100_C18_F1_PI_AE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S0Y_ni
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C12_11_nc_F1_SE_CS_SP_PS_S022A
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_024_B31_F1_PI_AE_Q4_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---_det_auto
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_100_C09_12_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_AE_CS_SP_PS_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_102_C18_F1_PI_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_041_C18_F1_PI_AE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0030_C18_F1_PI_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---_autoschedule
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_060_C18_F1_PI_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_215_C46_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0003_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_Q4_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_303_C18_F1_URBAN_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S002A
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S3a
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_204_C45_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C18_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S5PRR_RG_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_B02_F1_SE_CS_SP_PI_S2k
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C12_02_nc_F1_SE_CS_SP_PS_S070I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C45_F1_PI_AE_Q7_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S2SI
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B03_F1_PI_AE_Q4_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_Q4_CS_SP_PI_CO_PS_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_p010000_rr_d1000
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C18_F1_AE_R8_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_092_C01_F1_AE_CS_SP_PS_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S0U
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_RG_S04BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07----S_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0017_C18_F1_SE_CS_SP_S4Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18C--_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMax_g100000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B00_00_F1_SE_CS_SP_PS_S071I
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_t00X000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0018_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0028_C18_F1_SE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_SP_PI_Q7_CS_SP_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_AE_Q4_CS_SP_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_101_C09_12_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C09_12_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT003_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0001_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S05BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_p005000_rr_d1000
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p005000_Nr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S0a
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_Y1410__C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_300_C01_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_CO_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S2SA
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_300_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S2U
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_SE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0019_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B42_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_AE_Q4_CS_SP_CO_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_S0e
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_042_C18_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_AE_OS_R8_SP_S1U
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_t050000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_RG_S04AI
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2g
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0029_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C01_F1_SE_CS_SP_PI_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_212_C18_F1_AE_Q12_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S2m
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S4Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_110_C45_F1_PI_AE_Q4_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S003I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S0YP
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0001_C47_F1_SE_CS_SP_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2i
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_SE_CS_SP_PI_CO_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0030_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2n
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S05CN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07----D_F1_SE_CS_SP_PS_S5PRR_RG_S04AA
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S4b
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S2v
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SSP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_SE_CS_SP_PS_S2q
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0028_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C18_F1_PI_SE_CS_SP_CO_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2r
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C12_11_nc_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0031_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_p005000_rr_Q4
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_2275_C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_Z1014__C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S0S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_042_C45_F1_PI_AE_Q4_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S07FN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SOS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2o
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B03_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S0i
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C18_F1_PI_SE_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_AE_Q4_CS_SP_PS_SOV
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C41_F1_PI_AE_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_SP_PI_Q7_CS_SP_CO_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2a
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2f
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MaxMax_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_SE_CS_SP_PI_CO_S5PRR_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07----D_F1_SE_CS_SP_PS_S5PRR_RG_S04AI
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0033_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S0U
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S059I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S2s
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PS_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07----D_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S3S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_SP_PI_Q7_CS_AE_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_PS_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S4c
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0019_C18_F1_PI_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_302_C18_F1_URBAN_S5PRR_RG_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_PI_Q7_CS_OS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S2p
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PI_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S4d
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_x000000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_006_C18_F1_PI_AE_Q4_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_Y1006_C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_C07_19_nc_SAT001_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_301_C18_F1_URBAN_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_100_C09_12_F1_SE_CS_SP_PS_S5PRR_RG_ND_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_B02_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B02CMA_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C41_F1_PI_AE_Q4_CS_SP_PS_S5S
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_043_C18_F1_PI_AE_S4_CS_SP_S4c
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PI_S0a
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_SE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0034_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_Z1410__C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C41_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C41_F1_AE_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C18_F1_PI_AE_CS_SP_CO_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0021_C18_F1_SE_CS_SP_S4Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S002A
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_300_C18_F1_URBAN_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C18_F1_AE_Q4_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMax_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F2_SE_CS_SP_PS_RG_S04A
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_p005000_rr_d1
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_SP_PI_Q7_CS_SE_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_301_C18_F1_URBAN_S5PRR_RG_S04BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMax_g050000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_042_B03_F1_AE_Q4_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_Y1346__C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C09_12_F1_AE_ND_CS_SP_S5PRR_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_X1276__C12_02_nc_F1_AE_CS_SP_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_SE_SP_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_110_C45_F1_PI_SE_CS_SP_PS_S4S
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_102_C09_12_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C45_F1_AE_CS_SP_PI_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT003_MinMin_x000000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C12_11_nc_F1_SE_CS_SP_PS_S5PRR_S04BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_B31_F1_PI_AE_R4_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_AE_Q4_CS_SP_PS_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMax_p002000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_RG_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S5PRR_S2SI
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_p005000_rr_d10
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_2275__C12_02_nc_F1_AE_CS_SP_RG_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_B31_F1_PI_AE_R4_CS_SP_S4d
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_214_C18_F1_AE_Q7_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_301_C18_F1_URBAN_S5PRR_RG_S070I
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_B31_F1_PI_AE_R4_CS_SP_S4c
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PS_S0V
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_205_C45_F1_AE_CS_SP_PI_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C41_F1_AE_CS_SP_PS_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0017_C18_F1_PI_SE_CS_SP_S4Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_201_C45_F1_AE_CS_SP_PI_CO_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_102_C18_F1_PI_AE_Q4_CS_SP_PS_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_300_C01_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0023_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_X1276__C12_02_nc_F1_AE_CS_SP_S5PRR_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C12_02_nc_F1_SE_CS_SP_PS_S5PRR_RG_S070I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_PI_S0S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_302_C18_F1_URBAN_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0027_C18_F1_PI_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C09_12_F1_AE_ND_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_043_C18_F1_PI_AE_S4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C48_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_RG_S2sX
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_214_C18_F1_AE_S4_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_GloMax_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C41_F1_PI_AE_Q4_CS_SP_PS_S2U
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_Z1014__C12_02_nc_F1_AE_CS_SSP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_300_C18_F1_SE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C01_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_210_C18_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B42_F1_PI_SE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C18_F1_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMax_g010000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0021_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_060_C18_F1_PI_AE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C02_F1_PI_SE_Q12_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_CA_MinMin_p005000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_300_C01_S5PRR_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_SP_PI_Q7_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0027_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_AE_Q4_CS_SP_S4c
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_012_C18_F1_PI_AE_Q4_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_103_C18_F1_PI_AE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C18_F1_PI_AE_R8_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PI_PS_S5PRR_S032N
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C02AMC_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_008_C45_F1_PI_AE_Q4_CS_SP_S4d
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0010_evo
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C41_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PS_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_102_C18_F1_PI_AE_Q4_CS_SP_PS_S5PRR_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B42_F1_PI_SE_Q4_CS_SP_PS_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S00A
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C02CMA_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0012_C18_F1_SE_CS_SP_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0021_C18_F1_SE_CS_SP_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_B07_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0001_C18_F1_SE_CS_SP_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0026_C18_F1_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_302_C18_F1_URBAN_RG_S04BN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C18_F1_AE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_C45_F1_PI_AE_Q4_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_X1276__C12_02_nc_F1_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_Q7_CS_SP_CO_PS_S00
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0029_C18_F1_PI_SE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S2mI
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_CO_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S3b
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_212_C18_F1_AE_Q12_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_213_C18_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT002_MinMin_p005000_rr_d100
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_107_B00_00_F1_PI_AE_Q4_CS_SP_PS_S071I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G----_0012_C18_F1_SE_CS_SP_S5PRR_RG_S0Y
E/etc/STAREXEC2.2/starexec_run_E---_auto
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C48_F1_AE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---_satauto
E/etc/STAREXEC2.2/starexec_run_E---2.0_U----_043_B31_F1_PI_AE_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_200_C45_F1_AE_CS_SP_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_AE_CS_SP_PI_S0a
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S032N
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_011_C07_F1_PI_AE_OS_S1U
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_102_C18_F1_PI_AE_Q4_CS_SP_S1S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C41_F1_AE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C18_F1_SE_CS_SP_PI_PS_S00I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S028N
E/etc/STAREXEC2.2/starexec_run_E---2.0_H----_047_C09_12_F1_AE_ND_CS_SP_S2S
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_301_C18_F1_URBAN_S5PRR_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_207_C01_F1_SE_CS_SP_PI_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMax_p005000_NN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S022I
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_B07_F1_SE_CS_SP_PS_S5PRR_RG_S04AN
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_301_C18_F1_URBAN_S0Y
E/etc/STAREXEC2.2/starexec_run_E---2.0_SAT001_MinMin_x000000_rr
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-E--_208_C18_F1_SE_CS_SP_PS_S5PRR_S2mA
E/etc/STAREXEC2.2/starexec_run_E---2.0_G-N--_023_B07_F1_SP_PI_Q7_CS_SE_S0Y
E/TERMS/cte_acterms.c
E/TERMS/cte_simpletypes.c
E/TERMS/cte_replace.c
E/TERMS/cte_simplesorts.c
E/TERMS/cte_termcellstore.h
E/TERMS/cte_varsets.h
E/TERMS/cte_termtrees.c
E/TERMS/cte_termweightext.c
E/TERMS/cte_termpos.c
E/TERMS/cte_idx_fp.c
E/TERMS/cte_signature.c
E/TERMS/Makefile
E/TERMS/cte_termfunc.c
E/TERMS/cte_typecheck.c
E/TERMS/cte_termvars.c
E/TERMS/cte_termbanks.c
E/TERMS/cte_match_mgu_1-1.h
E/TERMS/cte_termcpos.c
E/TERMS/cte_typebanks.h
E/TERMS/cte_termtypes.c
E/TERMS/cte_varhash.h
E/TERMS/cte_fp_index.c
E/TERMS/cte_functypes.h
E/TERMS/cte_subst.h
E/TERMS/cte_simpletypes.h
E/TERMS/cte_acterms.h
E/TERMS/cte_termpos.h
E/TERMS/cte_termweightext.h
E/TERMS/cte_termtrees.h
E/TERMS/cte_simplesorts.h
E/TERMS/cte_varsets.c
E/TERMS/cte_termcellstore.c
E/TERMS/cte_replace.h
E/TERMS/Makefile.dependencies
E/TERMS/cte_termtypes.h
E/TERMS/cte_typebanks.c
E/TERMS/cte_varhash.c
E/TERMS/cte_typecheck.h
E/TERMS/cte_termfunc.h
E/TERMS/cte_termcpos.h
E/TERMS/cte_match_mgu_1-1.c
E/TERMS/cte_termbanks.h
E/TERMS/cte_termvars.h
E/TERMS/cte_signature.h
E/TERMS/cte_idx_fp.h
E/TERMS/cte_subst.c
E/TERMS/cte_functypes.c
E/TERMS/cte_fp_index.h
E/include/cco_eqnresolving.h
E/include/che_specsigfeatures.h
E/include/cio_commandline.h
E/include/clb_floattrees.h
E/include/cio_tempfile.h
E/include/che_treeweight.h
E/include/ccl_splitting.h
E/include/cco_sine.h
E/include/pcl_propanalysis.h
E/include/ccl_paramod.h
E/include/che_prio_funs.h
E/include/cto_lpo.h
E/include/clb_quadtrees.h
E/include/cle_patterns.h
E/include/ccl_def_handling.h
E/include/ccl_garbage_coll.h
E/include/che_clausesetfeatures.h
E/include/clb_fixdarrays.h
E/include/ccl_satinterface.h
E/include/cpr_propsig.h
E/include/ccl_propclauses.h
E/include/che_clausefeatures.h
E/include/pcl_idents.h
E/include/e_gitcommit.h
E/include/ccl_freqvectors.h
E/include/clb_memory.h
E/include/che_proofcontrol.h
E/include/cle_examplerep.h
E/include/ccl_global_indices.h
E/include/ccl_rewrite.h
E/include/cio_streams.h
E/include/che_to_autoselect.h
E/include/ccl_clauseinfo.h
E/include/cle_indexfunctions.h
E/include/cte_termcellstore.h
E/include/cte_varsets.h
E/include/clb_plist.h
E/include/ccl_clausepos_tree.h
E/include/pcl_ministeps.h
E/include/ccl_formulasets.h
E/include/cto_ocb.h
E/include/ccl_grounding.h
E/include/che_rawspecfeatures.h
E/include/config.h
E/include/ccl_clausefunc.h
E/include/che_termweight.h
E/include/ccl_eqnresolution.h
E/include/ccl_unfold_defs.h
E/include/ccl_clausecpos.h
E/include/ccl_factor.h
E/include/che_learning.h
E/include/cio_filevars.h
E/include/ccl_g_lithash.h
E/include/ccl_condensation.h
E/include/pcl_analysis.h
E/include/cle_numfeatures.h
E/include/che_strucweight.h
E/include/cte_match_mgu_1-1.h
E/include/cco_forward_contraction.h
E/include/cto_orderings.h
E/include/clb_defines.h
E/include/cte_typebanks.h
E/include/cco_clausesplitting.h
E/include/cco_proc_ctrl.h
E/include/cte_varhash.h
E/include/cle_tsm.h
E/include/cpr_varset.h
E/include/ccl_clausepos.h
E/include/ccl_groundconstr.h
E/include/che_termweights.h
E/include/clb_numtrees.h
E/include/clb_pqueue.h
E/include/cle_clauseenc.h
E/include/ccl_f_generality.h
E/include/cle_tsmio.h
E/include/ccl_tcnf.h
E/include/ccl_tautologies.h
E/include/cco_simplification.h
E/include/pcl_positions.h
E/include/ccl_clausesets.h
E/include/clb_regmem.h
E/include/pcl_expressions.h
E/include/cco_scheduling.h
E/include/ccl_formulafunc.h
E/include/cto_kbo.h
E/include/che_levweight.h
E/include/ccl_proofstate.h
E/include/ccl_relevance.h
E/include/pcl_steps.h
E/include/cle_classification.h
E/include/cio_signals.h
E/include/cte_functypes.h
E/include/cio_fileops.h
E/include/cpr_propclauses.h
E/include/che_prefixweight.h
E/include/pcl_miniprotocol.h
E/include/che_litselection.h
E/include/cio_output.h
E/include/clb_verbose.h
E/include/cte_subst.h
E/include/cio_network.h
E/include/e_version.h
E/include/che_patterns.h
E/include/clb_ddarrays.h
E/include/che_funweights.h
E/include/cio_scanner.h
E/include/cte_simpletypes.h
E/include/ccl_overlap_index.h
E/include/clb_dstrings.h
E/include/che_fcode_featurearrays.h
E/include/che_orientweight.h
E/include/cle_annotations.h
E/include/che_hcbadmin.h
E/include/cle_kbdesc.h
E/include/cco_factoring.h
E/include/pcl_lemmas.h
E/include/cex_csscpa.h
E/include/ccl_unit_simplify.h
E/include/cco_batch_spec.h
E/include/cte_acterms.h
E/include/che_hcb.h
E/include/pcl_miniclauses.h
E/include/cte_termpos.h
E/include/cto_kbolin.h
E/include/ccl_sine.h
E/include/ccl_axiomsorter.h
E/include/clb_properties.h
E/include/cte_termweightext.h
E/include/cle_kbinsert.h
E/include/clb_pdarrays.h
E/include/cte_termtrees.h
E/include/clb_newmem.h
E/include/che_axiomscan.h
E/include/che_random.h
E/include/cle_flatannoterms.h
E/include/cco_einteractive_mode.h
E/include/cco_eserver.h
E/include/cte_simplesorts.h
E/include/ccl_eqnlist.h
E/include/che_fifo.h
E/include/che_wfcb.h
E/include/che_varweights.h
E/include/pcl_protocol.h
E/include/cpr_dpllformula.h
E/include/clb_avlgeneric.h
E/include/cte_replace.h
E/include/ccl_clausetrees.h
E/include/che_diversityweight.h
E/include/ccl_context_sr.h
E/include/ccl_derivation.h
E/include/che_refinedweight.h
E/include/clb_os_wrapper.h
E/include/ccl_clauses.h
E/include/cto_lpo_debug.h
E/include/che_axfilter.h
E/include/cio_multiplexer.h
E/include/ccl_formula_wrapper.h
E/include/ccl_fcvindexing.h
E/include/cio_simplestuff.h
E/include/ccl_findex.h
E/include/clb_dstacks.h
E/include/che_wfcbadmin.h
E/include/cte_termtypes.h
E/include/che_normsubst.h
E/include/ccl_neweval.h
E/include/cco_esession.h
E/include/cco_interpreted.h
E/include/cte_typecheck.h
E/include/che_tfidfweight.h
E/include/cle_annoterms.h
E/include/cte_termfunc.h
E/include/e_options.h
E/include/cte_termcpos.h
E/include/cte_termbanks.h
E/include/ccl_eqn.h
E/include/cte_termvars.h
E/include/clb_simple_stuff.h
E/include/ccl_inferencedoc.h
E/include/cco_proofproc.h
E/include/cte_signature.h
E/include/ccl_subsumption.h
E/include/cte_idx_fp.h
E/include/clb_partial_orderings.h
E/include/clb_error.h
E/include/cle_termtops.h
E/include/ccl_subterm_index.h
E/include/che_simweight.h
E/include/ccl_subterm_tree.h
E/include/cpr_dpll.h
E/include/picosat.h
E/include/cio_initio.h
E/include/cto_cmpcache.h
E/include/clb_plocalstacks.h
E/include/che_heuristics.h
E/include/clb_stringtrees.h
E/include/pcl_proofcheck.h
E/include/clb_pstacks.h
E/include/che_to_params.h
E/include/cco_paramodulation.h
E/include/clb_ptrees.h
E/include/cio_basicparser.h
E/include/che_lifo.h
E/include/clb_intmap.h
E/include/clb_numxtrees.h
E/include/clb_pdrangearrays.h
E/include/che_to_precgen.h
E/include/che_clauseweight.h
E/include/ccl_tformulae.h
E/include/clb_objtrees.h
E/include/ccl_pdtrees.h
E/include/cte_fp_index.h
E/include/che_to_weightgen.h
E/include/clb_sysdate.h
E/PYTHON/fix_prot.py
E/PYTHON/EXAMPLE_CFG/
E/PYTHON/e_ltb_runnerj5.py
E/PYTHON/pylib_maths.py
E/PYTHON/pylib_erun.py
E/PYTHON/tptp_analyse.py
E/PYTHON/e_ltb_runner22.py
E/PYTHON/e_check_mem.py
E/PYTHON/learn_classes.py
E/PYTHON/perf_vectors.py
E/PYTHON/e_buffy.py
E/PYTHON/pylib_econf.py
E/PYTHON/pylib_eprot.py
E/PYTHON/e_status_time.py
E/PYTHON/appendix_gen.py
E/PYTHON/e_tptp_expander.py
E/PYTHON/eserver.py
E/PYTHON/cleanprot.py
E/PYTHON/Makefile
E/PYTHON/e_compare_binaries_tptp_fof.py
E/PYTHON/include_mapper.py
E/PYTHON/canonizer.py
E/PYTHON/prot_plotter.py
E/PYTHON/tptp_analyse2.py
E/PYTHON/bsub_eprover.py
E/PYTHON/pylib_e_multi.py
E/PYTHON/fvi_eval.py
E/PYTHON/pylib_generic.py
E/PYTHON/prunner.py
E/PYTHON/pylib_eserver.py
E/PYTHON/__pycache__/
E/PYTHON/pylib_emconf.py
E/PYTHON/.~lock.index_report.csv#
E/PYTHON/e_evaluator.py
E/PYTHON/.~lock.two_bins_app_non_app.csv#
E/PYTHON/e_evaluator.pyc
E/PYTHON/pylib_db.py
E/PYTHON/udp_dump.py
E/PYTHON/e_ltb_runner.py
E/PYTHON/enetcat.py
E/PYTHON/emaster.py
E/PYTHON/pylib_tcp.py
E/PYTHON/pylib_etestset.py
E/PYTHON/pylib_io.py
E/PYTHON/e_cmp_bin_lfho.py
E/PYTHON/e_test_indexing.py
E/PYTHON/hack_uniq.py
E/PYTHON/fp_eval.py
E/PYTHON/genprot.py
E/PYTHON/pylib_emaster.py
E/PYTHON/app_encode.py
E/PYTHON/e_print_errors.py
E/PYTHON/__pycache__/e_evaluator.cpython-35.pyc
E/PYTHON/EXAMPLE_CFG/emaster_config_test.txt
E/PYTHON/EXAMPLE_CFG/emaster_config.txt
E/PYTHON/EXAMPLE_CFG/eserver_config_mb.txt
E/PYTHON/EXAMPLE_CFG/eserver_config_lx.txt
E/INOUT/cio_commandline.h
E/INOUT/cio_tempfile.h
E/INOUT/cio_scanner.c
E/INOUT/cio_network.c
E/INOUT/cio_streams.h
E/INOUT/cio_filevars.h
E/INOUT/Makefile
E/INOUT/cio_multiplexer.c
E/INOUT/cio_simplestuff.c
E/INOUT/cio_basicparser.c
E/INOUT/cio_signals.h
E/INOUT/cio_fileops.h
E/INOUT/cio_output.h
E/INOUT/cio_initio.c
E/INOUT/cio_network.h
E/INOUT/cio_scanner.h
E/INOUT/cio_tempfile.c
E/INOUT/cio_commandline.c
E/INOUT/cio_streams.c
E/INOUT/cio_multiplexer.h
E/INOUT/Makefile.dependencies
E/INOUT/cio_simplestuff.h
E/INOUT/cio_filevars.c
E/INOUT/cio_output.c
E/INOUT/cio_initio.h
E/INOUT/cio_signals.c
E/INOUT/cio_fileops.c
E/INOUT/cio_basicparser.h
E/ORDERINGS/cto_lpo.h
E/ORDERINGS/cto_lpo_debug.c
E/ORDERINGS/cto_ocb.h
E/ORDERINGS/cto_kbolin.c
E/ORDERINGS/Makefile
E/ORDERINGS/cto_orderings.h
E/ORDERINGS/cto_kbo.h
E/ORDERINGS/cto_cmpcache.c
E/ORDERINGS/cto_lpo.c
E/ORDERINGS/cto_kbolin.h
E/ORDERINGS/cto_ocb.c
E/ORDERINGS/cto_lpo_debug.h
E/ORDERINGS/Makefile.dependencies
E/ORDERINGS/cto_orderings.c
E/ORDERINGS/cto_cmpcache.h
E/ORDERINGS/cto_kbo.c
E/LEARN/cle_kbdesc.c
E/LEARN/cle_annotations.c
E/LEARN/cle_patterns.h
E/LEARN/cle_examplerep.h
E/LEARN/cle_flatannoterms.c
E/LEARN/cle_indexfunctions.h
E/LEARN/cle_kbinsert.c
E/LEARN/cle_termtops.c
E/LEARN/Makefile
E/LEARN/cle_annoterms.c
E/LEARN/cle_numfeatures.h
E/LEARN/cle_tsm.h
E/LEARN/cle_clauseenc.h
E/LEARN/cle_tsmio.h
E/LEARN/cle_classification.h
E/LEARN/THINKME
E/LEARN/cle_patterns.c
E/LEARN/cle_annotations.h
E/LEARN/cle_kbdesc.h
E/LEARN/cle_kbinsert.h
E/LEARN/cle_flatannoterms.h
E/LEARN/cle_indexfunctions.c
E/LEARN/cle_examplerep.c
E/LEARN/Makefile.dependencies
E/LEARN/cle_tsmio.c
E/LEARN/cle_clauseenc.c
E/LEARN/cle_tsm.c
E/LEARN/cle_numfeatures.c
E/LEARN/cle_annoterms.h
E/LEARN/cle_termtops.h
E/LEARN/cle_classification.c
E/PROPOSITIONAL/cpr_propsig.h
E/PROPOSITIONAL/cpr_dpllformula.c
E/PROPOSITIONAL/Makefile
E/PROPOSITIONAL/cpr_varset.h
E/PROPOSITIONAL/cpr_propclauses.h
E/PROPOSITIONAL/cpr_dpll.c
E/PROPOSITIONAL/cpr_propsig.c
E/PROPOSITIONAL/cpr_dpllformula.h
E/PROPOSITIONAL/Makefile.dependencies
E/PROPOSITIONAL/cpr_varset.c
E/PROPOSITIONAL/cpr_dpll.h
E/PROPOSITIONAL/cpr_propclauses.c
E/SIMPLE_APPS/term2dag.c
E/SIMPLE_APPS/test
E/SIMPLE_APPS/Makefile
E/SIMPLE_APPS/test1
E/SIMPLE_APPS/Makefile.dependencies
E/SIMPLE_APPS/ex_commandline.c
E/SIMPLE_APPS/test2
E/HEURISTICS/che_specsigfeatures.h
E/HEURISTICS/che_treeweight.h
E/HEURISTICS/che_orientweight.c
E/HEURISTICS/che_prio_funs.h
E/HEURISTICS/che_hcbadmin.c
E/HEURISTICS/che_fcode_featurearrays.c
E/HEURISTICS/che_clausesetfeatures.h
E/HEURISTICS/che_clausefeatures.h
E/HEURISTICS/che_funweights.c
E/HEURISTICS/che_refinedweight.c
E/HEURISTICS/che_X_auto_sched0.c
E/HEURISTICS/che_diversityweight.c
E/HEURISTICS/che_proofcontrol.h
E/HEURISTICS/che_to_autoselect.h
E/HEURISTICS/che_varweights.c
E/HEURISTICS/che_wfcb.c
E/HEURISTICS/che_fifo.c
E/HEURISTICS/che_random.c
E/HEURISTICS/che_rawspecfeatures.h
E/HEURISTICS/che_axiomscan.c
E/HEURISTICS/che_X_____auto_pp_opt_dev.c
E/HEURISTICS/che_termweight.h
E/HEURISTICS/che_hcb.c
E/HEURISTICS/che_X_auto_sched4.c
E/HEURISTICS/che_learning.h
E/HEURISTICS/Makefile
E/HEURISTICS/che_tfidfweight.c
E/HEURISTICS/che_strucweight.h
E/HEURISTICS/che_normsubst.c
E/HEURISTICS/che_wfcbadmin.c
E/HEURISTICS/che_axfilter.c
E/HEURISTICS/che_termweights.h
E/HEURISTICS/che_clauseweight.c
E/HEURISTICS/che_to_precgen.c
E/HEURISTICS/che_to_weightgen.c
E/HEURISTICS/che_X_auto_sched3.c
E/HEURISTICS/che_to_params.c
E/HEURISTICS/che_X_____auto_pp_opt_080.c
E/HEURISTICS/che_levweight.h
E/HEURISTICS/che_X_auto_sched9.c
E/HEURISTICS/che_lifo.c
E/HEURISTICS/che_heuristics.c
E/HEURISTICS/che_X_auto_sched7.c
E/HEURISTICS/che_prefixweight.h
E/HEURISTICS/che_litselection.h
E/HEURISTICS/che_simweight.c
E/HEURISTICS/che_clausefeatures.c
E/HEURISTICS/che_patterns.h
E/HEURISTICS/che_funweights.h
E/HEURISTICS/che_clausesetfeatures.c
E/HEURISTICS/che_fcode_featurearrays.h
E/HEURISTICS/che_orientweight.h
E/HEURISTICS/che_X_____auto_casc.c
E/HEURISTICS/che_prio_funs.c
E/HEURISTICS/che_hcbadmin.h
E/HEURISTICS/che_treeweight.c
E/HEURISTICS/che_specsigfeatures.c
E/HEURISTICS/che_X_____auto.c
E/HEURISTICS/che_hcb.h
E/HEURISTICS/che_termweight.c
E/HEURISTICS/che_X_auto_sched8.c
E/HEURISTICS/che_axiomscan.h
E/HEURISTICS/che_rawspecfeatures.c
E/HEURISTICS/che_X_auto_sched2.c
E/HEURISTICS/che_random.h
E/HEURISTICS/che_to_autoselect.c
E/HEURISTICS/che_X_auto_sched6.c
E/HEURISTICS/che_fifo.h
E/HEURISTICS/che_wfcb.h
E/HEURISTICS/che_varweights.h
E/HEURISTICS/che_diversityweight.h
E/HEURISTICS/che_refinedweight.h
E/HEURISTICS/che_proofcontrol.c
E/HEURISTICS/che_termweights.c
E/HEURISTICS/che_axfilter.h
E/HEURISTICS/Makefile.dependencies
E/HEURISTICS/che_auto_cases.c
E/HEURISTICS/che_wfcbadmin.h
E/HEURISTICS/che_X_____auto_pp_opt_071.c
E/HEURISTICS/che_normsubst.h
E/HEURISTICS/che_tfidfweight.h
E/HEURISTICS/che_strucweight.c
E/HEURISTICS/che_learning.c
E/HEURISTICS/che_X_____auto_dev.c
E/HEURISTICS/che_simweight.h
E/HEURISTICS/che_litselection.c
E/HEURISTICS/che_X_auto_sched1.c
E/HEURISTICS/che_heuristics.h
E/HEURISTICS/che_prefixweight.c
E/HEURISTICS/che_to_params.h
E/HEURISTICS/che_lifo.h
E/HEURISTICS/che_levweight.c
E/HEURISTICS/che_to_precgen.h
E/HEURISTICS/che_clauseweight.h
E/HEURISTICS/che_X_auto_sched5.c
E/HEURISTICS/che_to_weightgen.h
E/BASICS/clb_floattrees.h
E/BASICS/clb_quadtrees.h
E/BASICS/clb_dstrings.c
E/BASICS/clb_fixdarrays.h
E/BASICS/clb_ddarrays.c
E/BASICS/clb_os_wrapper.c
E/BASICS/clb_memory.h
E/BASICS/clb_plist.h
E/BASICS/clb_pdarrays.c
E/BASICS/clb_newmem.c
E/BASICS/clb_partial_orderings.c
E/BASICS/clb_simple_stuff.c
E/BASICS/clb_error.c
E/BASICS/Makefile
E/BASICS/clb_defines.h
E/BASICS/clb_numtrees.h
E/BASICS/clb_pqueue.h
E/BASICS/clb_dstacks.c
E/BASICS/clb_regmem.h
E/BASICS/clb_pdrangearrays.c
E/BASICS/clb_sysdate.c
E/BASICS/clb_objtrees.c
E/BASICS/clb_ptrees.c
E/BASICS/clb_pstacks.c
E/BASICS/clb_numxtrees.c
E/BASICS/clb_intmap.c
E/BASICS/clb_plocalstacks.c
E/BASICS/clb_stringtrees.c
E/BASICS/clb_verbose.h
E/BASICS/clb_ddarrays.h
E/BASICS/clb_dstrings.h
E/BASICS/clb_fixdarrays.c
E/BASICS/clb_quadtrees.c
E/BASICS/clb_floattrees.c
E/BASICS/clb_properties.h
E/BASICS/clb_pdarrays.h
E/BASICS/clb_plist.c
E/BASICS/clb_newmem.h
E/BASICS/clb_avlgeneric.h
E/BASICS/clb_memory.c
E/BASICS/clb_os_wrapper.h
E/BASICS/Makefile.dependencies
E/BASICS/clb_dstacks.h
E/BASICS/clb_pqueue.c
E/BASICS/clb_numtrees.c
E/BASICS/clb_simple_stuff.h
E/BASICS/clb_partial_orderings.h
E/BASICS/clb_error.h
E/BASICS/clb_verbose.c
E/BASICS/clb_plocalstacks.h
E/BASICS/clb_stringtrees.h
E/BASICS/clb_pstacks.h
E/BASICS/clb_ptrees.h
E/BASICS/clb_intmap.h
E/BASICS/clb_numxtrees.h
E/BASICS/clb_pdrangearrays.h
E/BASICS/clb_regmem.c
E/BASICS/clb_objtrees.h
E/BASICS/clb_sysdate.h
Configuring with executable path /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin
/usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1
# -DENABLE_LFHO \\
echo 'Configuring build system'
Configuring build system
make       links
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E'
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E'
make       depend
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB'
make[2]: Nothing to be done for 'depend'.
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/BASICS'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/BASICS'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/INOUT'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/INOUT'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/TERMS'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/TERMS'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/ORDERINGS'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/ORDERINGS'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CLAUSES'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CLAUSES'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/PROPOSITIONAL'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/PROPOSITIONAL'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/LEARN'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/LEARN'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/PCL2'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/PCL2'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/HEURISTICS'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/HEURISTICS'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTROL'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTROL'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/SIMPLE_APPS'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/SIMPLE_APPS'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/EXTERNAL'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/EXTERNAL'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/PROVER'
gcc -M -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/PROVER'
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E'
cd CONTRIB; make       config
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB'
cd picosat-965; ./configure.sh -t
version ... 965
debug ... no
log ... no
stats ... no
trace ... yes
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include
makefile ... done
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB'
cd picosat-965; make      ; make      
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB/picosat-965'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picosat.c
rm -f config.h; ./mkconfig.sh > config.h
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c app.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c main.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picosat main.o app.o -L. -lpicosat
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picomcs.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picomcs picomcs.o -L. -lpicosat
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picomus.c
picomus.c: In function ‘main’:
picomus.c:239:32: warning: ‘%s’ directive writing between 3 and 2147483645 bytes into a region of size 2147483637 [-Wformat-overflow=]
  239 |       sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name);
      |                                ^~
picomus.c:239:7: note: ‘sprintf’ output between 26 and 2147483668 bytes into a destination of size 2147483647
  239 |       sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name);
      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picomus picomus.o -L. -lpicosat
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picogcnf.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picogcnf picogcnf.o -L. -lpicosat
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB/picosat-965'
make[2]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB/picosat-965'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB/picosat-965'
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTRIB'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/BASICS'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_error.o clb_error.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_memory.o clb_memory.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_os_wrapper.o clb_os_wrapper.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_dstrings.o clb_dstrings.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_verbose.o clb_verbose.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_stringtrees.o clb_stringtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_numtrees.o clb_numtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_numxtrees.o clb_numxtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_floattrees.o clb_floattrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pstacks.o clb_pstacks.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pqueue.o clb_pqueue.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_dstacks.o clb_dstacks.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_ptrees.o clb_ptrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_quadtrees.o clb_quadtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_regmem.o clb_regmem.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_objtrees.o clb_objtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_fixdarrays.o clb_fixdarrays.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_plist.o clb_plist.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pdarrays.o clb_pdarrays.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pdrangearrays.o clb_pdrangearrays.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_ddarrays.o clb_ddarrays.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_sysdate.o clb_sysdate.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_intmap.o clb_intmap.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_simple_stuff.o clb_simple_stuff.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_partial_orderings.o clb_partial_orderings.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_plocalstacks.o clb_plocalstacks.c
ar rcs BASICS.a clb_error.o clb_memory.o clb_os_wrapper.o clb_dstrings.o clb_verbose.o clb_stringtrees.o clb_numtrees.o clb_numxtrees.o clb_floattrees.o clb_pstacks.o clb_pqueue.o clb_dstacks.o clb_ptrees.o clb_quadtrees.o clb_regmem.o clb_objtrees.o clb_fixdarrays.o clb_plist.o clb_pdarrays.o clb_pdrangearrays.o clb_ddarrays.o clb_sysdate.o clb_intmap.o clb_simple_stuff.o clb_partial_orderings.o clb_plocalstacks.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/BASICS'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/INOUT'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_output.o cio_output.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_simplestuff.o cio_simplestuff.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_fileops.o cio_fileops.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_streams.o cio_streams.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_initio.o cio_initio.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_scanner.o cio_scanner.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_network.o cio_network.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_multiplexer.o cio_multiplexer.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_basicparser.o cio_basicparser.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_commandline.o cio_commandline.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_filevars.o cio_filevars.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_tempfile.o cio_tempfile.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_signals.o cio_signals.c
ar rcs INOUT.a cio_output.o cio_simplestuff.o cio_fileops.o cio_streams.o  cio_initio.o cio_scanner.o cio_network.o cio_multiplexer.o cio_basicparser.o cio_commandline.o cio_filevars.o cio_tempfile.o cio_signals.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/INOUT'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/TERMS'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_functypes.o cte_functypes.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_signature.o cte_signature.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termtypes.o cte_termtypes.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termvars.o cte_termvars.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_acterms.o cte_acterms.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_varhash.o cte_varhash.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_varsets.o cte_varsets.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termfunc.o cte_termfunc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termtrees.o cte_termtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termcellstore.o cte_termcellstore.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termbanks.o cte_termbanks.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_subst.o cte_subst.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termpos.o cte_termpos.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termcpos.o cte_termcpos.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_replace.o cte_replace.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_match_mgu_1-1.o cte_match_mgu_1-1.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_idx_fp.o cte_idx_fp.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_fp_index.o cte_fp_index.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_simpletypes.o cte_simpletypes.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_typecheck.o cte_typecheck.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_typebanks.o cte_typebanks.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termweightext.o cte_termweightext.c
ar rcs TERMS.a cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.o cte_varsets.o cte_termfunc.o cte_termtrees.o cte_termcellstore.o cte_termbanks.o cte_subst.o cte_termpos.o cte_termcpos.o cte_replace.o cte_match_mgu_1-1.o cte_idx_fp.o cte_fp_index.o cte_simpletypes.o cte_typecheck.o cte_typebanks.o cte_termweightext.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/TERMS'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/ORDERINGS'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_ocb.o cto_ocb.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_cmpcache.o cto_cmpcache.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_lpo.o cto_lpo.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_kbo.o cto_kbo.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_kbolin.o cto_kbolin.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_orderings.o cto_orderings.c
ar rcs ORDERINGS.a cto_ocb.o cto_cmpcache.o cto_lpo.o cto_kbo.o cto_kbolin.o cto_orderings.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/ORDERINGS'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CLAUSES'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_neweval.o ccl_neweval.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_eqn.o ccl_eqn.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_eqnlist.o ccl_eqnlist.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clauseinfo.o ccl_clauseinfo.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clauses.o ccl_clauses.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_tformulae.o ccl_tformulae.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_formula_wrapper.o ccl_formula_wrapper.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_formulasets.o ccl_formulasets.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_f_generality.o ccl_f_generality.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_sine.o ccl_sine.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_garbage_coll.o ccl_garbage_coll.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_tcnf.o ccl_tcnf.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_propclauses.o ccl_propclauses.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_tautologies.o ccl_tautologies.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausepos.o ccl_clausepos.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausecpos.o ccl_clausecpos.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_pdtrees.o ccl_pdtrees.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_freqvectors.o ccl_freqvectors.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_fcvindexing.o ccl_fcvindexing.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausesets.o ccl_clausesets.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_unfold_defs.o ccl_unfold_defs.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausefunc.o ccl_clausefunc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_formulafunc.o ccl_formulafunc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_groundconstr.o ccl_groundconstr.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_grounding.o ccl_grounding.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_g_lithash.o ccl_g_lithash.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_axiomsorter.o ccl_axiomsorter.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_findex.o ccl_findex.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausepos_tree.o ccl_clausepos_tree.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_subterm_tree.o ccl_subterm_tree.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_subterm_index.o ccl_subterm_index.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_overlap_index.o ccl_overlap_index.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_relevance.o ccl_relevance.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_inferencedoc.o ccl_inferencedoc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_derivation.o ccl_derivation.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_paramod.o ccl_paramod.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_factor.o ccl_factor.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_eqnresolution.o ccl_eqnresolution.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_rewrite.o ccl_rewrite.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_unit_simplify.o ccl_unit_simplify.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_subsumption.o ccl_subsumption.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_condensation.o ccl_condensation.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_context_sr.o ccl_context_sr.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_def_handling.o ccl_def_handling.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_splitting.o ccl_splitting.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_global_indices.o ccl_global_indices.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_satinterface.o ccl_satinterface.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_proofstate.o ccl_proofstate.c
ar rcs CLAUSES.a ccl_neweval.o ccl_eqn.o ccl_eqnlist.o ccl_clauseinfo.o ccl_clauses.o ccl_tformulae.o ccl_formula_wrapper.o ccl_formulasets.o ccl_f_generality.o ccl_sine.o ccl_garbage_coll.o ccl_tcnf.o ccl_propclauses.o ccl_tautologies.o ccl_clausepos.o ccl_clausecpos.o ccl_pdtrees.o ccl_freqvectors.o ccl_fcvindexing.o ccl_clausesets.o ccl_unfold_defs.o ccl_clausefunc.o ccl_formulafunc.o ccl_groundconstr.o ccl_grounding.o ccl_g_lithash.o ccl_axiomsorter.o ccl_findex.o ccl_clausepos_tree.o ccl_subterm_tree.o ccl_subterm_index.o ccl_overlap_index.o ccl_relevance.o ccl_inferencedoc.o ccl_derivation.o ccl_paramod.o ccl_factor.o ccl_eqnresolution.o ccl_rewrite.o ccl_unit_simplify.o ccl_subsumption.o ccl_condensation.o ccl_context_sr.o ccl_def_handling.o ccl_splitting.o ccl_global_indices.o ccl_satinterface.o ccl_proofstate.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CLAUSES'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/PROPOSITIONAL'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_propsig.o cpr_propsig.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_varset.o cpr_varset.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_propclauses.o cpr_propclauses.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_dpllformula.o cpr_dpllformula.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_dpll.o cpr_dpll.c
ar rcs PROPOSITIONAL.a cpr_propsig.o cpr_varset.o cpr_propclauses.o cpr_dpllformula.o cpr_dpll.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/PROPOSITIONAL'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/LEARN'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_patterns.o cle_patterns.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_clauseenc.o cle_clauseenc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_annotations.o cle_annotations.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_annoterms.o cle_annoterms.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_flatannoterms.o cle_flatannoterms.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_numfeatures.o cle_numfeatures.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_examplerep.o cle_examplerep.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_kbdesc.o cle_kbdesc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_kbinsert.o cle_kbinsert.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_termtops.o cle_termtops.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_indexfunctions.o cle_indexfunctions.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_tsm.o cle_tsm.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_classification.o cle_classification.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_tsmio.o cle_tsmio.c
ar rcs LEARN.a cle_patterns.o cle_clauseenc.o cle_annotations.o cle_annoterms.o cle_flatannoterms.o cle_numfeatures.o cle_examplerep.o cle_kbdesc.o cle_kbinsert.o cle_termtops.o cle_indexfunctions.o cle_tsm.o cle_classification.o cle_tsmio.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/LEARN'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/PCL2'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_idents.o pcl_idents.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_positions.o pcl_positions.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_expressions.o pcl_expressions.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_steps.o pcl_steps.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_protocol.o pcl_protocol.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_miniclauses.o pcl_miniclauses.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_ministeps.o pcl_ministeps.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_miniprotocol.o pcl_miniprotocol.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_lemmas.o pcl_lemmas.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_analysis.o pcl_analysis.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_propanalysis.o pcl_propanalysis.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_proofcheck.o pcl_proofcheck.c
ar rcs PCL2.a pcl_idents.o pcl_positions.o pcl_expressions.o pcl_steps.o pcl_protocol.o pcl_miniclauses.o pcl_ministeps.o pcl_miniprotocol.o pcl_lemmas.o pcl_analysis.o pcl_propanalysis.o pcl_proofcheck.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/PCL2'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/HEURISTICS'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_wfcb.o che_wfcb.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_wfcbadmin.o che_wfcbadmin.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_axiomscan.o che_axiomscan.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_clausefeatures.o che_clausefeatures.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_prio_funs.o che_prio_funs.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_clausesetfeatures.o che_clausesetfeatures.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_rawspecfeatures.o che_rawspecfeatures.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_specsigfeatures.o che_specsigfeatures.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_clauseweight.o che_clauseweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_refinedweight.o che_refinedweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_varweights.o che_varweights.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_funweights.o che_funweights.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_orientweight.o che_orientweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_fifo.o che_fifo.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_lifo.o che_lifo.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_learning.o che_learning.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_simweight.o che_simweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_params.o che_to_params.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_hcb.o che_hcb.c
che_hcb.c: In function ‘HeuristicParmsParseInto’:
che_hcb.c:361:9: warning: variable ‘res’ set but not used [-Wunused-but-set-variable]
  361 |    bool res = true;
      |         ^~~
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_litselection.o che_litselection.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_proofcontrol.o che_proofcontrol.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_hcbadmin.o che_hcbadmin.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_heuristics.o che_heuristics.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_fcode_featurearrays.o che_fcode_featurearrays.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_weightgen.o che_to_weightgen.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_precgen.o che_to_precgen.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_autoselect.o che_to_autoselect.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_axfilter.o che_axfilter.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_strucweight.o che_strucweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_prefixweight.o che_prefixweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_treeweight.o che_treeweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_levweight.o che_levweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_tfidfweight.o che_tfidfweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_termweights.o che_termweights.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_termweight.o che_termweight.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_random.o che_random.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_diversityweight.o che_diversityweight.c
ar rcs HEURISTICS.a che_wfcb.o che_wfcbadmin.o che_axiomscan.o che_clausefeatures.o che_prio_funs.o che_clausesetfeatures.o che_rawspecfeatures.o che_specsigfeatures.o che_clauseweight.o che_refinedweight.o che_varweights.o che_funweights.o che_orientweight.o che_fifo.o che_lifo.o che_learning.o che_simweight.o che_to_params.o che_hcb.o che_litselection.o che_proofcontrol.o che_hcbadmin.o che_heuristics.o che_fcode_featurearrays.o che_to_weightgen.o che_to_precgen.o che_to_autoselect.o che_axfilter.o che_strucweight.o che_prefixweight.o che_treeweight.o che_levweight.o che_tfidfweight.o che_termweights.o che_termweight.o che_random.o che_diversityweight.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/HEURISTICS'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/CONTROL'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_simplification.o cco_simplification.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_factoring.o cco_factoring.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_eqnresolving.o cco_eqnresolving.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_paramodulation.o cco_paramodulation.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_forward_contraction.o cco_forward_contraction.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_clausesplitting.o cco_clausesplitting.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_interpreted.o cco_interpreted.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_proofproc.o cco_proofproc.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_proc_ctrl.o cco_proc_ctrl.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_batch_spec.o cco_batch_spec.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_einteractive_mode.o cco_einteractive_mode.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_sine.o cco_sine.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_esession.o cco_esession.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_eserver.o cco_eserver.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_scheduling.o cco_scheduling.c
ar rcs CONTROL.a cco_simplification.o cco_factoring.o cco_eqnresolving.o cco_paramodulation.o cco_forward_contraction.o  cco_clausesplitting.o cco_interpreted.o cco_proofproc.o cco_proc_ctrl.o cco_batch_spec.o cco_einteractive_mode.o cco_sine.o cco_esession.o cco_eserver.o cco_scheduling.o
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/CONTROL'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/SIMPLE_APPS'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ex_commandline.o ex_commandline.c
gcc -O03 -fomit-frame-pointer -fno-common    -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o term2dag.o term2dag.c
gcc -O03 -fomit-frame-pointer -fno-common    -o term2dag term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a  ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a -lm
/usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `TBTermParseRealHO':
cte_termbanks.c:(.text+0x24c0): undefined reference to `TFormulaTSTPParse'
/usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `choose_subterm_parse_fun':
cte_termbanks.c:(.text+0x2a88): undefined reference to `TFormulaTSTPParse'
collect2: error: ld returned 1 exit status
make[1]: *** [Makefile:41: term2dag] Error 1
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/SIMPLE_APPS'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/EXTERNAL'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o CSSCPA_filter.o CSSCPA_filter.c
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cex_csscpa.o cex_csscpa.c
gcc -O03 -fomit-frame-pointer -fno-common    -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/EXTERNAL'
make[1]: Entering directory '/usr/src/slapt-src/academic/eprover/E/PROVER'
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o eprover.o eprover.c
eprover.c: In function ‘main’:
eprover.c:531:26: warning: overflow in conversion from ‘long long int’ to ‘long int’ changes value from ‘9223372036854775807’ to ‘-1’ [-Woverflow]
  531 |                          LLONG_MAX, LONG_MAX);
      |                          ^~~~~~~~~
gcc -O03 -fomit-frame-pointer -fno-common    -o eprover eprover.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a  ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_ltb_runner.o e_ltb_runner.c
gcc -O03 -fomit-frame-pointer -fno-common    -o e_ltb_runner e_ltb_runner.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_stratpar.o e_stratpar.c
gcc -O03 -fomit-frame-pointer -fno-common    -o e_stratpar e_stratpar.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_deduction_server.o e_deduction_server.c
gcc -O03 -fomit-frame-pointer -fno-common    -o e_deduction_server e_deduction_server.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_axfilter.o e_axfilter.c
gcc -O03 -fomit-frame-pointer -fno-common    -o e_axfilter e_axfilter.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o classify_problem.o classify_problem.c
gcc -O03 -fomit-frame-pointer -fno-common    -o classify_problem classify_problem.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epatternize.o epatternize.c
gcc -O03 -fomit-frame-pointer -fno-common    -o epatternize epatternize.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_client.o e_client.c
gcc -O03 -fomit-frame-pointer -fno-common    -o e_client e_client.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_server.o e_server.c
gcc -O03 -fomit-frame-pointer -fno-common    -o e_server e_server.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o direct_examples.o direct_examples.c
gcc -O03 -fomit-frame-pointer -fno-common    -o direct_examples direct_examples.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epclanalyse.o epclanalyse.c
gcc -O03 -fomit-frame-pointer -fno-common    -o epclanalyse epclanalyse.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epclextract.o epclextract.c
gcc -O03 -fomit-frame-pointer -fno-common    -o epclextract epclextract.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o checkproof.o checkproof.c
gcc -O03 -fomit-frame-pointer -fno-common    -o checkproof checkproof.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o eground.o eground.c
gcc -O03 -fomit-frame-pointer -fno-common    -o eground eground.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o enormalizer.o enormalizer.c
gcc -O03 -fomit-frame-pointer -fno-common    -o enormalizer enormalizer.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o edpll.o edpll.c
gcc -O03 -fomit-frame-pointer -fno-common    -o edpll edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epcllemma.o epcllemma.c
gcc -O03 -fomit-frame-pointer -fno-common    -o epcllemma epcllemma.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_create.o ekb_create.c
gcc -O03 -fomit-frame-pointer -fno-common    -o ekb_create ekb_create.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_insert.o ekb_insert.c
gcc -O03 -fomit-frame-pointer -fno-common    -o ekb_insert ekb_insert.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_ginsert.o ekb_ginsert.c
gcc -O03 -fomit-frame-pointer -fno-common    -o ekb_ginsert ekb_ginsert.o ../lib/PCL2.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
gcc -O03 -fomit-frame-pointer -fno-common  -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_delete.o ekb_delete.c
gcc -O03 -fomit-frame-pointer -fno-common    -o ekb_delete ekb_delete.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
make[1]: Leaving directory '/usr/src/slapt-src/academic/eprover/E/PROVER'
sh -c 'mkdir -p /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/eprover      /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/epclextract  /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/e_stratpar   /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/eground      /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/e_ltb_runner /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/e_deduction_server /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/e_axfilter   /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/checkproof   /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/ekb_create   /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/ekb_delete   /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/ekb_ginsert  /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install PROVER/ekb_insert   /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'development_tools/e_install CONTRIB/picosat-965/picosat /usr/src/slapt-src/academic/eprover/package-eprover/usr/bin'
sh -c 'mkdir -p /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/eprover.1      /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/epclextract.1  /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/e_stratpar.1   /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/eground.1      /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/e_ltb_runner.1 /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/e_deduction_server.1 /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/e_axfilter.1   /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/checkproof.1   /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/ekb_create.1   /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/ekb_delete.1   /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/ekb_ginsert.1  /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'
sh -c 'development_tools/e_install DOC/man/ekb_insert.1   /usr/src/slapt-src/academic/eprover/package-eprover/usr/man/man1'

Slackware package maker, version 3.14159265.

Searching for symbolic links:

No symbolic links were found, so we won't make an installation script.
You can make your own later in ./install/doinst.sh and rebuild the
package if you like.

This next step is optional - you can set the directories in your package
to some sane permissions. If any of the directories in your package have
special permissions, then DO NOT reset them here!

Would you like to reset all directory permissions to 755 (drwxr-xr-x) and
directory ownerships to root.root ([y]es, [n]o)? n

Creating Slackware package:  /usr/src/slapt-src/academic/eprover/eprover-2.5-i586-1salix15.0.txz

./
install/
install/slack-desc
usr/
usr/bin/
usr/bin/checkproof
usr/bin/e_axfilter
usr/bin/e_deduction_server
usr/bin/e_ltb_runner
usr/bin/e_stratpar
usr/bin/eground
usr/bin/ekb_create
usr/bin/ekb_delete
usr/bin/ekb_ginsert
usr/bin/ekb_insert
usr/bin/epclextract
usr/bin/eprover
usr/doc/
usr/doc/eprover-2.5/
usr/doc/eprover-2.5/CONTRIBUTORS
usr/doc/eprover-2.5/COPYING
usr/doc/eprover-2.5/NEWS
usr/doc/eprover-2.5/README
usr/doc/eprover-2.5/eprover.SlackBuild
usr/doc/eprover-2.5/eprover.pdf
usr/man/
usr/man/man1/
usr/man/man1/checkproof.1.gz
usr/man/man1/e_axfilter.1.gz
usr/man/man1/e_deduction_server.1.gz
usr/man/man1/e_ltb_runner.1.gz
usr/man/man1/e_stratpar.1.gz
usr/man/man1/eground.1.gz
usr/man/man1/ekb_create.1.gz
usr/man/man1/ekb_delete.1.gz
usr/man/man1/ekb_ginsert.1.gz
usr/man/man1/ekb_insert.1.gz
usr/man/man1/epclextract.1.gz
usr/man/man1/eprover.1.gz

Slackware package /usr/src/slapt-src/academic/eprover/eprover-2.5-i586-1salix15.0.txz created.

Installing package eprover-2.5-i586-1salix15.0...
| eprover (a first-order theorem prover)
| 
| E is an automated theorem prover for first-order and equational logic.
| 
| Homepage: http://www.eprover.org/
| 
| 
| 
| 
| 
| 
| 
|