[{"binary_sha256":"b5198265f8ef1f9373404fc43df45113d991074bf6309cd25f62a553f2098ee8","branch":"master","commit_date":"2026-08-14T15:05:06+10:00","commit_sha":"cf06c295d99db602a89c08d1e13c574a2f1b0f11","compile_defines":"-DNDEBUG -D__STDC_LIMIT_MACROS -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DUSE_CADICAL -DSTP_CADICAL_HAS_FACTOR -DSTP_HAVE_LIBBF","complete":true,"dirty":true,"finished_utc":"2026-08-14T17:09:33Z","has_detail":true,"headline":{"error":0,"memout":1,"mismatch":0,"n":160610,"n_counted":160408,"par2":666240.4,"solved":159550,"timeout":857,"unsupported":202,"wall_all":414938.1,"wall_median":0.047,"wall_total":151440.4},"jobs":12,"mem_limit_bytes":32212254720,"name":"full-001","notes":"first full-corpus anchor: static, LibBF, cadical 3.0.1, HEAD cf06c295 | INTERRUPTED by system reboot 2026-08-14 20:32 at 63533/160610 runs; resumed after. Kernel changed 5.15.0-186 -> 5.15.0-187 mid-campaign.","solver_flags":"--cadical","solvers":{"cadical":{"artefact":"libcadical.a","git_describe":"rel-3.0.1","git_sha":"c60730422e758ef1cebe7aeddf2dda31c996bf04","mtime":"2026-08-05T23:49:40Z","sha256":"fd61e6dda8c0de71b7d34857a33cab52295acb9858f4831719386ad371847bd9","version":"3.0.1"},"libbf":{"artefact":"libbf.a","git_describe":"2.4.1-144-g50a0eb26-dirty","git_sha":"50a0eb269f85af4f8387d1acdc7b2562c5b374ab","mtime":"2026-08-05T22:53:33Z","sha256":"f77ca9b821e82768c81a3c588977b3986e859c74c767365969be2726786595fc"}},"started_utc":"2026-08-14T05:54:00Z","stp_version":"STP version 2.4.1\nSTP version SHA string cf06c295d99db602a89c08d1e13c574a2f1b0f11\nSTP compilation options CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -fvisibility=hidden -mpopcnt | COMPILE_DEFINES =  -DNDEBUG -D__STDC_LIMIT_MACROS -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DUSE_CADICAL -DSTP_CADICAL_HAS_FACTOR -DSTP_HAVE_LIBBF | STATICCOMPILE = ON | TUNE_NATIVE = OFF | COVERAGE = OFF | FORCE_CMS = OFF | LIBS =  | ENABLE_TESTING = OFF | ENABLE_PYTHON_INTERFACE = OFF | PYTHON_EXECUTABLE =  | PYTHON_LIBRARY =  | PYTHON_INCLUDE_DIRS =  |  | compilation date time = Aug 14 2026 15:38:05\nSTP SAT solvers cadical 3.0.1\nc compiled with gcc version 12.3.0","tier":"full","timeout_s":300}]