Build:
- 0
2026-06-16 11:02.06: New job: build eprover.2.6 (8666d4cb76f2) 2026-06-16 11:02.06: Waiting for resource in pool day11-builds 2026-06-16 11:27.28: Got resource from pool day11-builds 2026-06-16 11:27.28: [profile full] build eprover.2.6 2026-06-16 11:27.28: build eprover.2.6 (8666d4cb76f2) === DEPENDENCIES (1 transitive) === conf-gcc.1.0 dd4c5e537e37 === STDOUT === Processing: [default: loading data] [eprover.2.6: dl] [eprover.2.6: extract] -> retrieved eprover.2.6 (https://opam.ocaml.org/cache) [eprover: ./configure] + /home/opam/.opam/default/.opam-switch/build/eprover.2.6/./configure "--bindir=/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/eprover.2.6) - Configuring with executable path /home/opam/.opam/default/bin - /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man - # -DENABLE_LFHO \ - echo 'Configuring build system' - Configuring build system - make links - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6' - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6' - make depend - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB' - make[2]: Nothing to be done for 'depend'. - make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/BASICS' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/INOUT' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/TERMS' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/ORDERINGS' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CLAUSES' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/PROPOSITIONAL' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/LEARN' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/PCL2' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/HEURISTICS' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTROL' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/SIMPLE_APPS' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/EXTERNAL' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/PROVER' - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6' - cd CONTRIB; make config - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 ... -DTRACE -Wall -Wextra -DNDEBUG -O3 - makefile ... done - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB' [eprover: make 39] + /usr/bin/make "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/eprover.2.6) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB' - cd picosat-965; make ; make - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965' - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picosat.c - rm -f config.h; ./mkconfig.sh > config.h - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c app.c - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c main.c - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picomcs.c - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picomus.c - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picogcnf.c - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c version.c - ar rc libpicosat.a picosat.o version.o - ranlib libpicosat.a - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picosat main.o app.o -L. -lpicosat - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picomcs picomcs.o -L. -lpicosat - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picomus picomus.o -L. -lpicosat - gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picogcnf picogcnf.o -L. -lpicosat - make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965' - make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965' - make[2]: Nothing to be done for 'all'. - make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965' - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTRIB' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/BASICS' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/INOUT' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 - 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_lambda.o cte_lambda.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 cte_lambda.o - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/TERMS' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/ORDERINGS' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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_ext_index.o ccl_ext_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_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_ext_index.o 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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CLAUSES' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/PROPOSITIONAL' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/LEARN' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/PCL2' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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_dagweight.o che_dagweight.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 - 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_dagweight.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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/HEURISTICS' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 - 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_ho_inferences.o cco_ho_inferences.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 cco_ho_inferences.o - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/CONTROL' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 -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 ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm - 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 `ParseIte': - cte_termbanks.c:(.text+0x3b51): undefined reference to `TFormulaTPTPParse' - /usr/bin/ld: cte_termbanks.c:(.text+0x3b74): undefined reference to `TFormulaTPTPParse' - /usr/bin/ld: cte_termbanks.c:(.text+0x3b97): undefined reference to `TFormulaTPTPParse' - /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `parse_let_sym_def': - cte_termbanks.c:(.text+0x4b9b): undefined reference to `EqnTermsTBTermEncode' - /usr/bin/ld: cte_termbanks.c:(.text+0x4d84): undefined reference to `TFormulaTSTPParse' - /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseLet': - cte_termbanks.c:(.text+0x502e): undefined reference to `TFormulaTPTPParse' - /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `choose_subterm_parse_fun': - cte_termbanks.c:(.text+0x48df): undefined reference to `TFormulaTSTPParse' - collect2: error: ld returned 1 exit status - make[1]: *** [Makefile:41: term2dag] Error 1 - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/SIMPLE_APPS' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/EXTERNAL' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/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 - 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 - 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/eprover.2.6/PROVER' -> compiled eprover.2.6 [eprover: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/eprover.2.6) - sh -c 'mkdir -p /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/eprover /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/eprover-ho /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/epclextract /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/e_stratpar /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/eground /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/e_ltb_runner /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/e_deduction_server /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/e_axfilter /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/checkproof /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/ekb_create /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/ekb_delete /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/ekb_ginsert /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install PROVER/ekb_insert /home/opam/.opam/default/bin' - sh -c 'development_tools/e_install CONTRIB/picosat-965/picosat /home/opam/.opam/default/bin' - sh -c 'mkdir -p /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - sh -c 'development_tools/e_install DOC/man/eprover.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/eprover.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/eprover.1 are already equal - sh -c 'development_tools/e_install DOC/man/epclextract.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/epclextract.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/epclextract.1 are already equal - sh -c 'development_tools/e_install DOC/man/e_stratpar.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/e_stratpar.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/e_stratpar.1 are already equal - sh -c 'development_tools/e_install DOC/man/eground.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/eground.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/eground.1 are already equal - sh -c 'development_tools/e_install DOC/man/e_ltb_runner.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/e_ltb_runner.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/e_ltb_runner.1 are already equal - sh -c 'development_tools/e_install DOC/man/e_deduction_server.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/e_deduction_server.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/e_deduction_server.1 are already equal - sh -c 'development_tools/e_install DOC/man/e_axfilter.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/e_axfilter.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/e_axfilter.1 are already equal - sh -c 'development_tools/e_install DOC/man/checkproof.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/checkproof.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/checkproof.1 are already equal - sh -c 'development_tools/e_install DOC/man/ekb_create.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/ekb_create.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/ekb_create.1 are already equal - sh -c 'development_tools/e_install DOC/man/ekb_delete.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/ekb_delete.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/ekb_delete.1 are already equal - sh -c 'development_tools/e_install DOC/man/ekb_ginsert.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/ekb_ginsert.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/ekb_ginsert.1 are already equal - sh -c 'development_tools/e_install DOC/man/ekb_insert.1 /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man' - DOC/man/ekb_insert.1 and /home/opam/.opam/default/.opam-switch/build/eprover.2.6/DOC/man/ekb_insert.1 are already equal -> installed eprover.2.6 === STDERR === 2026-06-16 11:30.58: OK: build eprover.2.6 (runc: 74.0s, disk: 89KB) 2026-06-16 11:30.58: Job succeeded