Tool CBMC 5.8 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:26:01 CET 2017-12-01 07:56:00 CET 2017-12-01 08:08:00 CET 2017-12-01 08:15:34 CET 2017-12-01 04:22:29 CET 2017-12-01 07:31:28 CET
Run set cbmc.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.4  74 38   false(unreach-call) 1 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 18     660   unknown 0 wit inspect 5.4  230 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .48 35 4.9 false(unreach-call) 1 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 15     670   unknown 0 wit inspect 5.6  230 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .33 34 3.0 false(unreach-call) 1 wit inspect 4.3  260 true -32 wit inspect 5.2   250   unknown 0 wit inspect 4.0  220 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 .34 34 3.2 false(unreach-call) 1 wit inspect 4.2  270 true -32 wit inspect 6.4   260   unknown 0 wit inspect 5.6  220 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16    390 200   false(unreach-call) 1 wit inspect 9.4  400 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 21    1400 false(unreach-call) 1 wit inspect .97   26    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.0  61 24   false(unreach-call) 1 wit inspect 3.0  270 false(unreach-call) 1 wit inspect 18     620   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.2  95 41   false(unreach-call) 1 wit inspect 4.7  280 false(unreach-call) 1 wit inspect 31     810   unknown 0 wit inspect 5.7  230 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.0  140 59   false(unreach-call) 1 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 33     1100   unknown 0 wit inspect 6.3  270 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.4  180 100   false(unreach-call) 1 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 53     1800   unknown 0 wit inspect 6.2  310 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    250 130   false(unreach-call) 1 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 76     2500   unknown 0 wit inspect 9.2  320 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16    310 210   false(unreach-call) 1 wit inspect 8.0  290 timeout 0 wit inspect 97     3200   unknown 0 wit inspect 8.1  350 false(unreach-call) 1 wit inspect .89   21    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 22    380 220   false(unreach-call) 1 wit inspect 6.9  300 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 8.9  460 false(unreach-call) 1 wit inspect .77   22    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 31    470 330   false(unreach-call) 1 wit inspect 8.2  300 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 9.5  380 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 44    550 430   false(unreach-call) 1 wit inspect 9.0  310 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 8.4  540 false(unreach-call) 1 wit inspect .98   23    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 58    670 450   false(unreach-call) 1 wit inspect 8.3  320 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 13    530 false(unreach-call) 1 wit inspect .86   23    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 77    770 640   false(unreach-call) 1 wit inspect 8.9  360 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 12    600 false(unreach-call) 1 wit inspect .89   24    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 99    870 670   false(unreach-call) 1 wit inspect 12    410 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 15    790 false(unreach-call) 1 wit inspect .96   25    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 130    1000 800   false(unreach-call) 1 wit inspect 11    440 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 15    790 false(unreach-call) 1 wit inspect .95   26    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 98    870 830   false(unreach-call) 1 wit inspect 11    410 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 16    830 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120    1000 1000   false(unreach-call) 1 wit inspect 9.9  430 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 17    820 false(unreach-call) 1 wit inspect .99   26    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.2  65 42   false(unreach-call) 1 wit inspect 7.5  300 false(unreach-call) 1 wit inspect 36     820   unknown 0 wit inspect 6.7  270 false(unreach-call) 1 wit inspect .68   20    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.2  63 38   false(unreach-call) 1 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 48     1700   unknown 0 wit inspect 10    490 false(unreach-call) 1 wit inspect .96   22    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .29 34 2.4 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .84   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .34 34 3.1 false(unreach-call) 1 wit inspect 4.5  270 false(unreach-call) 1 wit inspect 24     590   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .39 35 4.1 false(unreach-call) 1 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 30     880   unknown 0 wit inspect 5.0  220 false(unreach-call) 1 wit inspect .78   19    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .48 38 4.8 false(unreach-call) 1 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 39     1300   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .90   19    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .55 40 6.5 false(unreach-call) 1 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 64     1700   unknown 0 wit inspect 6.3  310 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .64 43 8.9 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 82     2500   unknown 0 wit inspect 6.7  320 false(unreach-call) 1 wit inspect .94   21    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .77 45 10   false(unreach-call) 1 wit inspect 6.7  290 timeout 0 wit inspect 97     3900   unknown 0 wit inspect 8.5  330 false(unreach-call) 1 wit inspect .95   21    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .93 50 11   false(unreach-call) 1 wit inspect 7.8  310 timeout 0 wit inspect 97     4100   unknown 0 wit inspect 9.1  430 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  55 13   false(unreach-call) 1 wit inspect 8.0  310 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 11    480 false(unreach-call) 1 wit inspect .87   22    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  59 18   false(unreach-call) 1 wit inspect 8.2  320 timeout 0 wit inspect 98     4600   unknown 0 wit inspect 14    500 false(unreach-call) 1 wit inspect .84   23    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5  66 18   false(unreach-call) 1 wit inspect 11    360 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 15    530 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7  71 20   false(unreach-call) 1 wit inspect 9.6  380 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 11    600 false(unreach-call) 1 wit inspect 1.1    25    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.0  81 21   false(unreach-call) 1 wit inspect 9.1  400 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 14    750 false(unreach-call) 1 wit inspect 1.2    25    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  65 23   false(unreach-call) 1 wit inspect 6.5  270 true -32 wit inspect 8.3   340   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.8  69 20   false(unreach-call) 1 wit inspect 6.6  300 true -32 wit inspect 9.0   380   unknown 0 wit inspect 9.8  400 false(unreach-call) 1 wit inspect .91   20    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1800 5300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    680 5500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    2100 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    610 5100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    630 4900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    640 5700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    670 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    920 4300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    730 7700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .047 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    690 4600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    440 3400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    780 4500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .020 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    820 4000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1200 6800   - 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
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    810 4400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .036 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1400 6900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1800 4200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .019 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    500 3600   - 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
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    570 4100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    690 4000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .048 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    790 4100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    920 5000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
systemc/toy_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    700 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .44 36 4.4 true -32 wit inspect 6.6  270 false(unreach-call) 1 wit inspect 14     550   unknown 0 wit inspect 4.9  270 false(unreach-call) 1 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .43 35 6.1 true -32 wit inspect 5.4  260 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .81   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .49 35 4.4 true -32 wit inspect 11    300 false(unreach-call) 1 wit inspect 23     740   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .48 35 5.2 true -32 wit inspect 9.3  410 false(unreach-call) 1 wit inspect 18     720   unknown 0 wit inspect 7.6  280 false(unreach-call) 1 wit inspect .92   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 .50 36 4.9 true -32 wit inspect 9.0  410 false(unreach-call) 1 wit inspect 20     720   unknown 0 wit inspect 6.6  280 false(unreach-call) 1 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .47 37 5.8 true -32 wit inspect 11    410 false(unreach-call) 1 wit inspect 19     740   unknown 0 wit inspect 6.4  280 false(unreach-call) 1 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.8  43 21   true -32 wit inspect 9.5  430 false(unreach-call) 1 wit inspect 77     3900   unknown 0 wit inspect 8.3  410 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  44 24   true -32 wit inspect 6.9  300 false(unreach-call) 1 wit inspect 78     3700   unknown 0 wit inspect 8.5  410 false(unreach-call) 1 wit inspect 1.1    23    - 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 1.3  42 15   true -32 wit inspect 8.0  330 false(unreach-call) 1 wit inspect 30     1000   unknown 0 wit inspect 8.0  350 true -32 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  42 14   true -32 wit inspect 8.5  280 false(unreach-call) 1 wit inspect 22     970   unknown 0 wit inspect 10    360 true -32 wit inspect 1.0    20    - 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 1.5  41 18   true -32 wit inspect 8.6  330 false(unreach-call) 1 wit inspect 80     3900   unknown 0 wit inspect 14    440 true -32 wit inspect .86   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.5  42 19   true -32 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 54     3100   unknown 0 wit inspect 12    430 true -32 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  41 13   true -32 wit inspect 4.9  270 timeout 0 wit inspect 97     830   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect .96   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  39 12   true -32 wit inspect 5.2  270 false(unreach-call) 1 wit inspect 30     760   unknown 0 wit inspect 7.2  290 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .35 35 3.6 true -32 wit inspect 5.9  260 false(unreach-call) 1 wit inspect 63     820   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .39 35 3.6 true -32 wit inspect 5.6  260 false(unreach-call) 1 wit inspect 34     790   unknown 0 wit inspect 6.4  270 false(unreach-call) 1 wit inspect .93   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  39 11   true -32 wit inspect 5.0  270 timeout 0 wit inspect 97     810   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  39 11   true -32 wit inspect 5.6  270 timeout 0 wit inspect 96     1600   unknown 0 wit inspect 7.2  280 false(unreach-call) 1 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.0  40 14   true -32 wit inspect 5.5  270 timeout (false(unreach-call)) 0 wit inspect 94     1100   unknown 0 wit inspect 5.1  280 false(unreach-call) 1 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  38 12   true -32 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 58     1300   unknown 0 wit inspect 5.9  280 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1300 4800   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .26 - 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 1.7  45 21   true -32 wit inspect 6.0  280 timeout 0 wit inspect 96     2200   unknown 0 wit inspect 8.0  370 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  46 24   true -32 wit inspect 6.4  280 timeout 0 wit inspect 96     2700   unknown 0 wit inspect 8.4  360 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.8  46 22   true -32 wit inspect 7.9  290 true -32 wit inspect 9.6   390   unknown 0 wit inspect 7.4  290 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  47 22   true -32 wit inspect 8.1  280 true -32 wit inspect 8.4   380   unknown 0 wit inspect 8.0  290 false(unreach-call) 1 wit inspect 1.0    22    - 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 1.8  46 20   true -32 wit inspect 6.3  290 true -32 wit inspect 8.6   380   unknown 0 wit inspect 8.2  360 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  46 21   true -32 wit inspect 8.8  280 true -32 wit inspect 7.8   370   unknown 0 wit inspect 7.6  310 false(unreach-call) 1 wit inspect 1.0    23    - 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 1.9  46 21   true -32 wit inspect 6.8  290 true -32 wit inspect 9.9   400   unknown 0 wit inspect 9.3  340 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  49 21   true -32 wit inspect 6.5  280 true -32 wit inspect 9.7   390   unknown 0 wit inspect 9.9  330 false(unreach-call) 1 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    830 6900   error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.7  80 120   true -32 wit inspect 8.4  320 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 19    660 false(unreach-call) 1 wit inspect 1.7    27    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 10    89 130   true -32 wit inspect 8.6  320 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 16    680 false(unreach-call) 1 wit inspect 1.9    27    - 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 5.0  61 64   true -32 wit inspect 8.4  330 true -32 wit inspect 13     470   unknown 0 wit inspect 16    510 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1  61 61   true -32 wit inspect 7.6  320 true -32 wit inspect 13     490   unknown 0 wit inspect 10    510 false(unreach-call) 1 wit inspect 2.0    26    - 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 10    80 130   true -32 wit inspect 8.3  340 true -32 wit inspect 12     460   unknown 0 wit inspect 15    650 false(unreach-call) 1 wit inspect 1.9    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    91 130   true -32 wit inspect 8.0  340 true -32 wit inspect 13     460   unknown 0 wit inspect 16    620 false(unreach-call) 1 wit inspect 1.7    27    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 10    80 140   true -32 wit inspect 8.2  340 true -32 wit inspect 14     460   unknown 0 wit inspect 17    820 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    92 160   true -32 wit inspect 9.1  360 true -32 wit inspect 12     460   unknown 0 wit inspect 15    750 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    200 9700   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .29 - 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 .85 37 8.5 true -32 wit inspect 4.3  270 false(unreach-call) 1 wit inspect 8.8   350   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .72   20    - 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 .85 36 10   true -32 wit inspect 4.6  280 false(unreach-call) 1 wit inspect 15     550   unknown 0 wit inspect 5.6  270 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .86 34 8.5 true -32 wit inspect 3.2  280 false(unreach-call) 1 wit inspect 8.7   340   unknown 0 wit inspect 6.4  270 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .89 35 10   true -32 wit inspect 5.2  270 false(unreach-call) 1 wit inspect 24     650   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.7  38 23   true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 11     480   unknown 0 wit inspect 9.8  280 false(unreach-call) 1 wit inspect .84   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.9  41 24   true -32 wit inspect 6.0  270 timeout 0 wit inspect 96     2000   unknown 0 wit inspect 5.1  280 false(unreach-call) 1 wit inspect .79   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.7  38 23   true -32 wit inspect 6.1  260 false(unreach-call) 1 wit inspect 26     900   unknown 0 wit inspect 5.3  280 false(unreach-call) 1 wit inspect .77   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.9  40 23   true -32 wit inspect 5.1  270 false(unreach-call) 1 wit inspect 27     770   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .75   21    - 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.1  41 20   true -32 wit inspect 5.6  270 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 6.0  290 false(unreach-call) 1 wit inspect .94   22    - 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.1  42 25   true -32 wit inspect 5.7  280 timeout 0 wit inspect 97     3000   unknown 0 wit inspect 6.0  290 false(unreach-call) 1 wit inspect .80   22    - 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 2.1  41 23   true -32 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 13     570   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect .80   22    - 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 2.1  42 23   true -32 wit inspect 7.3  280 false(unreach-call) 1 wit inspect 23     840   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 2.3  48 28   true -32 wit inspect 7.1  320 timeout 0 wit inspect 97     2900   unknown 0 wit inspect 6.4  300 false(unreach-call) 1 wit inspect 1.1    23    - 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 2.5  47 27   true -32 wit inspect 6.5  310 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 7.2  300 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 2.4  45 26   true -32 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 33     1300   unknown 0 wit inspect 7.0  300 false(unreach-call) 1 wit inspect .87   23    - 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 2.3  45 25   true -32 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 47     3400   unknown 0 wit inspect 6.5  290 false(unreach-call) 1 wit inspect .85   23    - 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 .82 37 9.1 true -32 wit inspect 4.4  270 false(unreach-call) 1 wit inspect 13     630   unknown 0 wit inspect 5.9  230 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .83 36 8.2 true -32 wit inspect 4.7  260 false(unreach-call) 1 wit inspect 23     670   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 460    2300 4600   true -32 wit inspect 28    1600 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 39    2300 false(unreach-call) 1 wit inspect 4.5    130    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.6  37 18   true -32 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 29     960   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7  38 17   true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 29     900   unknown 0 wit inspect 5.7  270 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    900 8300   error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0013 .28 - 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 1.8  39 20   true -32 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 88     3900   unknown 0 wit inspect 6.3  290 false(unreach-call) 1 wit inspect .81   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  42 21   true -32 wit inspect 6.7  280 false(unreach-call) 1 wit inspect 21     690   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect .82   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1100 6100   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0016 .26 - 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 2.0  44 18   true -32 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 53     3000   unknown 0 wit inspect 6.3  290 false(unreach-call) 1 wit inspect .85   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0  44 26   true -32 wit inspect 5.5  290 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.4  300 false(unreach-call) 1 wit inspect .84   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    990 7900   error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 5.0  47 59   true -32 wit inspect 6.2  330 timeout (false(unreach-call)) 0 wit inspect 91     4500   unknown 0 wit inspect 7.0  340 false(unreach-call) 1 wit inspect .91   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1  53 58   true -32 wit inspect 7.0  350 false(unreach-call) 1 wit inspect 83     3400   unknown 0 wit inspect 7.4  320 false(unreach-call) 1 wit inspect 1.0    25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    560 7000   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 6.3  55 83   true -32 wit inspect 6.7  340 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.8  360 false(unreach-call) 1 wit inspect 1.2    26    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.7  56 72   true -32 wit inspect 7.9  340 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 7.7  350 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    620 8000   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.8 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.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  40 11   true -32 wit inspect 6.0  270 false(unreach-call) 1 wit inspect 47     1000   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .88   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  38 11   true -32 wit inspect 5.2  270 false(unreach-call) 1 wit inspect 60     1200   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .38 35 3.5 true -32 wit inspect 4.9  260 false(unreach-call) 1 wit inspect 52     840   unknown 0 wit inspect 4.8  270 false(unreach-call) 1 wit inspect .97   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .37 35 3.6 true -32 wit inspect 4.4  260 false(unreach-call) 1 wit inspect 50     830   unknown 0 wit inspect 4.9  270 false(unreach-call) 1 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  39 12   true -32 wit inspect 6.8  290 timeout 0 wit inspect 97     1400   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  39 12   true -32 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 54     970   unknown 0 wit inspect 7.0  280 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  39 13   true -32 wit inspect 5.7  270 false(unreach-call) 1 wit inspect 55     1000   unknown 0 wit inspect 7.2  280 false(unreach-call) 1 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  38 10   true -32 wit inspect 5.4  270 timeout 0 wit inspect 97     1200   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1500 4800   error (invalid witness file) 0 wit inspect .52 43 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 .0014 .27 - 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 2.0  46 23   true -32 wit inspect 7.5  290 timeout 0 wit inspect 98     2600   unknown 0 wit inspect 8.5  370 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.9  47 22   true -32 wit inspect 7.9  290 timeout 0 wit inspect 98     3100   unknown 0 wit inspect 8.4  370 false(unreach-call) 1 wit inspect 1.2    23    - 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 2.0  49 25   true -32 wit inspect 7.8  280 true -32 wit inspect 9.5   380   unknown 0 wit inspect 9.2  300 false(unreach-call) 1 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0  47 22   true -32 wit inspect 6.1  290 true -32 wit inspect 11     400   unknown 0 wit inspect 7.9  290 false(unreach-call) 1 wit inspect 1.3    22    - 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 1.9  47 29   true -32 wit inspect 6.3  280 true -32 wit inspect 8.4   380   unknown 0 wit inspect 8.2  340 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0  47 24   true -32 wit inspect 6.5  290 true -32 wit inspect 9.4   390   unknown 0 wit inspect 10    330 false(unreach-call) 1 wit inspect 1.1    23    - 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 2.0  47 23   true -32 wit inspect 7.0  310 true -32 wit inspect 9.7   400   unknown 0 wit inspect 7.7  340 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.2  47 28   true -32 wit inspect 7.1  290 true -32 wit inspect 8.8   380   unknown 0 wit inspect 8.1  350 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1100 7400   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    85 150   true -32 wit inspect 8.3  340 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 19    840 false(unreach-call) 1 wit inspect 1.8    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    97 130   true -32 wit inspect 9.3  340 timeout 0 wit inspect 97     3300   unknown 0 wit inspect 15    750 false(unreach-call) 1 wit inspect 2.0    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 5.5  63 58   true -32 wit inspect 7.7  330 true -32 wit inspect 12     480   unknown 0 wit inspect 15    530 false(unreach-call) 1 wit inspect 1.6    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.5  65 62   true -32 wit inspect 7.9  340 true -32 wit inspect 13     460   unknown 0 wit inspect 15    510 false(unreach-call) 1 wit inspect 2.1    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    85 140   true -32 wit inspect 8.5  340 true -32 wit inspect 11     460   unknown 0 wit inspect 14    680 false(unreach-call) 1 wit inspect 1.6    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    98 160   true -32 wit inspect 11    330 true -32 wit inspect 13     470   unknown 0 wit inspect 18    690 false(unreach-call) 1 wit inspect 1.7    28    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12    88 150   true -32 wit inspect 9.9  380 true -32 wit inspect 12     450   unknown 0 wit inspect 17    830 false(unreach-call) 1 wit inspect 1.6    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    99 150   true -32 wit inspect 12    350 true -32 wit inspect 13     460   unknown 0 wit inspect 20    640 false(unreach-call) 1 wit inspect 1.8    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    200 11000   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error (1) 0 wit inspect 870    1500 7200   error (invalid witness file) 0 wit inspect .54 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 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error (1) 0 wit inspect 880    5000 4600   error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error (1) 0 wit inspect 870    1500 5800   error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .021 4.9 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_aso_false-unreach-call.2.M4.c error (1) 0 wit inspect 870    5000 4900   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error (1) 0 wit inspect 870    1500 5900   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error (1) 0 wit inspect 870    5800 6100   error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .93 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error (1) 0 wit inspect 870    1500 6700   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error (1) 0 wit inspect 880    5700 4600   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 180    1000 1500   timeout 0 wit inspect 95    2200 timeout 0 wit inspect 97     4800   unknown 0 wit inspect 83    2400 true -32 wit inspect 8.2    48    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c error (1) 0 wit inspect 870    2100 6200   error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error (1) 0 wit inspect 870    1400 6300   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error (1) 0 wit inspect 870    4700 4500   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error (1) 0 wit inspect 870    1500 6700   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .91 48 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error (1) 0 wit inspect 870    4800 4600   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error (1) 0 wit inspect 870    1500 6900   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error (1) 0 wit inspect 870    4600 7900   error (invalid witness file) 0 wit inspect .40 40 error (2) 0 wit inspect .024 5.0 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/rekh_aso_false-unreach-call.2.M1.c error (1) 0 wit inspect 870    1500 5900   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error (1) 0 wit inspect 880    4600 5200   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .98 50 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error (1) 0 wit inspect 870    1600 6700   error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .87 53 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error (1) 0 wit inspect 870    5800 5900   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 16    460 170   true -32 wit inspect 45    2000 timeout 0 wit inspect 96     2700   timeout 0 wit inspect 92    2500 true -32 wit inspect 2.7    34    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 0 wit inspect 33    710 370   timeout 0 wit inspect 93    2400 timeout 0 wit inspect 96     5600   timeout 0 wit inspect 92    2600 true -32 wit inspect 4.3    53    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error (1) 0 wit inspect 870    1400 7000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error (1) 0 wit inspect 870    4400 5200   error (invalid witness file) 0 wit inspect .56 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 .0015 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error (1) 0 wit inspect 870    1400 6800   error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error (1) 0 wit inspect 870    4400 5400   error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 1 wit inspect 5.7  64 69   - wit inspect - wit inspect - wit inspect - wit inspect exception 0 wit inspect 98    3600 timeout 0 wit inspect 910     7000  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1600 4000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 4.0  52 51   - wit inspect - wit inspect - wit inspect - wit inspect exception 0 wit inspect 55    3100 true 2 wit inspect 300     4600  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1000 4400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 3.8  40 52   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 82    1200 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1400 4500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .045 5.0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 120    68 1500   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3600 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1000 9100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 45 error (2) 0 wit inspect .045 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (42) 0 wit inspect 870    190 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .026 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    190 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .048 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 2.1  34 22   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 39    760 out of memory 0 wit inspect 210     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1300 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 4.5  38 54   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 83    1000 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1400 9600   - 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/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 36    54 490   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 350    1600 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    420 6800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 5.0
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 160    71 2500   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    140 14000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.7  37 17   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 23    540 timeout 0 wit inspect 960     4900  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    2300 7300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 2.7  36 35   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 56    780 out of memory 0 wit inspect 270     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    950 8000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 5.1  40 58   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 110    970 out of memory 0 wit inspect 240     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1100 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 18    49 250   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 290    1300 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    490 6500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 38    66 510   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2100 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    560 7100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 85    81 1200   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    630 7200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 2.6  41 36   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 86    1500 out of memory 0 wit inspect 180     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1500 4500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 45 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 93    70 1100   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 out of memory 0 wit inspect 180     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1100 7100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (42) 0 wit inspect 870    190 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .025 5.0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    200 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 46 error (2) 0 wit inspect .017 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error (1) 0 wit inspect 870    1500 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error (1) 0 wit inspect 870    5100 4000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .048 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error (1) 0 wit inspect 870    1500 5900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error (1) 0 wit inspect 870    5700 4800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .75 43 error (2) 0 wit inspect .024 5.0
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c error (1) 0 wit inspect 870    1100 4800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c error (1) 0 wit inspect 870    1100 6600   - 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_ctm_true-unreach-call.3_true-termination.c error (1) 0 wit inspect 870    2200 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c error (1) 0 wit inspect 870    3500 6300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error (1) 0 wit inspect 870    1400 7700   - 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/rekcba_nxt_true-unreach-call.1.M4.c error (1) 0 wit inspect 870    4700 5400   - 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/rekcba_nxt_true-unreach-call.2.M1.c error (1) 0 wit inspect 870    1400 6500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .028 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error (1) 0 wit inspect 870    5900 6100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 42 error (2) 0 wit inspect .047 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error (1) 0 wit inspect 870    1400 6400   - 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.3.M4.c error (1) 0 wit inspect 880    4800 4600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error (1) 0 wit inspect 870    1500 6200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error (1) 0 wit inspect 870    5500 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error (1) 0 wit inspect 870    1500 6300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error (1) 0 wit inspect 870    4800 5600   - 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_aso_true-unreach-call.3.M1.c error (1) 0 wit inspect 870    1600 7300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error (1) 0 wit inspect 870    5900 7600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 32    480 330   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2600 timeout 0 wit inspect 960     4900  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 28    480 360   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2800 timeout 0 wit inspect 960     4800  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 59    730 660   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    3200 timeout 0 wit inspect 960     4700  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 110    1000 1000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    4400 timeout 0 wit inspect 960     4400  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error (1) 0 wit inspect 870    1400 6100   - 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_nxt_true-unreach-call.1.M4.c error (1) 0 wit inspect 870    5300 8000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error (1) 0 wit inspect 870    1400 6200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error (1) 0 wit inspect 870    5300 5400   - 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/rekh_nxt_true-unreach-call.3.M1.c error (1) 0 wit inspect 870    1400 7300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error (1) 0 wit inspect 870    4400 5800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 0 wit inspect 2.9  71 36   timeout 0 wit inspect 94    2800 timeout 0 wit inspect 97     4200   unknown 0 wit inspect 6.0  270 true -32 wit inspect .79   20    - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 18    89 210   timeout 0 wit inspect 98    3100 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.0  280 true -32 wit inspect .82   20    - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect .66 47 7.1 timeout 0 wit inspect 93    2500 timeout 0 wit inspect 96     3600   unknown 0 wit inspect 7.5  310 true -32 wit inspect .71   19    - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i false(unreach-call) 0 wit inspect 36    580 430   timeout 0 wit inspect 94    2700 true -32 wit inspect 11     450   unknown 0 wit inspect 8.5  310 error (2) 0 wit inspect 1.7    21    - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  60 11   timeout 0 wit inspect 91    610 false(unreach-call) 1 wit inspect 35     1100   unknown 0 wit inspect 7.3  370 true -32 wit inspect .75   20    - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i false(unreach-call) 0 wit inspect 1.2  69 14   timeout 0 wit inspect 92    2100 error (7) 0 wit inspect 4.2   220   unknown 0 wit inspect 7.8  340 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect .68 44 8.3 timeout 0 wit inspect 92    2300 timeout 0 wit inspect 96     2600   unknown 0 wit inspect 7.6  270 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i error (42) 0 wit inspect 870    420 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 22    92 270   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 timeout 0 wit inspect 960     3200  
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 8.4  73 99   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3000 out of memory 0 wit inspect 480     7000  
seq-pthread/cs_lamport_true-unreach-call.i error (42) 0 wit inspect 870    430 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_peterson_true-unreach-call.i error (42) 0 wit inspect 870    550 11000   - 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-pthread/cs_queue_true-unreach-call.i error (42) 0 wit inspect 870    2200 6600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 2.9  59 39   - wit inspect - wit inspect - wit inspect - wit inspect exception 0 wit inspect 29    1200 timeout (error (7)) 0 wit inspect 950     4000  
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect 7.1  150 84   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2700 error (7) 0 wit inspect 13     250  
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect 1.8  44 23   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     2200  
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 3.5  94 42   - wit inspect - wit inspect - wit inspect - wit inspect exception 0 wit inspect 420    2600 error (7) 0 wit inspect 690     1900  
seq-pthread/cs_szymanski_true-unreach-call.i error (42) 0 wit inspect 870    580 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .029 5.0
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 2.0  49 23   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     3600  
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 164 99000 230000 750000 170 -2843 1800 64000 170 -870 7100 260000 170 0 1500 62000 170 -294 150 3200 103 18 14000 63000 103 2 13000 150000
    correct results 137 147 1600 16000 15000 37 37 270 12000 58 58 2200 74000 0 122 122 130 2800 9 18 1100 9700 1 2 300 4600
        correct true 10 20 80 420 1100 0 0 0 0 9 18 1100 9700 1 2 300 4600
        correct false 127 127 1500 16000 14000 37 37 270 12000 58 58 2200 74000 0 122 122 130 2800 0 0
    correct-unconfimed results 26 17 1100 6800 13000 0 0 0 0 0 0
        correct-unconfirmed true 17 17 770 3700 9800 0 0 0 0 0 0
        correct-unconfirmed false 9 0 290 3100 2800 0 0 0 0 0 0
    incorrect results 0 90 -2880 680 30000 29 -928 300 12000 0 13 -416 24 340 0 0
        incorrect true 0 90 -2880 680 30000 29 -928 300 12000 0 13 -416 24 340 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 164 -2843 -870 0 -294 18 2
Run set cbmc.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized