BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_QF_LinearIntArith.xml name: cvc5_inc_QF_LinearIntArith run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 14:36:46 CEST tool: cvc5 tool executable: ./unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_sq options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 240 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ cvc5,3,Incremental.task Run set 1 of 1 with options 'unpack/5a2472e19477669429b98bad30984ceb59109d7a9f83532297e06bc8dfd2a949/bin/smtcomp_run_incremental' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c.yml TIMEOUT (TIMEOUT (54398 correct)) 61.51 61.00 tc08 QF_LIA_UltimateBuchiAutomizer_GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c.yml DONE (30044 correct) 47.03 45.87 tc08 QF_LIA_kratos_systemC_swmc_mem_slave_tlm.5.c.kratos.int.bmc_k100.yml TIMEOUT (TIMEOUT (33 correct)) 61.05 61.00 tc02 QF_LIA_kratos_systemC_swmc_pc_sfifo_3.c.kratos.int.ind_k100.yml TIMEOUT (TIMEOUT (37 correct)) 61.02 61.00 tc08 QF_LIA_kratos_systemC_swmc_pipeline-bug.c.kratos.int.bmc_k100.yml TIMEOUT (TIMEOUT (50 correct)) 61.05 61.00 tc08 QF_LIA_kratos_systemC_swmc_pipeline-bug.c.kratos.int.ind_k100.yml TIMEOUT (TIMEOUT (25 correct)) 61.02 61.00 tc08 QF_LIA_kratos_systemC_swmc_transmitter.10.c.kratos.int.bmc_k100.yml TIMEOUT (TIMEOUT (26 correct)) 61.21 61.00 tc02 QF_LIA_lustre_DRAGON_all.bmc_k100.yml TIMEOUT (TIMEOUT (26 correct)) 61.01 61.00 tc02 QF_LIA_lustre_MESI_all.bmc_k100.yml TIMEOUT (TIMEOUT (31 correct)) 61.01 61.00 tc02 QF_LIA_lustre_MESI_all.ind_k100.yml TIMEOUT (TIMEOUT (37 correct)) 61.01 61.00 tc02 QF_LIA_lustre_SYNAPSE_all.bmc_k100.yml TIMEOUT (TIMEOUT (26 correct)) 61.01 61.00 tc02 QF_LIA_lustre_durationThm_1.ind_k100.yml TIMEOUT (TIMEOUT (69 correct)) 61.00 61.00 tc05 QF_LIA_lustre_rtp_all.ind_k100.yml TIMEOUT (TIMEOUT (42 correct)) 61.01 61.00 tc08 QF_LIA_lustre_rtp_vt.bmc_k100.yml TIMEOUT (TIMEOUT (22 correct)) 61.01 61.00 tc02 QF_LIA_lustre_speed2.ind_k100.yml TIMEOUT (TIMEOUT (116 correct)) 61.01 61.00 tc05 QF_LIA_lustre_two_counters.ind_k100.yml DONE (202 correct) 3.67 3.67 tc05 QF_LIA_ultimateAutomizer_Problem05_00_false-unreach-call.c.yml TIMEOUT (TIMEOUT (6450 correct)) 61.17 61.00 tc02 QF_LIA_ultimateAutomizer_Problem09_50_true-unreach-call.c.yml TIMEOUT (TIMEOUT (4593 correct)) 61.12 61.00 tc08 QF_LIA_ultimateAutomizer_toy2_false-unreach-call_false-termination.cil.c.yml TIMEOUT (TIMEOUT (30056 correct)) 61.25 61.00 tc05 QF_LIA_ultimateKojak_kundu_true-unreach-call_false-termination.cil.c.prep.yml TIMEOUT (TIMEOUT (73128 correct)) 61.64 61.00 tc08 -------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 446.60 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20