BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_QF_NonLinearIntArith.xml name: cvc5_inc_QF_NonLinearIntArith run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 14:53:45 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_NIA_20250318-BohanLi_From_AProVE_2014__Matrix.jar-obl-16__p10788_safety_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.00 61.00 tc02 QF_NIA_20250318-BohanLi_From_AProVE_2014__juHashMapCreateIteratorEntryLoop.jar-obl-12__p3364_edge_closing_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc02 QF_NIA_20250318-BohanLi_From_AProVE_2014__juLinkedListCreateRemoveAll.jar-obl-11__p9812_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.07 61.00 tc02 QF_NIA_20250318-BohanLi_From_T2__apchild-live.t2_fixed__p16560_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc02 QF_NIA_20250318-BohanLi_From_T2__fun1.t2_fixed__p697_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc02 QF_NIA_20250318-BohanLi_From_T2__hqr.c.i.hqr.pl.t2.fixed.t2__p1654_edge_closing_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc02 QF_NIA_20250318-BohanLi_From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__p1697_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__mc91test.t2__p3101_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc05 QF_NIA_20250318-BohanLi_From_T2__p_armc.t2__p6946_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__sas2.t2__p21302_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc02 QF_NIA_20250318-BohanLi_From_T2__slayer-4-filtered.t2__p22712_safety_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2__p25079_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc05 QF_NIA_20250318-BohanLi_From_T2__tqli.t2__p25217_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__tqli.t2_fixed__p25128_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc05 QF_NIA_20250318-BohanLi_Stroeder_15__ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c__p22124_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc08 QF_NIA_20250331-elster_A_1_htc2.yml DONE (451 correct) 6.85 6.88 tc02 QF_NIA_20250331-elster_B_1_htc0.yml TIMEOUT (TIMEOUT (0 correct)) 61.03 61.00 tc05 QF_NIA_20250331-elster_C_1_max.yml TIMEOUT (TIMEOUT (0 correct)) 61.04 61.00 tc08 QF_NIA_20250331-elster_E_1_htc2.yml TIMEOUT (TIMEOUT (0 correct)) 61.06 61.00 tc08 QF_NIA_UltimateLTLAutomizer_Problem14_prop_024.c.yml TIMEOUT (TIMEOUT (13683 correct)) 61.21 61.00 tc08 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 67.14 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20