Tool ULTIMATE Automizer 0.1.23-3204b741 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 01:06:24 CET 2017-12-03 03:07:09 CET 2017-12-03 03:49:57 CET 2017-12-03 03:57:59 CET 2017-12-03 04:29:07 CET 2017-12-02 23:12:02 CET 2017-12-03 03:11:19 CET
Run set uautomizer.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.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/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.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/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/uautomizer.2017-12-02_0106.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 48   1400 410 true -32 wit inspect 7.2  270 false(unreach-call) 1 wit inspect 15     590   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660   11000 5200 true -32 wit inspect 7.0  270 false(unreach-call) 1 wit inspect 17     650   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .84   21    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.7 300 43 timeout 0 wit inspect 93    2500 false(unreach-call) 1 wit inspect 5.9   280   unknown 0 wit inspect 3.7  210 false(unreach-call) 1 wit inspect .79   19    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   550 110 timeout 0 wit inspect 94    2500 false(unreach-call) 1 wit inspect 7.8   510   unknown 0 wit inspect 3.8  210 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 4200 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 21   780 160 true -32 wit inspect 4.7  260 false(unreach-call) 1 wit inspect 20     620   unknown 0 wit inspect 4.5  220 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 47   1600 370 true -32 wit inspect 6.2  270 false(unreach-call) 1 wit inspect 31     760   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 79   3900 640 true -32 wit inspect 7.1  280 false(unreach-call) 1 wit inspect 29     930   unknown 0 wit inspect 4.3  220 error (2) 0 wit inspect .65   21    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120   5200 1300 true -32 wit inspect 7.7  280 false(unreach-call) 1 wit inspect 55     1400   unknown 0 wit inspect 5.0  220 error (2) 0 wit inspect .69   22    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   13000 7100 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 250   6700 2400 true -32 wit inspect 9.2  290 false(unreach-call) 1 wit inspect 86     3800   unknown 0 wit inspect 5.1  220 error (2) 0 wit inspect .86   24    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   9900 9100 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   14000 7100 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   10000 9700 error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 10000 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 9000 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 7100 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   12000 9200 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   13000 7600 error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 9100 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 76   2900 640 true -32 wit inspect 8.1  280 false(unreach-call) 1 wit inspect 28     760   unknown 0 wit inspect 6.4  230 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 51   2000 520 true -32 wit inspect 8.1  270 false(unreach-call) 1 wit inspect 32     760   unknown 0 wit inspect 5.3  230 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15   600 120 true -32 wit inspect 5.6  260 false(unreach-call) 1 wit inspect 9.8   560   unknown 0 wit inspect 2.5  220 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27   970 210 true -32 wit inspect 4.8  260 false(unreach-call) 1 wit inspect 22     680   unknown 0 wit inspect 4.1  210 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 54   2200 470 true -32 wit inspect 6.3  270 false(unreach-call) 1 wit inspect 45     850   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120   5300 1100 true -32 wit inspect 8.2  280 false(unreach-call) 1 wit inspect 50     1200   unknown 0 wit inspect 5.6  220 false(unreach-call) 1 wit inspect .89   22    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200   6700 2300 true -32 wit inspect 8.7  270 false(unreach-call) 1 wit inspect 69     1600   unknown 0 wit inspect 4.7  220 false(unreach-call) 1 wit inspect .92   22    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 390   7800 4000 true -32 wit inspect 7.9  270 false(unreach-call) 1 wit inspect 74     2300   unknown 0 wit inspect 5.6  220 false(unreach-call) 1 wit inspect .71   23    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 8900 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   13000 8500 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 8800 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   10000 9700 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 8600 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   13000 7900 error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .034 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   9700 11000 error (invalid witness file) 0 wit inspect .70 46 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 0 wit inspect 780   9100 8700 true -32 wit inspect 15    380 timeout (false(unreach-call)) 0 wit inspect 91     1500   unknown 0 wit inspect 5.4  220 error (2) 0 wit inspect .98   20    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   10000 9300 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 340   5300 4500 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6900 true 2 wit inspect 83     1300  
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   14000 4800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 9300 - 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
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   12000 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 5.0
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .022 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .024 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   9400 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .019 4.9
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 36   1200 320 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5300 true 2 wit inspect 32     620  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 2 wit inspect 110   4500 1300 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5900 true 2 wit inspect 43     780  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 22   940 200 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 460    7000 true 2 wit inspect 23     640  
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 3400 - 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
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 42   1300 390 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6900 true 2 wit inspect 30     720  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 81   2800 860 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    6800 true 2 wit inspect 60     1100  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 1 wit inspect 210   4600 2600 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 900    7000 out of memory 0 wit inspect 230     7000  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .021 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   7300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 5.0
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   10000 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 7100 - 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
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   10000 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 41 error (2) 0 wit inspect .019 5.0
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   9700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .020 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   13000 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .020 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .023 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   12000 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .017 4.8
systemc/toy_true-unreach-call_false-termination.cil.c true 2 wit inspect 290   4800 3300 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 630    7000 true 2 wit inspect 72     1600  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 46   1400 390 true -32 wit inspect 9.8  320 false(unreach-call) 1 wit inspect 8.4   370   unknown 0 wit inspect 5.7  220 true -32 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 45   1300 390 true -32 wit inspect 6.9  280 false(unreach-call) 1 wit inspect 11     380   unknown 0 wit inspect 4.3  220 true -32 wit inspect .90   20    - 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 130   4600 1400 true -32 wit inspect 10    270 false(unreach-call) 1 wit inspect 7.3   560   unknown 0 wit inspect 4.7  220 true -32 wit inspect .91   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140   4500 1400 true -32 wit inspect 8.5  280 false(unreach-call) 1 wit inspect 7.9   590   unknown 0 wit inspect 5.6  220 true -32 wit inspect .81   21    - 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 200   4900 2400 true -32 wit inspect 7.8  290 false(unreach-call) 1 wit inspect 11     560   unknown 0 wit inspect 5.0  230 true -32 wit inspect .96   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 200   4800 2200 true -32 wit inspect 7.3  280 false(unreach-call) 1 wit inspect 12     540   unknown 0 wit inspect 5.3  230 true -32 wit inspect .82   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   7100 11000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5900 9500 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .95 47 error (invalid witness file) 0 wit inspect .0016 .28 - 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 540   6300 6100 true -32 wit inspect 10    280 false(unreach-call) 1 wit inspect 16     850   unknown 0 wit inspect 5.7  220 true -32 wit inspect .88   22    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 390   5900 4500 true -32 wit inspect 7.9  280 false(unreach-call) 1 wit inspect 17     850   unknown 0 wit inspect 6.2  230 true -32 wit inspect .87   22    - 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 460   4800 5800 true -32 wit inspect 8.6  300 false(unreach-call) 1 wit inspect 29     1300   unknown 0 wit inspect 4.6  220 true -32 wit inspect .86   22    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 450   5100 6400 true -32 wit inspect 7.8  280 false(unreach-call) 1 wit inspect 22     860   unknown 0 wit inspect 5.3  220 true -32 wit inspect .78   22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 6500 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0022 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6800 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   12000 7100 error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6200 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 7100 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .99 48 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   11000 6800 error (invalid witness file) 0 wit inspect .71 46 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   12000 7000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6600 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7700 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   14000 6600 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   11000 6600 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 5500 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   11000 6300 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   14000 5400 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 7000 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0019 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7800 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .97 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6100 error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5000 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5500 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6700 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   14000 5400 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6300 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .99 51 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 6300 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5300 error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   11000 9800 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 8400 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7700 12000 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0019 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 8100 error (invalid witness file) 0 wit inspect .78 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 7600 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7200 error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 7500 error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7600 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   12000 7100 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 6000 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 5200 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 7000 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 910   14000 7700 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5100 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   14000 7900 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5000 error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0019 .32 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   5900 12000 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .89 45 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   10000 8000 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6900 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7200 error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0024 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   11000 7900 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 8400 error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 7700 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 910   13000 8100 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 8800 error (invalid witness file) 0 wit inspect .75 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 7600 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 910   13000 6800 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   12000 7300 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7700 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   13000 6700 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 8200 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7100 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .034 4.9 error (invalid witness file) 0 wit inspect 1.0  48 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 6200 error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 6000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0021 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6500 error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6200 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6600 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5500 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 7000 error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   14000 5900 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   12000 6300 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 7200 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6600 error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 6800 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0020 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5600 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0020 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 6000 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5400 error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 6200 error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 6500 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 4600 error (invalid witness file) 0 wit inspect .61 46 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6400 error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 51 error (invalid witness file) 0 wit inspect .0015 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 4400 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .046 4.8 error (invalid witness file) 0 wit inspect .92 47 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6500 error (invalid witness file) 0 wit inspect .68 45 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   14000 4300 error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   12000 6300 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0014 .32 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 4700 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5100 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .82 48 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900   2900 9600 error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900   4900 11000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .79 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   6000 10000 error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900   4900 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0023 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900   5900 11000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900   5900 9300 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   5700 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   7900 11000 error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   6200 9500 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .94 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   4900 12000 error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900   3100 11000 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 .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   4800 14000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900   3300 10000 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900   3000 11000 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900   2400 11000 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   3500 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900   3700 11000 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .82 48 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   4600 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   4900 11000 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   5100 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   5200 9300 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   5900 13000 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 51 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900   1600 12000 error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   4700 11000 error (invalid witness file) 0 wit inspect .72 46 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   6400 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   4700 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5000 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 5400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 6300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   11000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8600 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .021 4.8
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 8300 - 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.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 7500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 6500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .022 4.8
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 910   13000 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5100 - 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
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   6000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5900 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .022 4.8
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 8300 - 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-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   14000 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .024 4.9
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .024 4.9
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   13000 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 7500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 910   13000 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 7700 - 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.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 7200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   14000 5500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   14000 4800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900   2700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .022 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   5000 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900   5900 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   5200 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 5.0
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   6300 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   7100 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   7400 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   6600 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   5500 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   5100 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.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   2500 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   5200 12000 - 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_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900   2900 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   4800 13000 - 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/rekh_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900   3100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   2000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900   4200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 5.0
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   4600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .025 4.8
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 0 wit inspect 900   2200 10000 - 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/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900   4600 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   4900 11000 - 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
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   4900 13000 - 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/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   4800 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   4700 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   5100 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   6000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   1800 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .017 5.0
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   2000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .022 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900   1600 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   4300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_fib_false-unreach-call.i timeout 0 wit inspect 900   2500 12000 error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i timeout 0 wit inspect 900   4300 11000 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i timeout 0 wit inspect 900   2200 11000 error (invalid witness file) 0 wit inspect .95 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900   3500 12000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i error (7) 0 wit inspect 530   3100 6300 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i error (7) 0 wit inspect 4.0 230 33 error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i timeout 0 wit inspect 900   3000 10000 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i error (7) 0 wit inspect 120   3700 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 0 wit inspect 900   6000 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_fib_true-unreach-call.i timeout 0 wit inspect 900   13000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900   3000 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .017 4.8
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900   3400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900   3800 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i timeout 0 wit inspect 900   6400 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_stack_true-unreach-call.i error (7) 0 wit inspect 4.1 230 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_stateful_true-unreach-call.i timeout 0 wit inspect 900   2100 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .022 4.8
seq-pthread/cs_sync_true-unreach-call.i timeout 0 wit inspect 900   1500 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900   3100 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .023 5.0
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 0 wit inspect 900   3500 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 273 42 220000 2400000 2100000 170 -832 480 18000 170 27 830 27000 170 0 270 13000 170 -306 23   630 103 0 6600 57000 103 14 580 14000
    correct results 34 41 5700 120000 62000 0 27 27 740 25000 0 14 14 11   290 0 7 14 340 6800
        correct true 7 14 920 21000 11000 0 0 0 0 0 7 14 340 6800
        correct false 27 27 4800 100000 51000 0 27 27 740 25000 0 14 14 11   290 0 0
    correct-unconfimed results 2 1 980 14000 11000 0 0 0 0 0 0
        correct-unconfirmed true 1 1 210 4600 2600 0 0 0 0 0 0
        correct-unconfirmed false 1 0 780 9100 8700 0 0 0 0 0 0
    incorrect results 0 26 -832 210 7300 0 0 10 -320 8.5 210 0 0
        incorrect true 0 26 -832 210 7300 0 0 10 -320 8.5 210 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 42 -832 27 0 -306 0 14
Run set uautomizer.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Sequentialized