Tool ULTIMATE Kojak 0.1.23-3204b741 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 02:33:02 CET 2017-12-03 03:22:18 CET 2017-12-03 03:55:21 CET 2017-12-03 04:22:06 CET 2017-12-03 04:36:43 CET 2017-12-03 00:36:56 CET 2017-12-03 03:32:10 CET
Run set ukojak.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-ukojak.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-ukojak.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/ukojak.2017-12-02_0233.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/ukojak.2017-12-02_0233.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/ukojak.2017-12-02_0233.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/ukojak.2017-12-02_0233.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/ukojak.2017-12-02_0233.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/ukojak.2017-12-02_0233.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 0 900   1700 12000 0 .63 44 0 .020 5.0 0 .80 47 0 .0015 .35 - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 0 900   5000 11000 0 .58 43 0 .020 4.9 0 .80 49 0 .0013 .34 - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 5.6 310 44 0 94    2500 1 9.7   330   0 4.2  210 1 .62   19    - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 7.7 390 58 0 93    2600 1 12     500   0 5.7  220 1 .72   19    - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 0 900   5100 11000 0 .63 43 0 .019 4.8 0 .98 49 0 .0020 .30 - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 26   910 220 -32 5.7  260 1 12     650   0 6.2  220 1 .65   19    - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 0 900   3700 12000 0 .54 44 0 .022 5.0 0 1.1  49 0 .0018 .26 - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 0 900   2000 11000 0 .53 43 0 .021 4.8 0 1.1  48 0 .0017 .30 - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 0 900   6000 12000 0 .55 43 0 .022 4.8 0 1.1  49 0 .0016 .34 - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 0 900   6000 14000 0 .56 41 0 .022 5.0 0 1.1  47 0 .0013 .26 - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 0 900   5900 14000 0 .56 44 0 .025 4.8 0 .82 47 0 .0017 .27 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 0 900   6100 13000 0 .55 42 0 .019 4.8 0 .92 49 0 .0016 .34 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 900   6100 12000 0 .56 43 0 .018 4.8 0 .89 49 0 .0016 .26 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 900   6100 13000 0 .53 43 0 .021 5.0 0 .84 49 0 .0012 .26 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 900   6200 12000 0 .60 43 0 .046 4.9 0 1.1  49 0 .0019 .30 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 900   6100 12000 0 .65 41 0 .047 4.8 0 .83 47 0 .0012 .34 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 900   6400 12000 0 .55 42 0 .019 4.9 0 .88 50 0 .0011 .31 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 900   6500 13000 0 .58 45 0 .019 4.9 0 1.1  49 0 .0016 .29 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 900   6300 12000 0 .59 41 0 .024 4.8 0 1.0  48 0 .0015 .27 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 900   6600 11000 0 .54 42 0 .019 4.9 0 1.0  49 0 .0015 .29 - -
systemc/toy1_false-unreach-call_false-termination.cil.c 0 900   5500 15000 0 .56 44 0 .024 4.9 0 .87 49 0 .0019 .26 - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 620   4600 10000 -32 7.2  280 1 38     820   0 5.4  230 1 .76   20    - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 0 900   1500 11000 0 .54 41 0 .024 4.9 0 1.0  47 0 .0016 .29 - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 0 900   2000 11000 0 .39 43 0 .023 4.9 0 1.1  47 0 .0014 .27 - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 0 900   1500 13000 0 .56 43 0 .021 4.8 0 1.0  49 0 .0013 .29 - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 0 900   5400 12000 0 .53 42 0 .019 4.8 0 .89 49 0 .0012 .34 - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 0 900   6600 14000 0 .52 41 0 .018 4.8 0 .96 48 0 .0020 .26 - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 0 900   6300 12000 0 .55 44 0 .019 4.8 0 .82 47 0 .0015 .34 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 0 900   6100 15000 0 .64 41 0 .021 4.8 0 .88 49 0 .0016 .30 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 0 900   6100 13000 0 .55 44 0 .022 4.8 0 1.1  50 0 .0018 .27 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 900   6300 12000 0 .52 43 0 .021 4.8 0 .96 49 0 .0016 .34 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 910   6400 13000 0 .57 41 0 .023 5.0 0 1.0  49 0 .0014 .34 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 900   6200 12000 0 .38 40 0 .023 4.8 0 1.0  49 0 .0015 .26 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 900   6300 12000 0 .59 45 0 .024 4.8 0 .85 49 0 .0014 .26 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 900   6400 12000 0 .55 44 0 .027 4.8 0 .97 50 0 .0015 .36 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 70   1300 760 -32 15    450 1 79     1700   0 25    1700 0 .89   21    - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 79   1300 910 -32 13    460 1 71     1800   0 28    2000 0 .82   20    - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 900   3000 12000 - - - - 0 .66 41 0 .020 5.0
systemc/kundu_true-unreach-call_false-termination.cil.c 0 900   2300 12000 - - - - 0 .59 43 0 .019 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 900   6500 12000 - - - - 0 .54 41 0 .019 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 900   6500 13000 - - - - 0 .62 43 0 .019 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 900   6500 12000 - - - - 0 .56 43 0 .020 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 910   6500 12000 - - - - 0 .66 41 0 .018 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 910   6500 11000 - - - - 0 .55 43 0 .018 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 900   2100 13000 - - - - 0 .51 45 0 .021 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 900   3000 11000 - - - - 0 .53 43 0 .020 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 900   2400 11000 - - - - 0 .40 43 0 .021 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900   5000 12000 - - - - 0 .55 44 0 .018 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 900   1800 14000 - - - - 0 .63 43 0 .018 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 900   3400 12000 - - - - 0 .58 41 0 .019 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 900   2300 13000 - - - - 0 .69 44 0 .021 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 900   6100 13000 - - - - 0 .60 45 0 .018 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 900   6100 12000 - - - - 0 .54 41 0 .018 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 900   6000 14000 - - - - 0 .66 43 0 .023 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 900   6100 12000 - - - - 0 .53 41 0 .019 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 900   6100 12000 - - - - 0 .55 43 0 .019 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 900   6200 13000 - - - - 0 .69 41 0 .019 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 900   6200 12000 - - - - 0 .63 43 0 .019 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 900   6300 13000 - - - - 0 .67 43 0 .017 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 900   6200 11000 - - - - 0 .40 43 0 .022 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 900   6400 12000 - - - - 0 .64 44 0 .020 4.9
systemc/toy_true-unreach-call_false-termination.cil.c 0 900   5400 12000 - - - - 0 .67 42 0 .018 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 0 900   1800 9300 0 .55 41 0 .018 5.0 0 1.1  50 0 .0017 .27 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   1400 12000 0 .53 44 0 .019 4.8 0 1.1  49 0 .0019 .26 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 0 900   1800 9700 0 .54 41 0 .025 4.8 0 1.1  52 0 .0012 .26 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 0 900   1800 10000 0 .53 41 0 .023 4.9 0 .79 47 0 .0017 .26 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 0 900   1900 10000 0 .54 43 0 .018 4.9 0 .92 50 0 .0015 .32 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 0 900   1600 12000 0 .55 42 0 .019 5.0 0 1.1  49 0 .0015 .28 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 0 900   1700 11000 0 .55 42 0 .021 5.0 0 .84 47 0 .0014 .35 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 0 900   1700 11000 0 .70 43 0 .024 4.8 0 1.1  47 0 .0012 .34 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   2700 10000 0 .62 43 0 .021 4.8 0 .91 49 0 .0015 .29 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   2500 12000 0 .41 44 0 .021 4.8 0 .90 49 0 .0013 .27 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   2000 14000 0 .55 44 0 .025 5.0 0 .82 47 0 .0017 .26 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   2900 15000 0 .54 43 0 .021 4.8 0 .89 49 0 .0019 .29 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 170   2700 1900 -32 6.8  280 1 29     730   0 5.8  220 -32 .80   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 140   2200 1900 -32 5.2  270 1 33     820   0 5.8  220 -32 .87   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 54   1300 560 -32 6.6  280 1 48     810   0 4.7  220 -32 .85   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 46   1000 450 -32 3.6  280 1 30     740   0 5.3  220 -32 .82   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 150   2400 2000 -32 6.3  280 0 97     780   0 5.5  220 -32 .87   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 140   2200 1800 -32 5.3  270 0 97     1300   0 3.4  220 -32 .78   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 180   2800 2000 -32 6.6  270 0 96     800   0 4.7  220 -32 .72   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 120   2000 1300 -32 6.3  270 0 96     960   0 5.4  220 -32 .72   21    - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   4000 13000 0 .53 44 0 .019 4.8 0 1.1  48 0 .0014 .30 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   5200 12000 0 .59 44 0 .026 5.0 0 .83 47 0 .0015 .29 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   4600 10000 0 .57 41 0 .021 4.9 0 1.0  51 0 .0015 .34 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 690   3900 11000 -32 7.7  300 -32 9.7   420   0 6.4  260 -32 .99   23    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   2800 11000 0 .60 44 0 .018 4.9 0 .85 49 0 .0014 .29 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 900   5200 11000 0 .55 43 0 .019 4.9 0 .90 50 0 .0017 .29 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900   5200 12000 0 .57 44 0 .029 4.9 0 1.1  47 0 .0015 .31 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 900   5200 13000 0 .61 46 0 .018 4.8 0 1.1  49 0 .0015 .35 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900   3600 12000 0 .57 44 0 .025 4.8 0 1.2  49 0 .0036 .34 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   4700 11000 0 .53 43 0 .024 4.8 0 .99 49 0 .0018 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   5300 10000 0 .52 41 0 .019 4.8 0 1.0  50 0 .0015 .31 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   5200 11000 0 .55 41 0 .019 4.9 0 .92 49 0 .0018 .27 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   5300 11000 0 .57 45 0 .019 4.8 0 1.1  48 0 .0016 .32 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   5200 12000 0 .65 43 0 .018 5.0 0 .90 49 0 .0012 .35 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900   5400 13000 0 .55 43 0 .019 5.0 0 .97 49 0 .0017 .30 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900   5300 14000 0 .53 41 0 .023 4.8 0 1.0  47 0 .0019 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900   5100 12000 0 .54 41 0 .018 4.8 0 .92 49 0 .0016 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900   5300 13000 0 .54 41 0 .020 5.0 0 1.1  49 0 .0014 .26 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   5300 11000 0 .39 43 0 .026 5.0 0 1.0  52 0 .0013 .28 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 97   1300 1200 0 .55 43 0 .023 4.8 0 .85 47 0 .0018 .34 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 65   1100 680 0 .70 43 0 .024 4.8 0 .97 49 0 .0017 .26 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 87   2400 860 0 .64 41 0 .018 5.0 0 1.0  50 0 .0011 .35 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 56   1200 540 -32 4.7  270 1 22     670   0 2.9  220 -32 .83   20    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   7900 12000 0 .55 41 0 .019 5.0 0 1.1  48 0 .0041 .30 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   6800 13000 0 .40 43 0 .017 5.0 0 1.1  48 0 .0013 .34 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900   6900 14000 0 .54 42 0 .024 4.8 0 1.1  51 0 .0015 .28 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   6500 15000 0 .55 43 0 .024 4.8 0 .85 47 0 .0016 .29 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   5400 12000 0 .61 42 0 .020 4.8 0 1.2  49 0 .0016 .26 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   5300 13000 0 .62 41 0 .019 5.0 0 .90 49 0 .0016 .26 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   6500 14000 0 .53 41 0 .022 4.8 0 .88 49 0 .0021 .29 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   6300 12000 0 .53 41 0 .018 4.8 0 1.1  47 0 .0018 .31 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900   5800 15000 0 .54 41 0 .018 4.9 0 .81 49 0 .0013 .35 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   6500 14000 0 .56 44 0 .026 4.9 0 1.0  49 0 .0012 .30 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 0 900   8200 11000 0 .53 41 0 .021 4.9 0 .83 51 0 .0015 .34 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   6400 14000 0 .61 41 0 .049 4.8 0 1.1  49 0 .0019 .30 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 560   2000 7200 -32 5.4  270 1 13     590   0 4.9  220 -32 .71   21    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   1600 11000 0 .52 42 0 .022 4.8 0 1.1  51 0 .0016 .26 - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   2200 11000 0 .53 43 0 .018 4.9 0 1.0  49 0 .0012 .26 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   1800 11000 0 .52 42 0 .018 4.8 0 1.2  48 0 .0016 .26 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   2000 11000 0 .45 45 0 .020 4.9 0 .93 47 0 .0016 .26 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   1200 10000 0 .67 43 0 .018 4.8 0 1.1  47 0 .0014 .28 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   1800 12000 0 .51 43 0 .024 4.8 0 .96 47 0 .0016 .26 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   2000 11000 0 .51 41 0 .020 4.8 0 1.1  50 0 .0016 .29 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   2400 12000 0 .55 43 0 .020 5.0 0 .93 49 0 .0012 .29 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900   1900 11000 0 .51 41 0 .025 4.8 0 .82 47 0 .0017 .26 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   2300 12000 0 .60 44 0 .019 4.8 0 1.1  51 0 .0018 .29 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   3000 12000 0 .53 41 0 .020 4.8 0 .90 49 0 .0020 .26 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 0 900   4400 13000 0 .54 41 0 .022 4.8 0 .81 47 0 .0015 .30 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   2200 11000 0 .57 45 0 .025 4.8 0 .98 50 0 .0014 .26 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   2800 10000 0 .55 44 0 .023 5.0 0 1.1  47 0 .0020 .29 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 0 900   3600 12000 0 .53 44 0 .021 5.0 0 .79 47 0 .0015 .27 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   2200 11000 0 .61 43 0 .020 4.9 0 .67 49 0 .0035 .34 - -
seq-