Tool VerifierIntegerAssignmentPrograms File not exits 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-12-03 03:42:11 CET 2017-12-03 04:30:19 CET 2017-12-03 04:52:11 CET 2017-12-03 04:56:53 CET 2017-12-03 05:05:18 CET 2017-12-03 04:20:47 CET 2017-12-03 04:35:31 CET
Run set viap.[sv-comp18.ReachSafety-Arrays; sv-comp18.ReachSafety-Loops; sv-comp18.ReachSafety-Recursive] cpa-seq-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] uautomizer-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] cpa-witness2test-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] fshell-witness2test-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] cpa-seq-validate-correctness-witnesses-viap.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive] uautomizer-validate-correctness-witnesses-viap.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive]
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/viap.2017-12-03_0342.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/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/viap.2017-12-03_0342.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/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
/localhome/dbeyer/comp/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
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 0 wit inspect 46   120 620 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call2_ground.i unknown 0 wit inspect 230   370 2300 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0025 .30 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call_ground.i unknown 0 wit inspect 230   330 2200 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call2_ground.i unknown 0 wit inspect 470   420 5600 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call_ground.i unknown 0 wit inspect 260   280 3700 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
array-examples/standard_allDiff2_false-unreach-call_ground.i unknown 0 wit inspect 530   420 5300 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-examples/standard_copy1_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 15   540 190 timeout 0 wit inspect 92    2000 true -32 wit inspect 6.5   260   unknown 0 wit inspect 2.7  190 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
array-examples/standard_copy2_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 18   710 240 timeout 0 wit inspect 92    2000 true -32 wit inspect 5.3   220   unknown 0 wit inspect 2.8  190 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
array-examples/standard_copy3_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 21   880 270 timeout 0 wit inspect 91    2000 true -32 wit inspect 4.8   230   unknown 0 wit inspect 3.1  210 false(unreach-call) 1 wit inspect .68   18    - wit inspect - wit inspect
array-examples/standard_copy4_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 23   1000 320 timeout 0 wit inspect 92    2000 true -32 wit inspect 5.0   230   unknown 0 wit inspect 2.7  190 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
array-examples/standard_copy5_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 26   1200 310 timeout 0 wit inspect 91    2000 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.8  190 false(unreach-call) 1 wit inspect .74   18    - wit inspect - wit inspect
array-examples/standard_copy6_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 28   1400 410 timeout 0 wit inspect 92    2000 true -32 wit inspect 4.9   230   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .70   18    - wit inspect - wit inspect
array-examples/standard_copy7_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 31   1600 490 timeout 0 wit inspect 92    2100 true -32 wit inspect 4.9   230   unknown 0 wit inspect 3.1  210 false(unreach-call) 1 wit inspect .71   18    - wit inspect - wit inspect
array-examples/standard_copy8_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 34   1800 440 timeout 0 wit inspect 91    2100 true -32 wit inspect 4.7   230   unknown 0 wit inspect 2.9  190 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
array-examples/standard_copy9_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 36   2000 550 timeout 0 wit inspect 92    2100 true -32 wit inspect 5.1   230   unknown 0 wit inspect 2.8  210 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
array-examples/standard_copyInitSum2_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 17   1100 260 timeout 0 wit inspect 97    5300 timeout 0 wit inspect 97     6700   timeout 0 wit inspect 98    5500 false(unreach-call) 1 wit inspect 82      6300    - wit inspect - wit inspect
array-examples/standard_init1_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 12   480 160 timeout 0 wit inspect 97    3900 timeout 0 wit inspect 96     6100   timeout 0 wit inspect 97    3800 false(unreach-call) 1 wit inspect 26      2100    - wit inspect - wit inspect
array-examples/standard_init2_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 14   790 210 timeout 0 wit inspect 96    5100 timeout 0 wit inspect 96     6100   timeout 0 wit inspect 96    4800 false(unreach-call) 1 wit inspect 62      4200    - wit inspect - wit inspect
array-examples/standard_init3_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 17   1100 210 timeout 0 wit inspect 98    5300 out of memory 0 wit inspect 87     7000   timeout 0 wit inspect 98    5300 false(unreach-call) 1 wit inspect 80      6300    - wit inspect - wit inspect
array-examples/standard_init4_false-unreach-call_ground.i false(unreach-call) 0 wit inspect 20   1400 290 timeout 0 wit inspect 98    5500 timeout 0 wit inspect 98     6700   timeout 0 wit inspect 98    5500 timeout 0 wit inspect 91      7000    - wit inspect - wit inspect
array-examples/standard_init5_false-unreach-call_ground.i false(unreach-call) 0 wit inspect 23   1800 290 timeout 0 wit inspect 98    5900 timeout 0 wit inspect 96     5400   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 82      7000    - wit inspect - wit inspect
array-examples/standard_init6_false-unreach-call_ground.i false(unreach-call) 0 wit inspect 26   2100 350 timeout 0 wit inspect 98    5400 timeout 0 wit inspect 97     5400   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 73      7000    - wit inspect - wit inspect
array-examples/standard_init7_false-unreach-call_ground.i false(unreach-call) 0 wit inspect 28   2400 400 timeout 0 wit inspect 98    5500 timeout 0 wit inspect 98     5500   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 87      7000    - wit inspect - wit inspect
array-examples/standard_init8_false-unreach-call_ground.i false(unreach-call) 0 wit inspect 31   2700 380 timeout 0 wit inspect 98    5500 timeout 0 wit inspect 97     5600   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 75      7000    - wit inspect - wit inspect
array-examples/standard_init9_false-unreach-call_ground.i false(unreach-call) 0 wit inspect 34   3100 420 timeout 0 wit inspect 98    5500 timeout 0 wit inspect 97     5600   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 76      7000    - wit inspect - wit inspect
array-examples/standard_minInArray_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 12   580 160 timeout 0 wit inspect 96    4100 timeout 0 wit inspect 96     6300   timeout 0 wit inspect 97    3800 false(unreach-call) 1 wit inspect 38      2700    - wit inspect - wit inspect
array-examples/standard_partition_false-unreach-call_ground.i unknown 0 wit inspect 29   110 430 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/standard_running_false-unreach-call.i unknown 0 wit inspect 530   1200 5200 error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 0 wit inspect 70   160 1000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .023 4.9
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 0 wit inspect 46   120 680 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.8
array-examples/relax_true-unreach-call.i unknown 0 wit inspect 11   92 170 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .023 4.9
array-examples/sanfoundry_02_true-unreach-call_ground.i true 2 wit inspect 360   1100 3600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .024 4.9
array-examples/sanfoundry_10_true-unreach-call_ground.i unknown 0 wit inspect 340   730 4000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 44 error (2) 0 wit inspect .023 4.8
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 2 wit inspect 15   130 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 5.0
array-examples/sanfoundry_27_true-unreach-call_ground.i true 2 wit inspect 120   840 1100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .026 4.8
array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 0 wit inspect 13   93 160 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .025 4.8
array-examples/sorting_bubblesort_true-unreach-call_ground.i unknown 0 wit inspect 230   320 1900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 4.8
array-examples/sorting_selectionsort_true-unreach-call_ground.i unknown 0 wit inspect 260   250 3600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 5.0
array-examples/standard_compareModified_true-unreach-call_ground.i true 2 wit inspect 120   550 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .024 5.0
array-examples/standard_compare_true-unreach-call_ground.i true 2 wit inspect 120   900 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .025 4.9
array-examples/standard_copy1_true-unreach-call_ground.i true 2 wit inspect 33   140 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .022 4.9
array-examples/standard_copy2_true-unreach-call_ground.i true 2 wit inspect 36   140 460 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .027 4.8
array-examples/standard_copy3_true-unreach-call_ground.i true 2 wit inspect 38   140 610 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .023 4.9
array-examples/standard_copy4_true-unreach-call_ground.i true 2 wit inspect 41   140 600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 41 error (2) 0 wit inspect .019 4.9
array-examples/standard_copy5_true-unreach-call_ground.i true 2 wit inspect 44   140 570 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .025 4.8
array-examples/standard_copy6_true-unreach-call_ground.i true 2 wit inspect 46   140 620 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_copy7_true-unreach-call_ground.i true 2 wit inspect 50   140 730 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .024 5.0
array-examples/standard_copy8_true-unreach-call_ground.i true 2 wit inspect 53   170 760 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .033 4.8
array-examples/standard_copy9_true-unreach-call_ground.i true 2 wit inspect 55   150 710 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .025 5.0
array-examples/standard_copyInitSum2_true-unreach-call_ground.i true 2 wit inspect 25   130 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .023 5.0
array-examples/standard_copyInitSum3_true-unreach-call_ground.i true 2 wit inspect 30   170 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .023 5.0
array-examples/standard_copyInitSum_true-unreach-call_ground.i true 2 wit inspect 26   130 370 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8
array-examples/standard_copyInit_true-unreach-call_ground.i true 2 wit inspect 22   130 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .021 5.0
array-examples/standard_find_true-unreach-call_ground.i true 2 wit inspect 25   180 340 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .77 45 error (2) 0 wit inspect .024 4.9
array-examples/standard_init1_true-unreach-call_ground.i true 2 wit inspect 20   130 330 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .025 4.9
array-examples/standard_init2_true-unreach-call_ground.i true 2 wit inspect 22   130 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .025 4.8
array-examples/standard_init3_true-unreach-call_ground.i true 2 wit inspect 25   140 380 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .022 4.8
array-examples/standard_init4_true-unreach-call_ground.i true 2 wit inspect 28   140 370 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .024 4.8
array-examples/standard_init5_true-unreach-call_ground.i true 2 wit inspect 30   140 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .020 4.9
array-examples/standard_init6_true-unreach-call_ground.i true 2 wit inspect 33   140 490 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .018 4.8
array-examples/standard_init7_true-unreach-call_ground.i true 2 wit inspect 35   150 490 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
array-examples/standard_init8_true-unreach-call_ground.i true 2 wit inspect 38   140 520 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .024 4.8
array-examples/standard_init9_true-unreach-call_ground.i true 2 wit inspect 40   170 520 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .028 4.8
array-examples/standard_maxInArray_true-unreach-call_ground.i true 2 wit inspect 130   1200 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .020 4.8
array-examples/standard_minInArray_true-unreach-call_ground.i true 2 wit inspect 130   1400 1600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .022 4.9
array-examples/standard_palindrome_true-unreach-call_ground.i true 2 wit inspect 18   130 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .025 4.9
array-examples/standard_partial_init_true-unreach-call_ground.i unknown 0 wit inspect 220   740 2300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .024 4.8
array-examples/standard_partition_original_true-unreach-call_ground.i unknown 0 wit inspect 24   120 350 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .024 4.8
array-examples/standard_partition_true-unreach-call_ground.i unknown 0 wit inspect 31   120 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .025 4.8
array-examples/standard_password_true-unreach-call_ground.i true 2 wit inspect 120   1200 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_reverse_true-unreach-call_ground.i true 2 wit inspect 20   120 280 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .023 4.8
array-examples/standard_running_true-unreach-call.i true 2 wit inspect 430   1200 3800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .025 4.8
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 2 wit inspect 9.3 150 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .022 4.9
array-examples/standard_seq_init_true-unreach-call_ground.i true 2 wit inspect 23   230 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 4.8
array-examples/standard_strcmp_true-unreach-call_ground.i true 2 wit inspect 130   670 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .024 4.8
array-examples/standard_strcpy_original_true-unreach-call.i true 2 wit inspect 23   140 330 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.8
array-examples/standard_strcpy_true-unreach-call_ground.i true 2 wit inspect 24   140 340 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 4.9
array-examples/standard_two_index_01_true-unreach-call.i true 2 wit inspect 18   140 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .024 4.8
array-examples/standard_two_index_02_true-unreach-call.i true 2 wit inspect 29   140 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .021 4.9
array-examples/standard_two_index_03_true-unreach-call.i true 2 wit inspect 18   140 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 5.0
array-examples/standard_two_index_04_true-unreach-call.i true 2 wit inspect 28   150 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .024 4.8
array-examples/standard_two_index_05_true-unreach-call.i true 2 wit inspect 28   140 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 44 error (2) 0 wit inspect .022 5.0
array-examples/standard_two_index_06_true-unreach-call.i true 2 wit inspect 18   140 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .75 46 error (2) 0 wit inspect .018 4.9
array-examples/standard_two_index_07_true-unreach-call.i true 2 wit inspect 27   140 320 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .024 4.9
array-examples/standard_two_index_08_true-unreach-call.i true 2 wit inspect 27   140 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .019 4.8
array-examples/standard_two_index_09_true-unreach-call.i true 2 wit inspect 27   140 400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .023 4.8
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i error (1) 0 wit inspect 29   350 370 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.9
array-examples/standard_vector_difference_true-unreach-call_ground.i true 2 wit inspect 21   130 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 12   520 160 timeout 0 wit inspect 96    3900 timeout 0 wit inspect 92     7000   timeout 0 wit inspect 97    3800 false(unreach-call) 1 wit inspect 29      2100    - wit inspect - wit inspect
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i unknown 0 wit inspect 15   110 210 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .029 4.8 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unknown 0 wit inspect 220   1300 2300 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
array-industry-pattern/array_range_init_false-unreach-call.i false(unreach-call) 1 wit inspect 12   100 160 timeout 0 wit inspect 92    830 timeout 0 wit inspect 97     4700   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unknown 0 wit inspect 220   1400 2700 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i false(unreach-call) 0 wit inspect 22   110 270 timeout 0 wit inspect 93    2200 true -32 wit inspect 3.7   240   unknown 0 wit inspect 2.8  210 true -32 wit inspect .58   18    - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i true 2 wit inspect 21   210 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .024 5.0
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i true 2 wit inspect 54   340 780 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.8
array-industry-pattern/array_of_struct_break_true-unreach-call.i true 2 wit inspect 18   230 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 44 error (2) 0 wit inspect .023 4.8
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i unknown 0 wit inspect 3.4 92 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .021 4.8
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 0 wit inspect 4.3 92 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i unknown 0 wit inspect 3.3 92 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .024 4.8
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i unknown 0 wit inspect 2.5 92 32 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i unknown 0 wit inspect 24   130 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .025 4.8
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i unknown 0 wit inspect 3.3 92 40 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.8
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i unknown 0 wit inspect 3.4 92 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .023 4.9
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i true 2 wit inspect 14   130 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 5.0
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 25   120 320 exception 0 wit inspect 2.3  160 true -32 wit inspect 6.6   230   exception 0 wit inspect 2.6  170 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
reducercommutativity/rangesum10_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 25   110 310 exception 0 wit inspect 3.0  170 true -32 wit inspect 5.5   240   exception 0 wit inspect 2.4  170 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
reducercommutativity/rangesum20_false-unreach-call.i false(unreach-call) 1 wit inspect 25   96 340 exception 0 wit inspect 1.6  160 true -32 wit inspect 4.9   230   exception 0 wit inspect 1.8  170 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
reducercommutativity/rangesum40_false-unreach-call.i false(unreach-call) 1 wit inspect 25   98 330 exception 0 wit inspect 2.6  160 true -32 wit inspect 5.7   230   exception 0 wit inspect 1.8  170 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
reducercommutativity/rangesum60_false-unreach-call.i false(unreach-call) 1 wit inspect 25   120 420 exception 0 wit inspect 3.1  170 true -32 wit inspect 5.2   230   exception 0 wit inspect 2.5  170 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 0 wit inspect 360   340 4500 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
reducercommutativity/avg05_true-unreach-call_true-termination.i true 2 wit inspect 41   240 450 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 4.8
reducercommutativity/avg10_true-unreach-call_true-termination.i true 2 wit inspect 25   250 340 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9
reducercommutativity/avg20_true-unreach-call.i true 2 wit inspect 320   660 4300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .024 4.9
reducercommutativity/avg40_true-unreach-call.i true 2 wit inspect 25   250 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .023 4.9
reducercommutativity/avg60_true-unreach-call.i true 2 wit inspect 25   260 340 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .033 4.9
reducercommutativity/avg_true-unreach-call_true-termination.i unknown 0 wit inspect 330   270 4700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .025 4.8
reducercommutativity/max05_true-unreach-call_true-termination.i true 2 wit inspect 180   250 2100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
reducercommutativity/max10_true-unreach-call_true-termination.i true 2 wit inspect 250   450 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .021 4.8
reducercommutativity/max20_true-unreach-call.i true 2 wit inspect 370   680 4200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .026 5.0
reducercommutativity/max40_true-unreach-call.i true 2 wit inspect 250   640 3100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.9
reducercommutativity/max60_true-unreach-call.i true 2 wit inspect 250   450 3100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
reducercommutativity/max_true-unreach-call_true-termination.i unknown 0 wit inspect 340   560 4500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .027 4.8
reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 0 wit inspect 350   440 4600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .027 4.8
reducercommutativity/sep10_true-unreach-call.i unknown 0 wit inspect 350   470 4800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .022 4.8
reducercommutativity/sep20_true-unreach-call.i unknown 0 wit inspect 350   510 4200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .023 4.8
reducercommutativity/sep40_true-unreach-call.i unknown 0 wit inspect 350   510 4500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .027 4.8
reducercommutativity/sep60_true-unreach-call.i unknown 0 wit inspect 350   470 4100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .023 4.8
reducercommutativity/sep_true-unreach-call_true-termination.i unknown 0 wit inspect 240   500 2900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .021 5.0
reducercommutativity/sum05_true-unreach-call_true-termination.i true 2 wit inspect 43   240 500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .025 4.9
reducercommutativity/sum10_true-unreach-call_true-termination.i true 2 wit inspect 26   250 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 4.8
reducercommutativity/sum20_true-unreach-call.i true 2 wit inspect 320   600 3600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .025 4.9
reducercommutativity/sum40_true-unreach-call.i true 2 wit inspect 26   250 330 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9
reducercommutativity/sum60_true-unreach-call.i true 2 wit inspect 25   250 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .025 4.9
reducercommutativity/sum_true-unreach-call_true-termination.i unknown 0 wit inspect 330   460 4600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .023 5.0
array-tiling/mlceu_false-unreach-call.i unknown 0 wit inspect 17   120 260 error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .030 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-tiling/skippedu_false-unreach-call.i unknown 0 wit inspect 89   490 1100 error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
array-tiling/mbpr2_true-unreach-call.i true 2 wit inspect 38   200 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .019 4.9
array-tiling/mbpr3_true-unreach-call.i true 2 wit inspect 57   200 750 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 46 error (2) 0 wit inspect .028 4.8
array-tiling/mbpr4_true-unreach-call.i true 2 wit inspect 100   360 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
array-tiling/mbpr5_true-unreach-call.i true 2 wit inspect 330   6200 4100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .018 4.8
array-tiling/nr2_true-unreach-call.i true 2 wit inspect 31   230 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.8
array-tiling/nr3_true-unreach-call.i true 2 wit inspect 30   220 490 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .024 4.8
array-tiling/nr4_true-unreach-call.i true 2 wit inspect 30   230 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .024 4.9
array-tiling/nr5_true-unreach-call.i true 2 wit inspect 30   230 380 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 5.0
array-tiling/pnr2_true-unreach-call.i true 2 wit inspect 30   220 420 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .026 4.9
array-tiling/pnr3_true-unreach-call.i true 2 wit inspect 31   220 420 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .019 4.8
array-tiling/pnr4_true-unreach-call.i true 2 wit inspect 40   210 590 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.9
array-tiling/pnr5_true-unreach-call.i true 2 wit inspect 57   210 640 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .018 5.0
array-tiling/poly1_true-unreach-call.i true 2 wit inspect 13   140 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 4.8
array-tiling/poly2_true-unreach-call.i true 2 wit inspect 16   150 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .020 4.8
array-tiling/pr2_true-unreach-call.i true 2 wit inspect 30   220 400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .019 4.8
array-tiling/pr3_true-unreach-call.i true 2 wit inspect 33   230 400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .026 4.8
array-tiling/pr4_true-unreach-call.i true 2 wit inspect 41   210 510 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.9
array-tiling/pr5_true-unreach-call.i true 2 wit inspect 65   230 740 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .021 4.8
array-tiling/revcpyswp2_true-unreach-call.i true 2 wit inspect 130   440 1600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .024 4.9
array-tiling/rew_true-unreach-call.i true 2 wit inspect 15   150 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 5.0
array-tiling/rewnif_true-unreach-call.i true 2 wit inspect 15   170 210 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .025 4.8
array-tiling/rewnifrev2_true-unreach-call.i unknown 0 wit inspect 170   310 2100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .019 4.8
array-tiling/rewnifrev_true-unreach-call.i true 2 wit inspect 66   330 570 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .024 4.8
array-tiling/rewrev_true-unreach-call.i true 2 wit inspect 16   210 210 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.9
array-tiling/skipped_true-unreach-call.i unknown 0 wit inspect 130   610 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .023 4.8
array-tiling/tcpy_true-unreach-call.i true 2 wit inspect 30   220 440 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .76 43 error (2) 0 wit inspect .022 4.8
array-programs/copysome1_false-unreach-call.i false(unreach-call) 0 wit inspect 22   1300 290 timeout 0 wit inspect 92    2000 true -32 wit inspect 4.4   220   unknown 0 wit inspect 3.0  180 true -32 wit inspect .72   19    - wit inspect - wit inspect
array-programs/copysome2_false-unreach-call.i false(unreach-call) 0 wit inspect 26   1600 350 timeout 0 wit inspect 91    2100 true -32 wit inspect 4.6   220   unknown 0 wit inspect 2.8  190 true -32 wit inspect .60   18    - wit inspect - wit inspect
array-programs/copysome1_true-unreach-call.i true 2 wit inspect 71   230 960 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .023 4.8
array-programs/copysome2_true-unreach-call.i true 2 wit inspect 97   270 1200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .020 4.8
loops/array_false-unreach-call_true-termination.i unknown 0 wit inspect 25   160 380 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
loops/bubble_sort_false-unreach-call.i unknown 0 wit inspect 2.5 92 33 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .029 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
loops/count_up_down_false-unreach-call_true-termination.i unknown 0 wit inspect 11   110 160 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .90 51 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loops/eureka_01_false-unreach-call_true-termination.i true -32 wit inspect 110   400 1200 error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 12   100 170 timeout 0 wit inspect 92    2200 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.7  190 true -32 wit inspect .59   18    - wit inspect - wit inspect
loops/insertion_sort_false-unreach-call_true-termination.i unknown 0 wit inspect 220   330 2700 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
loops/invert_string_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 14   310 190 exception 0 wit inspect 5.5  210 timeout 0 wit inspect 96     5000   exception 0 wit inspect 4.6  210 true -32 wit inspect 1.1    58    - wit inspect - wit inspect
loops/linear_search_false-unreach-call.i unknown 0 wit inspect 4.3 92 57 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0025 .29 - wit inspect - wit inspect
loops/ludcmp_false-unreach-call.i false(unreach-call) 1 wit inspect 32   130 410 false(unreach-call) 1 wit inspect 8.4  520 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/matrix_false-unreach-call_true-termination.i unknown 0 wit inspect 230   1800 2700 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
loops/n.c24_false-unreach-call.i unknown 0 wit inspect 4.4 92 63 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 7.1 93 90 exception 0 wit inspect 2.1  160 false(unreach-call) 1 wit inspect 4.9   270   exception 0 wit inspect 2.5  160 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
loops/nec20_false-unreach-call_true-termination.i unknown 0 wit inspect 15   120 230 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0029 .26 - wit inspect - wit inspect
loops/s3_false-unreach-call.i unknown 0 wit inspect 2.6 92 30 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loops/string_false-unreach-call_true-termination.i unknown 0 wit inspect 21   130 290 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.5 140 120 false(unreach-call) 1 wit inspect 10    530 out of memory 0 wit inspect 85     7000   unknown 0 wit inspect 8.2  260 true -32 wit inspect .71   29    - wit inspect - wit inspect
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.3 190 120 false(unreach-call) 1 wit inspect 16    640 timeout 0 wit inspect 97     5400   unknown 0 wit inspect 12    260 true -32 wit inspect .80   38    - wit inspect - wit inspect
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.5 210 110 false(unreach-call) 1 wit inspect 17    620 out of memory 0 wit inspect 63     7000   unknown 0 wit inspect 16    260 true -32 wit inspect .83   41    - wit inspect - wit inspect
loops/sum03_false-unreach-call_true-termination.i unknown 0 wit inspect 94   15000 1300 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.7 93 99 false(unreach-call) 1 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 6.5   320   unknown 0 wit inspect 2.9  210 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
loops/sum_array_false-unreach-call.i unknown 0 wit inspect 230   820 2200 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .030 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
loops/terminator_01_false-unreach-call_true-termination.i unknown 0 wit inspect 3.8 92 60 error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
loops/terminator_02_false-unreach-call_true-termination.i unknown 0 wit inspect 110   220 1300 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.1 96 98 true -32 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.2  220 true -32 wit inspect .61   19    - wit inspect - wit inspect
loops/trex01_false-unreach-call_true-termination.i unknown 0 wit inspect 33   130 420 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
loops/trex02_false-unreach-call_true-termination.i unknown 0 wit inspect 11   120 130 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.6 98 110 false(unreach-call) 1 wit inspect 3.3  250 false(unreach-call) 1 wit inspect 5.4   250   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .72   18    - wit inspect - wit inspect
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i unknown 0 wit inspect 2.5 92 28 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i unknown 0 wit inspect 4.3 92 57 error (invalid witness file) 0 wit inspect .73 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
loops/vogal_false-unreach-call.i unknown 0 wit inspect 650   560 7700 error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0025 .26 - wit inspect - wit inspect
loops/while_infinite_loop_4_false-unreach-call_true-termination.i out of memory 0 wit inspect 92   15000 1300 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loops/array_true-unreach-call_true-termination.i true 1 wit inspect 13   200 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .026 4.9
loops/bubble_sort_true-unreach-call_true-termination.i unknown 0 wit inspect 24   120 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .018 5.0
loops/count_up_down_true-unreach-call_true-termination.i true 1 wit inspect 9.1 110 110 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .022 4.8
loops/eureka_01_true-unreach-call.i true 1 wit inspect 150   470 2200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.9
loops/eureka_05_true-unreach-call_true-termination.i true 1 wit inspect 56   280 600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.9
loops/for_infinite_loop_1_true-unreach-call_false-termination.i unknown 0 wit inspect 110   15000 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.9
loops/for_infinite_loop_2_true-unreach-call_false-termination.i unknown 0 wit inspect 110   15000 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .025 5.0
loops/insertion_sort_true-unreach-call_true-termination.i true 1 wit inspect 16   130 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .023 5.0
loops/invert_string_true-unreach-call_true-termination.i true 1 wit inspect 18   170 210 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .022 4.9
loops/linear_sea.ch_true-unreach-call.i unknown 0 wit inspect 4.4 92 61 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .022 4.8
loops/lu.cmp_true-unreach-call.i error (1) 0 wit inspect 45   120 680 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 4.8
loops/matrix_true-unreach-call_true-termination.i true 1 wit inspect 20   240 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .039 4.8
loops/n.c11_true-unreach-call_false-termination.i true 1 wit inspect 110   160 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8
loops/n.c40_true-unreach-call_true-termination.i unknown 0 wit inspect 210   760 3100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .77 43 error (2) 0 wit inspect .025 4.8
loops/nec40_true-unreach-call_true-termination.i unknown 0 wit inspect 110   780 1600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .024 4.8
loops/string_true-unreach-call_true-termination.i unknown 0 wit inspect 21   130 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .027 5.0
loops/sum01_true-unreach-call_true-termination.i true 1 wit inspect 10   110 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .028 4.8
loops/sum03_true-unreach-call_false-termination.i unknown 0 wit inspect 85   15000 1100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 45 error (2) 0 wit inspect .024 4.9
loops/sum04_true-unreach-call_true-termination.i true 1 wit inspect 9.7 110 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .021 4.8
loops/sum_array_true-unreach-call.i unknown 0 wit inspect 230   680 2400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .022 4.9
loops/terminator_02_true-unreach-call_true-termination.i true 1 wit inspect 15   140 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .022 4.8
loops/terminator_03_true-unreach-call_true-termination.i unknown 0 wit inspect 12   120 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .025 5.0
loops/trex01_true-unreach-call_true-termination.i unknown 0 wit inspect 32   130 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.8
loops/trex02_true-unreach-call_true-termination.i true 1 wit inspect 9.5 120 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
loops/trex03_true-unreach-call_true-termination.i true 1 wit inspect 11   130 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .023 4.8
loops/trex04_true-unreach-call_false-termination.i timeout 0 wit inspect 900   100 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 4.8
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i unknown 0 wit inspect 2.5 92 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i unknown 0 wit inspect 4.4 92 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .021 4.9
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i unknown 0 wit inspect 8.3 92 99 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 4.8
loops/vogal_true-unreach-call.i unknown 0 wit inspect 30   120 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .026 4.9
loops/while_infinite_loop_1_true-unreach-call_false-termination.i unknown 0 wit inspect 90   15000 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 46 error (2) 0 wit inspect .025 4.8
loops/while_infinite_loop_2_true-unreach-call_false-termination.i out of memory 0 wit inspect 90   15000 1200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.9
loops/while_infinite_loop_3_true-unreach-call_false-termination.i unknown 0 wit inspect 92   15000 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.9
loop-acceleration/array_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 8.7 190 100 timeout 0 wit inspect 92    460 out of memory 0 wit inspect 63     7000   unknown 0 wit inspect 13    280 false(unreach-call) 1 wit inspect .92   39    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 9.9 380 130 timeout 0 wit inspect 97    1300 timeout 0 wit inspect 93     7000   unknown 0 wit inspect 28    600 false(unreach-call) 1 wit inspect 1.4    69    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call3_true-termination.i false(unreach-call) 0 wit inspect 11   290 120 timeout 0 wit inspect 97    1400 timeout 0 wit inspect 97     5400   unknown 0 wit inspect 17    280 true -32 wit inspect .99   55    - wit inspect - wit inspect
loop-acceleration/const_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.6 190 130 false(unreach-call) 1 wit inspect 13    640 timeout 0 wit inspect 97     5400   unknown 0 wit inspect 13    260 false(unreach-call) 1 wit inspect .79   39    - wit inspect - wit inspect
loop-acceleration/diamond_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.7 100 110 false(unreach-call) 1 wit inspect 5.2  280 out of memory 0 wit inspect 65     7000   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .61   20    - wit inspect - wit inspect
loop-acceleration/functions_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 10   92 170 timeout 0 wit inspect 92    1800 true -32 wit inspect 5.7   250   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect 1.1    18    - wit inspect - wit inspect
loop-acceleration/multivar_false-unreach-call1_true-termination.i unknown 0 wit inspect 10   110 140 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loop-acceleration/nested_false-unreach-call1.i false(unreach-call) 1 wit inspect 13   96 160 timeout 0 wit inspect 92    1800 true -32 wit inspect 5.0   250   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect 3.4    18    - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.9 100 110 timeout 0 wit inspect 92    1900 true -32 wit inspect 5.1   250   unknown 0 wit inspect 2.8  190 false(unreach-call) 1 wit inspect .88   18    - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call2_false-termination.i timeout 0 wit inspect 900   100 11000 error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.1 93 120 timeout 0 wit inspect 91    1800 true -32 wit inspect 5.2   270   unknown 0 wit inspect 2.9  190 false(unreach-call) 1 wit inspect .79   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 8.3 92 120 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 4.4   250   unknown 0 wit inspect 3.0  180 false(unreach-call) 1 wit inspect .79   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 1 wit inspect 7.9 92 98 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 4.7   240   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call4.i out of memory 0 wit inspect 36   15000 570 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 8.5 92 120 false(unreach-call) 1 wit inspect 4.1  260 false(unreach-call) 1 wit inspect 5.6   340   unknown 0 wit inspect 3.0  190 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 8.5 92 120 false(unreach-call) 1 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 13     360   unknown 0 wit inspect 3.1  190 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call1_true-termination.i true 1 wit inspect 16   250 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.8
loop-acceleration/array_true-unreach-call2_true-termination.i unknown 0 wit inspect 110   550 1100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.9
loop-acceleration/array_true-unreach-call3_true-termination.i true 1 wit inspect 17   220 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.8
loop-acceleration/array_true-unreach-call4_true-termination.i true 1 wit inspect 12   140 170 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .025 4.9
loop-acceleration/const_true-unreach-call1.i true 1 wit inspect 9.0 110 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .023 4.8
loop-acceleration/diamond_true-unreach-call1_true-termination.i unknown 0 wit inspect 210   260 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .034 4.9
loop-acceleration/diamond_true-unreach-call2.i true 1 wit inspect 350   250 4600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .022 5.0
loop-acceleration/functions_true-unreach-call1_true-termination.i unknown 0 wit inspect 31   110 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .021 4.8
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 1 wit inspect 9.4 110 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.8
loop-acceleration/nested_true-unreach-call1.i true 1 wit inspect 150   110 2000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .024 4.8
loop-acceleration/overflow_true-unreach-call1.i unknown 0 wit inspect 180   110 1800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8
loop-acceleration/phases_true-unreach-call1.i unknown 0 wit inspect 230   380 2900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.8
loop-acceleration/phases_true-unreach-call2_false-termination.i timeout 0 wit inspect 900   100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 4.8
loop-acceleration/simple_true-unreach-call1.i true 1 wit inspect 20   110 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .025 5.0
loop-acceleration/simple_true-unreach-call2_true-termination.i true 1 wit inspect 31   110 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .025 4.8
loop-acceleration/simple_true-unreach-call3_true-termination.i true 1 wit inspect 8.9 110 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.9
loop-acceleration/simple_true-unreach-call4.i true 1 wit inspect 20   110 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .026 4.8
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 1 wit inspect 12   120 160 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .025 4.8
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 1 wit inspect 11   120 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .021 4.8
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i timeout 0 wit inspect 900   98 11000 error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i true 1 wit inspect 17   130 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .025 4.8
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i unknown 0 wit inspect 220   270 2400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .023 4.8
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i true 1 wit inspect 14   130 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .022 4.9
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i unknown 0 wit inspect 15   110 170 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .025 5.0
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i error (1) 0 wit inspect 17   190 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .026 4.8
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i error (1) 0 wit inspect 11   170 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .021 4.8
loop-invgen/id_trans_false-unreach-call_true-termination.i unknown 0 wit inspect 15   120 230 error (invalid witness file) 0 wit inspect .72 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i unknown 0 wit inspect 38   170 480 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .024 5.0
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 1 wit inspect 13   140 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .024 4.8
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i unknown 0 wit inspect 270   320 2900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i unknown 0 wit inspect 170   220 2800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i unknown 0 wit inspect 350   370 4500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.8
loop-invgen/down_true-unreach-call_true-termination.i true 1 wit inspect 13   130 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .025 5.0
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i true 1 wit inspect 17   160 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.9
loop-invgen/half_2_true-unreach-call_true-termination.i true 1 wit inspect 20   160 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .021 5.0
loop-invgen/heapsort_true-unreach-call_true-termination.i unknown 0 wit inspect 36   130 540 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 4.9
loop-invgen/id_build_true-unreach-call_true-termination.i true 1 wit inspect 16   130 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .023 5.0
loop-invgen/large_const_true-unreach-call_true-termination.i unknown 0 wit inspect 15   110 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .022 4.8
loop-invgen/nest-if3_true-unreach-call_true-termination.i unknown 0 wit inspect 230   470 2500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 4.9
loop-invgen/nested6_true-unreach-call_true-termination.i true 1 wit inspect 470   440 4700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 4.8
loop-invgen/nested9_true-unreach-call_true-termination.i true 1 wit inspect 350   1000 4300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 5.0
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i unknown 0 wit inspect 430   370 5700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .025 4.8
loop-invgen/seq_true-unreach-call_true-termination.i true 1 wit inspect 18   170 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .023 5.0
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i unknown 0 wit inspect 4.3 92 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
loop-invgen/up_true-unreach-call_true-termination.i true 1 wit inspect 14   130 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 1 wit inspect 11   110 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 5.0
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 1 wit inspect 320   370 3800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .025 4.8
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 1 wit inspect 8.9 110 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .020 4.8
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 1 wit inspect 11   110 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 1 wit inspect 26   170 320 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .030 4.8
loop-lit/css2003_true-unreach-call_true-termination.c.i true 1 wit inspect 14   150 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .019 4.9
loop-lit/ddlm2013_true-unreach-call.i true 1 wit inspect 220   220 3000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .024 4.9
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 1 wit inspect 210   240 3000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .025 4.8
loop-lit/gj2007b_true-unreach-call_true-termination.c.i unknown 0 wit inspect 260   380 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.9
loop-lit/gr2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect 210   200 2600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .023 5.0
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 1 wit inspect 19   160 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .027 4.8
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 1 wit inspect 12   120 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.8
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 1 wit inspect 11   120 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .023 5.0
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 1 wit inspect 13   120 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .022 5.0
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect 4.8 92 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .023 4.8
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 10   100 130 timeout 0 wit inspect 92    2200 true -32 wit inspect 6.6   390   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .64   22    - wit inspect - wit inspect
loop-new/count_by_1_true-unreach-call_true-termination.i true 1 wit inspect 8.5 110 110 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .019 4.9
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 1 wit inspect 73   330 930 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .025 5.0
loop-new/count_by_2_true-unreach-call_true-termination.i true 1 wit inspect 8.6 110 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .025 4.8
loop-new/count_by_k_true-unreach-call_true-termination.i true 1 wit inspect 14   180 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .022 5.0
loop-new/count_by_nondet_true-unreach-call_true-termination.i unknown 0 wit inspect 310   350 3500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .025 5.0
loop-new/gauss_sum_true-unreach-call_true-termination.i true 1 wit inspect 13   210 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .030 4.8
loop-new/half_true-unreach-call_true-termination.i unknown 0 wit inspect 300   180 3400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 4.8
loop-new/nested_true-unreach-call_true-termination.i unknown 0 wit inspect 420   190 6300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .031 4.8
loop-industry-pattern/aiob_1_true-unreach-call.c unknown 0 wit inspect 2.5 92 35 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .028 4.8
loop-industry-pattern/aiob_2_true-unreach-call.c unknown 0 wit inspect 2.4 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 4.8
loop-industry-pattern/aiob_3_true-unreach-call.c unknown 0 wit inspect 2.5 92 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
loop-industry-pattern/aiob_4_true-unreach-call.c unknown 0 wit inspect 2.5 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .025 4.8
loop-industry-pattern/mod3_true-unreach-call.c true 1 wit inspect 34   250 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.8
loop-industry-pattern/nested_true-unreach-call.c timeout 0 wit inspect 900   250 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.8
loop-industry-pattern/ofuf_1_true-unreach-call.c unknown 0 wit inspect 2.5 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 4.8
loop-industry-pattern/ofuf_2_true-unreach-call.c unknown 0 wit inspect 2.5 92 30 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.8
loop-industry-pattern/ofuf_3_true-unreach-call.c unknown 0 wit inspect 2.5 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .024 4.8
loop-industry-pattern/ofuf_4_true-unreach-call.c unknown 0 wit inspect 2.5 92 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 5.0
loop-industry-pattern/ofuf_5_true-unreach-call.c unknown 0 wit inspect 2.5 92 37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .020 4.8
loops/heavy_true-unreach-call.c unknown 0 wit inspect 3.8 92 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .024 4.9
loops/compact_false-unreach-call.c unknown 0 wit inspect 3.8 92 50 error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
loops/heavy_false-unreach-call.c unknown 0 wit inspect 3.8 92 62 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 120   780 1200 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 10   100 130 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 5.2   260   unknown 0 wit inspect 2.1  180 error (2) 0 wit inspect .75   18    - wit inspect - wit inspect
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 7.8 110 110 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 110   220 1400 error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   100 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   93 11000 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 110   470 1600 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
recursive/Ackermann01_true-unreach-call_true-no-overflow.c true 2 wit inspect 22   160 290 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.2  250 true 2 wit inspect 18     500  
recursive/Ackermann03_true-unreach-call_true-no-overflow.c unknown 0 wit inspect 110   600 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .027 5.0
recursive/Ackermann04_true-unreach-call_true-no-overflow.c unknown 0 wit inspect 120   190 1800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 42 error (2) 0 wit inspect .018 4.8
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 120   370 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 46 error (2) 0 wit inspect .031 4.8
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 110   390 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .023 4.8
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 110   270 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .023 4.8
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c true 2 wit inspect 16   130 160 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.7  250 true 2 wit inspect 20     550  
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 8.3 110 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .022 4.8
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 110   160 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.8
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 110   470 1200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 97   170 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .020 4.9
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c unknown 0 wit inspect 19   150 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .023 4.9
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 21   170 280 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .021 4.8
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 120   830 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .024 4.8
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c error (1) 0 wit inspect 13   120 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 45 error (2) 0 wit inspect .023 4.8
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 13   130 190 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.5  250 true 2 wit inspect 6.3   260  
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 13   130 190 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.5  250 true 2 wit inspect 33     790  
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.9 92 100 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 4.3   240   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 6.5 92 88 true -32 wit inspect 3.9  250 false(unreach-call) 1 wit inspect 4.9   220   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .71   18    - wit inspect - wit inspect
recursive-simple/fibo_10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.2 98 87 false(unreach-call) 1 wit inspect 11    350 timeout 0 wit inspect 97     6600   unknown 0 wit inspect 4.7  220 false(unreach-call) 1 wit inspect .70   24    - wit inspect - wit inspect
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 1 wit inspect 9.4 420 130 false(unreach-call) 1 wit inspect 45    1500 out of memory 0 wit inspect 59     7000   unknown 0 wit inspect 10    500 false(unreach-call) 1 wit inspect 1.2    76    - wit inspect - wit inspect
recursive-simple/fibo_20_false-unreach-call.c false(unreach-call) 1 wit inspect 35   4000 370 timeout 0 wit inspect 96    2500 out of memory 0 wit inspect 75     7000   timeout 0 wit inspect 97    2500 false(unreach-call) 1 wit inspect 8.8    680    - wit inspect - wit inspect
recursive-simple/fibo_25_false-unreach-call.c false(unreach-call) 0 wit inspect 11   1200 130 timeout 0 wit inspect 98    5500 timeout 0 wit inspect 96     6100   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 78      7000    - wit inspect - wit inspect
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 1 wit inspect 8.7 110 120 false(unreach-call) 1 wit inspect 7.0  350 timeout 0 wit inspect 96     5700   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .64   24    - wit inspect - wit inspect
recursive-simple/fibo_2calls_15_false-unreach-call.c false(unreach-call) 1 wit inspect 11   420 150 false(unreach-call) 1 wit inspect 22    1300 timeout 0 wit inspect 97     7000   unknown 0 wit inspect 11    350 false(unreach-call) 1 wit inspect 1.3    76    - wit inspect - wit inspect
recursive-simple/fibo_2calls_20_false-unreach-call.c false(unreach-call) 1 wit inspect 35   4000 320 timeout 0 wit inspect 94    7000 timeout 0 wit inspect 93     7000   timeout 0 wit inspect 96    2400 false(unreach-call) 1 wit inspect 8.5    680    - wit inspect - wit inspect
recursive-simple/fibo_2calls_25_false-unreach-call.c false(unreach-call) 0 wit inspect 12   1200 160 timeout 0 wit inspect 98    5500 timeout 0 wit inspect 98     6200   timeout 0 wit inspect 98    5500 out of memory 0 wit inspect 77      7000    - wit inspect - wit inspect
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.5 92 130 false(unreach-call) 1 wit inspect 3.3  260 false(unreach-call) 1 wit inspect 5.1   250   unknown 0 wit inspect 3.8  190 false(unreach-call) 1 wit inspect .74   18    - wit inspect - wit inspect
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.5 92 110 false(unreach-call) 1 wit inspect 4.6  270 false(unreach-call) 1 wit inspect 15     430   unknown 0 wit inspect 2.9  190 false(unreach-call) 1 wit inspect .59   19    - wit inspect - wit inspect
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.5 92 110 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 20     920   unknown 0 wit inspect 3.0  210 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.5 92 120 false(unreach-call) 1 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 47     1800   unknown 0 wit inspect 3.2  190 false(unreach-call) 1 wit inspect .58   19    - wit inspect - wit inspect
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.5 92 110 false(unreach-call) 1 wit inspect 7.0  300 timeout 0 wit inspect 98     3800   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .60   20    - wit inspect - wit inspect
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.1 92 86 false(unreach-call) 1 wit inspect 4.3  270 false(unreach-call) 1 wit inspect 24     890   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
recursive-simple/fibo_7_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.2 92 94 false(unreach-call) 1 wit inspect 6.1  280 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .59   19    - wit inspect - wit inspect
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 8.8 92 140 false(unreach-call) 1 wit inspect 3.4  260 true -32 wit inspect 5.7   260   unknown 0 wit inspect 2.8  180 true -32 wit inspect .60   18    - wit inspect - wit inspect
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.5 92 110 false(unreach-call) 1 wit inspect 3.3  270 false(unreach-call) 1 wit inspect 5.2   260   unknown 0 wit inspect 2.7  210 false(unreach-call) 1 wit inspect .59   19    - wit inspect - wit inspect
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.5 92 90 false(unreach-call) 1 wit inspect 4.5  260 true -32 wit inspect 4.9   260   unknown 0 wit inspect 3.4  190 true -32 wit inspect .66   18    - wit inspect - wit inspect
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.2 92 96 false(unreach-call) 1 wit inspect 2.7  270 false(unreach-call) 1 wit inspect 4.4   390   unknown 0 wit inspect 2.2  210 false(unreach-call) 1 wit inspect .68   19    - wit inspect - wit inspect
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.2 92 82 false(unreach-call) 1 wit inspect 5.1  270 false(unreach-call) 1 wit inspect 12     470   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.2 92 87 false(unreach-call) 1 wit inspect 4.5  280 false(unreach-call) 1 wit inspect 12     630   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.1 92 92 false(unreach-call) 1 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 17     830   unknown 0 wit inspect 3.7  210 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.1 92 100 false(unreach-call) 1 wit inspect 4.5  260 false(unreach-call) 1 wit inspect 5.0   270   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 0 wit inspect 7.5 92 98 timeout 0 wit inspect 91    2400 true -32 wit inspect 5.0   260   unknown 0 wit inspect 2.8  180 true -32 wit inspect .58   18    - wit inspect - wit inspect
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.7 92 97 false(unreach-call) 1 wit inspect 6.9  420 true -32 wit inspect 7.8   260   unknown 0 wit inspect 2.8  180 true -32 wit inspect .63   18    - wit inspect - wit inspect
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.5 92 95 false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 7.7   260   unknown 0 wit inspect 2.7  180 true -32 wit inspect .59   18    - wit inspect - wit inspect
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.7 92 95 false(unreach-call) 1 wit inspect 15    670 true -32 wit inspect 5.0   260   unknown 0 wit inspect 2.7  170 true -32 wit inspect .60   18    - wit inspect - wit inspect
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.6 92 97 false(unreach-call) 1 wit inspect 4.0  290 true -32 wit inspect 7.3   260   unknown 0 wit inspect 2.9  180 true -32 wit inspect .71   18    - wit inspect - wit inspect
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.4 92 89 false(unreach-call) 1 wit inspect 4.2  260 true -32 wit inspect 5.4   260   unknown 0 wit inspect 2.9  180 true -32 wit inspect .59   18    - wit inspect - wit inspect
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.6 95 95 false(unreach-call) 1 wit inspect 5.3  270 false(unreach-call) 1 wit inspect 9.7   370   unknown 0 wit inspect 3.3  230 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.6 92 110 false(unreach-call) 1 wit inspect 5.5  270 false(unreach-call) 1 wit inspect 12     460   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.6 92 110 false(unreach-call) 1 wit inspect 3.4  280 false(unreach-call) 1 wit inspect 15     590   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .59   19    - wit inspect - wit inspect
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.6 92 95 false(unreach-call) 1 wit inspect 7.0  280 false(unreach-call) 1 wit inspect 14     880   unknown 0 wit inspect 3.7  210 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.6 92 120 false(unreach-call) 1 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 5.2   260   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 1 wit inspect 7.9 120 94 timeout 0 wit inspect 92    2300 timeout 0 wit inspect 97     6900   unknown 0 wit inspect 22    1500 false(unreach-call) 1 wit inspect .67   26    - wit inspect - wit inspect
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c unknown 0 wit inspect 8.7 110 110 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .022 5.0
recursive-simple/afterrec_true-unreach-call_true-termination.c unknown 0 wit inspect 7.3 110 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.8
recursive-simple/fibo_10_true-unreach-call_true-termination.c true 2 wit inspect 14   200 160 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.2  260 true 2 wit inspect 63     4500  
recursive-simple/fibo_15_true-unreach-call.c true 1 wit inspect 14   210 150 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 5.1  250 timeout 0 wit inspect 960     5400  
recursive-simple/fibo_20_true-unreach-call.c true 1 wit inspect 19   210 230 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 8.8  820 timeout 0 wit inspect 960     6100  
recursive-simple/fibo_25_true-unreach-call.c true 1 wit inspect 25   1200 330 - wit inspect - wit inspect - wit inspect - wit inspect out of java memory 0 wit inspect 730    5500 out of memory 0 wit inspect 130     7000  
recursive-simple/fibo_2calls_10_true-unreach-call.c true 2 wit inspect 15   200 180 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.0  250 true 2 wit inspect 110     4500  
recursive-simple/fibo_2calls_15_true-unreach-call.c true 1 wit inspect 15   200 210 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.3  250 timeout 0 wit inspect 960     5700  
recursive-simple/fibo_2calls_20_true-unreach-call.c true 1 wit inspect 29   220 360 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 9.5  820 timeout 0 wit inspect 960     5700  
recursive-simple/fibo_2calls_25_true-unreach-call.c true 1 wit inspect 17   1200 240 - wit inspect - wit inspect - wit inspect - wit inspect out of java memory 0 wit inspect 600    5500 out of memory 0 wit inspect 170     7000  
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect 14   170 170 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  250 true 2 wit inspect 11     370  
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect 15   200 190 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.8  250 true 2 wit inspect 20     550  
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect 15   200 200 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 2.5  250 true 2 wit inspect 21     510  
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect 15   200 190 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.1  250 true 2 wit inspect 34     760  
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 2 wit inspect 15   200 190 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.9  260 true 2 wit inspect 61     1700  
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 2 wit inspect 14   200 160 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.0  250 true 2 wit inspect 14     540  
recursive-simple/fibo_7_true-unreach-call_true-termination.c true 2 wit inspect 14   200 200 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.9  250 true 2 wit inspect 20     780  
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 1 wit inspect 15   210 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.9
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 1 wit inspect 14   200 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 5.0
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 1 wit inspect 15   210 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .043 5.0
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect 14   170 170 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.8  250 true 2 wit inspect 13     500  
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 1 wit inspect 14   210 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 5.0
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 1 wit inspect 12   160 160 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .023 4.8
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 1 wit inspect 12   160 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 2 wit inspect 14   210 180 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.0  250 true 2 wit inspect 18     540  
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 2 wit inspect 15   210 200 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 2.8  250 true 2 wit inspect 24     620  
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 2 wit inspect 15   210 210 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.0  250 true 2 wit inspect 33     750  
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 2 wit inspect 17   220 240 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.8  250 true 2 wit inspect 38     830  
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect 12   170 160 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.3  250 true 2 wit inspect 13     440  
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect 12   220 180 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.0  250 true 2 wit inspect 21     550  
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect 13   220 170 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.5  250 true 2 wit inspect 24     690  
recursive-simple/sum_20x0_true-unreach-call_true-termination.c unknown 0 wit inspect 110   340 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .023 4.9
recursive-simple/sum_25x0_true-unreach-call_true-termination.c unknown 0 wit inspect 110   420 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .021 4.9
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect 11   140 150 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.7  250 true 2 wit inspect 9.6   350  
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c unknown 0 wit inspect 110   280 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .025 4.8
/localhome/dbeyer/comp/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
total 426 344 35000 280000 420000 140 -54 4100 150000 140 -965 3600 230000 140 0 1900 95000 140 -511 1000 83000 286 2 1600   30000 286 44 4800 60000
    correct results 193 309 7900 68000 97000 42 42 310 16000 27 27 290 13000 0 65 65 380 26000 1 2 3.9 250 22 44 630 22000
        correct true 116 232 6900 38000 84000 0 0 0 0 1 2 3.9 250 22 44 630 22000
        correct false 77 77 1000 31000 13000 42 42 310 16000 27 27 290 13000 0 65 65 380 26000 0 0
    correct-unconfimed results 82 67 3600 34000 45000 0 0 0 0 0 0
        correct-unconfirmed true 67 67 3300 15000 41000 0 0 0 0 0 0
        correct-unconfirmed false 15 0 300 20000 3900 0 0 0 0 0 0
    incorrect results 1 -32 110 400 1200 3 -96 12 770 31 -992 170 7700 0 18 -576 12 460 0 0
        incorrect true 1 -32 110 400 1200 3 -96 12 770 31 -992 170 7700 0 18 -576 12 460 0 0
        incorrect false 0 0 0 0 0 0 0
Run set viap.[sv-comp18.ReachSafety-Arrays; sv-comp18.ReachSafety-Loops; sv-comp18.ReachSafety-Recursive] cpa-seq-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] uautomizer-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] cpa-witness2test-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] fshell-witness2test-validate-violation-witnesses-viap.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] cpa-seq-validate-correctness-witnesses-viap.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive] uautomizer-validate-correctness-witnesses-viap.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive]