BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_Equality.xml name: cvc5_inc_Equality run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 14:54:57 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 ---------------------------------------------------------------------------------------------------- UF_20190906-CLEARSY__0001_00054.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc08 UF_20190906-CLEARSY__0001_00397.yml TIMEOUT (TIMEOUT (0 correct)) 61.00 61.00 tc08 UF_20190906-CLEARSY__0002_00285.yml TIMEOUT (TIMEOUT (4 correct)) 61.01 61.00 tc08 UF_20190906-CLEARSY__0002_00298.yml DONE (10 correct) 23.12 23.13 tc05 UF_20190906-CLEARSY__0002_00304.yml TIMEOUT (TIMEOUT (11 correct)) 61.01 61.00 tc08 UF_20190906-CLEARSY__0003_00310.yml DONE (0 correct) 2.44 2.44 tc02 UF_20190906-CLEARSY__0008_00114.yml TIMEOUT (TIMEOUT (1 correct)) 61.01 61.00 tc02 UF_20190906-CLEARSY__0012_00125.yml DONE (1 correct) 0.42 0.42 tc02 UF_20190906-CLEARSY__0016_00042.yml DONE (28 correct) 0.38 0.37 tc05 UF_20190906-CLEARSY__0016_00067.yml DONE (38 correct) 0.06 0.06 tc08 UF_20190906-CLEARSY__0016_00158.yml DONE (7 correct) 19.35 19.35 tc02 UF_20190906-CLEARSY__0016_00618.yml DONE (8 correct) 2.42 2.42 tc05 UF_20190906-CLEARSY__0016_00639.yml DONE (1 correct) 0.05 0.05 tc02 UF_20190906-CLEARSY__0016_00647.yml DONE (0 correct) 4.29 4.29 tc02 UF_20190906-CLEARSY__0016_00890.yml DONE (0 correct) 0.48 0.48 tc08 UF_20190906-CLEARSY__0023_00073.yml DONE (4 correct) 3.47 3.47 tc08 UF_20190906-CLEARSY__0023_00084.yml DONE (0 correct) 12.60 12.60 tc02 UF_20190906-CLEARSY__0023_00407.yml TIMEOUT (TIMEOUT (0 correct)) 61.00 61.00 tc08 UF_20190906-CLEARSY__0023_00835.yml DONE (0 correct) 7.61 7.62 tc02 UF_20190906-CLEARSY__0024_00196.yml TIMEOUT (TIMEOUT (5 correct)) 61.01 61.00 tc05 ---------------------------------------------------------------------------------------------------- Run set 1 done None 66.80 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20