Tool skink
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-15 22:52:00 CET [[ 2016-01-16 00:34:30 CET ]] [[ 2016-01-16 00:56:26 CET ]]
Run set sv-comp16.Loops
Options [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/skink.2016-01-15_2252.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/skink.2016-01-15_2252.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
loops/array_false-unreach-call.i witness unconfirmed 11   3.8 470 wit true 5.3 3.0 230 true 12 6.4 340
loops/bubble_sort_false-unreach-call.i unknown 54   44   1300 wit - -
loops/count_up_down_false-unreach-call_true-termination.i witness timeout 8.3 2.6 330 wit timeout 90   73   1500 true 12 6.4 330
loops/eureka_01_false-unreach-call.i unknown 14   6.0 640 wit - -
loops/for_bounded_loop1_false-unreach-call_true-termination.i witness timeout 10   3.7 450 wit timeout 90   73   1700 true 12 6.3 330
loops/insertion_sort_false-unreach-call.i unknown 11   4.1 450 wit - -
loops/invert_string_false-unreach-call.i witness timeout 14   6.1 710 wit timeout 91   80   1400 true 13 6.9 340
loops/linear_search_false-unreach-call.i unknown 7.8 2.6 330 wit - -
loops/ludcmp_false-unreach-call.i unknown 3.3 1.5 180 wit - -
loops/matrix_false-unreach-call_true-termination.i unknown 8.1 2.8 340 wit - -
loops/n.c24_false-unreach-call.i unknown 9.7 3.8 440 wit - -
loops/nec11_false-unreach-call.i witness unconfirmed 8.3 2.7 340 wit true 5.0 2.8 230 true 10 6.0 330
loops/nec20_false-unreach-call.i unknown 45   30   1100 wit - -
loops/s3_false-unreach-call.i unknown 11   3.0 460 wit - -
loops/string_false-unreach-call.i unknown 8.7 3.2 370 wit - -
loops/sum01_bug02_false-unreach-call_true-termination.i witness timeout 16   6.8 760 wit timeout 91   80   1500 true 12 6.7 340
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i witness timeout 14   5.5 590 wit timeout 90   76   2000 true 12 6.5 330
loops/sum01_false-unreach-call_true-termination.i witness timeout 23   11   880 wit timeout 91   80   1300 true 13 7.7 350
loops/sum03_false-unreach-call_true-termination.i witness unconfirmed 55   42   1300 wit true 6.9 3.9 260 true 14 7.6 350
loops/sum04_false-unreach-call_true-termination.i witness unconfirmed 18   7.9 750 wit true 5.0 2.9 220 true 13 6.9 340
loops/sum_array_false-unreach-call.i witness timeout 13   5.4 670 wit timeout 91   80   1300 true 13 7.0 330
loops/terminator_01_false-unreach-call_false-termination.i witness unconfirmed 8.9 2.9 320 wit true 4.4 2.6 210 true 13 6.8 330
loops/terminator_02_false-unreach-call_true-termination.i witness unconfirmed 10   3.4 340 wit true 5.4 3.1 230 true 12 6.3 330
loops/terminator_03_false-unreach-call_true-termination.i witness unconfirmed 9.4 3.2 390 wit true 5.6 3.2 240 true 12 6.6 330
loops/trex01_false-unreach-call_true-termination.i unknown 5.3 1.9 260 wit - -
loops/trex02_false-unreach-call_true-termination.i witness unconfirmed 8.1 2.6 320 wit true 4.7 2.7 220 true 11 6.0 320
loops/trex03_false-unreach-call_true-termination.i witness unconfirmed 9.7 3.4 410 wit true 6.9 3.8 260 true 11 6.2 330
loops/verisec_NetBSD-libc__loop_false-unreach-call.i unknown 7.1 2.4 310 wit - -
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i unknown 11   4.2 420 wit - -
loops/vogal_false-unreach-call.i unknown 10   4.1 460 wit - -
loops/while_infinite_loop_4_false-unreach-call_true-termination.i witness unconfirmed 7.4 2.4 320 wit true 4.2 2.5 210 true 11 5.9 330
loops/array_true-unreach-call.i true 12   4.2 510 wit - -
loops/bubble_sort_true-unreach-call.i unknown 6.1 2.1 290 wit - -
loops/count_up_down_true-unreach-call_true-termination.i true 11   3.5 420 wit - -
loops/eureka_01_true-unreach-call.i unknown 13   5.4 560 wit - -
loops/eureka_05_true-unreach-call.i unknown 6.8 2.3 310 wit - -
loops/for_infinite_loop_1_true-unreach-call_false-termination.i unknown 11   3.8 370 wit - -
loops/for_infinite_loop_2_true-unreach-call_false-termination.i unknown 9.2 3.3 360 wit - -
loops/insertion_sort_true-unreach-call.i unknown 10   4.0 450 wit - -
loops/invert_string_true-unreach-call.i unknown 30   18   940 wit - -
loops/linear_sea.ch_true-unreach-call.i unknown 8.0 2.6 330 wit - -
loops/lu.cmp_true-unreach-call.i unknown 3.9 1.6 180 wit - -
loops/matrix_true-unreach-call_true-termination.i unknown 8.8 2.9 320 wit - -
loops/n.c11_true-unreach-call.i true 27   14   770 wit - -
loops/n.c40_true-unreach-call.i unknown 9.2 3.3 360 wit - -
loops/nec40_true-unreach-call.i false(reach) 9.5 3.1 380 wit - -
loops/string_true-unreach-call.i unknown 49   36   1100 wit - -
loops/sum01_true-unreach-call_true-termination.i true 14   4.6 460 wit - -
loops/sum03_true-unreach-call_false-termination.i true 12   3.9 440 wit - -
loops/sum04_true-unreach-call_true-termination.i true 19   7.0 800 wit - -
loops/sum_array_true-unreach-call.i unknown 88   73   1300 wit - -
loops/terminator_02_true-unreach-call_true-termination.i true 11   3.5 450 wit - -
loops/terminator_03_true-unreach-call_true-termination.i true 11   3.6 440 wit - -
loops/trex01_true-unreach-call.i unknown 5.3 1.9 280 wit - -
loops/trex02_true-unreach-call_true-termination.i unknown 39   26   1100 wit - -
loops/trex03_true-unreach-call.i unknown 25   14   940 wit - -
loops/trex04_true-unreach-call_false-termination.i unknown 21   11   870 wit - -
loops/veris.c_NetBSD-libc__loop_true-unreach-call.i unknown 8.2 2.8 320 wit - -
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i unknown 9.2 3.6 420 wit - -
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i unknown 10   3.9 360 wit - -
loops/vogal_true-unreach-call.i unknown 10   4.2 470 wit - -
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 8.1 2.6 330 wit - -
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 7.7 2.5 330 wit - -
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 8.1 2.6 320 wit - -
loop-acceleration/array_false-unreach-call1.i unknown 46   31   1000 wit - -
loop-acceleration/array_false-unreach-call2.i unknown 64   49   920 wit - -
loop-acceleration/array_false-unreach-call3.i unknown 53   36   1100 wit - -
loop-acceleration/const_false-unreach-call1.i unknown 31   17   970 wit - -
loop-acceleration/diamond_false-unreach-call1.i unknown 37   23   1000 wit - -
loop-acceleration/functions_false-unreach-call1.i unknown 42   28   1100 wit - -
loop-acceleration/multivar_false-unreach-call1.i witness unconfirmed 8.2 2.4 320 wit true 4.8 2.8 230 true 11 6.3 310
loop-acceleration/nested_false-unreach-call1.i unknown 71   54   940 wit - -
loop-acceleration/phases_false-unreach-call1.i unknown 130   110   1300 wit - -
loop-acceleration/phases_false-unreach-call2.i witness unconfirmed 8.7 2.8 320 wit true 5.0 2.8 230 true 11 6.1 330
loop-acceleration/simple_false-unreach-call1.i unknown 30   15   930 wit - -
loop-acceleration/simple_false-unreach-call2.i witness unconfirmed 9.0 2.9 320 wit true 4.4 2.6 210 true 13 7.1 340
loop-acceleration/simple_false-unreach-call3.i witness timeout 7.8 2.5 320 wit timeout 90   74   890 true 11 7.1 310
loop-acceleration/simple_false-unreach-call4.i unknown 28   14   900 wit - -
loop-acceleration/underapprox_false-unreach-call1.i witness unconfirmed 12   4.2 520 wit true 5.1 2.9 220 true 13 6.7 320
loop-acceleration/underapprox_false-unreach-call2.i witness unconfirmed 13   4.3 510 wit true 5.0 2.8 220 true 11 6.3 330
loop-acceleration/array_true-unreach-call1.i true 9.4 3.1 370 wit - -
loop-acceleration/array_true-unreach-call2.i unknown 62   47   910 wit - -
loop-acceleration/array_true-unreach-call3.i true 10   3.4 420 wit - -
loop-acceleration/array_true-unreach-call4.i unknown 36   20   1100 wit - -
loop-acceleration/const_true-unreach-call1.i true 8.6 2.7 320 wit - -
loop-acceleration/diamond_true-unreach-call1.i unknown 25   13   880 wit - -
loop-acceleration/diamond_true-unreach-call2.i unknown 30   18   940 wit - -
loop-acceleration/functions_true-unreach-call1.i unknown 44   29   1100 wit - -
loop-acceleration/multivar_true-unreach-call1.i true 9.5 3.0 350 wit - -
loop-acceleration/nested_true-unreach-call1.i unknown 38   23   830 wit - -
loop-acceleration/overflow_true-unreach-call1.i true 8.2 2.7 320 wit - -
loop-acceleration/phases_true-unreach-call1.i unknown 140   120   1000 wit - -
loop-acceleration/phases_true-unreach-call2.i unknown 8.9 3.2 350 wit - -
loop-acceleration/simple_true-unreach-call1.i unknown 26   13   840 wit - -
loop-acceleration/simple_true-unreach-call2.i true 7.7 2.6 320 wit - -
loop-acceleration/simple_true-unreach-call3.i true 10   3.4 410 wit - -
loop-acceleration/simple_true-unreach-call4.i unknown 28   14   850 wit - -
loop-acceleration/underapprox_true-unreach-call1.i true 13   4.9 630 wit - -
loop-acceleration/underapprox_true-unreach-call2.i true 9.0 2.9 350 wit - -
loop-invgen/id_trans_false-unreach-call.i witness timeout 14   4.9 490 wit timeout 90   70   1600 true 12 6.3 330
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call.i true 16   7.2 740 wit - -
loop-invgen/NetBSD_loop_true-unreach-call.i true 15   5.3 610 wit - -
loop-invgen/SpamAssassin-loop_true-unreach-call.i unknown 180   170   1700 wit - -
loop-invgen/apache-escape-absolute_true-unreach-call.i unknown 93   77   1300 wit - -
loop-invgen/apache-get-tag_true-unreach-call.i unknown 22   12   920 wit - -
loop-invgen/down_true-unreach-call.i unknown 61   46   1200 wit - -
loop-invgen/fragtest_simple_true-unreach-call.i unknown 92   76   1200 wit - -
loop-invgen/half_2_true-unreach-call.i unknown 49   34   1200 wit - -
loop-invgen/heapsort_true-unreach-call.i unknown 110   96   1400 wit - -
loop-invgen/id_build_true-unreach-call.i unknown 300   280   1800 wit - -
loop-invgen/large_const_true-unreach-call.i true 17   7.6 740 wit - -
loop-invgen/nest-if3_true-unreach-call.i unknown 70   55   1500 wit - -
loop-invgen/nested6_true-unreach-call.i unknown 58   44   1300 wit - -
loop-invgen/nested9_true-unreach-call.i unknown 93   78   1400 wit - -
loop-invgen/sendmail-close-angle_true-unreach-call.i unknown 28   16   940 wit - -
loop-invgen/seq_true-unreach-call.i unknown 68   52   1200 wit - -
loop-invgen/string_concat-noarr_true-unreach-call.i unknown 82   66   1200 wit - -
loop-invgen/up_true-unreach-call.i unknown 60   46   1100 wit - -
loop-lit/afnp2014_true-unreach-call.c.i unknown 28   15   790 wit - -
loop-lit/bhmr2007_true-unreach-call.c.i unknown 59   43   1100 wit - -
loop-lit/cggmp2005_true-unreach-call.c.i true 12   4.1 500 wit - -
loop-lit/cggmp2005_variant_true-unreach-call.c.i true 10   3.5 440 wit - -
loop-lit/cggmp2005b_true-unreach-call.c.i unknown 62   47   1400 wit - -
loop-lit/css2003_true-unreach-call.c.i true 13   4.7 600 wit - -
loop-lit/ddlm2013_true-unreach-call.c.i unknown 220   200   1700 wit - -
loop-lit/gj2007_true-unreach-call.c.i unknown 150   130   1000 wit - -
loop-lit/gj2007b_true-unreach-call.c.i unknown 44   28   1000 wit - -
loop-lit/gr2006_true-unreach-call.c.i unknown 160   140   1300 wit - -
loop-lit/gsv2008_true-unreach-call.c.i true 9.8 3.3 400 wit - -
loop-lit/hhk2008_true-unreach-call.c.i true 11   3.7 430 wit - -
loop-lit/jm2006_true-unreach-call.c.i true 11   3.6 430 wit - -
loop-lit/jm2006_variant_true-unreach-call.c.i true 12   3.9 480 wit - -
loop-lit/mcmillan2006_true-unreach-call.c.i unknown 7.8 2.6 320 wit - -
loop-new/count_by_1_true-unreach-call.i true 8.9 2.9 330 wit - -
loop-new/count_by_1_variant_true-unreach-call.i true 9.6 3.2 370 wit - -
loop-new/count_by_2_true-unreach-call.i unknown 28   14   790 wit - -
loop-new/count_by_k_true-unreach-call.i unknown 36   22   960 wit - -
loop-new/count_by_nondet_true-unreach-call.i unknown 64   49   1100 wit - -
loop-new/gauss_sum_true-unreach-call.i unknown 10   3.7 330 wit - -
loop-new/half_true-unreach-call.i unknown 54   40   1200 wit - -
loop-new/nested_true-unreach-call.i unknown 62   47   1200 wit - -
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 141 4600   3200   99000 141 890   730   17000   141 290   160   8000  
    correct results 32 370   130   15000 0 0   0   0   0 0   0   0  
        correct true 32 370   130   15000 0 0   0   0   0 0   0   0  
        correct false 0
    incorrect results 1 9.5 3.1 380 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 1 9.5 3.1 380 0 0   0   0   0 0   0   0  
score (141 tasks, max score: 234) 48
Run set sv-comp16.Loops