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-Sequentialized cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Sequentialized
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
systemc/kundu1_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .77 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .83 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .88 51 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .10  23 .80 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  23 .67 error (invalid witness file) 0 wit inspect .54 43 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 .0016 .26 - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     950 12000    error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .10  24 .64 error (invalid witness file) 0 wit inspect .56 46 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .87 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .82 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .83 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .99 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  26 1.1  error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  26 1.1  error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  27 1.2  error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0020 .27 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  27 1.1  error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .18  27 1.2  error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .17  27 1.2  error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  28 1.6  error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .17  28 1.4  error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  28 1.8  error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 48 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .18  29 1.4  error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  25 .73 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0019 .27 - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .79 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0015 .32 - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .79 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .94 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .094 24 .95 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  25 .88 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .85 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  26 .96 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 52 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  26 .94 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  26 1.1  error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  26 1.0  error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  27 1.2  error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .17  28 1.1  error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .98 47 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  28 1.7  error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .19  28 1.3  error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .20  28 1.3  error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .18  29 1.4  error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect .66  37 7.0  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6900 true 2 wit inspect 79     2900  
systemc/kundu_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  27 .90 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .048 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  27 .88 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  27 .78 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  27 .84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .025 4.9
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  27 .86 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.9
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  23 .64 - 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
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  23 .80 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .042 5.0
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .10  24 .75 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     920 9100    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  23 .69 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .052 4.8
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .88 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .91 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  25 .99 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  26 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .018 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  26 .90 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .022 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  26 .93 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  27 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .024 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  27 1.3  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  28 1.2  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .019 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  28 1.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .19  28 1.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.9
systemc/toy_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .036 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .23  27 2.1  false(unreach-call) 1 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 9.7   370   unknown 0 wit inspect 5.4  270 false(unreach-call) 1 wit inspect .97   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .24  27 2.1  false(unreach-call) 1 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 9.8   370   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .82   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .65  49 7.9  false(unreach-call) 1 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 14     540   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .60  48 6.6  true -32 wit inspect 60    2100 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 8.9  400 false(unreach-call) 1 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .61  49 7.6  false(unreach-call) 1 wit inspect 4.2  290 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .98   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .60  48 7.1  true -32 wit inspect 58    2300 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 9.7  480 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.4   84 18    timeout 0 wit inspect 93    2600 false(unreach-call) 1 wit inspect 18     900   unknown 0 wit inspect 15    530 false(unreach-call) 1 wit inspect .96   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   80 17    true -32 wit inspect 26    1800 false(unreach-call) 1 wit inspect 22     900   unknown 0 wit inspect 9.1  420 false(unreach-call) 1 wit inspect .95   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 1.6   85 18    true -32 wit inspect 5.1  280 true -32 wit inspect 15     610   unknown 0 wit inspect 6.8  320 true -32 wit inspect .88   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.9   85 19    true -32 wit inspect 5.7  280 true -32 wit inspect 14     590   unknown 0 wit inspect 10    440 true -32 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 1.5   88 17    true -32 wit inspect 5.7  270 true -32 wit inspect 26     870   unknown 0 wit inspect 12    540 true -32 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.6   87 22    true -32 wit inspect 5.4  270 true -32 wit inspect 15     590   unknown 0 wit inspect 11    470 true -32 wit inspect .99   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4   62 18    true -32 wit inspect 9.4  430 true -32 wit inspect 6.4   280   unknown 0 wit inspect 5.0  280 false(unreach-call) 1 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   61 12    true -32 wit inspect 34    1500 true -32 wit inspect 9.0   340   unknown 0 wit inspect 6.1  220 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .54  38 7.1  true -32 wit inspect 9.4  400 true -32 wit inspect 6.8   280   unknown 0 wit inspect 5.0  280 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .49  35 4.4  timeout 0 wit inspect 93    2600 true -32 wit inspect 7.4   280   unknown 0 wit inspect 5.2  220 false(unreach-call) 1 wit inspect .83   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 2.0   68 21    true -32 wit inspect 9.1  410 true -32 wit inspect 7.2   290   unknown 0 wit inspect 6.2  270 false(unreach-call) 1 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.1   69 34    true -32 wit inspect 21    870 true -32 wit inspect 6.6   280   unknown 0 wit inspect 5.8  220 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4   63 18    true -32 wit inspect 9.1  400 true -32 wit inspect 6.5   280   unknown 0 wit inspect 5.2  270 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   62 13    true -32 wit inspect 52    2000 true -32 wit inspect 8.7   340   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     3200 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 3.9   140 50    true -32 wit inspect 10    420 true -32 wit inspect 9.3   350   unknown 0 wit inspect 7.6  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.4   130 39    true -32 wit inspect 13    410 true -32 wit inspect 9.0   390   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.3    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 3.3   120 42    true -32 wit inspect 17    610 true -32 wit inspect 8.8   360   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.8   120 36    true -32 wit inspect 56    2300 true -32 wit inspect 6.9   360   unknown 0 wit inspect 7.9  380 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 67     240 860    true -32 wit inspect 11    410 true -32 wit inspect 11     390   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 90     280 1100    true -32 wit inspect 16    610 true -32 wit inspect 9.1   370   unknown 0 wit inspect 8.5  280 false(unreach-call) 1 wit inspect 1.4    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 4.1   140 56    true -32 wit inspect 17    810 true -32 wit inspect 8.8   370   unknown 0 wit inspect 6.9  300 false(unreach-call) 1 wit inspect 1.2    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.3   130 44    true -32 wit inspect 8.2  280 true -32 wit inspect 8.6   370   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     2600 11000    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12     300 140    true -32 wit inspect 20    980 true -32 wit inspect 13     450   unknown 0 wit inspect 7.5  310 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11     290 130    true -32 wit inspect 13    460 true -32 wit inspect 11     450   unknown 0 wit inspect 8.2  340 false(unreach-call) 1 wit inspect 1.6    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.9   270 130    true -32 wit inspect 41    2000 true -32 wit inspect 12     450   unknown 0 wit inspect 9.8  500 false(unreach-call) 1 wit inspect 1.9    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.5   260 93    timeout 0 wit inspect 97    2900 true -32 wit inspect 14     490   unknown 0 wit inspect 17    670 false(unreach-call) 1 wit inspect 1.7    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     660 11000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     660 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 13     300 150    true -32 wit inspect 48    2000 true -32 wit inspect 12     460   unknown 0 wit inspect 11    480 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12     290 140    true -32 wit inspect 24    1100 true -32 wit inspect 11     470   unknown 0 wit inspect 8.3  330 false(unreach-call) 1 wit inspect 1.7    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     560 8600    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .68  37 8.6  false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 6.0   250   unknown 0 wit inspect 5.8  270 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .58  35 6.4  true -32 wit inspect 53    2200 true -32 wit inspect 5.9   250   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .65  39 7.7  false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 7.5   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .62  38 8.2  true -32 wit inspect 52    2100 true -32 wit inspect 6.8   250   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.9   56 26    false(unreach-call) 1 wit inspect 6.2  290 true -32 wit inspect 5.9   260   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7   53 22    true -32 wit inspect 87    2600 true -32 wit inspect 6.8   260   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.7   57 23    false(unreach-call) 1 wit inspect 7.2  310 true -32 wit inspect 7.2   260   unknown 0 wit inspect 4.9  280 false(unreach-call) 1 wit inspect .83   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7   54 22    true -32 wit inspect 40    1900 true -32 wit inspect 5.8   270   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 6.6   92 83    false(unreach-call) 1 wit inspect 7.1  300 true -32 wit inspect 7.9   280   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.0   91 97    timeout 0 wit inspect 93    2700 true -32 wit inspect 6.9   280   unknown 0 wit inspect 7.0  280 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.0   93 110    false(unreach-call) 1 wit inspect 7.0  290 true -32 wit inspect 6.8   280   unknown 0 wit inspect 4.8  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.3   93 110    true -32 wit inspect 78    2500 true -32 wit inspect 6.6   270   unknown 0 wit inspect 6.7  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 35     180 390    false(unreach-call) 1 wit inspect 8.9  320 true -32 wit inspect 7.8   290   unknown 0 wit inspect 6.1  290 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 43     190 420    timeout 0 wit inspect 93    2700 true -32 wit inspect 7.3   290   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect .85   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 38     180 500    false(unreach-call) 1 wit inspect 8.0  310 true -32 wit inspect 7.2   280   unknown 0 wit inspect 7.6  290 false(unreach-call) 1 wit inspect .99   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38     180 490    timeout 0 wit inspect 94    2700 true -32 wit inspect 6.4   280   unknown 0 wit inspect 6.7  280 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .59  36 6.8  true -32 wit inspect 5.0  270 true -32 wit inspect 6.8   250   unknown 0 wit inspect 4.2  260 false(unreach-call) 1 wit inspect .83   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .53  35 5.7  true -32 wit inspect 4.8  270 true -32 wit inspect 7.2   260   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     2500 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1   52 15    false(unreach-call) 1 wit inspect 6.6  310 true -32 wit inspect 7.8   320   unknown 0 wit inspect 5.2  270 false(unreach-call) 1 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0   45 12    true -32 wit inspect 5.7  280 true -32 wit inspect 5.7   250   unknown 0 wit inspect 5.9  230 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     2100 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .71 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 2.1   71 25    false(unreach-call) 1 wit inspect 7.4  300 true -32 wit inspect 7.9   330   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.3   76 32    true -32 wit inspect 6.1  270 true -32 wit inspect 6.4   260   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .98   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     1300 10000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 4.5   97 58    false(unreach-call) 1 wit inspect 8.5  320 true -32 wit inspect 8.6   280   unknown 0 wit inspect 6.9  290 false(unreach-call) 1 wit inspect .99   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.9   87 48    true -32 wit inspect 6.6  280 true -32 wit inspect 6.6   280   unknown 0 wit inspect 6.6  290 false(unreach-call) 1 wit inspect .89   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     380 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 10     150 130    true -32 wit inspect 6.0  320 true -32 wit inspect 8.4   290   unknown 0 wit inspect 8.2  320 false(unreach-call) 1 wit inspect .91   24    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.1   120 140    true -32 wit inspect 7.1  320 true -32 wit inspect 6.5   280   unknown 0 wit inspect 6.4  320 false(unreach-call) 1 wit inspect .91   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     380 13000    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 18     170 220    true -32 wit inspect 7.0  330 true -32 wit inspect 9.3   300   unknown 0 wit inspect 7.5  330 false(unreach-call) 1 wit inspect .99   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20     200 250    true -32 wit inspect 5.3  330 true -32 wit inspect 8.5   290   unknown 0 wit inspect 7.2  330 false(unreach-call) 1 wit inspect .99   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     410 9700    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3   62 19    true -32 wit inspect 12    450 true -32 wit inspect 6.6   280   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   60 13    true -32 wit inspect 9.7  400 true -32 wit inspect 9.5   290   unknown 0 wit inspect 5.2  230 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .56  40 7.3  true -32 wit inspect 9.8  410 true -32 wit inspect 6.4   290   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .78   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .50  37 5.8  true -32 wit inspect 55    2300 true -32 wit inspect 7.3   290   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.8   69 24    true -32 wit inspect 11    440 true -32 wit inspect 6.7   290   unknown 0 wit inspect 7.0  280 false(unreach-call) 1 wit inspect .94   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7   67 22    true -32 wit inspect 67    2400 true -32 wit inspect 6.6   300   unknown 0 wit inspect 5.2  230 false(unreach-call) 1 wit inspect .99   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3   63 16    true -32 wit inspect 10    440 true -32 wit inspect 8.2   290   unknown 0 wit inspect 6.8  280 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   61 14    true -32 wit inspect 53    2200 true -32 wit inspect 6.7   290   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .83   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     3300 11000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 3.7   140 52    true -32 wit inspect 9.7  430 true -32 wit inspect 11     380   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.2   130 40    true -32 wit inspect 9.7  400 true -32 wit inspect 8.0   370   unknown 0 wit inspect 6.7  280 false(unreach-call) 1 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 3.1   130 38    true -32 wit inspect 13    370 true -32 wit inspect 8.4   370   unknown 0 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.7   120 30    true -32 wit inspect 8.5  340 true -32 wit inspect 8.7   380   unknown 0 wit inspect 6.5  290 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 62     230 860    true -32 wit inspect 25    940 true -32 wit inspect 9.1   410   unknown 0 wit inspect 7.2  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 73     260 870    true -32 wit inspect 10    440 true -32 wit inspect 8.5   380   unknown 0 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 4.0   140 53    true -32 wit inspect 27    1300 true -32 wit inspect 8.2   370   unknown 0 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.6   130 40    true -32 wit inspect 18    830 true -32 wit inspect 9.6   390   unknown 0 wit inspect 8.9  290 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     3000 11000    error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11     290 140    true -32 wit inspect 17    760 true -32 wit inspect 12     460   unknown 0 wit inspect 8.1  330 false(unreach-call) 1 wit inspect 1.6    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.7   280 87    true -32 wit inspect 17    1100 true -32 wit inspect 13     460   unknown 0 wit inspect 8.3  350 false(unreach-call) 1 wit inspect 1.5    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 8.9   270 95    true -32 wit inspect 21    970 true -32 wit inspect 12     450   unknown 0 wit inspect 7.5  300 false(unreach-call) 1 wit inspect 1.8    24    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.7   260 86    true -32 wit inspect 36    1800 true -32 wit inspect 12     460   unknown 0 wit inspect 9.3  350 false(unreach-call) 1 wit inspect 1.8    24    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     660 8900    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0015 .33 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     660 13000    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0018 .35 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12     300 140    true -32 wit inspect 22    980 true -32 wit inspect 12     450   unknown 0 wit inspect 9.1  310 false(unreach-call) 1 wit inspect 1.7    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 10     290 110    true -32 wit inspect 25    1400 true -32 wit inspect 12     470   unknown 0 wit inspect 9.5  330 false(unreach-call) 1 wit inspect 1.8    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     630 8400    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error (134) 0 wit inspect .92  120 7.5  error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error (134) 0 wit inspect 7.7   610 64    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error (134) 0 wit inspect 1.0   87 7.0  error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.0  48 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error (134) 0 wit inspect 12     450 71    error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error (134) 0 wit inspect 1.1   110 11    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error (134) 0 wit inspect 10     580 70    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error (134) 0 wit inspect 1.1   110 7.4  error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error (134) 0 wit inspect 9.7   570 68    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900     11000 6800    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0014 .31 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c out of memory 0 wit inspect 47     15000 450    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .90 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error (134) 0 wit inspect .48  74 5.3  error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error (134) 0 wit inspect 2.4   380 19    error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error (134) 0 wit inspect .70  64 5.5  error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0019 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error (134) 0 wit inspect 6.1   350 51    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error (134) 0 wit inspect 1.7   250 17    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error (134) 0 wit inspect 13     940 98    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error (134) 0 wit inspect 2.0   190 16    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error (134) 0 wit inspect 20     680 120    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .028 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error (134) 0 wit inspect 2.3   240 21    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error (134) 0 wit inspect 19     880 110    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 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 1 wit inspect 280     7000 2100    timeout 0 wit inspect 97    2300 timeout 0 wit inspect 97     3500   unknown 0 wit inspect 23    1400 false(unreach-call) 1 wit inspect 2.2    34    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900     11000 6100    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error (134) 0 wit inspect .80  130 7.0  error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.2  51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error (134) 0 wit inspect 2.4   480 26    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error (134) 0 wit inspect 1.4   140 9.6  error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 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
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error (134) 0 wit inspect 10     520 63    error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .97 50 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 2.1   160 28    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 270    890 out of memory 0 wit inspect 610     7000  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     3300 10000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 3.7   140 36    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 140    2600 true 2 wit inspect 280     4600  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 3.4   140 35    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 true 2 wit inspect 290     4500  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 4.1   94 51    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 38    400 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 4.4   77 60    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 15    350 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 240     410 3600    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    680 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 370     430 4800    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    770 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     670 7600    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     620 12000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.2   42 16    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    360 out of memory 0 wit inspect 260     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 3.5   47 45    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 15    370 out of memory 0 wit inspect 210     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 8.0   87 99    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 66    560 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 25     93 330    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 49    580 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 52     180 640    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 270    660 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 160     180 1900    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 210    640 out of memory 0 wit inspect 110     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 300     280 4000    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    990 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 670     330 7800    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 120     7000  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .79  40 10    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    330 timeout 0 wit inspect 960     4800  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 1.6   39 18    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    350 timeout 0 wit inspect 960     3800  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 2.4   56 27    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 29    510 out of memory 0 wit inspect 270     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 7.6   68 98    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 34    420 out of memory 0 wit inspect 240     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 11     120 130    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 87    520 out of memory 0 wit inspect 220     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 23     120 290    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 76    500 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 43     180 520    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 270    660 out of memory 0 wit inspect 180     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 91     190 1100    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 210    660 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 140     220 2000    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 260     240 3300    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 660    1000 out of memory 0 wit inspect 230     7000  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 500     430 6100    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 720     340 9300    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 3.1   85 38    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 28    400 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 4.0   80 52    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    360 out of memory 0 wit inspect 120     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 270     350 3400    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    770 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 310     360 3900    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    790 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     700 9500    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     660 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error (134) 0 wit inspect .80  84 7.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error (134) 0 wit inspect 7.6   440 60    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error (134) 0 wit inspect 1.1   110 7.8  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error (134) 0 wit inspect 10     570 74    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900     11000 7800    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900     11000 8500    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c out of memory 0 wit inspect 46     15000 490    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 5.0
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c out of memory 0 wit inspect 55     15000 490    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .027 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error (134) 0 wit inspect .47  74 5.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error (134) 0 wit inspect 2.4   380 20    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error (134) 0 wit inspect .59  76 5.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error (134) 0 wit inspect 5.1   390 41    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error (134) 0 wit inspect .70  64 4.9  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error (134) 0 wit inspect 6.3   350 48    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .023 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error (134) 0 wit inspect 1.5   180 13    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error (134) 0 wit inspect 12     660 82    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .75 41 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error (134) 0 wit inspect 2.4   240 19    - 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
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error (134) 0 wit inspect 19     890 110    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 5.0
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error (134) 0 wit inspect 2.3   240 23    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .040 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error (134) 0 wit inspect 18     890 140    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 77     8100 560    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    3000 timeout 0 wit inspect 960     5100  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 170     8000 1000    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    3200 timeout 0 wit inspect 960     5000  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 170     12000 1200    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    4000 timeout 0 wit inspect 960     5000  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900     14000 8800    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error (134) 0 wit inspect .78  130 7.9  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error (134) 0 wit inspect 2.4   480 32    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .023 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error (134) 0 wit inspect 1.1   130 9.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error (134) 0 wit inspect 7.2   490 50    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .047 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error (134) 0 wit inspect 1.4   140 11    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error (134) 0 wit inspect 9.5   520 83    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 0 wit inspect 29     240 340    timeout 0 wit inspect 95    3000 timeout 0 wit inspect 98     5000   unknown 0 wit inspect 6.0  270 true -32 wit inspect .75   20    - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 77     280 740    timeout 0 wit inspect 94    2800 timeout 0 wit inspect 97     4400   unknown 0 wit inspect 6.3  270 true -32 wit inspect .79   20    - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i error (134) 0 wit inspect .14  26 1.3  error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .93 50 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i error (134) 0 wit inspect .22  31 1.9  error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect .85  99 8.5  timeout 0 wit inspect 92    2200 false(unreach-call) 1 wit inspect 39     1100   unknown 0 wit inspect 6.8  340 true -32 wit inspect .76   20    - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i error (134) 0 wit inspect .19  29 1.7  error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0014 .32 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error (134) 0 wit inspect .14  27 1.0  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.1  49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900     6800 5100    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.9
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 180     630 1600    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3600 timeout 0 wit inspect 960     2400  
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 50     420 470    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 out of memory 0 wit inspect 480     7000  
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900     5500 4900    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900     12000 5000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8
seq-pthread/cs_queue_true-unreach-call.i error (134) 0 wit inspect .21  31 1.8  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect .90  110 9.6  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     3600  
seq-pthread/cs_stack_true-unreach-call.i error (134) 0 wit inspect .17  29 1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.9
seq-pthread/cs_stateful_true-unreach-call.i error (134) 0 wit inspect .16  27 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 45 error (2) 0 wit inspect .039 4.8
seq-pthread/cs_sync_true-unreach-call.i error (134) 0 wit inspect .15  29 1.3  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 5.0
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900     7900 5100    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_time_var_mutex_true-unreach-call.i error (134) 0 wit inspect .15  27 1.2  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .038 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 273 143 35000 240000 370000 170 -2001 2500 95000 170 -2423 1100 46000 170 0 700 32000 170 -143 91   1900 103 42 18000 55000 103 6 13000 240000
    correct results 105 128 1700 19000 20000 15 15 97 4400 9 9 150 5800 0 81 81 85   1800 21 42 2500 13000 3 6 640 12000
        correct true 23 46 710 2500 8800 0 0 0 0 21 42 2500 13000 3 6 640 12000
        correct false 82 82 1000 17000 11000 15 15 97 4400 9 9 150 5800 0 81 81 85   1800 0 0
    correct-unconfimed results 21 15 4300 34000 51000 0 0 0 0 0 0
        correct-unconfirmed true 15 15 4200 33000 50000 0 0 0 0 0 0
        correct-unconfirmed false 6 0 110 860 1200 0 0 0 0 0 0
    incorrect results 0 63 -2016 1500 61000 76 -2432 670 27000 0 7 -224 5.8 140 0 0
        incorrect true 0 63 -2016 1500 61000 76 -2432 670 27000 0 7 -224 5.8 140 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 143 -2001 -2423 0 -143 42 6
Run set 2ls.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Sequentialized