Tool symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 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* [apollon005; apollon043; apollon077; apollon078; apollon087; apollon118] [apollon061; apollon077; apollon078; apollon086; apollon134] [apollon038; apollon077; apollon078; apollon083] [apollon077; apollon078; apollon161] 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 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 22:41:19 CET 2017-12-02 21:10:50 CET 2017-12-02 22:39:24 CET 2017-12-02 22:51:52 CET 2017-12-02 23:01:21 CET 2017-12-02 19:44:15 CET 2017-12-02 21:36:25 CET
Run set symbiotic.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.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/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.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/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/symbiotic.2017-12-01_2241.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 .22 11 2.2 false(unreach-call) 1 wit inspect 9.5  530 true -32 wit inspect 3.8   250   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .23 11 2.4 false(unreach-call) 1 wit inspect 11    410 true -32 wit inspect 5.6   250   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .19 11 2.4 false(unreach-call) 1 wit inspect 3.6  260 true -32 wit inspect 5.0   230   unknown 0 wit inspect 2.2  210 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .21 11 2.5 false(unreach-call) 1 wit inspect 3.6  260 true -32 wit inspect 5.3   240   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 330    3100 2600   false(unreach-call) 1 wit inspect 17    1200 true -32 wit inspect 4.4   270   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .21 11 2.5 false(unreach-call) 1 wit inspect 5.8  270 true -32 wit inspect 4.0   240   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .30 13 3.4 false(unreach-call) 1 wit inspect 6.4  280 true -32 wit inspect 4.1   260   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .65 22 8.8 false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 6.3   260   unknown 0 wit inspect 2.4  210 error (2) 0 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.5  66 28   false(unreach-call) 1 wit inspect 5.1  320 true -32 wit inspect 6.0   270   unknown 0 wit inspect 3.7  220 error (2) 0 wit inspect .65   18    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 13    260 150   false(unreach-call) 1 wit inspect 7.0  350 true -32 wit inspect 6.1   270   unknown 0 wit inspect 3.7  220 error (2) 0 wit inspect .63   18    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 73    1100 680   false(unreach-call) 1 wit inspect 4.9  400 true -32 wit inspect 6.5   280   unknown 0 wit inspect 3.7  220 error (2) 0 wit inspect .64   18    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 210    2000 2200   false(unreach-call) 1 wit inspect 5.1  440 true -32 wit inspect 7.0   290   unknown 0 wit inspect 2.8  220 true -32 wit inspect .66   18    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 360    2600 2700   false(unreach-call) 1 wit inspect 10    450 true -32 wit inspect 7.5   300   unknown 0 wit inspect 3.9  220 error (2) 0 wit inspect .66   18    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 390    2800 2600   false(unreach-call) 1 wit inspect 9.3  460 true -32 wit inspect 7.1   300   unknown 0 wit inspect 4.1  220 error (2) 0 wit inspect .69   18    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 530    3200 3700   false(unreach-call) 1 wit inspect 6.5  460 true -32 wit inspect 7.5   310   unknown 0 wit inspect 2.9  220 error (2) 0 wit inspect .70   18    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 540    2800 3900   false(unreach-call) 1 wit inspect 11    480 true -32 wit inspect 7.4   320   unknown 0 wit inspect 2.9  220 true -32 wit inspect .70   18    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 450    2800 4900   false(unreach-call) 1 wit inspect 7.3  500 true -32 wit inspect 5.6   320   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .70   18    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 610    3200 5500   false(unreach-call) 1 wit inspect 14    520 true -32 wit inspect 5.2   330   unknown 0 wit inspect 3.0  230 true -32 wit inspect .72   18    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 580    3200 5300   false(unreach-call) 1 wit inspect 10    500 true -32 wit inspect 5.2   330   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .68   18    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 600    2900 5000   false(unreach-call) 1 wit inspect 12    500 true -32 wit inspect 5.1   340   unknown 0 wit inspect 4.4  220 true -32 wit inspect .70   18    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  56 16   false(unreach-call) 1 wit inspect 24    440 true -32 wit inspect 5.8   260   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  55 16   false(unreach-call) 1 wit inspect 18    440 true -32 wit inspect 6.3   250   unknown 0 wit inspect 2.5  220 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .20 11 2.1 false(unreach-call) 1 wit inspect 3.5  270 true -32 wit inspect 4.1   260   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .24 11 3.1 false(unreach-call) 1 wit inspect 4.8  270 true -32 wit inspect 5.7   250   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .35 15 4.1 false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 4.1   250   unknown 0 wit inspect 2.5  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .75 30 9.3 false(unreach-call) 1 wit inspect 3.7  280 true -32 wit inspect 6.1   270   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.8  120 43   false(unreach-call) 1 wit inspect 7.3  280 true -32 wit inspect 6.2   270   unknown 0 wit inspect 2.5  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 18    480 200   false(unreach-call) 1 wit inspect 8.0  300 true -32 wit inspect 6.4   280   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 79    1800 950   false(unreach-call) 1 wit inspect 8.9  360 true -32 wit inspect 6.4   280   unknown 0 wit inspect 3.5  210 error (2) 0 wit inspect .65   18    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310    2400 2200   false(unreach-call) 1 wit inspect 5.2  410 true -32 wit inspect 7.5   290   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310    2500 3500   false(unreach-call) 1 wit inspect 5.0  430 true -32 wit inspect 7.3   300   unknown 0 wit inspect 3.8  210 false(unreach-call) 1 wit inspect .70   18    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 430    2600 3500   false(unreach-call) 1 wit inspect 8.5  450 true -32 wit inspect 5.3   320   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 510    3000 3500   false(unreach-call) 1 wit inspect 9.0  460 true -32 wit inspect 5.2   310   unknown 0 wit inspect 2.7  220 error (2) 0 wit inspect .68   18    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 540    3000 4300   false(unreach-call) 1 wit inspect 12    390 true -32 wit inspect 7.6   320   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .69   18    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640    3000 4400   false(unreach-call) 1 wit inspect 12    380 true -32 wit inspect 5.4   330   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .70   18    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .33 30 3.9 false(unreach-call) 1 wit inspect 6.8  280 true -32 wit inspect 7.6   320   unknown 0 wit inspect 4.2  220 error (2) 0 wit inspect .72   18    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .34 32 4.0 false(unreach-call) 1 wit inspect 5.6  280 true -32 wit inspect 5.8   330   unknown 0 wit inspect 4.3  220 error (2) 0 wit inspect .70   18    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    93 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 5.0
systemc/kundu_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4500 6900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4100 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    3000 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .023 5.0
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    3100 6900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .018 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    2800 8100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .029 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    3200 8300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    3200 8000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .76 43 error (2) 0 wit inspect .023 4.8
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    3700 5100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 46 error (2) 0 wit inspect .022 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    2300 8400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.8
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4600 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    770 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .020 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    1200 8600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    2500 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4100 7500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4200 5800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 5.0
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    3600 5700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .028 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4500 6900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4500 4800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .021 5.0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4500 5800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .023 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4600 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .022 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4200 6300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .019 5.0
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4400 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .020 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4400 6600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .024 4.8
systemc/toy_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    4700 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .26 12 3.2 false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 4.7   290   unknown 0 wit inspect 2.6  220 true -32 wit inspect .65   18    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .24 12 2.7 false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 7.3   290   unknown 0 wit inspect 2.7  220 true -32 wit inspect .64   18    - 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 .26 11 2.8 false(unreach-call) 1 wit inspect 5.9  290 true -32 wit inspect 6.7   280   unknown 0 wit inspect 2.6  210 true -32 wit inspect .63   18    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .27 12 2.7 false(unreach-call) 1 wit inspect 7.0  290 true -32 wit inspect 4.6   280   unknown 0 wit inspect 2.6  210 true -32 wit inspect .64   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 .24 12 3.1 false(unreach-call) 1 wit inspect 6.8  290 true -32 wit inspect 4.7   280   unknown 0 wit inspect 2.6  210 true -32 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .26 12 3.0 false(unreach-call) 1 wit inspect 7.4  300 true -32 wit inspect 6.7   280   unknown 0 wit inspect 3.8  220 true -32 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 2.8  120 30   timeout 0 wit inspect 91    750 true -32 wit inspect 6.3   280   unknown 0 wit inspect 3.7  220 true -32 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.7  110 34   timeout 0 wit inspect 91    730 true -32 wit inspect 4.7   280   unknown 0 wit inspect 3.8  220 true -32 wit inspect .64   18    - 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 .27 13 2.8 false(unreach-call) 1 wit inspect 7.0  290 true -32 wit inspect 6.2   270   unknown 0 wit inspect 2.3  210 true -32 wit inspect .63   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .27 13 3.4 false(unreach-call) 1 wit inspect 6.9  290 true -32 wit inspect 4.3   270   unknown 0 wit inspect 2.4  220 true -32 wit inspect .63   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 .33 14 3.7 false(unreach-call) 1 wit inspect 6.6  290 true -32 wit inspect 6.2   270   unknown 0 wit inspect 2.3  210 true -32 wit inspect .63   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .33 14 3.4 false(unreach-call) 1 wit inspect 7.4  290 true -32 wit inspect 4.3   270   unknown 0 wit inspect 3.3  210 true -32 wit inspect .63   18    - 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 .91 16 11   false(unreach-call) 1 wit inspect 3.7  280 true -32 wit inspect 6.4   270   unknown 0 wit inspect 2.7  210 true -32 wit inspect .63   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .88 16 12   false(unreach-call) 1 wit inspect 3.4  280 true -32 wit inspect 4.6   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   18    - 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 .43 13 4.5 false(unreach-call) 1 wit inspect 6.2  280 true -32 wit inspect 4.5   270   unknown 0 wit inspect 2.7  220 true -32 wit inspect .62   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .44 13 5.7 false(unreach-call) 1 wit inspect 5.9  270 true -32 wit inspect 6.2   270   unknown 0 wit inspect 3.9  220 true -32 wit inspect .64   18    - 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 .70 14 7.8 false(unreach-call) 1 wit inspect 7.3  280 true -32 wit inspect 6.4   270   unknown 0 wit inspect 3.9  210 true -32 wit inspect .65   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .72 14 10   false(unreach-call) 1 wit inspect 6.9  270 true -32 wit inspect 5.0   270   unknown 0 wit inspect 4.0  220 true -32 wit inspect .67   18    - 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.1  15 14   false(unreach-call) 1 wit inspect 5.8  270 true -32 wit inspect 7.0   270   unknown 0 wit inspect 3.9  220 true -32 wit inspect .63   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  15 14   false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 6.7   280   unknown 0 wit inspect 2.7  210 true -32 wit inspect .66   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22    47 260   false(unreach-call) 1 wit inspect 24    1700 true -32 wit inspect 4.5   280   unknown 0 wit inspect 4.0  220 true -32 wit inspect .64   18    - 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 100    1100 1200   false(unreach-call) 1 wit inspect 7.3  320 true -32 wit inspect 6.3   340   unknown 0 wit inspect 3.3  270 true -32 wit inspect .68   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 100    1100 1100   false(unreach-call) 1 wit inspect 7.6  300 true -32 wit inspect 8.0   350   unknown 0 wit inspect 3.2  260 true -32 wit inspect .72   19    - 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 25    150 340   false(unreach-call) 1 wit inspect 6.7  290 true -32 wit inspect 7.9   330   unknown 0 wit inspect 4.7  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) 1 wit inspect 26    140 310   false(unreach-call) 1 wit inspect 9.3  290 true -32 wit inspect 5.4   340   unknown 0 wit inspect 4.9  260 true -32 wit inspect .70   19    - 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 45    270 540   false(unreach-call) 1 wit inspect 7.5  330 true -32 wit inspect 7.4   340   unknown 0 wit inspect 3.1  260 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 45    240 530   false(unreach-call) 1 wit inspect 7.7  330 true -32 wit inspect 7.8   330   unknown 0 wit inspect 4.8  260 true -32 wit inspect .72   19    - 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 96    510 1200   false(unreach-call) 1 wit inspect 6.9  330 true -32 wit inspect 5.3   340   unknown 0 wit inspect 3.2  270 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 95    480 1100   false(unreach-call) 1 wit inspect 6.7  330 true -32 wit inspect 5.2   340   unknown 0 wit inspect 4.9  270 true -32 wit inspect .71   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    1700 11000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    3100 9500   error (invalid witness file) 0 wit inspect .54 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 .0028 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    3200 8400   error (invalid witness file) 0 wit inspect .80 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 .0034 .28 - 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 880    2700 8700   false(unreach-call) 1 wit inspect 10    430 true -32 wit inspect 11     450   unknown 0 wit inspect 4.1  300 true -32 wit inspect .81   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 540    2500 4200   false(unreach-call) 1 wit inspect 9.7  430 true -32 wit inspect 7.7   440   unknown 0 wit inspect 6.1  310 true -32 wit inspect .87   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 650    2600 4700   false(unreach-call) 1 wit inspect 9.7  440 true -32 wit inspect 11     450   unknown 0 wit inspect 4.1  290 true -32 wit inspect .83   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2700 7100   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 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/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    2800 6900   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2800 7800   error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2700 6900   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0033 .28 - 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 .33 12 4.5 false(unreach-call) 1 wit inspect 3.5  280 true -32 wit inspect 5.9   250   unknown 0 wit inspect 2.4  220 false(unreach-call) 1 wit inspect .65   18    - 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 .36 13 3.9 false(unreach-call) 1 wit inspect 5.0  270 true -32 wit inspect 4.0   250   unknown 0 wit inspect 2.5  210 false(unreach-call) 1 wit inspect .61   18    - 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 .28 12 3.5 false(unreach-call) 1 wit inspect 5.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
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .29 12 3.4 false(unreach-call) 1 wit inspect 5.5  270 true -32 wit inspect 5.3   260   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .61   18    - 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 .68 14 7.4 false(unreach-call) 1 wit inspect 7.4  280 true -32 wit inspect 4.2   260   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .64   18    - 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 .67 14 9.3 false(unreach-call) 1 wit inspect 6.7  290 true -32 wit inspect 4.3   260   unknown 0 wit inspect 2.6  210 false(unreach-call) 1 wit inspect .62   18    - 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 .40 13 5.0 false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 4.3   260   unknown 0 wit inspect 2.6  210 false(unreach-call) 1 wit inspect .65   18    - 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 .39 13 5.3 false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 4.4   260   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .63   18    - 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 2.2  19 25   false(unreach-call) 1 wit inspect 6.9  310 true -32 wit inspect 4.5   270   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .64   18    - 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 2.5  19 31   false(unreach-call) 1 wit inspect 5.2  310 true -32 wit inspect 6.8   280   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.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .93 15 7.4 false(unreach-call) 1 wit inspect 7.1  290 true -32 wit inspect 6.5   270   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .63   18    - 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 .96 15 8.3 false(unreach-call) 1 wit inspect 6.5  280 true -32 wit inspect 4.4   260   unknown 0 wit inspect 4.1  240 false(unreach-call) 1 wit inspect .63   18    - 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 6.0  34 73   false(unreach-call) 1 wit inspect 9.4  290 true -32 wit inspect 6.8   280   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .68   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 7.2  37 100   false(unreach-call) 1 wit inspect 8.0  290 true -32 wit inspect 4.8   280   unknown 0 wit inspect 2.7  210 false(unreach-call) 1 wit inspect .65   18    - 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 1.7  21 24   false(unreach-call) 1 wit inspect 6.6  330 true -32 wit inspect 4.7   280   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .64   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 1.7  21 25   false(unreach-call) 1 wit inspect 6.8  330 true -32 wit inspect 6.8   280   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .68   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 .37 12 4.1 false(unreach-call) 1 wit inspect 5.4  270 true -32 wit inspect 5.6   250   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .35 12 3.9 false(unreach-call) 1 wit inspect 5.2  270 true -32 wit inspect 5.4   240   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .90 15 11   false(unreach-call) 1 wit inspect 31    1600 true -32 wit inspect 5.5   240   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .62   18    - 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 .97 13 12   false(unreach-call) 1 wit inspect 6.6  280 true -32 wit inspect 4.3   270   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .62   18    - 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  13 12   false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 5.9   250   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.1  20 39   false(unreach-call) 1 wit inspect 33    1800 true -32 wit inspect 5.6   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .66   18    - 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 4.8  17 53   false(unreach-call) 1 wit inspect 7.1  310 true -32 wit inspect 6.2   260   unknown 0 wit inspect 2.6  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.2  16 58   false(unreach-call) 1 wit inspect 8.0  290 true -32 wit inspect 6.7   280   unknown 0 wit inspect 3.6  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13    36 180   false(unreach-call) 1 wit inspect 32    2100 true -32 wit inspect 4.1   270   unknown 0 wit inspect 2.7  210 false(unreach-call) 1 wit inspect .64   18    - 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 18    29 190   false(unreach-call) 1 wit inspect 8.1  290 true -32 wit inspect 5.9   270   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19    28 210   false(unreach-call) 1 wit inspect 7.8  360 true -32 wit inspect 6.3   270   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 48    77 600   false(unreach-call) 1 wit inspect 43    2500 true -32 wit inspect 4.9   280   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .64   18    - 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 63    68 780   false(unreach-call) 1 wit inspect 5.2  430 true -32 wit inspect 4.5   270   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 62    64 780   false(unreach-call) 1 wit inspect 8.4  430 true -32 wit inspect 6.9   290   unknown 0 wit inspect 4.0  210 false(unreach-call) 1