Tool symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon005; apollon043; apollon077; apollon078; apollon087; apollon118] [apollon061; apollon077; apollon078; apollon086; apollon134] [apollon038; apollon077; apollon078; apollon083] [apollon077; apollon078; apollon161] apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 33553 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 22:41:19 CET 2017-12-02 21:10:50 CET 2017-12-02 22:39:24 CET 2017-12-02 22:51:52 CET 2017-12-02 23:01:21 CET 2017-12-02 19:44:15 CET 2017-12-02 21:36:25 CET
Run set symbiotic.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
systemc/kundu1_false-unreach-call_false-termination.cil.c 1 .22 11 2.2 1 9.5  530 -32 3.8   250   0 3.4  210 1 .60   18    - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 .23 11 2.4 1 11    410 -32 5.6   250   0 2.3  210 1 .64   18    - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .19 11 2.4 1 3.6  260 -32 5.0   230   0 2.2  210 1 .59   18    - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .21 11 2.5 1 3.6  260 -32 5.3   240   0 2.3  210 1 .60   18    - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 330    3100 2600   1 17    1200 -32 4.4   270   0 2.7  220 1 .62   18    - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 .21 11 2.5 1 5.8  270 -32 4.0   240   0 3.2  210 1 .61   18    - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1 .30 13 3.4 1 6.4  280 -32 4.1   260   0 2.3  210 1 .63   18    - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1 .65 22 8.8 1 5.3  280 -32 6.3   260   0 2.4  210 0 .63   18    - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1 2.5  66 28   1 5.1  320 -32 6.0   270   0 3.7  220 0 .65   18    - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1 13    260 150   1 7.0  350 -32 6.1   270   0 3.7  220 0 .63   18    - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 1 73    1100 680   1 4.9  400 -32 6.5   280   0 3.7  220 0 .64   18    - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 1 210    2000 2200   1 5.1  440 -32 7.0   290   0 2.8  220 -32 .66   18    - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 1 360    2600 2700   1 10    450 -32 7.5   300   0 3.9  220 0 .66   18    - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 1 390    2800 2600   1 9.3  460 -32 7.1   300   0 4.1  220 0 .69   18    - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 1 530    3200 3700   1 6.5  460 -32 7.5   310   0 2.9  220 0 .70   18    - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 1 540    2800 3900   1 11    480 -32 7.4   320   0 2.9  220 -32 .70   18    - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 1 450    2800 4900   1 7.3  500 -32 5.6   320   0 2.9  220 1 .70   18    - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 1 610    3200 5500   1 14    520 -32 5.2   330   0 3.0  230 -32 .72   18    - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 1 580    3200 5300   1 10    500 -32 5.2   330   0 3.0  220 1 .68   18    - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 1 600    2900 5000   1 12    500 -32 5.1   340   0 4.4  220 -32 .70   18    - -
systemc/toy1_false-unreach-call_false-termination.cil.c 1 1.3  56 16   1 24    440 -32 5.8   260   0 3.4  210 1 .61   18    - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 1.3  55 16   1 18    440 -32 6.3   250   0 2.5  220 1 .62   19    - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 .20 11 2.1 1 3.5  270 -32 4.1   260   0 2.3  210 1 .60   18    - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 .24 11 3.1 1 4.8  270 -32 5.7   250   0 2.3  210 1 .63   18    - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 .35 15 4.1 1 5.3  280 -32 4.1   250   0 2.5  220 1 .62   18    - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 .75 30 9.3 1 3.7  280 -32 6.1   270   0 2.4  210 1 .63   18    - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 3.8  120 43   1 7.3  280 -32 6.2   270   0 2.5  210 1 .63   18    - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1 18    480 200   1 8.0  300 -32 6.4   280   0 3.6  210 1 .67   18    - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 1 79    1800 950   1 8.9  360 -32 6.4   280   0 3.5  210 0 .65   18    - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 1 310    2400 2200   1 5.2  410 -32 7.5   290   0 2.6  220 1 .66   18    - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 1 310    2500 3500   1 5.0  430 -32 7.3   300   0 3.8  210 1 .70   18    - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 1 430    2600 3500   1 8.5  450 -32 5.3   320   0 2.6  220 1 .66   18    - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 1 510    3000 3500   1 9.0  460 -32 5.2   310   0 2.7  220 0 .68   18    - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 1 540    3000 4300   1 12    390 -32 7.6   320   0 4.1  220 1 .69   18    - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 1 640    3000 4400   1 12    380 -32 5.4   330   0 2.9  220 1 .70   18    - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 .33 30 3.9 1 6.8  280 -32 7.6   320   0 4.2  220 0 .72   18    - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 .34 32 4.0 1 5.6  280 -32 5.8   330   0 4.3  220 0 .70   18    - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 900    93 10000   - - - - 0 .68 44 0 .019 5.0
systemc/kundu_true-unreach-call_false-termination.cil.c 0 900    4500 6900   - - - - 0 .53 43 0 .019 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 900    4100 12000   - - - - 0 .61 45 0 .019 4.8
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 900    3000 9200   - - - - 0 .62 43 0 .023 5.0
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 900    3100 6900   - - - - 0 .64 44 0 .018 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 900    2800 8100   - - - - 0 .68 44 0 .029 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 900    3200 8300   - - - - 0 .56 44 0 .020 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 900    3200 8000   - - - - 0 .76 43 0 .023 4.8
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 900    3700 5100   - - - - 0 .59 46 0 .022 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 900    2300 8400   - - - - 0 .54 43 0 .021 4.8
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900    4600 9600   - - - - 0 .59 43 0 .019 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 900    770 9700   - - - - 0 .54 45 0 .020 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 900    1200 8600   - - - - 0 .55 43 0 .023 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 900    2500 11000   - - - - 0 .73 44 0 .019 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 900    4100 7500   - - - - 0 .53 43 0 .018 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 900    4200 5800   - - - - 0 .50 43 0 .018 5.0
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 900    3600 5700   - - - - 0 .67 42 0 .028 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 900    4500 6900   - - - - 0 .72 43 0 .019 5.0
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 900    4500 4800   - - - - 0 .65 43 0 .021 5.0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 900    4500 5800   - - - - 0 .69 41 0 .023 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 900    4600 6400   - - - - 0 .58 44 0 .022 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 900    4200 6300   - - - - 0 .53 46 0 .019 5.0
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 900    4400 6400   - - - - 0 .57 44 0 .020 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 900    4400 6600   - - - - 0 .63 43 0 .024 4.8
systemc/toy_true-unreach-call_false-termination.cil.c 0 900    4700 9500   - - - - 0 .70 43 0 .019 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 1 .26 12 3.2 1 4.7  270 -32 4.7   290   0 2.6  220 -32 .65   18    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .24 12 2.7 1 5.5  280 -32 7.3   290   0 2.7  220 -32 .64   18    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 1 .26 11 2.8 1 5.9  290 -32 6.7   280   0 2.6  210 -32 .63   18    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 1 .27 12 2.7 1 7.0  290 -32 4.6   280   0 2.6  210 -32 .64   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 1 .24 12 3.1 1 6.8  290 -32 4.7   280   0 2.6  210 -32 .64   18    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 1 .26 12 3.0 1 7.4  300 -32 6.7   280   0 3.8  220 -32 .64   18    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 0 2.8  120 30   0 91    750 -32 6.3   280   0 3.7  220 -32 .64   18    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 0 2.7  110 34   0 91    730 -32 4.7   280   0 3.8  220 -32 .64   18    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 .27 13 2.8 1 7.0  290 -32 6.2   270   0 2.3  210 -32 .63   19    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .27 13 3.4 1 6.9  290 -32 4.3   270   0 2.4  220 -32 .63   19    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 .33 14 3.7 1 6.6  290 -32 6.2   270   0 2.3  210 -32 .63   20    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .33 14 3.4 1 7.4  290 -32 4.3   270   0 3.3  210 -32 .63   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .91 16 11   1 3.7  280 -32 6.4   270   0 2.7  210 -32 .63   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .88 16 12   1 3.4  280 -32 4.6   280   0 2.7  220 -32 .66   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .43 13 4.5 1 6.2  280 -32 4.5   270   0 2.7  220 -32 .62   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .44 13 5.7 1 5.9  270 -32 6.2   270   0 3.9  220 -32 .64   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 .70 14 7.8 1 7.3  280 -32 6.4   270   0 3.9  210 -32 .65   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 .72 14 10   1 6.9  270 -32 5.0   270   0 4.0  220 -32 .67   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 1.1  15 14   1 5.8  270 -32 7.0   270   0 3.9  220 -32 .63   18    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 1.4  15 14   1 5.5  280 -32 6.7   280   0 2.7  210 -32 .66   18    - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 22    47 260   1 24    1700 -32 4.5   280   0 4.0  220 -32 .64   18    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 100    1100 1200   1 7.3  320 -32 6.3   340   0 3.3  270 -32 .68   18    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 100    1100 1100   1 7.6  300 -32 8.0   350   0 3.2  260 -32 .72   19    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 25    150 340   1 6.7  290 -32 7.9   330   0 4.7  270 -32 .73   19    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 26    140 310   1 9.3  290 -32 5.4   340   0 4.9  260 -32 .70   19    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 1 45    270 540   1 7.5  330 -32 7.4   340   0 3.1  260 -32 .69   19    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 45    240 530   1 7.7  330 -32 7.8   330   0 4.8  260 -32 .72   19    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 1 96    510 1200   1 6.9  330 -32 5.3   340   0 3.2  270 -32 .69   19    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 95    480 1100   1 6.7  330 -32 5.2   340   0 4.9  270 -32 .71   18    - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    1700 11000   0 .59 43 0 .019 4.8 0 .67 50 0 .0036 .29 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900    3100 9500   0 .54 43 0 .020 4.9 0 .65 49 0 .0028 .29 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900    3200 8400   0 .80 44 0 .019 4.9 0 .85 49 0 .0034 .28 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 880    2700 8700   1 10    430 -32 11     450   0 4.1  300 -32 .81   19    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 540    2500 4200   1 9.7  430 -32 7.7   440   0 6.1  310 -32 .87   19    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 1 650    2600 4700   1 9.7  440 -32 11     450   0 4.1  290 -32 .83   19    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900    2700 7100   0 .55 43 0 .019 4.9 0 .65 49 0 .0011 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900    2800 6900   0 .55 43 0 .019 4.8 0 .87 49 0 .0011 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900    2800 7800   0 .45 43 0 .018 4.8 0 .64 49 0 .0017 .26 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    2700 6900   0 .53 42 0 .018 4.8 0 .66 49 0 .0033 .28 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .33 12 4.5 1 3.5  280 -32 5.9   250   0 2.4  220 1 .65   18    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .36 13 3.9 1 5.0  270 -32 4.0   250   0 2.5  210 1 .61   18    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .28 12 3.5 1 5.7  270 -32 5.6   250   0 3.5  210 1 .60   18    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .29 12 3.4 1 5.5  270 -32 5.3   260   0 3.5  220 1 .61   18    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 .68 14 7.4 1 7.4  280 -32 4.2   260   0 3.6  210 1 .64   18    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .67 14 9.3 1 6.7  290 -32 4.3   260   0 2.6  210 1 .62   18    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 .40 13 5.0 1 5.3  280 -32 4.3   260   0 2.6  210 1 .65   18    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .39 13 5.3 1 5.2  280 -32 4.4   260   0 3.6  210 1 .63   18    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 2.2  19 25   1 6.9  310 -32 4.5   270   0 3.8  220 1 .64   18    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 2.5  19 31   1 5.2  310 -32 6.8   280   0 2.6  220 1 .64   19    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 .93 15 7.4 1 7.1  290 -32 6.5   270   0 2.6  220 1 .63   18    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .96 15 8.3 1 6.5  280 -32 4.4   260   0 4.1  240 1 .63   18    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 6.0  34 73   1 9.4  290 -32 6.8   280   0 2.8  220 1 .68   19    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 7.2  37 100   1 8.0  290 -32 4.8   280   0 2.7  210 1 .65   18    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 1 1.7  21 24   1 6.6  330 -32 4.7   280   0 2.9  220 1 .64   19    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 1.7  21 25   1 6.8  330 -32 6.8   280   0 2.7  220 1 .68   19    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .37 12 4.1 1 5.4  270 -32 5.6   250   0 2.4  210 1 .60   18    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .35 12 3.9 1 5.2  270 -32 5.4   240   0 2.4  210 1 .64   18    - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 .90 15 11   1 31    1600 -32 5.5   240   0 3.5  220 1 .62   18    - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 .97 13 12   1 6.6  280 -32 4.3   270   0 3.7  220 1 .62   18    - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.0  13 12   1 5.5  280 -32 5.9   250   0 3.7  220 1 .61   18    - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 3.1  20 39   1 33    1800 -32 5.6   250   0 2.6  220 1 .66   18    - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 4.8  17 53   1 7.1  310 -32 6.2   260   0 2.6  210 1 .62   18    - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 5.2  16 58   1 8.0  290 -32 6.7   280   0 3.6  220 1 .63   18    - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 13    36 180   1 32    2100 -32 4.1   270   0 2.7  210 1 .64   18    - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 18    29 190   1 8.1  290 -32 5.9   270   0 2.6  220 1 .67   18    - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 19    28 210   1 7.8  360 -32 6.3   270   0 3.8  220 1 .65   18    - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 48    77 600   1 43    2500 -32 4.9   280   0 2.6  220 1 .64   18    - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 1 63    68 780   1 5.2  430 -32 4.5   270   0 2.7  220 1 .64   19    - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 62    64 780   1 8.4  430 -32 6.9   290   0 4.0  210 1 .64   19    - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 210    210 2600   1 43    2400 -32 6.4   280   0 4.0  220 1 .68   19    - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 1 210    180 2200   1 6.1  440 -32 4.6   280   0 4.0  220 1 .65   19    - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 210    190 2900   1 8.2  440 -32 4.7   280   0 4.2  260 1 .65   19    - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    590 9700   0 .59 43 0 .019 4.8 0 .65 49 0 .0011 .26 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .92 16 13   1 5.1  270 -32 6.2   280   0 2.7  220 -32 .63   18    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .91 16 13   1 6.2  280 -32 6.5   280   0 2.7  220 -32 .67   18    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .46 13 5.4 1 5.0  270 -32 6.5   280   0 2.7  220 -32 .64   18    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .46 13 5.5 1 5.7  270 -32 6.3   270   0 4.0  220 -32 .64   18    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 .76 14 9.4 1 5.3  280 -32 6.7   280   0 4.0  220 -32 .66   18    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 .87 14 11   1 6.9  280 -32 6.8   290   0 4.2  220 -32 .64   19    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 1.2  15 15   1 5.9  280 -32 4.4   280   0 2.7  220 -32 .67   18    - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 1.5  15 15   1 3.9  280 -32 4.6   280   0 2.7  210 -32 .67   18    - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 24    49 310   1 40    1500 -32 6.1   280   0 2.7  220 -32 .66   18    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 130    1200 1600   1 8.0  310 -32 11     350   0 4.6  270 -32 .69   19    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 130    1200 1400   1 6.8  320 -32 5.3   340   0 3.3  270 -32 .74   19    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 28    160 380   1 7.5  310 -32 5.4   340   0 3.4  270 -32 .69   19    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 28    160 370   1 5.4  300 -32 8.4   350   0 3.5  280 -32 .71   19    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 1 49    260 660   1 5.1  350 -32 5.4   340   0 3.5  290 -32 .69   19    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 48    250 550   1 8.1  350 -32 7.7   340   0 4.8  270 -32 .71   18    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 1 95    450 1100   1 4.7  330 -32 8.0   340   0 3.4  270 -32 .74   19    - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 110    490 1200   1 7.3  340 -32 5.4   340   0 4.9  270 -32 .70   19    - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    1600 10000   0 .66 41 0 .018 4.8 0 .66 49 0 .0037 .26 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900    3400 7400   0 .52 45 0 .018 4.8 0 .67 49 0 .0035 .26 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900    3300 9700   0 .46 43 0 .018 4.8 0 .65 49 0 .0012 .29 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900    2800 7100   0 .64 42 0 .018 4.8 0 .90 49 0 .0011 .29 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900    2600 7000   0 .68 44 0 .026 4.9 0 .67 49 0 .0034 .26 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900    2900 6900   0 .62 43 0 .018 4.9 0 .67 49 0 .0026 .28 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900    2700 7700   0 .60 41 0 .020 4.9 0 .84 49 0 .0011 .26 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900    2700 6900   0 .47 43 0 .018 5.0 0 .69 49 0 .0011 .26 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900    2700 6300   0 .39 46 0 .017 4.8 0 .85 49 0 .0019 .28 - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    2700 6500   0 .57 41 0 .020 4.9 0 .65 49 0 .0025 .28 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 0 900    500 10000   0 .51 43 0 .018 4.8 0 .85 50 0 .0011 .26 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 0 900    1300 9700   0 .65 43 0 .019 4.8 0 .86 49 0 .0012 .26 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 0 900    500 14000   0 .41 41 0 .019 4.9 0 .83 49 0 .0013 .28 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 0 900    1300 9000   0 .53 43 0 .038 4.9 0 .89 49 0 .0011 .26 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 0 900    520 11000   0 .41 45 0 .018 4.8 0 .65 49 0 .0011 .26 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 0 900    1900 12000   0 .58 44 0 .019 4.8 0 .69 49 0 .0011 .26 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 0 900    500 9900   0 .60 41 0 .017 4.8 0 .66 49 0 .0018 .29 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 0 900    1900 8000   0 .54 43 0 .019 5.0 0 .89 49 0 .0037 .26 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 0 900    780 10000   0 .53 41 0 .019 4.8 0 .64 50 0 .0011 .26 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 0 900    1500 9200   0 .45 43 0 .019 5.0 0 .87 49 0 .0013 .34 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 0 900    500 9400   0 .55 43 0 .018 4.8 0 .87 49 0 .0021 .28 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 0 900    1100 9000   0 .68 43 0 .042 4.8 0 .87 49 0 .0038 .27 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 0 900    510 12000   0 .67 44 0 .018 4.9 0 .87 49 0 .0011 .34 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 0 900    1100 11000   0 .50 43 0 .018 4.8 0 .85 49 0 .0011 .26 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 0 900    1300 7600   0 .56 43 0 .020 4.9 0 .66 50 0 .0019 .26 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 0 770    990 9600   0 91    670 -32 11     460   0 3.7  250 0 1.0    19    - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 0 900    1500 9900   0 .56 44 0 .018 5.0 0 .86 49 0 .0011 .29 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 0 900    1300 10000   0 .67 43 0 .019 5.0 0 .67 51 0 .0012 .26 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 0 900    1100 9500   0 .71 43 0 .018 4.9 0 .64 49 0 .0027 .26 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 0 900    1100 9600   0 .57 43 0 .018 4.9 0 .67 50 0 .0011 .26 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 0 900    1000 13000   0 .39 42 0 .019 5.0 0 .67 49 0 .0011 .28 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 0 900    1000 12000   0 .71 43 0 .018 4.8 0 .88 49 0 .0027 .34 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 0 22    74 300   0 .39 43 0 .043 4.8 0 .88 50 0 .0015 .26 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 0 900    750 11000   0 .42 43 0 .020 4.9 0 .87 49 0 .0011 .26 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 0 24    110 290   0 .74 43 0 .019 4.8 0 .67 49 0 .0036 .26 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 0 100    140 1500   0 92    670 -32 15     460   0 3.6  220 0 .95   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 0 900    3400 6800   - - - - 0 .69 42 0 .018 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    4100 5700   - - - - 0 .67 44 0 .020 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900    3100 5300   - - - - 0 .66 43 0 .022 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    3000 6000   - - - - 0 .57 43 0 .020 4.8
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 1.9  16 23   - - - - 2 38    520 0 160     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    210 8900   - - - - 0 .60 43 0 .019 4.8
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900    1400 7900   - - - - 0 .69 45 0 .019 5.0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    1700 11000   - - - - 0 .56 46 0 .019 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900    2700 7800   - - - - 0 .41 43 0 .021 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    2800 7500   - - - - 0 .67 43 0 .023 4.8
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 .32 12 3.6 - - - - 2 18    460 0 200     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    270 12000   - - - - 0 .65 43 0 .024 5.0
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 .74 15 9.2 - - - - 2 61    440 0 140     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    530 14000   - - - - 0 .68 43 0 .020 5.0
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 3.5  25 47   - - - - 2 220    650 0 210     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    930 11000   - - - - 0 .69 44 0 .019 4.9
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 1 21    80 270   - - - - 0 900    1000 0 160     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    1300 11000   - - - - 0 .40 43 0 .024 5.0
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 .33 12 3.5 - - - - 2 12    390 0 960     5000  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    110 13000   - - - - 0 .69 44 0 .021 4.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 .87 13 9.9 - - - - 2 28    510 0 190     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    200 12000   - - - - 0 .68 41 0 .019 4.8
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 5.2  19 62   - - - - 2 65    600 0 240     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    380 11000   - - - - 0 .59 42 0 .024 4.8
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 2 29    40 330   - - - - 2 250    790 0 190     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    630 12000   - - - - 0 .53 41 0 .019 4.8
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 1 180    120 2100   - - - - 0 900    1100 0 150     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    860 10000   - - - - 0 .67 43 0 .018 4.8
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 0 900    450 8400   - - - - 0 .67 43 0 .018 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    530 10000   - - - - 0 .68 43 0 .018 5.0
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 1.8  17 20   - - - - 2 34    530 0 150     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    210 11000   - - - - 0 .54 43 0 .024 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900    1500 8800   - - - - 0 .52 41 0 .024 5.0
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    1700 10000   - - - - 0 .55 44 0 .018 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900    2800 8600   - - - - 0 .72 43 0 .027 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    2600 6000   - - - - 0 .59 44 0 .018 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 0 900    510 12000   - - - - 0 .52 44 0 .019 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 0 900    1300 7800   - - - - 0 .55 43 0 .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 0 900    510 8200   - - - - 0 .64 43 0 .020 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 0 900    1900 10000   - - - - 0 .72 44 0 .023 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 0 900    780 9100   - - - - 0 .70 44 0 .019 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 0 900    780 9400   - - - - 0 .68 44 0 .022 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 0 900    1500 10000   - - - - 0 .69 42 0 .022 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 0 900    2600 9500   - - - - 0 .57 41 0 .021 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 0 900    510 11000   - - - - 0 .41 43 0 .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 0 900    1100 11000   - - - - 0 .54 44 0 .022 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 0 900    480 10000   - - - - 0 .68 43 0 .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 0 900    1100 7700   - - - - 0 .74 45 0 .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 0 900    520 13000   - - - - 0 .55 43 0 .019 5.0
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 0 900    1100 9900   - - - - 0 .58 42 0 .018 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 0 900    1000 8300   - - - - 0 .62 43 0 .024 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 0 900    1100 11000   - - - - 0 .51 43 0 .020 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 0 900    1100 8000   - - - - 0 .51 43 0 .019 5.0
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 0 900    1200 8900   - - - - 0 .53 43 0 .018 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 0 900    1000 9400   - - - - 0 .65 43 0 .019 5.0
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 0 900    990 9500   - - - - 0 .52 41 0 .019 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 0 900    950 8900   - - - - 0 .39 43 0 .024 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 0 900    990 10000   - - - - 0 .66 43 0 .019 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 0 900    980 9700   - - - - 0 .54 43 0 .024 5.0
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 0 900    1000 12000   - - - - 0 .61 45 0 .018 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 0 22    74 250   - - - - 0 .63 45 0 .020 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 0 900    740 11000   - - - - 0 .63 43 0 .018 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 0 22    81 310   - - - - 0 .67 44 0 .022 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 0 900    720 13000   - - - - 0 .68 43 0 .019 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 0 24    110 310   - - - - 0 .52 43 0 .019 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 0 900    680 11000   - - - - 0 .58 41 0 .020 4.9
seq-pthread/cs_fib_false-unreach-call.i 0 900    140 11000   0 .72 41 0 .019 5.0 0 .66 49 0 .0037 .26 - -
seq-pthread/cs_fib_longer_false-unreach-call.i 0 900    180 11000   0 .44 44 0 .019 4.9 0 .64 48 0 .0011 .26 - -
seq-pthread/cs_lazy_false-unreach-call_true-termination.i 0 .34 12 3.5 0 91    460 -32 4.6   280   0 2.5  210 -32 .70   18    - -
seq-pthread/cs_queue_false-unreach-call.i 0 9.6  25 110   0 .62 43 0 .019 5.0 0 .67 49 0 .0016 .26 - -
seq-pthread/cs_read_write_lock_false-unreach-call.i 0 900    310 13000   0 .58 44 0 .019 4.8 0 .84 49 0 .0022 .29 - -
seq-pthread/cs_stack_false-unreach-call.i 0 900    400 13000   0 .59 43 0 .030 4.9 0 .66 49 0 .0013 .26 - -
seq-pthread/cs_stateful_false-unreach-call_true-termination.i 0 230    100 3200   0 92    540 -32 7.0   280   0 3.7  220 -32 .68   18    - -
seq-pthread/cs_dekker_true-unreach-call.i 1 1.1  14 14   - - - - 0 900    1700 0 170     3700  
seq-pthread/cs_fib_longer_true-unreach-call.i 0 900    220 12000   - - - - 0 .40 44 0 .020 4.9
seq-pthread/cs_fib_true-unreach-call.i 0 900    160 14000   - - - - 0 .70 44 0 .018 4.9
seq-pthread/cs_lamport_true-unreach-call.i 1 .85 14 10   - - - - 0 900    1700 0 960     2900  
seq-pthread/cs_peterson_true-unreach-call.i 1 .81 14 9.9 - - - - 0 900    1600 0 160     1100  
seq-pthread/cs_queue_true-unreach-call.i 0 26    33 340   - - - - 0 .55 43 0 .019 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i 0 900    350 9600   - - - - 0 .53 43 0 .022 4.9
seq-pthread/cs_stack_true-unreach-call.i 0 2.3  18 36   - - - - 0 .52 43 0 .030 5.0
seq-pthread/cs_stateful_true-unreach-call.i 1 230    110 3000   - - - - 0 900    1100 0 960     2300  
seq-pthread/cs_sync_true-unreach-call.i 0 900    180 14000   - - - - 0 .53 41 0 .017 4.8
seq-pthread/cs_szymanski_true-unreach-call.i 1 .82 14 8.6 - - - - 0 900    1700 0 960     2200  
seq-pthread/cs_time_var_mutex_true-unreach-call.i 1 2.2  16 28   - - - - 0 900    1400 0 960     2000  
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 273 143 130000 290000 1300000 170 117 1600 57000 170 -3936 740 36000 170 0 440 30000 170 -1705 82 2300 103 18 8000 20000 103 0 6900 90000
    correct results 126 135 12000 67000 110000 117 117 1000 51000 0 0 55 55 35 1000 9 18 730 4900 0
        correct true 9 18 44 170 510 0 0 0 0 9 18 730 4900 0
        correct false 117 117 12000 67000 100000 117 117 1000 51000 0 0 55 55 35 1000 0 0
    correct-unconfimed results 14 8 1500 1900 20000 0 0 0 0 0 0
        correct-unconfirmed true 8 8 440 390 5400 0 0 0 0 0 0
        correct-unconfirmed false 6 0 1100 1500 14000 0 0 0 0 0 0
    incorrect results 0 0 123 -3936 740 36000 0 55 -1760 37 1000 0 0
        incorrect true 0 0 123 -3936 740 36000 0 55 -1760 37 1000 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 143 117 -3936 0 -1705 18 0
Run set symbiotic.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-Sequentialized