<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="20" time="3.201" timestamp="2026-08-17T18:21:31.547381+08:00" hostname="cuda-ke"><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_cpc_entailment_receipt_replays_only_on_descendants" time="0.496" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_learned_literal_extractor_timeout_reaps_process" time="0.262" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_once_summary_reports_explicit_lemma_store" time="0.169" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_persistent_backend_publishes_and_new_worker_injects" time="1.446" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_portfolio_requires_proof_and_persistent_context" time="0.001" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_solver_response_parser_is_bounded_and_command_closed" time="0.001" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_store_serializes_publication_and_rejects_quota_lock_and_tamper" time="0.735" /></testsuite></testsuites>