Tool SMACK 1.9.3 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
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.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-07 19:13:55 CET 2018-12-08 22:05:35 CET 2018-12-08 23:40:49 CET 2018-12-08 23:45:33 CET 2018-12-12 21:01:56 CET 2018-12-08 20:48:05 CET 2018-12-08 22:13:47 CET
Run set smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-smack.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -w error-witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -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 -witness ../../results-verified/smack.2018-12-07_1913.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/smack.2018-12-07_1913.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/smack.2018-12-07_1913.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/smack.2018-12-07_1913.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/smack.2018-12-07_1913.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/smack.2018-12-07_1913.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.8 5.5 110 83 .80 0      false(unreach-call) 1 wit inspect 6.9  3.8  270 0   0      true -32 --- inspect 7.5   4.3   310   .62 0      false(unreach-call) 1 --- inspect 5.2  2.9  270 0   0      false(unreach-call) 1 --- inspect .66   .65   21    .10  0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.5 4.5 100 55 .90 0      false(unreach-call) 1 wit inspect 5.7  3.1  270 0   0      true -32 --- inspect 7.5   4.3   310   .62 0      unknown 0 --- inspect 6.9  3.8  270 0   0      false(unreach-call) 1 --- inspect .67   .66   21    .12  0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.5 3.5 94 37 .75 0      false(unreach-call) 1 wit inspect 4.8  2.6  260 0   .0082 false(unreach-call) 1 --- inspect 8.4   5.0   300   .66 0      unknown 0 --- inspect 4.1  2.4  250 0   0      false(unreach-call) 1 --- inspect .61   .61   20    .082 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.5 3.5 90 42 .79 0      false(unreach-call) 1 wit inspect 4.4  2.4  260 0   0      true -32 --- inspect 7.7   4.8   310   .62 0      unknown 0 --- inspect 5.4  3.1  250 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .090 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27   26   330 300 1.2  0      false(unreach-call) 1 wit inspect 14    7.6  440 0   0      true -32 --- inspect 8.5   5.2   310   .62 0      false(unreach-call) 1 --- inspect 16    8.4  500 0   0      false(unreach-call) 1 --- inspect .78   .78   22    .14  0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.3 4.5 100 50 .82 0      false(unreach-call) 1 wit inspect 5.1  2.8  270 0   0      true -32 --- inspect 8.7   4.8   310   .66 0      unknown 0 --- inspect 4.5  2.6  260 0   .0082 false(unreach-call) 1 --- inspect .62   .62   20    .090 0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.9 5.5 120 74 .91 0      false(unreach-call) 1 wit inspect 6.4  3.5  260 0   0      true -32 --- inspect 8.4   4.8   310   .66 0      unknown 0 --- inspect 5.9  3.3  270 0   0      false(unreach-call) 1 --- inspect .70   .71   21    .10  0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.0 6.6 130 84 1.0  0      false(unreach-call) 1 wit inspect 6.3  3.3  290 0   0      true -32 --- inspect 8.0   4.6   310   .66 0      unknown 0 --- inspect 5.5  3.1  280 0   0      false(unreach-call) 1 --- inspect .70   .71   21    .090 0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.2 9.1 140 130 1.1  0      false(unreach-call) 1 wit inspect 6.5  3.5  290 0   0      true -32 --- inspect 11     6.4   300   .62 0      unknown 0 --- inspect 6.6  3.7  270 0   0      false(unreach-call) 1 --- inspect .68   .68   21    .13  .012  - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15   15   170 200 1.2  0      false(unreach-call) 1 wit inspect 7.2  3.9  280 0   0      true -32 --- inspect 9.2   5.3   320   .66 0      unknown 0 --- inspect 6.0  3.4  270 0   0      false(unreach-call) 1 --- inspect .72   .72   21    .13  .016  - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23   23   200 290 1.3  0      false(unreach-call) 1 wit inspect 9.5  5.1  310 0   .053  true -32 --- inspect 10     6.1   320   .66 0      unknown 0 --- inspect 6.6  3.6  290 0   0      false(unreach-call) 1 --- inspect .73   .74   21    .15  0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 28   27   220 350 1.4  0      false(unreach-call) 1 wit inspect 9.8  5.2  310 0   0      true -32 --- inspect 10     5.8   320   .66 0      unknown 0 --- inspect 7.5  4.1  300 0   0      false(unreach-call) 1 --- inspect .74   .74   21    .16  0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 34   33   230 420 1.5  0      false(unreach-call) 1 wit inspect 9.2  4.8  340 0   0      true -32 --- inspect 9.8   5.8   310   .62 0      unknown 0 --- inspect 8.1  4.4  350 0   0      false(unreach-call) 1 --- inspect .75   .75   21    .17  0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 51   50   280 580 1.6  0      false(unreach-call) 1 wit inspect 12    6.4  400 0   0      true -32 --- inspect 9.5   5.3   330   .62 0      unknown 0 --- inspect 8.7  4.7  390 0   0      false(unreach-call) 1 --- inspect .80   .80   21    .18  0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 48   47   300 540 1.7  0      false(unreach-call) 1 wit inspect 11    5.8  430 0   0      true -32 --- inspect 9.5   5.4   330   .62 0      unknown 0 --- inspect 11    6.1  450 0   0      false(unreach-call) 1 --- inspect .81   .80   22    .19  0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 86   84   330 900 1.7  0      false(unreach-call) 1 wit inspect 11    5.6  460 0   0      true -32 --- inspect 13     7.8   330   .62 0      unknown 0 --- inspect 10    5.5  460 0   0      false(unreach-call) 1 --- inspect .82   .82   22    .21  0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 100   100   360 1000 1.8  0      false(unreach-call) 1 wit inspect 12    6.3  500 0   0      true -32 --- inspect 11     6.7   340   .66 0      unknown 0 --- inspect 12    6.1  470 0   .025  false(unreach-call) 1 --- inspect .86   .86   22    .22  0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 180   180   380 1700 1.9  0      false(unreach-call) 1 wit inspect 15    7.7  510 0   0      true -32 --- inspect 12     7.4   340   .62 0      unknown 0 --- inspect 12    6.2  480 0   .029  false(unreach-call) 1 --- inspect .87   .86   22    .23  0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 110   110   380 1100 1.8  0      false(unreach-call) 1 wit inspect 15    7.9  470 0   0      true -32 --- inspect 12     7.1   320   .62 0      unknown 0 --- inspect 11    6.1  470 0   0      false(unreach-call) 1 --- inspect .84   .84   22    .22  0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120   120   400 1100 1.9  0      false(unreach-call) 1 wit inspect 12    6.1  490 0   0      true -32 --- inspect 10     6.1   340   .62 0      unknown 0 --- inspect 11    5.7  440 0   0      false(unreach-call) 1 --- inspect .86   .87   22    .23  0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.8 6.6 140 95 1.1  0      false(unreach-call) 1 wit inspect 6.7  3.6  270 0   .020  true -32 --- inspect 8.3   4.6   310   .66 0      false(unreach-call) 1 --- inspect 6.2  3.4  290 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .10  0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.8 7.6 140 120 1.1  0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 9.6   5.8   310   .59 0      false(unreach-call) 1 --- inspect 6.0  3.3  270 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .098 0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.7 3.9 90 47 .77 0      false(unreach-call) 1 wit inspect 4.8  2.7  260 0   .0082 true -32 --- inspect 7.9   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.4  2.6  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .090 0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.0 4.0 97 49 .86 2.2    false(unreach-call) 1 wit inspect 5.1  2.8  260 0   0      true -32 --- inspect 8.1   4.5   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.7  260 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .10  .0082 - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.8 4.5 110 68 .95 0      false(unreach-call) 1 wit inspect 5.8  3.2  270 0   0      true -32 --- inspect 9.2   5.2   320   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  280 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.8 6.6 140 91 1.0  0      false(unreach-call) 1 wit inspect 7.3  4.0  270 0   0      true -32 --- inspect 8.8   5.0   320   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  290 0   0      false(unreach-call) 1 --- inspect .67   .67   21    .12  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.7 7.6 140 98 1.1  0      false(unreach-call) 1 wit inspect 8.6  4.6  280 0   0      true -32 --- inspect 9.9   5.8   310   .66 0      false(unreach-call) 1 --- inspect 6.0  3.3  290 0   0      false(unreach-call) 1 --- inspect .70   .69   21    .13  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.9 9.7 150 140 1.2  0      false(unreach-call) 1 wit inspect 8.0  4.3  300 0   .016  true -32 --- inspect 9.1   5.1   310   .66 0      false(unreach-call) 1 --- inspect 6.9  3.8  270 0   0      false(unreach-call) 1 --- inspect .76   .76   21    .15  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11   11   170 130 1.3  0      false(unreach-call) 1 wit inspect 8.6  4.5  310 0   0      true -32 --- inspect 11     6.7   320   .62 0      false(unreach-call) 1 --- inspect 6.9  3.7  300 0   0      false(unreach-call) 1 --- inspect .74   .73   21    .15  0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11   11   180 140 1.4  0      false(unreach-call) 1 wit inspect 9.9  5.3  310 0   0      true -32 --- inspect 11     6.0   330   .62 0      false(unreach-call) 1 --- inspect 8.0  4.3  320 0   0      false(unreach-call) 1 --- inspect .75   .75   21    .16  0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23   22   210 280 1.5  0      false(unreach-call) 1 wit inspect 11    5.7  300 0   0      true -32 --- inspect 10     5.7   320   .62 0      false(unreach-call) 1 --- inspect 7.8  4.2  340 0   0      false(unreach-call) 1 --- inspect .80   .79   21    .18  0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 24   23   220 330 1.6  0      false(unreach-call) 1 wit inspect 12    6.4  410 0   0      true -32 --- inspect 13     7.4   320   .66 0      false(unreach-call) 1 --- inspect 11    5.7  410 0   0      false(unreach-call) 1 --- inspect .78   .78   21    .19  0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 30   29   240 360 1.7  0      false(unreach-call) 1 wit inspect 11    5.7  450 0   0      true -32 --- inspect 12     7.4   340   .62 .025  false(unreach-call) 1 --- inspect 9.7  5.2  460 0   0      false(unreach-call) 1 --- inspect .81   .82   22    .20  0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 45   44   290 570 1.8  0      false(unreach-call) 1 wit inspect 11    5.6  460 0   0      true -32 --- inspect 12     6.5   340   .62 0      false(unreach-call) 1 --- inspect 10    5.5  460 0   0      false(unreach-call) 1 --- inspect .82   .82   22    .21  0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 58   57   320 710 1.9  0      false(unreach-call) 1 wit inspect 14    7.5  470 0   .029  true -32 --- inspect 10     6.3   340   .66 0      false(unreach-call) 1 --- inspect 10    5.3  440 0   0      false(unreach-call) 1 --- inspect .85   .85   22    .23  0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.1 4.9 190 72 1.9  0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   .029  true -32 --- inspect 11     6.3   340   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  280 0   0      false(unreach-call) 1 --- inspect .80   .79   21    .22  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.2 5.0 150 66 1.9  0      false(unreach-call) 1 wit inspect 7.9  4.2  280 0   0      true -32 --- inspect 14     7.8   340   .62 0      false(unreach-call) 1 --- inspect 5.7  3.2  270 0   .029  false(unreach-call) 1 --- inspect .79   .78   21    .23  0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 890   880   280 8300 .84 0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 600    530    7000 0   0      true 2 --- inspect 77     47     2100   .62 0    
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   320 11000 .90 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .97 .60 41 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   1100 6100 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   1100 6200 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   920 6600 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .50 40 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   1000 6900 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   990 8300 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 880   880   360 11000 .75 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 920    680    7000 0   0      true 2 --- inspect 27     15     660   .62 0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   460 8500 .80 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 890   880   370 6900 .86 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4500 0   0      true 2 --- inspect 27     15     480   .62 0    
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   650 7700 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 880   880   350 9200 .80 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4000 0   0      true 2 --- inspect 28     16     660   .66 0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 880   880   290 10000 .90 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3500 0   0      true 2 --- inspect 50     28     950   .66 0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 880   880   320 11000 .98 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3100 0   0      true 2 --- inspect 76     43     1100   .62 0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   350 11000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   360 10000 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .55 .34 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   410 7800 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   420 7500 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 41 0   0      error (2) 0 --- inspect .025 .027 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   470 7300 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .91 .57 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   490 7300 1.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   530 6700 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .026 .026 5.6 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   520 6000 1.7  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 42 0   0      error (2) 0 --- inspect .027 .028 5.7 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   590 7200 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   610 7900 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 42 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 880   930   370 7600 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 6.5 6.2 140 81 1.6  0      true -32 wit inspect 5.5  2.9  280 0   0      true -32 --- inspect 10     5.9   330   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0      error (2) 0 --- inspect .73   .73   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.4 5.3 120 66 1.6  0      true -32 wit inspect 5.8  3.1  280 0   0      true -32 --- inspect 12     6.3   340   .66 0      false(unreach-call) 1 --- inspect 6.4  3.5  290 0   0      error (2) 0 --- inspect .71   .71   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 8.0 7.2 160 100 1.6  0      true -32 wit inspect 7.7  4.2  290 0   0      true -32 --- inspect 10     6.2   400   .62 0      false(unreach-call) 1 --- inspect 5.7  3.1  290 0   0      error (2) 0 --- inspect .76   .75   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.5 6.3 140 83 1.5  0      true -32 wit inspect 6.8  3.6  260 0   0      true -32 --- inspect 11     6.5   400   .66 .020  false(unreach-call) 1 --- inspect 5.8  3.2  290 0   0      error (2) 0 --- inspect .74   .74   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 8.9 8.3 170 90 1.6  0      true -32 wit inspect 6.6  3.5  260 0   0      true -32 --- inspect 11     6.3   410   .66 .0041 false(unreach-call) 1 --- inspect 5.8  3.2  270 0   0      error (2) 0 --- inspect .72   .71   21    .049 .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.9 6.3 160 110 1.6  0      true -32 wit inspect 6.0  3.2  290 0   0      true -32 --- inspect 11     6.4   410   .66 0      false(unreach-call) 1 --- inspect 6.2  3.4  290 0   0      error (2) 0 --- inspect .73   .73   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 37   35   220 460 1.5  0      true -32 wit inspect 6.6  3.5  290 0   0      true -32 --- inspect 11     6.4   610   .62 0      false(unreach-call) 1 --- inspect 7.8  4.3  320 0   0      error (2) 0 --- inspect .82   .81   22    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22   21   190 310 1.5  0      true -32 wit inspect 7.3  3.8  320 0   0      true -32 --- inspect 14     7.9   480   .66 0      false(unreach-call) 1 --- inspect 7.3  4.0  290 0   0      error (2) 0 --- inspect .81   .81   22    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 14   13   180 200 1.4  0      true -32 wit inspect 6.1  3.3  280 0   0      true -32 --- inspect 11     6.6   530   .62 0      false(unreach-call) 1 --- inspect 7.4  4.1  290 0   0      error (2) 0 --- inspect .73   .73   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.5 8.7 150 120 1.4  0      true -32 wit inspect 7.6  4.0  270 0   0      true -32 --- inspect 11     6.4   470   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   .15   error (2) 0 --- inspect .73   .72   21    .045 .016  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11   10   170 160 1.4  0      true -32 wit inspect 7.1  3.8  280 0   0      true -32 --- inspect 15     8.4   470   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      error (2) 0 --- inspect .72   .72   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.7 9.2 150 130 1.4  0      true -32 wit inspect 6.1  3.2  280 0   0      true -32 --- inspect 12     6.5   540   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      error (2) 0 --- inspect .73   .73   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 6.1 5.7 130 78 1.4  0      true -32 wit inspect 7.5  4.0  260 0   0      true -32 --- inspect 11     6.3   310   .66 0      false(unreach-call) 1 --- inspect 5.9  3.3  270 0   .016  false(unreach-call) 1 --- inspect .70   .70   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.1 5.7 130 79 1.4  0      true -32 wit inspect 5.8  3.1  260 0   0      true -32 --- inspect 8.9   5.0   300   .62 0      false(unreach-call) 1 --- inspect 5.1  2.9  270 0   0      false(unreach-call) 1 --- inspect .73   .73   21    .13  .016  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.5 5.2 130 70 1.4  0      true -32 wit inspect 6.0  3.2  280 0   0      true -32 --- inspect 11     6.5   330   .62 0      false(unreach-call) 1 --- inspect 5.0  2.8  280 0   0      false(unreach-call) 1 --- inspect .72   .71   21    .15  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.3 5.2 130 52 1.4  0      true -32 wit inspect 6.4  3.4  260 0   0      true -32 --- inspect 10     6.0   330   .62 .016  false(unreach-call) 1 --- inspect 5.2  2.9  280 0   0      false(unreach-call) 1 --- inspect .73   .73   21    .15  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 6.2 6.2 140 94 1.4  0      true -32 wit inspect 6.3  3.4  290 0   0      true -32 --- inspect 12     6.6   380   .62 0      false(unreach-call) 1 --- inspect 5.9  3.3  290 0   0      false(unreach-call) 1 --- inspect .72   .74   21    .15  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.4 6.2 140 86 1.4  0      true -32 wit inspect 6.0  3.2  280 0   0      true -32 --- inspect 10     6.2   390   .62 0      false(unreach-call) 1 --- inspect 6.8  3.8  270 0   0      false(unreach-call) 1 --- inspect .74   .74   21    .15  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 6.2 6.2 130 73 1.4  0      true -32 wit inspect 6.1  3.2  290 0   0      true -32 --- inspect 12     6.6   380   .62 0      false(unreach-call) 1 --- inspect 6.4  3.5  290 0   .11   false(unreach-call) 1 --- inspect .73   .72   21    .15  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.4 6.2 140 85 1.4  0      true -32 wit inspect 7.6  4.0  290 0   0      true -32 --- inspect 11     6.4   370   .62 0      false(unreach-call) 1 --- inspect 6.1  3.3  290 0   0      false(unreach-call) 1 --- inspect .73   .73   21    .15  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 880   930   510 8900 1.4  0      error (invalid witness file) 0 --- inspect .57 .36 40 0   0      error (2) 0 --- inspect .027 .028 5.5 0    0      error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0021 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 17   16   240 220 2.4  0      true -32 wit inspect 9.7  5.0  340 0   0      true -32 --- inspect 11     6.3   350   .66 0      false(unreach-call) 1 --- inspect 9.3  5.0  310 0   0      false(unreach-call) 1 --- inspect .89   .89   22    .24  .029  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19   18   230 280 2.3  0      true -32 wit inspect 9.7  5.0  330 0   0      true -32 --- inspect 11     5.8   350   .62 0      false(unreach-call) 1 --- inspect 6.9  3.8  310 0   0      false(unreach-call) 1 --- inspect .88   .88   22    .23  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 10   9.6 200 140 2.5  0      true -32 wit inspect 8.6  4.6  310 0   0      true -32 --- inspect 17     9.0   480   .62 0      false(unreach-call) 1 --- inspect 7.9  4.3  310 0   .11   false(unreach-call) 1 --- inspect .91   .90   22    .27  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11   10   210 140 2.4  0      true -32 wit inspect 8.3  4.4  320 0   0      true -32 --- inspect 15     8.3   470   .66 0      false(unreach-call) 1 --- inspect 6.8  3.7  310 0   0      false(unreach-call) 1 --- inspect .93   .92   22    .26  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 15   15   230 190 2.5  0      true -32 wit inspect 9.7  5.1  330 0   0      true -32 --- inspect 14     8.2   480   .62 .88   false(unreach-call) 1 --- inspect 6.6  3.6  290 0   0      false(unreach-call) 1 --- inspect .92   .91   22    .27  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 18   17   240 260 2.4  0      true -32 wit inspect 8.7  4.6  330 0   0      true -32 --- inspect 13     7.5   380   .62 .033  false(unreach-call) 1 --- inspect 7.4  4.1  320 0   0      false(unreach-call) 1 --- inspect .94   .94   22    .26  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 17   17   240 250 2.4  2.1    true -32 wit inspect 8.7  4.6  310 0   0      true -32 --- inspect 16     8.8   470   .62 0      false(unreach-call) 1 --- inspect 7.8  4.2  320 0   0      false(unreach-call) 1 --- inspect .93   .93   22    .27  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20   19   240 270 2.4  0      true -32 wit inspect 11    5.5  330 0   0      true -32 --- inspect 13     7.4   520   .62 0      false(unreach-call) 1 --- inspect 7.3  3.9  320 0   0      false(unreach-call) 1 --- inspect .94   .94   22    .26  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 880   930   500 7300 2.5  0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0      error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0      error (invalid witness file) 0 --- inspect .0041 .0061 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 120   120   510 1300 4.8  2.1    true -32 wit inspect 12    6.2  480 0   0      true -32 --- inspect 17     9.8   510   .66 0      false(unreach-call) 1 --- inspect 8.6  4.6  330 0   0      false(unreach-call) 1 --- inspect 1.2    1.2    23    .45  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 160   160   530 2100 5.9  0      true -32 wit inspect 11    5.9  480 0   0      true -32 --- inspect 13     7.7   510   .62 0      false(unreach-call) 1 --- inspect 10    5.5  330 0   0      false(unreach-call) 1 --- inspect 1.2    1.2    23    .44  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 42   40   380 540 5.7  0      true -32 wit inspect 12    6.0  500 0   0      true -32 --- inspect 18     9.7   640   .62 0      false(unreach-call) 1 --- inspect 8.2  4.4  320 0   0      false(unreach-call) 1 --- inspect 1.3    1.3    23    .51  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 52   51   430 630 6.2  0      true -32 wit inspect 12    6.3  480 0   0      true -32 --- inspect 14     7.9   510   .66 0      false(unreach-call) 1 --- inspect 9.9  5.3  320 0   0      false(unreach-call) 1 --- inspect 1.3    1.3    23    .50  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 120   110   480 1600 4.7  1.9    true -32 wit inspect 14    7.4  500 0   0      true -32 --- inspect 20     11     630   .44 0      false(unreach-call) 1 --- inspect 9.6  5.2  370 0   0      false(unreach-call) 1 --- inspect 1.3    1.3    24    .51  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140   130   510 1700 5.3  0      true -32 wit inspect 13    6.8  490 0   0      true -32 --- inspect 18     10     630   .62 0      false(unreach-call) 1 --- inspect 8.8  4.7  340 0   .19   false(unreach-call) 1 --- inspect 1.3    1.3    24    .50  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 280   280   600 2300 5.7  0      true -32 wit inspect 13    6.5  530 0   .066  true -32 --- inspect 18     9.9   600   .62 0      false(unreach-call) 1 --- inspect 11    5.8  340 0   0      false(unreach-call) 1 --- inspect 1.3    1.3    23    .51  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 410   410   690 3900 6.2  0      true -32 wit inspect 12    6.1  490 0   0      true -32 --- inspect 19     11     760   .62 0      false(unreach-call) 1 --- inspect 11    6.0  360 0   0      false(unreach-call) 1 --- inspect 1.3    1.3    24    .50  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 880   930   560 6000 5.4  0      error (invalid witness file) 0 --- inspect .66 .40 42 0   0      error (2) 0 --- inspect .020 .021 5.7 0    0      error (invalid witness file) 0 --- inspect .96 .62 48 0   0      error (invalid witness file) 0 --- inspect .0052 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.4 5.1 120 63 1.1  0      true -32 wit inspect 6.7  3.6  280 0   0      true -32 --- inspect 11     6.5   380   .66 0      false(unreach-call) 1 --- inspect 6.2  3.4  280 0   .012  error (2) 0 --- inspect .65   .65   21    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.8 5.6 120 80 1.1  4.2    true -32 wit inspect 6.7  3.6  260 0   0      true -32 --- inspect 11     6.3   390   .66 0      false(unreach-call) 1 --- inspect 5.1  2.9  260 0   0      error (2) 0 --- inspect .65   .65   21    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.2 5.1 140 77 1.1  0      true -32 wit inspect 5.5  3.0  260 0   0      true -32 --- inspect 9.4   5.2   360   .66 .012  false(unreach-call) 1 --- inspect 5.0  2.8  260 0   0      error (2) 0 --- inspect .64   .64   21    .041 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.6 5.6 120 70 1.1  0      true -32 wit inspect 5.1  2.8  260 0   0      true -32 --- inspect 9.2   5.2   350   .66 0      false(unreach-call) 1 --- inspect 5.1  2.9  280 0   .012  error (2) 0 --- inspect .66   .65   21    .041 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 8.2 7.7 140 110 1.3  0      true -32 wit inspect 6.5  3.4  290 0   0      true -32 --- inspect 9.7   5.5   510   .66 0      false(unreach-call) 1 --- inspect 5.8  3.2  270 0   0      error (2) 0 --- inspect .67   .67   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 10   9.7 140 150 1.3  0      true -32 wit inspect 6.1  3.2  290 0   0      true -32 --- inspect 10     5.7   450   .66 0      false(unreach-call) 1 --- inspect 6.1  3.4  290 0   0      error (2) 0 --- inspect .67   .67   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 7.9 7.6 140 100 1.2  0      true -32 wit inspect 6.8  3.7  260 0   0      true -32 --- inspect 11     5.9   480   .66 0      false(unreach-call) 1 --- inspect 6.3  3.5  270 0   0      error (2) 0 --- inspect .67   .67   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.6 9.2 140 120 1.2  0      true -32 wit inspect 6.7  3.6  290 0   0      true -32 --- inspect 11     6.4   450   .66 0      false(unreach-call) 1 --- inspect 5.8  3.2  260 0   0      error (2) 0 --- inspect .67   .67   21    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 15   14   180 180 1.5  0      true -32 wit inspect 8.3  4.4  310 0   0      true -32 --- inspect 11     6.4   470   .66 0      false(unreach-call) 1 --- inspect 7.8  4.2  310 0   0      error (2) 0 --- inspect .71   .71   22    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22   22   180 290 1.4  0      true -32 wit inspect 7.1  3.7  310 0   0      true -32 --- inspect 12     6.7   470   .66 0      false(unreach-call) 1 --- inspect 5.7  3.2  290 0   0      error (2) 0 --- inspect .73   .73   22    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 15   14   180 190 1.4  0      true -32 wit inspect 7.3  3.9  270 0   0      true -32 --- inspect 14     8.3   530   .62 13      false(unreach-call) 1 --- inspect 6.4  3.5  280 0   0      error (2) 0 --- inspect .70   .70   22    .049 .016  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 21   20   170 250 1.4  0      true -32 wit inspect 7.3  3.9  270 0   0      true -32 --- inspect 12     6.6   540   .62 0      false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0      error (2) 0 --- inspect .70   .70   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 31   30   220 390 1.7  0      true -32 wit inspect</