Tool 2LS 0.6.0 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:32:03 CET 2017-12-01 08:01:50 CET 2017-12-01 08:11:41 CET 2017-12-01 08:15:34 CET 2017-12-01 04:23:32 CET 2017-12-01 07:36:49 CET
Run set 2ls.sv-comp18.ReachSafety-Recursive cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive cpa-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive cpa-seq-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Recursive uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Recursive
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .11  22 .69 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .092 22 .63 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .12  22 .67 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .11  22 .66 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .098 22 .80 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .030 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .091 22 .94 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .12  22 .69 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive/Ackermann01_true-unreach-call_true-no-overflow.c error (5) 0 wit inspect .11  22 .60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.8
recursive/Ackermann03_true-unreach-call_true-no-overflow.c error (5) 0 wit inspect .12  22 .66 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .020 5.0
recursive/Ackermann04_true-unreach-call_true-no-overflow.c error (5) 0 wit inspect .10  22 .64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.9
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .096 22 .77 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .020 4.9
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .11  22 .68 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .086 22 .85 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .019 4.8
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c error (5) 0 wit inspect .095 22 .78 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .048 4.8
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .10  22 .71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.9
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .11  22 .83 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .018 4.9
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .12  22 .66 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .10  22 .73 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c error (5) 0 wit inspect .10  23 .70 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.9
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .098 22 .71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .11  23 .62 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .023 4.9
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .10  22 .73 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .12  22 .70 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 46 error (2) 0 wit inspect .019 4.9
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error (5) 0 wit inspect .098 22 .75 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .019 4.9
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .56 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 52 error (invalid witness file) 0 wit inspect .0016 .32 - wit inspect - wit inspect
recursive-simple/afterrec_false-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .62 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
recursive-simple/fibo_10_false-unreach-call_true-termination.c error (5) 0 wit inspect .094 22 .86 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0014 .31 - wit inspect - wit inspect
recursive-simple/fibo_15_false-unreach-call.c error (5) 0 wit inspect .083 22 .75 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
recursive-simple/fibo_20_false-unreach-call.c error (5) 0 wit inspect .099 22 .67 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
recursive-simple/fibo_25_false-unreach-call.c error (5) 0 wit inspect .11  22 .70 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
recursive-simple/fibo_2calls_10_false-unreach-call.c error (5) 0 wit inspect .099 22 .88 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive-simple/fibo_2calls_15_false-unreach-call.c error (5) 0 wit inspect .098 22 .88 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive-simple/fibo_2calls_20_false-unreach-call.c error (5) 0 wit inspect .10  22 .82 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
recursive-simple/fibo_2calls_25_false-unreach-call.c error (5) 0 wit inspect .11  22 .73 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c error (5) 0 wit inspect .11  22 .70 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c error (5) 0 wit inspect .11  22 .70 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c error (5) 0 wit inspect .099 22 .71 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c error (5) 0 wit inspect .097 22 .66 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.2  52 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .72 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
recursive-simple/fibo_5_false-unreach-call_true-termination.c error (5) 0 wit inspect .098 22 .89 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive-simple/fibo_7_false-unreach-call_true-termination.c error (5) 0 wit inspect .099 22 .73 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .11  22 .71 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .93 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .087 22 .93 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .73 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .65 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .82 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .73 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .90 51 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c error (5) 0 wit inspect .094 22 .62 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0014 .32 - wit inspect - wit inspect
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .12  22 .64 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .085 22 .71 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .096 22 .67 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 53 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .090 22 .72 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .12  22 .71 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .12  22 .67 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0011 .33 - wit inspect - wit inspect
recursive-simple/sum_10x0_false-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .63 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
recursive-simple/sum_15x0_false-unreach-call_true-termination.c error (5) 0 wit inspect .099 22 .58 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
recursive-simple/sum_20x0_false-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .75 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
recursive-simple/sum_25x0_false-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .76 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
recursive-simple/sum_2x3_false-unreach-call_true-termination.c error (5) 0 wit inspect .097 22 .64 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .11  22 .70 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c error (5) 0 wit inspect .11  22 .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
recursive-simple/afterrec_true-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .75 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 46 error (2) 0 wit inspect .020 4.8
recursive-simple/fibo_10_true-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .72 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 5.0
recursive-simple/fibo_15_true-unreach-call.c error (5) 0 wit inspect .098 22 .60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .018 4.8
recursive-simple/fibo_20_true-unreach-call.c error (5) 0 wit inspect .12  22 .65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.8
recursive-simple/fibo_25_true-unreach-call.c error (5) 0 wit inspect .12  22 .71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .025 4.9
recursive-simple/fibo_2calls_10_true-unreach-call.c error (5) 0 wit inspect .091 22 .74 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.9
recursive-simple/fibo_2calls_15_true-unreach-call.c error (5) 0 wit inspect .085 22 .81 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 5.0
recursive-simple/fibo_2calls_20_true-unreach-call.c error (5) 0 wit inspect .12  22 .71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.9
recursive-simple/fibo_2calls_25_true-unreach-call.c error (5) 0 wit inspect .099 23 .76 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .019 4.9
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .018 5.0
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .017 4.9
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .76 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .018 4.9
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c error (5) 0 wit inspect .090 22 .72 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .022 4.9
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .70 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9
recursive-simple/fibo_5_true-unreach-call_true-termination.c error (5) 0 wit inspect .099 22 .76 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .021 4.8
recursive-simple/fibo_7_true-unreach-call_true-termination.c error (5) 0 wit inspect .11  22 .70 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .043 5.0
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .094 22 .66 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 5.0
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .11  22 .72 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 5.0
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .092 22 .68 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.8
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c error (5) 0 wit inspect .094 22 .81 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .022 4.9
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .097 22 .68 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .020 4.9
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .10  22 .71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .040 4.9
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .11  22 .64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 5.0
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.9
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .67 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.9
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.9
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .83 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c error (5) 0 wit inspect .094 22 .64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9
recursive-simple/sum_10x0_true-unreach-call_true-termination.c error (5) 0 wit inspect .095 22 .73 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .019 4.9
recursive-simple/sum_15x0_true-unreach-call_true-termination.c error (5) 0 wit inspect .093 22 .65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .047 4.8
recursive-simple/sum_20x0_true-unreach-call_true-termination.c error (5) 0 wit inspect .12  22 .50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9
recursive-simple/sum_25x0_true-unreach-call_true-termination.c error (5) 0 wit inspect .096 22 .67 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.9
recursive-simple/sum_2x3_true-unreach-call_true-termination.c error (5) 0 wit inspect .10  22 .70 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 45 error (2) 0 wit inspect .049 4.8
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c error (5) 0 wit inspect .089 22 .68 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .021 4.9
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 96 0 9.9 2100 68 44 0 24 1900 44 0 .89 220 44 0 42 2200 44 0 .062 13 52 0 31 2200 52 0 1.1 250
    correct results 0 0 0 0 0 0 0
        correct true 0 0 0 0 0 0 0
        correct false 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0
score (96 tasks, max score: 148) 0 0 0 0 0 0 0
Run set 2ls.sv-comp18.ReachSafety-Recursive cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive cpa-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Recursive cpa-seq-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Recursive uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Recursive