Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 16:01:31 CET 2017-12-01 08:31:47 CET 2017-12-01 08:56:50 CET 2017-12-01 08:59:39 CET 2017-12-01 09:01:39 CET 2017-12-01 08:10:33 CET 2017-12-01 08:38:18 CET
Run set depthk.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-depthk.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-depthk.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-11-30_1601.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/depthk.2017-11-30_1601.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-11-30_1601.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/depthk.2017-11-30_1601.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-11-30_1601.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/depthk.2017-11-30_1601.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 480    280 5900   -32 5.4  270 -32 5.9   250   0 3.9  230 1 .69   19    - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 480    180 5500   -32 6.0  280 -32 5.9   250   0 3.9  220 1 .72   19    - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .47 110 6.5 0 94    2500 -32 5.3   250   0 2.4  220 1 .65   18    - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .52 110 6.1 0 94    3100 -32 5.7   250   0 3.4  210 1 .63   19    - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 550    15000 5900   -32 17    600 -32 6.5   280   0 5.6  290 1 .85   21    - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 2.4  110 28   -32 3.2  270 -32 5.7   240   0 3.9  220 1 .66   19    - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1 5.7  130 67   -32 3.7  270 -32 7.1   300   0 4.0  220 1 .69   19    - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1 79    1200 850   -32 5.7  270 -32 6.1   270   0 4.1  220 1 .72   19    - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1 490    15000 6600   -32 6.8  280 -32 6.3   270   0 4.2  220 1 .73   19    - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1 490    11000 5600   -32 7.5  280 -32 6.5   280   0 4.5  220 1 .76   20    - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 1 490    8700 6300   -32 7.8  320 -32 4.8   290   0 5.0  270 1 .80   20    - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 1 490    5900 7100   -32 8.8  370 -32 7.3   300   0 5.6  280 1 .80   21    - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 1 500    5800 6500   -32 9.4  380 -32 7.3   300   0 5.6  280 1 .84   20    - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 1 500    6900 6700   -32 10    470 -32 7.6   310   0 6.4  340 1 .95   22    - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 1 510    7300 5800   -32 11    480 -32 7.9   320   0 6.9  350 1 .99   23    - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 1 520    12000 7500   -32 11    480 -32 8.4   330   0 6.6  350 1 1.0    23    - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 1 520    13000 7400   -32 7.9  490 -32 8.2   340   0 6.6  350 1 1.1    24    - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 1 530    12000 7200   -32 13    500 -32 8.1   350   0 7.0  360 1 1.1    24    - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 1 520    13000 6300   -32 7.8  490 -32 8.0   340   0 6.7  350 1 1.1    24    - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 1 530    12000 6400   -32 12    480 -32 5.4   340   0 6.6  340 1 1.0    23    - -
systemc/toy1_false-unreach-call_false-termination.cil.c 1 47    150 500   -32 6.0  280 -32 6.3   260   0 4.0  220 1 .69   19    - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 480    250 5600   -32 6.3  270 -32 6.3   260   0 4.4  230 1 .70   19    - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 1.2  110 16   -32 4.6  270 -32 5.6   240   0 3.5  220 1 .64   19    - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 2.4  110 32   -32 5.1  270 -32 5.8   250   0 3.6  220 1 .74   18    - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 23    370 260   -32 5.5  280 -32 6.0   260   0 3.8  220 1 .70   19    - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 480    15000 5800   -32 6.3  280 -32 6.5   270   0 4.1  220 1 .72   19    - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 480    14000 5600   -32 7.4  280 -32 4.6   280   0 4.3  220 1 .73   19    - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1 480    8700 6900   -32 7.1  290 -32 6.6   270   0 4.5  220 1 .75   20    - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 1 480    3700 5600   -32 8.2  330 -32 6.9   290   0 5.1  230 1 .78   20    - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 1 480    6400 5400   -32 8.8  360 -32 7.2   300   0 5.4  230 1 .81   20    - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 1 490    6900 5200   -32 9.0  410 -32 7.2   300   0 5.3  230 1 .84   20    - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 1 490    8200 5700   -32 9.4  310 -32 7.5   310   0 6.2  290 1 .89   21    - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 1 490    9100 5900   -32 11    430 -32 7.9   320   0 6.3  290 1 .90   21    - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 1 490    12000 6800   -32 11    320 -32 7.8   330   0 5.9  330 1 1.0    22    - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 1 490    13000 6300   -32 11    470 -32 7.7   340   0 6.1  330 1 .97   22    - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 480    13000 5800   -32 12    460 -32 7.5   330   0 5.1  220 1 .80   19    - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 480    12000 6200   -32 15    450 -32 7.8   340   0 4.5  220 1 .82   19    - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 900    770 12000   - - - - 0 .52 43 0 .018 5.0
systemc/kundu_true-unreach-call_false-termination.cil.c 0 890    310 11000   - - - - 0 .77 41 0 .019 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 900    1300 8400   - - - - 0 .55 43 0 .020 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 900    1400 8800   - - - - 0 .53 43 0 .018 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 900    1500 12000   - - - - 0 .62 41 0 .020 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 900    1300 9400   - - - - 0 .51 43 0 .019 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 890    1200 9200   - - - - 0 .72 43 0 .027 4.8
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 900    480 9500   - - - - 0 .72 41 0 .018 4.9
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 900    470 7200   - - - - 0 .64 43 0 .022 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 900    930 8100   - - - - 0 .53 43 0 .019 4.8
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900    15000 10000   - - - - 0 .57 43 0 .019 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 900    800 9300   - - - - 0 .51 41 0 .021 5.0
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 890    590 11000   - - - - 0 .52 43 0 .019 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 890    1200 12000   - - - - 0 .52 41 0 .022 4.8
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 890    14000 11000   - - - - 0 .53 43 0 .018 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 890    11000 11000   - - - - 0 .68 43 0 .021 5.0
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 890    8700 11000   - - - - 0 .60 42 0 .019 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 890    7300 11000   - - - - 0 .60 43 0 .022 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 890    7200 12000   - - - - 0 .71 44 0 .018 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 890    7800 11000   - - - - 0 .53 43 0 .019 5.0
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 890    10000 12000   - - - - 0 .66 41 0 .019 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 890    12000 10000   - - - - 0 .72 43 0 .035 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 890    14000 11000   - - - - 0 .66 43 0 .019 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 890    12000 10000   - - - - 0 .64 43 0 .018 4.8
systemc/toy_true-unreach-call_false-termination.cil.c 0 890    220 11000   - - - - 0 .52 43 0 .020 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 1 1.3  85 17   -32 7.5  330 -32 6.7   290   0 4.5  270 1 .76   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .90 85 11   -32 6.2  260 -32 6.9   290   0 4.2  220 1 .78   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 1 2.6  86 41   -32 7.7  330 -32 7.0   300   0 4.7  270 1 .80   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 1 2.2  85 27   -32 6.7  270 -32 6.8   280   0 3.0  220 1 .78   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 1 2.6  86 36   -32 7.8  330 -32 7.2   290   0 4.9  270 1 .78   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 1 2.2  85 29   -32 6.6  270 -32 7.2   290   0 4.5  220 1 .80   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 1 5.5  86 67   -32 8.2  340 -32 7.0   290   0 5.8  290 1 .89   21    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 1 7.3  85 97   -32 7.8  290 -32 6.6   290   0 5.4  290 1 .88   21    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 4.1  200 56   -32 8.1  310 -32 7.6   400   0 5.4  280 1 .82   20    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 3.9  190 61   -32 5.0  280 -32 8.5   350   0 5.3  280 1 .82   20    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 4.1  190 52   -32 7.8  280 -32 7.4   370   0 5.0  270 1 .87   20    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 3.8  190 44   -32 7.2  280 -32 7.3   350   0 5.1  270 1 .80   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 6.2  85 89   -32 6.1  260 -32 4.6   280   0 4.4  270 1 .77   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 5.5  85 83   -32 5.4  260 -32 6.9   280   0 4.1  220 1 .78   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 2.3  85 29   -32 5.8  270 -32 6.7   280   0 4.4  220 1 .76   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 2.2  85 26   -32 5.4  260 -32 6.6   280   0 4.0  220 1 .76   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 4.2  86 60   -32 5.9  270 -32 6.5   280   0 4.7  260 1 .81   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 4.9  85 64   -32 5.5  270 -32 6.4   290   0 4.2  220 1 .80   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 4.5  85 45   -32 6.2  260 -32 6.6   290   0 4.3  260 1 .78   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 5.3  85 85   -32 5.6  260 -32 6.5   280   0 4.2  220 1 .76   19    - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    220 12000   0 .55 43 0 .020 4.8 0 .93 49 0 .0013 .29 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 15    97 190   -32 7.9  320 -32 8.1   370   0 5.9  280 1 1.1    21    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 22    97 300   -32 7.5  280 -32 8.6   370   0 6.0  280 1 1.0    20    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 11    100 140   -32 8.2  310 -32 9.1   380   0 5.5  290 1 1.0    20    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 13    98 180   -32 7.0  270 -32 8.0   370   0 5.5  280 1 1.1    20    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 1 17    99 220   -32 8.6  320 -32 9.7   370   0 6.1  290 1 1.1    21    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 23    98 280   -32 4.8  280 -32 9.4   360   0 5.6  290 1 1.0    21    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 1 19    98 260   -32 5.7  310 -32 8.2   370   0 5.5  280 1 1.0    21    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 28    98 410   -32 6.8  280 -32 9.7   420   0 5.8  290 1 1.0    21    - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    150 12000   0 .55 43 0 .020 4.9 0 .91 50 0 .0013 .26 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 60    150 760   -32 12    500 -32 12     450   0 7.8  350 1 1.6    23    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 98    150 1100   -32 9.9  390 -32 12     470   0 6.9  330 1 1.5    22    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 47    140 650   -32 7.7  450 -32 12     450   0 4.8  330 1 1.5    22    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 75    130 960   -32 9.4  370 -32 13     470   0 7.8  370 1 1.5    22    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 1 65    130 870   -32 12    410 -32 15     460   0 7.1  340 1 1.5    23    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 110    150 1200   -32 9.7  380 -32 13     460   0 6.8  330 1 1.5    22    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 1 91    170 1300   -32 11    470 -32 11     440   0 8.4  350 1 1.6    23    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 150    180 2100   -32 6.4  330 -32 12     460   0 7.1  310 1 1.5    23    - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    230 9700   0 .54 44 0 .018 4.9 0 .91 51 0 .0012 .26 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 4.2  81 54   -32 5.2  260 -32 5.6   250   0 4.0  220 1 .70   19    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 5.9  80 76   -32 4.6  260 -32 6.1   260   0 3.9  220 1 .70   19    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 4.2  80 42   -32 5.2  260 -32 5.8   250   0 3.9  220 1 .71   19    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 5.8  80 70   -32 4.9  260 -32 4.0   250   0 2.7  210 1 .71   19    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 7.4  83 98   -32 6.7  280 -32 6.2   260   0 4.5  230 1 .74   20    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 11    83 120   -32 5.1  260 -32 6.2   260   0 4.3  220 1 .79   20    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 11    85 150   -32 6.2  270 -32 7.3   270   0 4.2  220 1 .74   20    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 11    82 150   -32 5.2  260 -32 6.2   270   0 4.1  220 1 .76   20    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 23    86 310   -32 7.8  280 -32 6.9   280   0 5.2  280 1 .86   20    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 23    87 320   -32 6.4  280 -32 7.0   280   0 4.9  230 1 .81   20    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 22    87 250   -32 7.5  280 -32 4.6   270   0 5.2  280 1 .79   20    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 23    85 300   -32 6.5  280 -32 4.5   280   0 4.7  220 1 .79   20    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 46    91 690   -32 5.6  310 -32 6.9   290   0 5.7  310 1 .85   21    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 51    88 620   -32 6.3  290 -32 7.1   300   0 5.4  280 1 .94   21    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 1 27    88 340   -32 5.5  310 -32 6.9   290   0 5.3  290 1 .85   21    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 48    90 680   -32 6.7  280 -32 6.7   280   0 5.5  290 1 .85   21    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 4.0  79 46   -32 4.9  270 -32 5.9   260   0 3.9  220 1 .70   19    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 6.1  79 78   -32 5.0  260 -32 5.3   250   0 4.3  230 1 .71   19    - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    200 13000   0 .54 45 0 .020 4.9 0 .86 49 0 .0012 .29 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 11    81 130   -32 6.4  280 -32 6.2   260   0 4.5  230 1 .74   20    - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 12    80 170   -32 5.3  270 -32 6.2   260   0 4.3  220 1 .74   20    - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    210 13000   0 .55 43 0 .023 4.8 0 .90 50 0 .0012 .29 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 21    83 300   -32 7.2  280 -32 6.7   270   0 5.5  280 1 .89   20    - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 24    83 320   -32 6.3  300 -32 6.1   280   0 5.9  240 1 .79   20    - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    200 11000   0 .53 41 0 .023 4.8 0 .85 49 0 .0015 .26 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 45    86 580   -32 7.4  290 -32 6.8   270   0 5.8  290 1 .85   22    - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 51    85 640   -32 7.2  310 -32 6.6   280   0 5.8  290 1 .86   21    - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    150 10000   0 .53 45 0 .019 4.8 0 .87 49 0 .0012 .32 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 1 100    110 1300   -32 9.0  380 -32 8.1   290   0 5.9  330 1 .92   22    - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 110    110 1400   -32 7.5  350 -32 7.1   290   0 5.8  320 1 .92   22    - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 890    150 12000   0