BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_Equality+NonLinearArith.xml name: cvc5_inc_Equality+NonLinearArith run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 14:58:34 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 -------------------------------------------------------------------------------------------------------------------------------------------------- ANIA/ANIA_UltimateBuchiAutomizer_aviad_true-alloca_true-termination.c.i.yml DONE (7689 correct) 9.94 9.81 tc06 ANIA/ANIA_UltimateBuchiAutomizer_openbsd_cstpncpy-alloca_true-termination.c.i.yml DONE (10755 correct) 24.21 24.07 tc06 ANIA/ANIA_UltimateBuchiAutomizer_openbsd_cstrlcpy-alloca_true-termination.c.i.yml DONE (5044 correct) 7.28 7.18 tc02 AUFNIRA/AUFNIRA_aviation_all_zeros_why.yml DONE (72 correct) 0.20 0.20 tc06 AUFNIRA/AUFNIRA_aviation_array_addr_why.yml DONE (5 correct) 0.10 0.10 tc06 AUFNIRA/AUFNIRA_aviation_array_field_addr_why.yml DONE (6 correct) 0.07 0.07 tc03 AUFNIRA/AUFNIRA_aviation_behavior_why.yml DONE (8 correct) 0.06 0.06 tc07 AUFNIRA/AUFNIRA_aviation_boolean_why.yml DONE (12 correct) 0.06 0.07 tc02 AUFNIRA/AUFNIRA_aviation_bts0160_why.yml DONE (5 correct) 0.18 0.19 tc08 AUFNIRA/AUFNIRA_aviation_division_why.yml DONE (13 correct) 0.06 0.06 tc02 AUFNIRA/AUFNIRA_aviation_fp-epsline_why.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc03 AUFNIRA/AUFNIRA_aviation_fs253_why.yml DONE (8 correct) 1.45 1.45 tc08 AUFNIRA/AUFNIRA_aviation_hd_snoob_why.yml DONE (615 correct) 3.56 3.58 tc01 AUFNIRA/AUFNIRA_aviation_invariants_why.yml DONE (14 correct) 0.14 0.14 tc08 AUFNIRA/AUFNIRA_aviation_loop_eq_why.yml DONE (4 correct) 0.09 0.09 tc05 AUFNIRA/AUFNIRA_aviation_null2_why.yml DONE (3 correct) 0.06 0.06 tc06 AUFNIRA/AUFNIRA_aviation_phase12_why.yml DONE (6 correct) 0.22 0.22 tc08 AUFNIRA/AUFNIRA_aviation_roux_labels_why.yml DONE (3 correct) 0.07 0.06 ws03 AUFNIRA/AUFNIRA_aviation_roux_why.yml DONE (9 correct) 0.08 0.08 tc05 AUFNIRA/AUFNIRA_aviation_switch_why.yml DONE (52 correct) 0.11 0.11 tc06 AUFNIRA/AUFNIRA_aviation_union_simple_why.yml DONE (4 correct) 0.11 0.11 tc05 AUFNIRA/AUFNIRA_aviation_weber1_why.yml DONE (13 correct) 0.10 0.10 ws10 AUFNIRA/AUFNIRA_aviation_weber4_why.yml DONE (10 correct) 0.08 0.08 tc04 UFDTNIA/UFDTNIA_20201212-Barrett_CoreAddresses.yml DONE (9 correct) 0.09 0.10 tc03 UFDTNIA/UFDTNIA_20201212-Barrett_DiemBlock.yml DONE (4 correct) 0.71 0.71 tc05 UFDTNIA/UFDTNIA_20201212-Barrett_DiemTransactionPublishingOption.yml DONE (6 correct) 0.47 0.47 tc03 UFDTNIA/UFDTNIA_20201212-Barrett_ModifiesTest.yml DONE (6 correct) 0.23 0.23 tc08 UFDTNIA/UFDTNIA_20201212-Barrett_RecoveryAddress.yml TIMEOUT (TIMEOUT (1 correct)) 61.02 61.00 tc07 UFDTNIA/UFDTNIA_20201212-Barrett_Roles.yml TIMEOUT (TIMEOUT (12 correct)) 61.01 61.00 tc04 UFDTNIA/UFDTNIA_20201212-Barrett_XUS.yml TIMEOUT (TIMEOUT (0 correct)) 61.03 61.00 tc07 UFDTNIA/UFDTNIA_20201212-Barrett_aborts_if_with_code_partial_error.yml TIMEOUT (TIMEOUT (1 correct)) 61.03 61.00 tc03 UFDTNIA/UFDTNIA_20201212-Barrett_add_recovery_rotation_capability.yml DONE (1 correct) 2.36 2.36 tc03 UFDTNIA/UFDTNIA_20201212-Barrett_burn.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc08 UFDTNIA/UFDTNIA_20201212-Barrett_global_vars.yml TIMEOUT (TIMEOUT (1 correct)) 61.01 61.00 tc02 UFDTNIA/UFDTNIA_20201212-Barrett_marketcap_as_schema_apply.yml TIMEOUT (TIMEOUT (2 correct)) 61.02 61.00 tc04 UFDTNIA/UFDTNIA_20201212-Barrett_nested_invariants.yml TIMEOUT (TIMEOUT (1 correct)) 61.02 61.00 tc04 UFDTNIA/UFDTNIA_20201212-Barrett_pure_function_call_incorrect.yml DONE (1 correct) 0.74 0.74 tc01 UFDTNIA/UFDTNIA_20201212-Barrett_references.yml TIMEOUT (TIMEOUT (2 correct)) 61.02 61.00 tc05 UFDTNIA/UFDTNIA_20201212-Barrett_register_validator_config.yml DONE (1 correct) 0.15 0.15 tc06 UFDTNIA/UFDTNIA_20201212-Barrett_script_provider.yml TIMEOUT (TIMEOUT (1 correct)) 61.02 61.00 tc07 UFDTNIA/UFDTNIA_20201212-Barrett_unused_schema.yml DONE (1 correct) 0.06 0.06 tc06 UFDTNIA/UFDTNIA_20201212-Barrett_update_exchange_rate.yml DONE (1 correct) 0.51 0.51 tc05 UFDTNIA/UFDTNIA_20201212-Barrett_verify_vector.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc05 UFNIA/UFNIA_20190906-CLEARSY__0000_00400.yml DONE (4 correct) 1.07 1.07 tc03 UFNIA/UFNIA_20190906-CLEARSY__0002_00284.yml TIMEOUT (TIMEOUT (0 correct)) 60.98 61.00 tc04 UFNIA/UFNIA_20190906-CLEARSY__0002_00297.yml DONE (5 correct) 29.85 29.84 tc01 UFNIA/UFNIA_20190906-CLEARSY__0002_00303.yml DONE (4 correct) 23.83 23.83 tc08 UFNIA/UFNIA_20190906-CLEARSY__0003_00053.yml TIMEOUT (TIMEOUT (26 correct)) 61.00 61.00 tc02 UFNIA/UFNIA_20190906-CLEARSY__0003_00308.yml TIMEOUT (TIMEOUT (23 correct)) 61.00 61.00 tc01 UFNIA/UFNIA_20190906-CLEARSY__0008_00118.yml DONE (86 correct) 0.41 0.40 tc01 UFNIA/UFNIA_20190909-CLEARSY__0012_00128.yml DONE (17 correct) 0.24 0.24 tc07 UFNIA/UFNIA_20190909-CLEARSY__0016_00046.yml DONE (16 correct) 0.08 0.08 tc04 UFNIA/UFNIA_20190909-CLEARSY__0016_00069.yml DONE (15 correct) 0.05 0.05 tc08 UFNIA/UFNIA_20190909-CLEARSY__0016_00159.yml DONE (2 correct) 3.70 3.70 tc07 UFNIA/UFNIA_20190909-CLEARSY__0016_00619.yml DONE (13 correct) 0.28 0.28 tc07 UFNIA/UFNIA_20190909-CLEARSY__0016_00640.yml DONE (7 correct) 0.23 0.23 tc02 UFNIA/UFNIA_20190909-CLEARSY__0016_00648.yml DONE (0 correct) 7.28 7.27 tc05 UFNIA/UFNIA_20190909-CLEARSY__0016_00892.yml DONE (4 correct) 1.01 1.00 tc02 UFNIA/UFNIA_20190909-CLEARSY__0023_00074.yml DONE (16 correct) 11.78 11.77 tc04 UFNIA/UFNIA_20190909-CLEARSY__0023_00084.yml DONE (0 correct) 25.95 25.95 tc07 UFNIA/UFNIA_20190909-CLEARSY__0023_00407.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 ws09 UFNIA/UFNIA_20190909-CLEARSY__0023_00834.yml DONE (10 correct) 1.60 1.60 tc02 UFNIA/UFNIA_20190909-CLEARSY__0024_00196.yml TIMEOUT (TIMEOUT (7 correct)) 61.01 61.00 tc03 UFNRA/UFNRA_20190906-CLEARSY__0004_00001.yml DONE (0 correct) 0.03 0.03 tc01 UFNRA/UFNRA_20190906-CLEARSY__0004_00002.yml DONE (1 correct) 0.04 0.04 tc04 UFNRA/UFNRA_20190906-CLEARSY__0004_00004.yml DONE (2 correct) 0.07 0.07 tc01 UFNRA/UFNRA_20190906-CLEARSY__0004_00005.yml DONE (2 correct) 0.31 0.31 tc01 -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 67.45 - Statistics: 67 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 67