Tool ESBMC ESBMC version 4.6.0 64-bit x86_64 linux 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* [apollon010; apollon035; apollon045; apollon077; apollon078; apollon138] [apollon007; apollon077; apollon078; apollon143] 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-12-01 08:49:27 CET 2017-12-01 22:53:44 CET 2017-12-01 23:38:04 CET 2017-12-01 23:47:42 CET 2017-12-01 23:55:24 CET 2017-12-01 22:20:30 CET 2017-12-01 23:01:53 CET
Run set esbmc-incr.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-esbmc-incr.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-esbmc-incr.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -s incr -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-01_0849.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/esbmc-incr.2017-12-01_0849.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-01_0849.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/esbmc-incr.2017-12-01_0849.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-01_0849.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/esbmc-incr.2017-12-01_0849.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 false(unreach-call) 1 wit inspect 1.3  29 15   true -32 wit inspect 16    440 true -32 wit inspect 5.3   240   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  31 13   true -32 wit inspect 12    430 true -32 wit inspect 6.4   250   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .16 29 1.3 false(unreach-call) 1 wit inspect 3.5  260 true -32 wit inspect 4.2   240   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .13 29 1.3 false(unreach-call) 1 wit inspect 4.7  260 true -32 wit inspect 4.1   260   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    160 120   false(unreach-call) 1 wit inspect 10    330 true -32 wit inspect 6.6   270   unknown 0 wit inspect 10    490 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .95 30 7.9 false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 5.6   250   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  31 11   false(unreach-call) 1 wit inspect 4.8  270 true -32 wit inspect 6.4   270   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7  33 13   false(unreach-call) 1 wit inspect 4.5  270 true -32 wit inspect 6.1   260   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.0  37 19   false(unreach-call) 1 wit inspect 4.8  280 true -32 wit inspect 6.1   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.4  42 25   false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 7.0   280   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.9  48 30   false(unreach-call) 1 wit inspect 6.5  290 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.8  54 34   false(unreach-call) 1 wit inspect 6.0  290 true -32 wit inspect 7.3   290   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.2  61 38   false(unreach-call) 1 wit inspect 7.0  300 true -32 wit inspect 7.8   290   unknown 0 wit inspect 5.5  260 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.8  67 48   false(unreach-call) 1 wit inspect 7.2  300 true -32 wit inspect 8.1   300   unknown 0 wit inspect 4.2  320 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.7  75 51   false(unreach-call) 1 wit inspect 7.5  310 true -32 wit inspect 5.4   310   unknown 0 wit inspect 4.5  320 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.8  83 52   false(unreach-call) 1 wit inspect 7.9  350 true -32 wit inspect 7.5   320   unknown 0 wit inspect 7.0  330 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.7  93 72   false(unreach-call) 1 wit inspect 8.5  370 true -32 wit inspect 9.2   320   unknown 0 wit inspect 5.2  340 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.0  100 79   false(unreach-call) 1 wit inspect 8.7  400 true -32 wit inspect 7.8   330   unknown 0 wit inspect 8.2  390 false(unreach-call) 1 wit inspect .74   19    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.3  93 72   false(unreach-call) 1 wit inspect 9.0  380 true -32 wit inspect 7.6   330   unknown 0 wit inspect 7.5  340 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.4  100 84   false(unreach-call) 1 wit inspect 8.4  400 true -32 wit inspect 7.6   330   unknown 0 wit inspect 5.2  380 false(unreach-call) 1 wit inspect .77   19    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.2  30 9.4 false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 5.7   250   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.0  30 9.5 false(unreach-call) 1 wit inspect 6.1  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .56 29 4.0 false(unreach-call) 1 wit inspect 4.6  260 true -32 wit inspect 5.4   240   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .65 29 5.6 false(unreach-call) 1 wit inspect 4.0  270 true -32 wit inspect 4.4   250   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  30 10   false(unreach-call) 1 wit inspect 4.3  270 true -32 wit inspect 5.9   260   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4  32 11   false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 4.4   270   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5  36 13   false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 4.4   280   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.6  41 19   false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 6.8   280   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3  47 26   false(unreach-call) 1 wit inspect 7.2  290 true -32 wit inspect 6.7   280   unknown 0 wit inspect 5.3  230 false(unreach-call) 1 wit inspect .68   19    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.0  53 31   false(unreach-call) 1 wit inspect 6.8  290 true -32 wit inspect 7.8   290   unknown 0 wit inspect 5.3  270 false(unreach-call) 1 wit inspect .68   19    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.4  59 37   false(unreach-call) 1 wit inspect 6.8  300 true -32 wit inspect 7.4   310   unknown 0 wit inspect 6.3  320 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.6  66 38   false(unreach-call) 1 wit inspect 8.2  300 true -32 wit inspect 7.1   300   unknown 0 wit inspect 7.0  330 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.0  75 35   false(unreach-call) 1 wit inspect 8.3  310 true -32 wit inspect 8.1   330   unknown 0 wit inspect 6.5  260 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.1  83 62   false(unreach-call) 1 wit inspect 7.9  360 true -32 wit inspect 7.9   330   unknown 0 wit inspect 8.4  440 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.9  92 48   false(unreach-call) 1 wit inspect 8.3  390 true -32 wit inspect 7.9   330   unknown 0 wit inspect 7.6  350 false(unreach-call) 1 wit inspect .75   19    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .15 34 1.6 false(unreach-call) 1 wit inspect 5.0  280 true -32 wit inspect 7.5   340   unknown 0 wit inspect 2.7  220 error (2) 0 wit inspect .71   18    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .16 35 2.1 false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 11     350   unknown 0 wit inspect 3.8  220 error (2) 0 wit inspect .70   18    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2800 8600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1400 10000   - 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
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2200 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2300 8100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2700 8900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2500 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .020 5.0
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2900 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .020 4.8
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1500 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .76 43 error (2) 0 wit inspect .018 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1100 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .019 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    3900 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .020 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2300 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1500 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.8
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1000 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    550 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    980 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    940 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .025 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    710 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .024 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    990 9900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    750 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    960 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .022 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1100 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .020 5.0
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    690 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .020 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.5  31 12   false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 7.0   290   unknown 0 wit inspect 4.0  260 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  31 11   false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 6.9   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   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 3.4  31 47   false(unreach-call) 1 wit inspect 6.1  280 true -32 wit inspect 6.8   290   unknown 0 wit inspect 4.7  270 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.1  31 33   false(unreach-call) 1 wit inspect 7.3  280 true -32 wit inspect 7.3   290   unknown 0 wit inspect 4.4  270 true -32 wit inspect .66   19    - 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 4.4  31 36   false(unreach-call) 1 wit inspect 7.0  280 true -32 wit inspect 5.8   290   unknown 0 wit inspect 4.6  270 true -32 wit inspect .68   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.9  31 43   false(unreach-call) 1 wit inspect 6.9  280 true -32 wit inspect 8.9   290   unknown 0 wit inspect 4.6  270 true -32 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 11    31 80   false(unreach-call) 1 wit inspect 9.1  310 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.0  310 true -32 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    31 86   false(unreach-call) 1 wit inspect 7.4  300 true -32 wit inspect 4.6   290   unknown 0 wit inspect 6.0  310 true -32 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 7.2  31 51   false(unreach-call) 1 wit inspect 9.0  310 true -32 wit inspect 6.9   280   unknown 0 wit inspect 4.2  320 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.0  31 61   false(unreach-call) 1 wit inspect 8.2  300 true -32 wit inspect 6.6   280   unknown 0 wit inspect 4.3  320 true -32 wit inspect .68   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 3.4  31 28   false(unreach-call) 1 wit inspect 7.2  290 true -32 wit inspect 6.5   280   unknown 0 wit inspect 5.2  270 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.1  31 30   false(unreach-call) 1 wit inspect 5.7  290 true -32 wit inspect 6.3   280   unknown 0 wit inspect 5.2  280 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 3.0  31 23   true -32 wit inspect 5.5  270 true -32 wit inspect 6.7   270   unknown 0 wit inspect 3.9  220 true -32 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.0  31 24   true -32 wit inspect 5.4  270 true -32 wit inspect 7.1   280   unknown 0 wit inspect 4.2  240 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 3.6  31 26   true -32 wit inspect 32    670 true -32 wit inspect 4.7   290   unknown 0 wit inspect 2.8  260 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.6  31 40   timeout 0 wit inspect 93    2600 true -32 wit inspect 6.4   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.2  31 34   true -32 wit inspect 18    470 true -32 wit inspect 6.7   280   unknown 0 wit inspect 4.3  260 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.9  31 34   timeout 0 wit inspect 93    2600 true -32 wit inspect 6.4   280   unknown 0 wit inspect 3.0  240 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.3  31 35   true -32 wit inspect 20    600 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.2  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.9  31 37   timeout 0 wit inspect 93    2500 true -32 wit inspect 4.4   280   unknown 0 wit inspect 3.9  220 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3500 9800   error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 7.5  41 79   true -32 wit inspect 5.6  260 true -32 wit inspect 8.4   340   unknown 0 wit inspect 4.9  270 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 8.4  39 57   true -32 wit inspect 6.6  280 true -32 wit inspect 8.2   340   unknown 0 wit inspect 3.4  270 true -32 wit inspect .73   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 9.1  35 66   true -32 wit inspect 53    2200 true -32 wit inspect 9.4   380   unknown 0 wit inspect 3.4  270 true -32 wit inspect .73   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.9  35 80   timeout 0 wit inspect 93    2700 true -32 wit inspect 8.0   370   unknown 0 wit inspect 3.3  270 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 11    40 97   true -32 wit inspect 63    2000 true -32 wit inspect 8.4   380   unknown 0 wit inspect 5.1  280 true -32 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    42 110   timeout 0 wit inspect 93    2600 true -32 wit inspect 5.4   360   unknown 0 wit inspect 5.3  280 true -32 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 12    41 86   true -32 wit inspect 45    1800 true -32 wit inspect 8.1   350   unknown 0 wit inspect 3.5  280 true -32 wit inspect .73   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    42 73   timeout 0 wit inspect 93    2600 true -32 wit inspect 7.6   360   unknown 0 wit inspect 3.6  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    780 11000   error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 21    66 200   timeout 0 wit inspect 93    2500 true -32 wit inspect 12     440   unknown 0 wit inspect 6.7  290 true -32 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 25    66 220   timeout 0 wit inspect 95    2600 true -32 wit inspect 12     460   unknown 0 wit inspect 6.8  290 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 22    60 150   timeout 0 wit inspect 93    2500 true -32 wit inspect 11     450   unknown 0 wit inspect 6.6  290 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 23    60 170   timeout 0 wit inspect 94    2500 true -32 wit inspect 11     450   unknown 0 wit inspect 4.6  290 true -32 wit inspect .95   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 29    69 200   timeout 0 wit inspect 93    2500 true -32 wit inspect 7.3   450   unknown 0 wit inspect 6.9  290 true -32 wit inspect .95   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 27    69 210   timeout 0 wit inspect 94    2700 true -32 wit inspect 12     450   unknown 0 wit inspect 4.9  290 true -32 wit inspect .97   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 22    67 180   timeout 0 wit inspect 93    2600 true -32 wit inspect 12     460   unknown 0 wit inspect 4.5  280 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 24    67 180   timeout 0 wit inspect 94    2700 true -32 wit inspect 12     450   unknown 0 wit inspect 6.8  280 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 9900   error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .27 - 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 3.0  30 25   true -32 wit inspect 14    450 true -32 wit inspect 6.8   260   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .63   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 3.4  29 24   timeout 0 wit inspect 94    2700 true -32 wit inspect 6.0   250   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .64   19    - 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 2.8  30 29   true -32 wit inspect 10    410 true -32 wit inspect 5.6   250   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .62   19    - 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 2.8  30 26   timeout 0 wit inspect 93    2500 true -32 wit inspect 4.1   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .64   19    - 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 5.1  30 39   true -32 wit inspect 27    890 true -32 wit inspect 6.6   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .66   19    - 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 6.2  30 53   timeout 0 wit inspect 93    2600 true -32 wit inspect 4.4   270   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .67   19    - 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 5.4  31 41   true -32 wit inspect 14    440 true -32 wit inspect 4.2   260   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .65   19    - 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 4.9  30 35   timeout 0 wit inspect 94    2500 true -32 wit inspect 6.2   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .66   19    - 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 8.8  34 70   true -32 wit inspect 39    1300 true -32 wit inspect 6.9   270   unknown 0 wit inspect 4.8  280 false(unreach-call) 1 wit inspect .68   19    - 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 9.1  33 99   timeout 0 wit inspect 93    2700 true -32 wit inspect 6.6   280   unknown 0 wit inspect 4.7  240 false(unreach-call) 1 wit inspect .68   19    - 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 6.6  32 75   true -32 wit inspect 29    1000 true -32 wit inspect 4.9   270   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .67   19    - 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 8.0  35 67   timeout 0 wit inspect 93    2600 true -32 wit inspect 4.6   270   unknown 0 wit inspect 4.7  270 false(unreach-call) 1 wit inspect .67   19    - 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 13    41 130   true -32 wit inspect 43    1800 true -32 wit inspect 6.9   280   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect .73   19    - 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 13    42 130   timeout 0 wit inspect 93    2500 true -32 wit inspect 4.7   280   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect .70   20    - 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 13    40 120   true -32 wit inspect 44    1500 true -32 wit inspect 4.9   280   unknown 0 wit inspect 3.4  280 false(unreach-call) 1 wit inspect .68   19    - 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 13    42 120   timeout 0 wit inspect 98    3700 true -32 wit inspect 4.7   280   unknown 0 wit inspect 3.5  270 false(unreach-call) 1 wit inspect .70   19    - 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 3.0  29 22   true -32 wit inspect 5.0  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.2  29 28   true -32 wit inspect 5.0  270 true -32 wit inspect 4.0   250   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    1200 11000   error (invalid witness file) 0 wit inspect .54 40 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .26 - 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 5.0  30 38   true -32 wit inspect 6.6  290 true -32 wit inspect 6.2   260   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1  30 42   true -32 wit inspect 7.0  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    740 11000   error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .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 7.2  30 65   true -32 wit inspect 9.1  370 true -32 wit inspect 7.1   260   unknown 0 wit inspect 3.1  220 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.0  30 65   true -32 wit inspect 8.0  360 true -32 wit inspect 4.3   270   unknown 0 wit inspect 4.7  270 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    490 11000   error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .29 - 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 11    36 92   true -32 wit inspect 14    440 true -32 wit inspect 4.6   270   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    35 88   true -32 wit inspect 14    420 true -32 wit inspect 6.7   270   unknown 0 wit inspect 5.3  280 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0028 .28 - 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 16    41 190   true -32 wit inspect 17    590 true -32 wit inspect 6.6   280   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 18    42 150   true -32 wit inspect 18    570 true -32 wit inspect 6.5   280   unknown 0 wit inspect 3.7  280 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    250 11000   error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .29 - 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 26    51 280   true -32 wit inspect 26    920 true -32 wit inspect 4.7   290   unknown 0 wit inspect 4.1  290 false(unreach-call) 1 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 27    53 240   true -32 wit inspect 30    960 true -32 wit inspect 6.9   290   unknown 0 wit inspect 4.1  290 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    210 11000   error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .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) 0 wit inspect 3.4  31 27   true -32 wit inspect 4.6  270 true -32 wit inspect 6.3   280   unknown 0 wit inspect 3.9  220 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.3  31 28   true -32 wit inspect 4.5  260 true -32 wit inspect 6.6   280   unknown 0 wit inspect 2.9  240 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 3.4  31 25   true -32 wit inspect 38    910 true -32 wit inspect 4.5   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.2  31 29   timeout 0 wit inspect 93    2600 true -32 wit inspect 6.8   290   unknown 0 wit inspect 4.0  220 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.2  31 35   true -32 wit inspect 21    620 true -32 wit inspect 6.6   280   unknown 0 wit inspect 4.3  260 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 4.7  31 34   timeout 0 wit inspect 93    2600 true -32 wit inspect 4.8   290   unknown 0 wit inspect 3.0  260 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.4  31 29   true -32 wit inspect 20    610 true -32 wit inspect 8.0   280   unknown 0 wit inspect 4.1  220 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 4.0  31 34   timeout 0 wit inspect 93    2700 true -32 wit inspect 6.8   290   unknown 0 wit inspect 4.1  270 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3300 9500   error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .65 51 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 8.2  41 79   true -32 wit inspect 7.5  260 true -32 wit inspect 5.5   350   unknown 0 wit inspect 5.0  270 true -32 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 9.0  41 68   true -32 wit inspect 6.7  260 true -32 wit inspect 5.6   360   unknown 0 wit inspect 5.1  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 8.3  36 66   true -32 wit inspect 67    2300 true -32 wit inspect 5.8   360   unknown 0 wit inspect 4.9  270 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 9.9  36 81   timeout 0 wit inspect 94    2700 true -32 wit inspect 7.9   360   unknown 0 wit inspect 3.5  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 10    43 100   true -32 wit inspect 44    1700 true -32 wit inspect 8.2   360   unknown 0 wit inspect 3.8  290 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    43 85   timeout 0 wit inspect 93    2700 true -32 wit inspect 5.9   360   unknown 0 wit inspect 5.2  280 true -32 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 11    41 85   true -32 wit inspect 46    1800 true -32 wit inspect 8.2   360   unknown 0 wit inspect 5.5  270 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    43 86   timeout 0 wit inspect 93    2800 true -32 wit inspect 5.8   370   unknown 0 wit inspect 5.3  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    800 11000   error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 20    68 180   true -32 wit inspect 8.6  310 true -32 wit inspect 12     450   unknown 0 wit inspect 6.1  280 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 19    71 170   true -32 wit inspect 8.6  280 true -32 wit inspect 11     440   unknown 0 wit inspect 6.4  280 true -32 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 21    62 160   timeout 0 wit inspect 93    2500 true -32 wit inspect 7.6   450   unknown 0 wit inspect 4.7  290 true -32 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 21    62 200   timeout 0 wit inspect 94    2700 true -32 wit inspect 12     470   unknown 0 wit inspect 4.6  290 true -32 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 24    71 190   timeout 0 wit inspect 93    2600 true -32 wit inspect 11     450   unknown 0 wit inspect 4.5  290 true -32 wit inspect .94   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 24    72 200   timeout 0 wit inspect 94    2700 true -32 wit inspect 12     450   unknown 0 wit inspect 7.1  280 true -32 wit inspect .94   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 25    71 220   timeout 0 wit inspect 94    2500 true -32 wit inspect 12     460   unknown 0 wit inspect 6.9  290 true -32 wit inspect .94   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 23    71 270   timeout 0 wit inspect 93    2500 true -32 wit inspect 12     450   unknown 0 wit inspect 7.0  280 true -32 wit inspect .94   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 11000   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 81    470 830   timeout 0 wit inspect 95    2200 true -32 wit inspect 12     470   unknown 0 wit inspect 4.9  290 error (2) 0 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900    2100 8400   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 56    300 580   timeout 0 wit inspect 94    2300 true -32 wit inspect 12     480   unknown 0 wit inspect 5.0  290 error (2) 0 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900    2100 8200   error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c false(unreach-call) 0 wit inspect 89    330 920   timeout 0 wit inspect 94    2100 true -32 wit inspect 16     530   unknown 0 wit inspect 6.2  430 error (2) 0 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900    2500 9600   error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 78    370 740   timeout 0 wit inspect 94    2200 true -32 wit inspect 16     540   unknown 0 wit inspect 9.0  420 error (2) 0 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900    2300 7900   error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .041 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900    900 10000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0010 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900    1100 11000   error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900    1200 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900    2900 8800   error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900    1200 11000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900    1800 10000   error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .63 51 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 32    160 330   timeout 0 wit inspect 93    2100 true -32 wit inspect 15     500   unknown 0 wit inspect 6.5  470 error (2) 0 wit inspect 1.3    21    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900    1600 9200   error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 31    160 300   timeout 0 wit inspect 93    2100 true -32 wit inspect 16     490   unknown 0 wit inspect 9.4  460 error (2) 0 wit inspect 1.2    21    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900    1600 8000   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 40    210 440   true -32 wit inspect 12    450 true -32 wit inspect 21     660   unknown 0 wit inspect 6.4  410 error (2) 0 wit inspect 1.5    29    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900    2000 9000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 110    300 960   true -32 wit inspect 12    430 true -32 wit inspect 18     520   unknown 0 wit inspect 24    2100 true -32 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 0 wit inspect 250    460 2600   true -32 wit inspect 17    560 true -32 wit inspect 11     560   timeout 0 wit inspect 92    2600 true -32 wit inspect 1.9    31    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 33    130 310   unknown 0 wit inspect 38    3800 true -32 wit inspect 16     460   unknown 0 wit inspect 7.6  480 error (2) 0 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c false(unreach-call) 0 wit inspect 300    700 3000   out of memory 0 wit inspect 73    7000 true -32 wit inspect 16     470   unknown 0 wit inspect 11    840 error (2) 0 wit inspect 1.3    25    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 35    150 330   timeout 0 wit inspect 95    2200 true -32 wit inspect 16     480   unknown 0 wit inspect 8.0  300 error (2) 0 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c false(unreach-call) 0 wit inspect 530    1200 5700   timeout 0 wit inspect 95    3000 true -32 wit inspect 21     480   unknown 0 wit inspect 8.0  340 error (2) 0 wit inspect 1.1    20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 1.4  35 16   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 290    910 out of memory 0 wit inspect 670     7000  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3200 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 1.4  34 17   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 150    2700 true 2 wit inspect 270     4500  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    2800 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .64 29 8.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 25    520 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3500 8900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 29    50 390   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    790 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    780 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900    150 14000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 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 .37 28 3.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    480 out of memory 0 wit inspect 260     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    1100 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .050 4.9
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .74 28 10   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 66    550 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    610 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .024 4.9
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.4  32 31   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 270    730 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    300 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 7.1  41 86   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 890    1100 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    210 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .24 27 2.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    380 timeout 0 wit inspect 960     5100  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    1200 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .62 28 7.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    510 out of memory 0 wit inspect 260     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    750 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 1.3  29 15   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 100    610 out of memory 0 wit inspect 250     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    490 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 3.8  34 47   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 260    740 out of memory 0 wit inspect 180     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    350 8800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 2 wit inspect 9.1  44 120   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 900    1200 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    250 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 16    53 220   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    210 14000   - 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_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .71 29 8.2 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 36    520 out of memory 0 wit inspect 110     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3300 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 29    56 340   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    870 out of memory 0 wit inspect 200     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    820 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 41 error (2) 0 wit inspect .021 5.0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900    140 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    150 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c true 1 wit inspect 73    280 960   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2400  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900    2300 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 71    300 520   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 440    3600 true 2 wit inspect 15     540  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900    2100 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .025 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900    960 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900    1000 9000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900    1100 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900    1400 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .025 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900    1200 8500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900    2600 7900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .018 5.0
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900    1000 8700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .38 43 error (2) 0 wit inspect .024 5.0
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900    2000 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 5.0
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c true 1 wit inspect 41    190 480   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5900 timeout 0 wit inspect 960     2800  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900    1900 9000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 5.0
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c true 1 wit inspect 16    160 180   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2700  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c true 1 wit inspect 470    1000 5200   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 83    7000 timeout 0 wit inspect 960     2200  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 75    210 620   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    480 true 2 wit inspect 20     670  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900    2200 9000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c false(unreach-call) -16 wit inspect 60    220 500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    460 true 2 wit inspect 25     660  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900    2100 7700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 41    310 490   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2600 timeout 0 wit inspect 960     4800  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 31    300 350   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2800 timeout 0 wit inspect 960     4800  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 94    430 1100   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    3300 timeout 0 wit inspect 960     4200  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 290    630 4100   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    4800 timeout 0 wit inspect 960     4600  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c true 1 wit inspect 15    120 180   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5900 timeout 0 wit inspect 960     5400  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c true 1 wit inspect 74    340 830   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 78    7000 timeout 0 wit inspect 960     5700  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c true 1 wit inspect 16    140 210   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5000 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c true 1 wit inspect 310    750 3300   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 80    7000 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c true 1 wit inspect 17    150 210   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5600 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c true 1 wit inspect 120    440 1400   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 83    7000 timeout 0 wit inspect 960     3600  
seq-pthread/cs_fib_false-unreach-call.i unknown 0 wit inspect 37    61 550   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i unknown 0 wit inspect 160    80 2000   error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i unknown 0 wit inspect .82 36 9.3 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .35 - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900    1900 9500   error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i unknown 0 wit inspect 1.6  50 21   error (invalid witness file) 0 wit inspect .69 48 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i unknown 0 wit inspect 15    83 200   error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i unknown 0 wit inspect .55 35 7.6 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900    340 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 47    71 670   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 timeout 0 wit inspect 960     2800  
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 33    62 400   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3600 out of memory 0 wit inspect 580     7000  
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900    440 9800   - 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
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900    250 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .022 4.9
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900    1900 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 2.9  57 35   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     3700  
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect 420    280 5400   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 error (7) 0 wit inspect 3.9   210  
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect .94 36 13   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 timeout 0 wit inspect 960     2600  
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 6.4  75 83   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     1200  
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900    270 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 1.8  45 26   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1400 timeout 0 wit inspect 960     2100  
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 79 85000 140000 970000 170 -1457 5300 170000 170 -4416 1100 46000 170 0 790 44000 170 -1921 110 2700 103 32 22000 110000 103 8 23000 180000
    correct results 90 103 480 3800 4400 47 47 310 14000 0 0 63 63 42 1200 16 32 3500 15000 4 8 330 6400
        correct true 13 26 30 420 380 0 0 0 0 16 32 3500 15000 4 8 330 6400
        correct false 77 77 450 3400 4000 47 47 310 14000 0 0 63 63 42 1200 0 0
    correct-unconfimed results 85 24 4400 13000 48000 0 0 0 0 0 0
        correct-unconfirmed true 24 24 2200 6100 27000 0 0 0 0 0 0
        correct-unconfirmed false 61 0 2300 7100 22000 0 0 0 0 0 0
    incorrect results 3 -48 210 740 1600 47 -1504 980 34000 138 -4416 1100 46000 0 62 -1984 49 1200 0 0
        incorrect true 0 47 -1504 980 34000 138 -4416 1100 46000 0 62 -1984 49 1200 0 0
        incorrect false 3 -48 210 740 1600 0 0 0 0 0 0
score (273 tasks, max score: 376) 79 -1457 -4416 0 -1921 32 8
Run set esbmc-incr.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-esbmc-incr.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-esbmc-incr.sv-comp18-correctness-witness.ReachSafety-Sequentialized