BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_QF_FPArith.xml name: cvc5_inc_QF_FPArith run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 14:52:33 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_UFFP/QF_UFFP_schanda__spark_O402-020.yml DONE (2 correct) 0.36 0.36 tc08 QF_BVFP/QF_BVFP_20190307-CPAchecker_kInduction-SoSy_Lab_float5_smt-query.0.yml DONE (2 correct) 0.06 0.06 tc04 QF_BVFP/QF_BVFP_20190307-CPAchecker_kInduction-SoSy_Lab_newton_2_7_smt-query.1.yml DONE (1 correct) 39.07 39.07 tc04 QF_BVFP/QF_BVFP_20190307-CPAchecker_kInduction-SoSy_Lab_sqrt_Newton_pseudoconstant_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 61.13 61.00 tc08 QF_BVFP/QF_BVFP_20190307-CPAchecker_kInduction-SoSy_Lab_square_1_smt-query.1.yml DONE (1 correct) 0.86 0.86 ws11 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_0a9d8fd4.yml DONE (9 correct) 0.29 0.29 tc05 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_409229b5.yml DONE (15 correct) 3.67 3.67 tc02 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_4a0dffd3.yml DONE (16 correct) 6.18 6.18 tc08 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_93de1a37.yml DONE (2 correct) 0.03 0.03 tc03 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_a05b7eac.yml DONE (7 correct) 0.03 0.03 tc04 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_a647aa87.yml DONE (10 correct) 0.84 0.84 tc03 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_dba840d9.yml DONE (11 correct) 0.98 0.98 tc05 QF_BVFP/QF_BVFP_20210211-Vector__Aerospace_C_fcb65074.yml DONE (14 correct) 0.04 0.04 tc02 QF_BVFP/QF_BVFP_20210211-Vector__Automotive_C_7a4164f6.yml DONE (7 correct) 0.07 0.07 tc04 QF_BVFP/QF_BVFP_20210211-Vector__Automotive_C_7f7356b9.yml DONE (3 correct) 0.03 0.03 tc08 QF_BVFP/QF_BVFP_20210211-Vector__Automotive_C_96049fff.yml DONE (2 correct) 0.02 0.02 tc06 QF_BVFP/QF_BVFP_20210211-Vector__Medical_C_7c46650d.yml DONE (4 correct) 0.02 0.02 tc05 QF_BVFP/QF_BVFP_20210211-Vector__RTOS_C_addf014a.yml DONE (5 correct) 0.02 0.02 tc01 QF_BVFP/QF_BVFP_20210211-Vector__Railway_C_6ea03493.yml DONE (3 correct) 0.02 0.02 tc08 QF_BVFP/QF_BVFP_20210211-Vector__Railway_C_afe11e17.yml DONE (9 correct) 0.12 0.12 tc03 QF_BVFP/QF_BVFP_schanda__spark_int_to_float_complex.yml DONE (3 correct) 0.62 0.62 tc06 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_Double_div_bad_false-unreach-call.i.yml DONE (53 correct) 2.41 2.41 tc06 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_Float_div_bad_false-unreach-call.i.yml DONE (252 correct) 6.23 6.22 tc01 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_drift_tenth_true-unreach-call.c.yml DONE (2515 correct) 21.80 21.82 tc06 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_filter2_reinit_true-unreach-call.c.yml DONE (22 correct) 0.07 0.07 tc03 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_1_4_false-unreach-call.i.yml DONE (18 correct) 0.03 0.03 tc08 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_1_5_false-unreach-call.i.yml DONE (18 correct) 0.03 0.03 tc06 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_1_8_false-unreach-call.i.yml DONE (18 correct) 0.05 0.05 tc07 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_2_1_true-unreach-call.i.yml DONE (21 correct) 0.03 0.03 tc08 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_2_3_true-unreach-call.i.yml DONE (21 correct) 0.03 0.03 tc03 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_2_6_false-unreach-call.i.yml DONE (21 correct) 0.03 0.03 tc01 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_3_2_true-unreach-call.i.yml DONE (24 correct) 0.03 0.03 tc04 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_3_7_false-unreach-call.i.yml DONE (24 correct) 0.05 0.05 tc07 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_newton_3_8_false-unreach-call.i.yml DONE (24 correct) 0.03 0.03 tc01 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_sine_5_true-unreach-call.i.yml DONE (11 correct) 0.03 0.03 tc03 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_sqrt_Householder_interval_true-unreach-call.c.yml DONE (113 correct) 9.70 9.70 tc03 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_sqrt_Newton_pseudoconstant_true-unreach-call.c.yml DONE (291 correct) 17.99 17.99 tc01 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_square_1_false-unreach-call.i.yml DONE (11 correct) 0.03 0.03 tc02 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_square_3_false-unreach-call.i.yml DONE (11 correct) 0.03 0.03 tc01 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_square_5_true-unreach-call.i.yml DONE (11 correct) 0.05 0.05 tc07 QF_BVFPLRA/QF_BVFPLRA_20170501-Heizmann-UltimateAutomizer_water_pid_true-unreach-call.c.yml DONE (723 correct) 35.76 35.75 tc05 QF_FP/QF_FP_20210211-Vector__Aerospace_C_0ca25bcb.yml DONE (9 correct) 0.01 0.01 tc01 QF_FP/QF_FP_20210211-Vector__Aerospace_C_13586adc.yml DONE (2 correct) 0.03 0.03 tc04 QF_FP/QF_FP_20210211-Vector__Aerospace_C_15d70f96.yml DONE (2 correct) 0.02 0.02 tc06 QF_FP/QF_FP_20210211-Vector__Aerospace_C_3b9c229c.yml DONE (3 correct) 0.02 0.02 tc05 QF_FP/QF_FP_20210211-Vector__Aerospace_C_4e198b2b.yml DONE (2 correct) 0.02 0.02 tc04 QF_FP/QF_FP_20210211-Vector__Aerospace_C_766761b3.yml DONE (7 correct) 0.09 0.09 tc05 QF_FP/QF_FP_20210211-Vector__Aerospace_C_8c30ca3b.yml DONE (2 correct) 0.06 0.06 tc07 QF_FP/QF_FP_20210211-Vector__Aerospace_C_90afedc0.yml DONE (2 correct) 0.02 0.02 tc05 QF_FP/QF_FP_20210211-Vector__Aerospace_C_a3d43d16.yml DONE (2 correct) 0.03 0.03 tc04 QF_FP/QF_FP_20210211-Vector__Aerospace_C_bb6b0317.yml DONE (2 correct) 0.08 0.08 tc02 QF_FP/QF_FP_20210211-Vector__Aerospace_C_bd1649cb.yml DONE (3 correct) 0.03 0.03 tc06 QF_FP/QF_FP_20210211-Vector__Aerospace_C_daee2791.yml DONE (3 correct) 0.05 0.05 tc07 QF_FP/QF_FP_20210211-Vector__Aerospace_C_eff53d29.yml DONE (11 correct) 0.28 0.28 tc06 QF_FP/QF_FP_20210211-Vector__Automotive_C_120f8f30.yml DONE (2 correct) 0.04 0.04 tc07 QF_FP/QF_FP_20210211-Vector__Automotive_C_1421b969.yml DONE (4 correct) 0.02 0.02 tc01 QF_FP/QF_FP_20210211-Vector__Automotive_C_183efeaa.yml DONE (2 correct) 0.05 0.05 tc08 QF_FP/QF_FP_20210211-Vector__Automotive_C_cea2003f.yml DONE (3 correct) 0.02 0.02 tc04 QF_FP/QF_FP_20210211-Vector__Industrial_Control_C_774a5fca.yml DONE (2 correct) 0.04 0.04 tc01 QF_FP/QF_FP_20210211-Vector__RTOS_C_1584d278.yml DONE (2 correct) 0.08 0.08 tc07 QF_FP/QF_FP_20210211-Vector__RTOS_C_7c9d7c89.yml DONE (2 correct) 0.06 0.06 tc08 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_12ce39b6.yml DONE (21 correct) 1.61 1.61 tc03 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_2fae22a2.yml DONE (7 correct) 0.04 0.04 tc05 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_522549f3.yml DONE (34 correct) 2.84 2.84 tc01 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_58503948.yml TIMEOUT (TIMEOUT (23 correct)) 61.03 61.00 tc08 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_5a61de33.yml TIMEOUT (TIMEOUT (12 correct)) 61.02 61.00 tc02 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_5af7f478.yml DONE (3 correct) 0.03 0.03 tc06 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_71793596.yml DONE (18 correct) 13.46 13.46 tc04 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_8f453cd7.yml DONE (6 correct) 0.04 0.04 tc05 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_d0b620af.yml DONE (17 correct) 0.58 0.58 tc04 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_e9605485.yml DONE (10 correct) 0.48 0.48 tc05 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_ea3afdcc.yml DONE (20 correct) 25.97 25.97 tc06 QF_ABVFP/QF_ABVFP_20210211-Vector__Aerospace_C_f40a390e.yml DONE (14 correct) 3.14 3.14 tc03 QF_ABVFP/QF_ABVFP_20210211-Vector__Automotive_C_346b5019.yml DONE (8 correct) 0.41 0.41 tc02 QF_ABVFP/QF_ABVFP_20210211-Vector__Industrial_Control_C_5b50cf0b.yml DONE (7 correct) 0.03 0.03 tc02 QF_ABVFP/QF_ABVFP_20210211-Vector__Industrial_Control_C_ba593e1f.yml DONE (17 correct) 0.28 0.28 tc01 QF_ABVFP/QF_ABVFP_20210211-Vector__Industrial_Control_C_f3a59d72.yml DONE (15 correct) 9.00 9.00 tc01 QF_ABVFP/QF_ABVFP_20210211-Vector__Medical_C_30f7c262.yml DONE (15 correct) 0.68 0.68 tc02 QF_ABVFP/QF_ABVFP_20210211-Vector__RTOS_C_2a33f076.yml TIMEOUT (TIMEOUT (12 correct)) 61.02 61.00 tc03 QF_ABVFP/QF_ABVFP_20210211-Vector__RTOS_C_36971eb0.yml TIMEOUT (TIMEOUT (6 correct)) 61.01 61.00 tc05 QF_ABVFP/QF_ABVFP_20210211-Vector__RTOS_C_c48c9566.yml DONE (19 correct) 0.07 0.07 tc05 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_filter2_alt_true-unreach-call.c.yml DONE (40 correct) 0.03 0.03 tc08 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_filter2_iterated_true-unreach-call.c.yml DONE (349 correct) 14.36 14.38 tc02 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_sin_interpolated_bigrange_tight_true-unreach-call.c.yml DONE (43 correct) 0.11 0.11 tc06 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_sin_interpolated_index_false-unreach-call.c.yml DONE (43 correct) 0.12 0.12 tc07 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_sin_interpolated_index_true-unreach-call.c.yml DONE (43 correct) 0.11 0.11 tc04 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_sin_interpolated_negation_true-unreach-call.c.yml DONE (1031 correct) 31.01 31.04 tc02 QF_ABVFPLRA/QF_ABVFPLRA_20170501-Heizmann-UltimateAutomizer_sin_interpolated_smallrange_true-unreach-call.c.yml DONE (327 correct) 25.06 25.05 tc04 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None 67.13 - Statistics: 88 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 88