BENCHMARK INFORMATION benchmark definition: run_definitions/z3partiz3ppatsmtcomp2025_parallel_QF_NonLinearRealArith.xml name: z3partiz3ppatsmtcomp2025_parallel_QF_NonLinearRealArith run sets: Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task date: Sat, 2025-06-28 17:40:55 CEST tool: Z3-Parti-Z3pp-at-SMT-COMP-2025 tool executable: ./unpack/d9ed01302b9e144ea97976b92d81da9034b9a834c7f25315904164ab6377f495/Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 480 s - cpu cores: 8 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 8 - memory: 8192.0 MB ------------------------------------------------------------ Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task Run set 1 of 1 with options 'unpack/d9ed01302b9e144ea97976b92d81da9034b9a834c7f25315904164ab6377f495/Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_NRA_20161105-Sturm-MBO_mbo_E8E10.yml unknown 0.08 0.08 ws11 QF_NRA_20170501-Heizmann-UltimateInvariantSynthesis_down.i_4_5_5.bpl_3.yml unknown 0.07 0.07 ws18 QF_NRA_20170501-Heizmann-UltimateInvariantSynthesis_gj2007.c.i_4_3_3.bpl_5.yml unknown 0.07 0.07 ws17 QF_NRA_20170501-Heizmann-UltimateInvariantSynthesis_nested9.i_5_6_6.bpl_3.yml unknown 0.07 0.07 ws11 QF_NRA_20170501-Heizmann-UltimateInvariantSynthesis_standard_two_index_05.i_3_2_2.bpl_5.yml unknown 0.07 0.07 ws20 QF_NRA_20170501-Heizmann-UltimateInvariantSynthesis_standard_two_index_06.i_3_2_2.bpl_5.yml unknown 0.08 0.08 ws18 QF_NRA_LassoRanker__SV-COMP_BradleyMannaSipma-2005ICALP-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.08 0.08 ws16 QF_NRA_LassoRanker__SV-COMP_LeeJonesBen-Amram-2001POPL-Ex5_true-termination.c_Iteration2_Lasso_4-pieceTemplate.yml unknown 0.08 0.08 ws14 QF_NRA_hycomp_ball_count_2d_hill.02.seq_lazy_linear_enc_lemmas_global_12.yml unknown 0.07 0.07 ws15 QF_NRA_hycomp_ball_count_2d_hill.03.seq_lazy_global_10.yml unknown 0.07 0.07 ws08 QF_NRA_hycomp_ball_count_2d_hill.03.seq_lazy_lemmas_global_10.yml unknown 0.07 0.07 ws13 QF_NRA_hycomp_ball_count_2d_hill.04.seq_lazy_global_14.yml unknown 0.07 0.07 ws07 QF_NRA_hycomp_ball_count_2d_hill.04.seq_lazy_linear_enc_lemmas_global_12.yml unknown 0.07 0.07 ws19 QF_NRA_hycomp_ball_count_2d_hill.05.redlog_global_12.yml unknown 0.07 0.07 ws17 QF_NRA_hycomp_ball_count_2d_hill_simple.03.redlog_global_12.yml unknown 0.07 0.07 ws15 QF_NRA_hycomp_ball_count_2d_plain.03.redlog_global_14.yml unknown 0.07 0.07 ws01 QF_NRA_hycomp_ball_count_2d_slope.02.seq_lazy_global_12.yml unknown 0.07 0.07 ws10 QF_NRA_hycomp_ball_count_2d_slope.02.seq_lazy_linear_enc_global_14.yml unknown 0.07 0.07 ws09 QF_NRA_hycomp_ball_count_2d_slope.03.seq_lazy_global_10.yml unknown 0.07 0.07 ws03 QF_NRA_hycomp_ball_count_2d_slope.03.seq_lazy_lemmas_global_14.yml unknown 0.07 0.07 ws08 QF_NRA_hycomp_ball_count_2d_slope.03.seq_lazy_linear_enc_global_12.yml unknown 0.07 0.07 ws10 QF_NRA_hycomp_ball_count_2d_slope.03.seq_lazy_linear_enc_global_14.yml unknown 0.08 0.08 ws05 QF_NRA_hycomp_ball_count_2d_slope.04.seq_lazy_global_14.yml unknown 0.07 0.07 ws13 QF_NRA_hycomp_ball_count_2d_slope.05.seq_lazy_global_14.yml unknown 0.08 0.08 ws02 QF_NRA_hycomp_simple_ballistics_reach.01.seq_lazy_global_7.yml unknown 0.07 0.07 ws16 QF_NRA_hycomp_simple_ballistics_reach.01.seq_lazy_lemmas_global_15.yml unknown 0.07 0.07 ws07 QF_NRA_hycomp_simple_ballistics_reach.01.seq_lazy_lemmas_global_5.yml unknown 0.08 0.08 ws19 QF_NRA_hycomp_simple_ballistics_reach.01.seq_lazy_linear_enc_global_9.yml unknown 0.07 0.07 ws01 QF_NRA_hycomp_simple_ballistics_reach.01.seq_lazy_linear_enc_lemmas_global_15.yml unknown 0.08 0.08 ws18 QF_NRA_hycomp_simple_ballistics_reach.01.seq_lazy_linear_enc_lemmas_global_5.yml unknown 0.07 0.08 ws20 QF_NRA_kissing_kissing_3_11.yml unknown 0.07 0.08 ws04 QF_NRA_kissing_kissing_3_12.yml unknown 0.07 0.07 ws06 QF_NRA_kissing_kissing_4_15.yml unknown 0.07 0.07 ws12 QF_NRA_kissing_kissing_4_18.yml unknown 0.07 0.07 ws05 QF_NRA_kissing_kissing_4_24.yml unknown 0.07 0.07 ws04 QF_NRA_zankl_matrix-2-all-11.yml unknown 0.07 0.07 ws17 QF_NRA_zankl_matrix-2-all-13.yml unknown 0.07 0.07 ws09 QF_NRA_zankl_matrix-2-all-7.yml unknown 0.07 0.07 ws11 QF_NRA_zankl_matrix-4-all-10.yml unknown 0.07 0.07 ws06 QF_NRA_zankl_matrix-4-all-14.yml unknown 0.07 0.07 ws03 QF_NRA_zankl_matrix-4-all-18.yml unknown 0.07 0.07 ws12 QF_NRA_zankl_matrix-4-all-6.yml unknown 0.07 0.07 ws06 QF_NRA_zankl_matrix-5-all-10.yml unknown 0.07 0.07 ws02 QF_NRA_zankl_matrix-5-all-8.yml unknown 0.08 0.08 ws14 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 44 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 44