2026-10-01 23:39.59: New job: build qbf.0.3 (af9b6e172ac5)
2026-10-01 23:39.59: Waiting for resource in pool day11-builds
2026-10-01 23:46.24: Got resource from pool day11-builds
2026-10-01 23:46.24: [profile oxcaml-odoc-master] build qbf.0.3
2026-10-01 23:46.24: build qbf.0.3 (af9b6e172ac5)
=== DEPENDENCIES (14 transitive) ===
  base-threads.base                                  ddcab511c589
  base-unix.base                                     742554e1dbc2
  conf-autoconf.1                                    43fe4a407b7a
  conf-which.1                                       5fccb3a41099
  csexp.1.5.2                                        a9d3fd6f82d9
  ctypes.0.24.0+ox                                   bfa3d12be43a
  dune.3.22.2+ox                                     a2ef013eeea9
  dune-configurator.3.22.2+ox                        dea98c56dd29
  integers.0.8.0                                     8a484753c4bc
  ocaml.5.2.0                                        cda6777ccfe3
  ocaml-config.3                                     d77b853eaa33
  ocaml-variants.5.2.0+ox                            a9808a9375cd
  oxcaml-compiler.5.2.0minus39                       9c94ae342626
  stdlib-shims.0.3.0                                 872ba8883981
=== STDOUT ===
Processing: [default: loading data]
[qbf.0.3: dl]
[qbf.0.3: extract]
-> retrieved qbf.0.3  (https://opam.ocaml.org/cache)
[qbf: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "qbf" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/qbf.0.3)
- (cd _build/default/libs && /usr/bin/make picosat-960/libpicosat.a quantor-3.2/libquantor.a)
- cd picosat-960/; ./configure
- version ... 960
- debug ... no
- log ... no
- stats ... no
- trace ... no
- static ... no
- shared ... no
- targets ... picosat picomcs picomus picogcnf libpicosat.a
- cc ... gcc
- ar ... ar
- ranlib ... ranlib
- cflags ...  -Wall -Wextra -DNDEBUG -O3
- makefile ... done
- cd picosat-960/;\
- make CFLAGS="-fPIC $(grep CFLAGS= makefile | cut -d= -f2)" libpicosat.a;\
- ranlib libpicosat.a
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/picosat-960'
- gcc -fPIC  -Wall -Wextra -DNDEBUG -O3 -c picosat.c
- rm -f config.h; ./mkconfig > config.h
- gcc -fPIC  -Wall -Wextra -DNDEBUG -O3 -c version.c
- ar rc libpicosat.a picosat.o version.o
- ranlib libpicosat.a
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/picosat-960'
- cd quantor-3.2/; ./configure --picosat=../picosat-960
- version ... 3.2
- debug ... no
- log ... yes (level 2)
- stats ... yes (level 1)
- check ... no
- fast allocation ... yes
- CC ... gcc
- CC type ... gcc
- ar ... ar
- ranlib ... ranlib
- CC version ... 14
- static ... no
- CFLAGS ... -Wall -W -O3 -DNDEBUG -fno-strict-aliasing
- RAWCFLAGS ... 
- funex ... no (no funex directory found)
- limmat ... no (no limmat directory found)
- nanosat ... no (no nanosat directory found)
- compsat ... no (no compsat directory found)
- booleforce ... no (no booleforce directory found)
- picosat ... yes (in '../picosat-960')
- INC ... -I../picosat-960
- LIB ... -L../picosat-960 -lpicosat
- Word ... unsigned long
- Signature ... unsigned
- signature bits ... 32
- double precision int ... long
- Lit alignment ... 32
- qbfeval usage ... no
- Makefile ... done
- config.h ... done
- cleaning up ... done
- cd quantor-3.2/;\
- make CFLAGS="-fPIC $(grep CFLAGS= Makefile | cut -d= -f2)" libquantor.a
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/quantor-3.2'
- rm -f options.c; ./genopts < options.sh > options.c
- gcc -fPIC -Wall -W -O3 -DNDEBUG -fno-strict-aliasing -I../picosat-960 -c quantor.c
- ar rc libquantor.a quantor.o
- ranlib libquantor.a
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/quantor-3.2'
- In function 'simplify_new_clause',
-     inlined from 'add_new_clause.isra' at quantor.c:7138:7:
- quantor.c:5134:13: warning: array subscript 0 is outside array bounds of 'Lit[0]' [-Warray-bounds=]
-  5134 |           v = lit->var;
-       |           ~~^~~~~~~~~~
- In function 'add_new_clause.isra':
- cc1: note: source object is likely at address zero
-> compiled  qbf.0.3
-> installed qbf.0.3

=== STDERR ===

2026-10-01 23:48.29: OK: build qbf.0.3 (runc: 57.5s, disk: 9KB)
2026-10-01 23:48.29: Job succeeded