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