BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_model_QF_NonLinearRealArith.xml name: smtinterpol_model_QF_NonLinearRealArith run sets: SMTInterpol,2,ModelValidation.task date: Fri, 2025-06-27 09:39:31 CEST tool: SMTInterpol tool executable: ./unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 120 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ SMTInterpol,2,ModelValidation.task Run set 1 of 1 with options 'unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__certificate_hints_escape25_POMC_hints.yml unknown 1.86 0.99 tc02 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__certificate_hints_mod5_POMC_hints.yml unknown 1.06 0.58 tc05 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__certificate_hints_mod7_POMC_hints.yml unknown 2.31 1.21 tc08 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__certificate_no_hints_escape25_POMC_no_hints.yml unknown 1.43 0.77 tc08 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__certificate_no_hints_mod5_POMC_no_hints.yml unknown 0.81 0.45 tc02 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__certificate_no_hints_mod7_POMC_no_hints.yml unknown 1.37 0.74 tc02 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__past_geom_offspring_0.499_PRAY.yml unknown 0.51 0.30 tc08 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__past_huge_runtime_PRAY.yml unknown 0.82 0.45 tc08 QF_NRA_20240407-pPDA-Chiari-Pontiggia-Winkler__past_huge_runtime_tiny_probs_PRAY.yml unknown 0.60 0.34 tc02 QF_NRA_LassoRanker__CooperatingT2_polyrank5.t2.c_Iteration1_Loop_6-phaseTemplate.yml unknown 1.27 0.69 tc08 QF_NRA_hycomp_ball_count_2d_plain.02.seq_lazy_lemmas_global_6.yml unknown 1.52 0.81 tc02 QF_NRA_meti-tarski__Lyapunov_Lyapunov1a-chunk-0034.yml unknown 0.38 0.23 tc05 QF_NRA_meti-tarski__atan__problem__2__weak_atan-problem-2-weak-chunk-0177.yml unknown 0.38 0.23 tc02 QF_NRA_meti-tarski__atan__vega__3_atan-vega-3-chunk-0368.yml unknown 0.46 0.27 tc08 QF_NRA_meti-tarski__atan__vega__3_atan-vega-3-chunk-0547.yml unknown 0.38 0.24 tc05 QF_NRA_meti-tarski__cbrt__3__weak_cbrt-problem-3-weak-chunk-0062.yml unknown 0.37 0.24 tc08 QF_NRA_meti-tarski__cbrt__3__weak_cbrt-problem-3-weak-chunk-0090.yml unknown 0.45 0.26 tc02 QF_NRA_meti-tarski__polypaver__bench-sqrt-3d_polypaver-bench-sqrt-3d-chunk-0442.yml unknown 0.41 0.24 tc05 QF_NRA_meti-tarski__sqrt__1mcosq__7_sqrt-1mcosq-7-chunk-0178.yml unknown 0.51 0.30 tc08 QF_NRA_meti-tarski__sqrt__1mcosq__8_sqrt-1mcosq-8-chunk-0699.yml unknown 0.36 0.22 tc02 --------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20