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 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 210    210 2600   false(unreach-call) 1 wit inspect 43    2400 true -32 wit inspect 6.4   280   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .68   19    - 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 210    180 2200   false(unreach-call) 1 wit inspect 6.1  440 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 210    190 2900   false(unreach-call) 1 wit inspect 8.2  440 true -32 wit inspect 4.7   280   unknown 0 wit inspect 4.2  260 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    590 9700   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 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/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .92 16 13   false(unreach-call) 1 wit inspect 5.1  270 true -32 wit inspect 6.2   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .63   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .91 16 13   false(unreach-call) 1 wit inspect 6.2  280 true -32 wit inspect 6.5   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .67   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .46 13 5.4 false(unreach-call) 1 wit inspect 5.0  270 true -32 wit inspect 6.5   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .46 13 5.5 false(unreach-call) 1 wit inspect 5.7  270 true -32 wit inspect 6.3   270   unknown 0 wit inspect 4.0  220 true -32 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .76 14 9.4 false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 6.7   280   unknown 0 wit inspect 4.0  220 true -32 wit inspect .66   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .87 14 11   false(unreach-call) 1 wit inspect 6.9  280 true -32 wit inspect 6.8   290   unknown 0 wit inspect 4.2  220 true -32 wit inspect .64   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) 1 wit inspect 1.2  15 15   false(unreach-call) 1 wit inspect 5.9  280 true -32 wit inspect 4.4   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .67   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.5  15 15   false(unreach-call) 1 wit inspect 3.9  280 true -32 wit inspect 4.6   280   unknown 0 wit inspect 2.7  210 true -32 wit inspect .67   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 24    49 310   false(unreach-call) 1 wit inspect 40    1500 true -32 wit inspect 6.1   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 130    1200 1600   false(unreach-call) 1 wit inspect 8.0  310 true -32 wit inspect 11     350   unknown 0 wit inspect 4.6  270 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 130    1200 1400   false(unreach-call) 1 wit inspect 6.8  320 true -32 wit inspect 5.3   340   unknown 0 wit inspect 3.3  270 true -32 wit inspect .74   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) 1 wit inspect 28    160 380   false(unreach-call) 1 wit inspect 7.5  310 true -32 wit inspect 5.4   340   unknown 0 wit inspect 3.4  270 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 28    160 370   false(unreach-call) 1 wit inspect 5.4  300 true -32 wit inspect 8.4   350   unknown 0 wit inspect 3.5  280 true -32 wit inspect .71   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) 1 wit inspect 49    260 660   false(unreach-call) 1 wit inspect 5.1  350 true -32 wit inspect 5.4   340   unknown 0 wit inspect 3.5  290 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 48    250 550   false(unreach-call) 1 wit inspect 8.1  350 true -32 wit inspect 7.7   340   unknown 0 wit inspect 4.8  270 true -32 wit inspect .71   18    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 95    450 1100   false(unreach-call) 1 wit inspect 4.7  330 true -32 wit inspect 8.0   340   unknown 0 wit inspect 3.4  270 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 110    490 1200   false(unreach-call) 1 wit inspect 7.3  340 true -32 wit inspect 5.4   340   unknown 0 wit inspect 4.9  270 true -32 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    1600 10000   error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    3400 7400   error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    3300 9700   error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    2800 7100   error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2600 7000   error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0034 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    2900 6900   error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0026 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2700 7700   error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    2700 6900   error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2700 6300   error (invalid witness file) 0 wit inspect .39 46 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0019 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2700 6500   error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0025 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout (timeout) 0 wit inspect 900    500 10000   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    1300 9700   error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout (timeout) 0 wit inspect 900    500 14000   error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    1300 9000   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .038 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout (timeout) 0 wit inspect 900    520 11000   error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .018 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_aso_false-unreach-call.3.M4.c timeout (timeout) 0 wit inspect 900    1900 12000   error (invalid witness file) 0 wit inspect .58 44 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 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout (timeout) 0 wit inspect 900    500 9900   error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout (timeout) 0 wit inspect 900    1900 8000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout (timeout) 0 wit inspect 900    780 10000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .64 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout (timeout) 0 wit inspect 900    1500 9200   error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout (timeout) 0 wit inspect 900    500 9400   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0021 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    1100 9000   error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .042 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0038 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout (timeout) 0 wit inspect 900    510 12000   error (invalid witness file) 0 wit inspect .67 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 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    1100 11000   error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout (timeout) 0 wit inspect 900    1300 7600   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c false(unreach-call) 0 wit inspect 770    990 9600   timeout 0 wit inspect 91    670 true -32 wit inspect 11     460   unknown 0 wit inspect 3.7  250 error (2) 0 wit inspect 1.0    19    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout (timeout) 0 wit inspect 900    1500 9900   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    1300 10000   error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout (timeout) 0 wit inspect 900    1100 9500   error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0027 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout (timeout) 0 wit inspect 900    1100 9600   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout (timeout) 0 wit inspect 900    1000 13000   error (invalid witness file) 0 wit inspect .39 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout (timeout) 0 wit inspect 900    1000 12000   error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0027 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c unknown 0 wit inspect 22    74 300   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .043 4.8 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    750 11000   error (invalid witness file) 0 wit inspect .42 43 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-mthreaded/rekh_nxt_false-unreach-call.2.M1.c unknown 0 wit inspect 24    110 290   error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c false(unreach-call) 0 wit inspect 100    140 1500   timeout 0 wit inspect 92    670 true -32 wit inspect 15     460   unknown 0 wit inspect 3.6  220 error (2) 0 wit inspect .95   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout (timeout) 0 wit inspect 900    3400 6800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    4100 5700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    3100 5300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .022 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    3000 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.9  16 23   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 38    520 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    210 8900   - 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.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout (timeout) 0 wit inspect 900    1400 7900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    1700 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 46 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    2700 7800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2800 7500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .32 12 3.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 18    460 out of memory 0 wit inspect 200     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    270 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 5.0
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .74 15 9.2 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 61    440 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    530 14000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 3.5  25 47   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 220    650 out of memory 0 wit inspect 210     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    930 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 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 1 wit inspect 21    80 270   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1000 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    1300 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .024 5.0
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .33 12 3.5 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    390 timeout 0 wit inspect 960     5000  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    110 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .87 13 9.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 28    510 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    200 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 5.2  19 62   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 65    600 out of memory 0 wit inspect 240     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    380 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 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 29    40 330   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 250    790 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    630 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 180    120 2100   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    860 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout (timeout) 0 wit inspect 900    450 8400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    530 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.8  17 20   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 34    530 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    210 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout (timeout) 0 wit inspect 900    1500 8800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 5.0
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    1700 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout (timeout) 0 wit inspect 900    2800 8600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .027 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (timeout) 0 wit inspect 900    2600 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout (timeout) 0 wit inspect 900    510 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    1300 7800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout (timeout) 0 wit inspect 900    510 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    1900 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .023 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout (timeout) 0 wit inspect 900    780 9100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout (timeout) 0 wit inspect 900    780 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .022 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout (timeout) 0 wit inspect 900    1500 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .022 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout (timeout) 0 wit inspect 900    2600 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout (timeout) 0 wit inspect 900    510 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    1100 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .022 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout (timeout) 0 wit inspect 900    480 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    1100 7700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 45 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout (timeout) 0 wit inspect 900    520 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout (timeout) 0 wit inspect 900    1100 9900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout (timeout) 0 wit inspect 900    1000 8300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .024 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    1100 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout (timeout) 0 wit inspect 900    1100 8000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    1200 8900   - 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
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout (timeout) 0 wit inspect 900    1000 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout (timeout) 0 wit inspect 900    990 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout (timeout) 0 wit inspect 900    950 8900   - 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
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout (timeout) 0 wit inspect 900    990 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout (timeout) 0 wit inspect 900    980 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 5.0
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout (timeout) 0 wit inspect 900    1000 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c unknown 0 wit inspect 22    74 250   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 45 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout (timeout) 0 wit inspect 900    740 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c unknown 0 wit inspect 22    81 310   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .022 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout (timeout) 0 wit inspect 900    720 13000   - 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/rekh_nxt_true-unreach-call.3.M1.c unknown 0 wit inspect 24    110 310   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout (timeout) 0 wit inspect 900    680 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_fib_false-unreach-call.i timeout (timeout) 0 wit inspect 900    140 11000   error (invalid witness file) 0 wit inspect .72 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i timeout (timeout) 0 wit inspect 900    180 11000   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .64 48 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect .34 12 3.5 timeout 0 wit inspect 91    460 true -32 wit inspect 4.6   280   unknown 0 wit inspect 2.5  210 true -32 wit inspect .70   18    - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i unknown 0 wit inspect 9.6  25 110   error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i timeout (timeout) 0 wit inspect 900    310 13000   error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0022 .29 - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i timeout (timeout) 0 wit inspect 900    400 13000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .030 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 230    100 3200   timeout 0 wit inspect 92    540 true -32 wit inspect 7.0   280   unknown 0 wit inspect 3.7  220 true -32 wit inspect .68   18    - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i true 1 wit inspect 1.1  14 14   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 error (7) 0 wit inspect 170     3700  
seq-pthread/cs_fib_longer_true-unreach-call.i timeout (timeout) 0 wit inspect 900    220 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_fib_true-unreach-call.i timeout (timeout) 0 wit inspect 900    160 14000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_lamport_true-unreach-call.i true 1 wit inspect .85 14 10   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     2900  
seq-pthread/cs_peterson_true-unreach-call.i true 1 wit inspect .81 14 9.9 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 error (7) 0 wit inspect 160     1100  
seq-pthread/cs_queue_true-unreach-call.i unknown 0 wit inspect 26    33 340   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i timeout (timeout) 0 wit inspect 900    350 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .022 4.9
seq-pthread/cs_stack_true-unreach-call.i unknown 0 wit inspect 2.3  18 36   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .030 5.0
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect 230    110 3000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 timeout 0 wit inspect 960     2300  
seq-pthread/cs_sync_true-unreach-call.i timeout (timeout) 0 wit inspect 900    180 14000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .017 4.8
seq-pthread/cs_szymanski_true-unreach-call.i true 1 wit inspect .82 14 8.6 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     2200  
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 2.2  16 28   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1400 timeout 0 wit inspect 960     2000  
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 273 143 130000 290000 1300000 170 117 1600 57000 170 -3936 740 36000 170 0 440 30000 170 -1705 82 2300 103 18 8000 20000 103 0 6900 90000
    correct results 126 135 12000 67000 110000 117 117 1000 51000 0 0 55 55 35 1000 9 18 730 4900 0
        correct true 9 18 44 170 510 0 0 0 0 9 18 730 4900 0
        correct false 117 117 12000 67000 100000 117 117 1000 51000 0 0 55 55 35 1000 0 0
    correct-unconfimed results 14 8 1500 1900 20000 0 0 0 0 0 0
        correct-unconfirmed true 8 8 440 390 5400 0 0 0 0 0 0
        correct-unconfirmed false 6 0 1100 1500 14000 0 0 0 0 0 0
    incorrect results 0 0 123 -3936 740 36000 0 55 -1760 37 1000 0 0
        incorrect true 0 0 123 -3936 740 36000 0 55 -1760 37 1000 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 143 117 -3936 0 -1705 18 0
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