Tool CPAchecker 1.6.1-svn 26758M 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-11-30 11:20:26 CET 2017-12-01 07:36:48 CET 2017-12-01 08:27:40 CET 2017-12-01 08:32:13 CET 2017-12-01 08:39:14 CET 2017-12-01 04:24:39 CET 2017-12-01 07:43:13 CET
Run set cpa-bam-slicing.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cpa-bam-slicing.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cpa-bam-slicing.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -ldv-bam-svcomp -disable-java-assertions -heap 10000m -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-slicing.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/cpa-bam-slicing.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-slicing.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/cpa-bam-slicing.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-slicing.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-bam-slicing.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 1 18   690 140 -32 5.7  270 1 16     660   0 3.9  220 1 .66   20    - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 19   760 150 -32 6.2  270 1 19     680   0 3.9  220 1 .71   20    - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 3.9 290 32 0 93    2500 1 4.3   280   0 3.1  210 1 .63   19    - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 4.2 300 40 0 93    2800 1 11     490   0 3.2  210 1 .64   19    - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 19   740 150 -32 22    600 0 96     5300   0 4.4  220 1 .73   25    - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 7.0 380 53 -32 4.7  260 1 19     650   0 3.3  210 1 .65   20    - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1 14   520 100 -32 5.4  270 1 29     760   0 3.9  220 1 .65   20    - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1 25   1100 190 -32 6.1  280 1 40     1100   0 4.0  220 0 .65   21    - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1 95   3700 520 -32 8.0  280 1 55     1400   0 2.9  220 0 .69   21    - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1 440   10000 2900 -32 7.3  280 1 70     2200   0 4.2  220 0 .70   22    - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 0 910   11000 4300 0 .52 41 0 .021 4.9 0 .91 49 0 .0015 .26 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 0 910   11000 4700 0 .57 43 0 .018 4.8 0 .87 49 0 .0012 .27 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 910   11000 4200 0 .62 41 0 .020 4.9 0 .88 49 0 .0012 .26 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 900   11000 4800 0 .54 46 0 .019 4.9 0 .87 49 0 .0026 .26 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 910   11000 4800 0 .55 42 0 .020 4.9 0 .90 49 0 .0015 .26 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 900   11000 5800 0 .40 40 0 .019 4.9 0 .92 49 0 .0014 .28 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 910   11000 6100 0 .52 43 0 .019 4.9 0 .80 50 0 .0014 .26 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 900   11000 5300 0 .66 43 0 .019 4.8 0 .66 49 0 .0018 .29 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 910   11000 5600 0 .51 41 0 .023 5.0 0 .83 48 0 .0013 .26 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 910   11000 5300 0 .68 45 0 .018 4.8 0 .88 47 0 .0013 .29 - -
systemc/toy1_false-unreach-call_false-termination.cil.c 1 43   1700 300 -32 6.4  280 1 29     780   0 3.9  220 1 .68   20    - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 41   1700 300 -32 6.0  270 1 34     820   0 3.8  220 1 .66   20    - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 5.8 310 54 -32 5.4  260 1 14     540   0 3.4  210 1 .64   19    - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 9.0 440 69 -32 4.9  260 1 26     660   0 3.6  220 1 .65   20    - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 16   700 120 -32 5.8  270 1 36     860   0 3.9  220 1 .64   20    - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 33   1700 230 -32 7.0  280 1 44     1100   0 4.2  220 1 .74   21    - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 130   4600 750 -32 7.0  280 1 61     1500   0 4.2  220 1 .71   21    - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 0 910   11000 4200 0 .56 45 0 .021 4.8 0 .93 49 0 .0013 .26 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 0 900   11000 5100 0 .54 43 0 .019 4.9 0 .84 49 0 .0013 .26 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 0 910   11000 4500 0 .56 43 0 .021 5.0 0 .90 50 0 .0012 .26 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 900   11000 4800 0 .55 42 0 .018 4.8 0 .66 50 0 .0014 .26 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 910   11000 4300 0 .58 42 0 .018 4.9 0 .93 50 0 .0013 .26 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 910   11000 5300 0 .59 43 0 .020 4.9 0 .85 49 0 .0015 .26 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 900   11000 5700 0 .58 43 0 .017 5.0 0 .88 48 0 .0014 .28 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 910   11000 5800 0 .57 44 0 .018 4.9 0 .88 50 0 .0013 .27 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 0 8.5 420 71 -32 14    390 -32 8.9   340   0 4.8  230 0 .76   21    - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 0 9.2 430 83 -32 13    450 -32 5.8   350   0 4.9  220 0 .78   21    - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 1 9.9 480 82 - - - - 0 900    6900 -16 78     1700  
systemc/kundu_true-unreach-call_false-termination.cil.c 1 20   1100 180 - - - - 0 910    7000 -16 71     860  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 1 11   490 80 - - - - 0 920    5800 -16 15     530  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 1 12   490 96 - - - - 0 900    5800 -16 14     540  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 1 14   640 110 - - - - 0 910    5700 -16 18     510  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 1 18   680 140 - - - - 0 910    5800 -16 15     530  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 1 19   950 180 - - - - 0 920    5800 -16 14     530  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 1 34   1500 270 - - - - 0 900    6200 -16 8.4   300  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 1 25   940 210 - - - - 0 910    5900 -16 18     500  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 1 4.4 290 38 - - - - 0 540    7000 -16 20     580  
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900   7400 8900 - - - - 0 .69 44 0 .020 5.0
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 1 9.9 480 78 - - - - 0 .65 44 0 .022 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 1 16   670 150 - - - - 0 .56 41 0 .021 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 1 41   1700 280 - - - - 0 .54 42 0 .018 5.0
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 1 210   5800 1400 - - - - 0 900    5900 -16 40     740  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 910   11000 4700 - - - - 0 .53 44 0 .018 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 910   11000 4000 - - - - 0 .54 43 0 .018 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 900   11000 4600 - - - - 0 .52 41 0 .020 5.0
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 910   11000 4900 - - - - 0 .57 42 0 .022 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 900   11000 5200 - - - - 0 .64 41 0 .020 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 900   11000 5500 - - - - 0 .56 41 0 .023 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 910   11000 4900 - - - - 0 .72 43 0 .019 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 910   11000 6100 - - - - 0 .54 43 0 .021 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 910   11000 6400 - - - - 0 .68 44 0 .020 4.8
systemc/toy_true-unreach-call_false-termination.cil.c 1 140   5000 1000 - - - - 0 690    7000 -16 14     520  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 0 15   610 110 -32 8.3  280 -32 7.2   310   0 4.3  230 -32 .71   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 14   620 110 -32 6.4  280 -32 7.1   320   0 4.1  220 -32 .68   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 0 30   1400 230 -32 7.8  280 -32 6.9   320   0 4.2  230 -32 .70   21    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 0 29   1300 220 -32 6.4  280 -32 6.7   310   0 4.1  220 -32 .71   21    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 0 37   1400 300 -32 8.3  330 -32 6.7   310   0 4.2  220 -32 .70   21    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 0 37   1500 270 -32 6.7  280 -32 8.4   320   0 4.1  220 -32 .71   21    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 0 900   7000 9400 0 .52 42 0 .019 4.8 0 .92 50 0 .0013 .27 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 0 900   6300 9500 0 .54 45 0 .018 5.0 0 .88 47 0 .0015 .30 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 52   2200 470 -32 7.4  270 -32 6.9   300   0 4.1  220 -32 .72   22    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 56   2300 460 -32 6.8  270 -32 7.0   300   0 4.5  220 -32 .70   22    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 75   3700 630 -32 9.1  310 -32 6.8   300   0 4.3  220 -32 .67   22    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 67   3700 580 -32 6.5  280 -32 8.0   300   0 3.1  220 -32 .68   22    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 110   3200 1000 -32 7.9  280 -32 6.6   280   0 4.2  220 -32 .67   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 170   3800 2000 -32 5.2  270 -32 6.7   280   0 4.2  220 -32 .68   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 12   610 110 -32 6.2  280 1 37     770   0 4.1  220 -32 .67   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 11   610 90 -32 5.7  270 1 89     940   0 4.4  220 -32 .65   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 13   610 120 -32 6.1  280 0 97     1100   0 4.2  230 -32 .68   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 14   590 120 -32 6.0  280 0 96     1500   0 4.0  220 -32 .68   21    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 900   4000 5900 0 .55 41 0 .025 4.8 0 .81 49 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900   8200 8200 0 .52 43 0 .019 4.9 0 .80 49 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   4200 5300 0 .59 41 0 .019 4.9 0 .87 48 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 910   11000 6800 0 .52 41 0 .018 4.8 0 .81 49 0 .0016 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 910   9800 11000 0 .53 44 0 .020 4.9 0 .86 47 0 .0016 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900   8400 7800 0 .57 43 0 .049 4.9 0 .83 47 0 .0015 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   8300 8100 0 .54 42 0 .019 4.9 0 .87 49 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 900   8100 9100 0 .54 41 0 .019 4.9 0 .66 49 0 .0013 .29 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900   8200 7700 0 .54 43 0 .019 4.8 0 .81 49 0 .0012 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 900   8200 7600 0 .64 42 0 .018 4.8 0 .88 49 0 .0022 .29 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900   8100 9200 0 .54 41 0 .019 4.9 0 .88 50 0 .0012 .28 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   8300 8200 0 .57 41 0 .018 4.9 0 .87 49 0 .0013 .29 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   4400 11000 0 .53 41 0 .019 4.8 0 .87 49 0 .0012 .34 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   3900 11000 0 .57 43 0 .018 5.0 0 .89 47 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   10000 7400 0 .57 41 0 .020 5.0 0 .85 49 0 .0015 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   10000 8100 0 .53 44 0 .020 4.9 0 .86 47 0 .0013 .35 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900   10000 7700 0 .55 41 0 .019 5.0 0 .83 49 0 .0012 .31 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900   10000 8300 0 .74 43 0 .020 4.9 0 .85 47 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900   10000 8800 0 .57 43 0 .018 4.8 0 .85 49 0 .0013 .27 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900   10000 8100 0 .56 44 0 .020 4.9 0 .86 49 0 .0014 .26 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   10000 7600 0 .54 44 0 .018 4.8 0 .66 49 0 .0017 .26 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 910   11000 9800 0 .56 42 0 .019 4.8 0 .89 48 0 .0013 .26 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   4500 10000 0 .68 42 0 .019 5.0 0 .87 49 0 .0014 .35 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 900   4900 10000 0 .59 43 0 .019 4.8 0 .83 50 0 .0013 .26 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   4400 14000 0 .55 43 0 .019 4.9 0 .84 49 0 .0017 .26 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 910   9500 9700 0 .68 43 0 .019 4.9 0 .85 50 0 .0012 .26 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   4900 11000 0 .69 43 0 .019 4.8 0 .84 50 0 .0016 .27 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900   5900 10000 0 .57 43 0 .019 4.8 0 .82 47 0 .0013 .27 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   4800 11000 0 .64 42 0 .020 4.9 0 .85 49 0 .0013 .26 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   4800 9600 0 .58 44 0 .019 4.8 0 .65 49 0 .0012 .26 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   4800 12000 0 .57 44 0 .019 4.9 0 .86 47 0 .0014 .26 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   7100 9200 0 .58 41 0 .023 4.8 0 .87 49 0 .0014 .28 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   8700 9300 0 .62 45 0 .023 4.8 0 .89 47 0 .0013 .27 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900   9800 9600 0 .59 44 0 .023 4.8 0 .85 49 0 .0015 .29 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   8900 8300 0 .56 44 0 .019 4.9 0 .84 48 0 .0014 .26 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 0 900   9700 9200 0 .54 41 0 .019 4.8 0 .90 47 0 .0012 .29 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900   4000 4500 0 .53 43 0 .029 4.9 0 .89 49 0 .0013 .26 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 58   2000 540 -32 4.9  270 1 9.2   590   0 3.8  220 -32 .78   20    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 86   2300 1000 -32 4.5  270 1 26     680   0 3.8  220 -32 .64   21    - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c -32 780   3900 9200 0 92    750 0 96     1700   0 1.0  54 0 .086  9.2  - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   5400 11000 0 .55 44 0 .020 4.9 0 1.1  49 0 .0013 .26 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   5000 11000 0 .52 42 0 .021 5.0 0 .83 49 0 .0021 .29 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   8800 9300 0 .57 41 0 .020 4.9 0 .90 49 0 .0015 .26 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 910   8400 9200 0 .56 41 0 .019 4.8 0 .82 49 0 .0014 .26 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   4100 6000 0 .52 41 0 .020 5.0 0 .88 51 0 .0013 .26 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   8200 9000 0 .60 44 0 .018 5.0 0 .85 47 0 .0013 .26 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900   8100 9500 0 .62 41 0 .020 5.0 0 .86 49 0 .0013 .26 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   7500 10000 0 .54 41 0 .019 4.9 0 .65 49 0 .0013 .26 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 910   8200 8600 0 .53 44 0 .018 4.9 0 .88 49 0 .0016 .26 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 0 910   9600 8800 0 .57 44 0 .018 4.9 0 .82 49 0 .0014 .30 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900   8300 8600 0 .52 41 0 .019 4.8 0 .88 47 0 .0013 .29 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900   8600 11000 0 .54 41 0