Tool ULTIMATE Automizer 0.1.23-56c93707
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-07-23 15:14:46 CEST
Run set Automizer NestedInterpolants Automizer PDR
Options -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml --generate-csv --csv-dir csv -s ../../../trunk/examples/programs/regression/bpl/AutomizerBpl-nestedInterpolants.epf -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml --generate-csv --csv-dir csv -s ../../../trunk/examples/programs/regression/bpl/AutomizerBpl-pdr.epf
../../../trunk/examples/programs/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
real-life/DraegerElevator-FSEN2007.bpl true 7.42 4.01 228544512 error: exception 187    179    1878802432
real-life/Elevator-Integer.bpl true 89.1  50.9  1930645504 error: exception 12.7  8.44 258162688
real-life/Elevator.bpl true 56.5  28.7  1353994240 error: exception 31.4  25.4  376061952
real-life/ElevatorWithAssignments.bpl timeout (error (143)) 301    247    2919497728 error: exception 19.8  15.2  286228480
real-life/GateController.bpl true 78.9  45.6  2377084928 error: exception 47.8  43.0  374722560
real-life/GateControllerIncorrect1.bpl false 8.89 4.71 285929472 error: exception 80.2  74.9  561016832
real-life/GripperTest-correct.bpl true 6.38 3.58 213659648 timeout (error: exception) 302    294    1827577856
real-life/RailwayCrossing.bpl true 88.5  50.7  2469253120 error: exception 107    102    482250752
real-life/USE_SimplifiedGripperTest.bpl true 6.08 3.23 204668928 error: exception 300    289    1850957824
real-life/s3_clnt_1_Safe.bpl true 54.6  29.5  2085449728 timeout (error (143)) 301    263    1873297408
real-life/s3_clnt_1_Unsafe.bpl false 10.2  5.39 377872384 timeout (error (143)) 301    264    2517880832
real-life/threadpooling_out2.mover.bpl true 94.6  54.4  2019762176 timeout (error (143)) 301    275    1248776192
20170319-ConjunctivePathPrograms/bhmr2007.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 6.43 3.38 208441344 timeout (error (143)) 300    282    1452314624
20170319-ConjunctivePathPrograms/cggmp2005.c.i_3.bplTransformedIcfg_BEv2_2.bpl true 6.66 3.54 212480000 timeout (error (143)) 300    283    1536573440
20170319-ConjunctivePathPrograms/cggmp2005_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 6.58 3.50 212856832 timeout (error (143)) 301    283    1537462272
20170319-ConjunctivePathPrograms/count_by_2.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error: exception) 301    266    2865614848 timeout (error (143)) 302    284    1507819520
20170319-ConjunctivePathPrograms/count_by_nondet.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    255    2842812416 error: exception 236    230    862539776
20170319-ConjunctivePathPrograms/gauss_sum.i_3.bplTransformedIcfg_BEv2_3.bpl unknown 4.86 2.57 184848384 timeout (error (143)) 301    287    1208307712
20170319-ConjunctivePathPrograms/gcd_2.i_4.bplTransformedIcfg_BEv2_6.bpl unknown 4.97 2.70 184438784 true 6.51 3.65 212725760
20170319-ConjunctivePathPrograms/gj2007.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 106    64.2  2317103104 error: exception 21.6  17.6  285229056
20170319-ConjunctivePathPrograms/gr2006.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 179    126    2835382272 timeout (error (143)) 302    290    1429000192
20170319-ConjunctivePathPrograms/half_2.i_3.bplTransformedIcfg_BEv2_5.bpl true 6.43 3.50 207101952 timeout (error (143)) 300    281    1531371520
20170319-ConjunctivePathPrograms/hhk2008.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 6.80 3.65 208510976 timeout (error (143)) 300    283    1534300160
20170319-ConjunctivePathPrograms/jain_5.i_2.bplTransformedIcfg_BEv2_4.bpl timeout (error (143)) 301    259    2837286912 true 13.5  7.96 447909888
20170319-ConjunctivePathPrograms/jm2006.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 7.27 3.80 213610496 timeout (error (143)) 300    281    1589817344
20170319-ConjunctivePathPrograms/jm2006_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 7.32 3.90 214970368 timeout (error (143)) 300    281    1598435328
20170319-ConjunctivePathPrograms/large_const.i_3.bplTransformedIcfg_BEv2_2.bpl true 6.58 3.55 207462400 timeout (error (143)) 300    281    1540124672
20170319-ConjunctivePathPrograms/nested.i_4.bplTransformedIcfg_BEv2_3.bpl true 95.1  73.0  2836942848 timeout (error (143)) 301    268    1233932288
20170319-ConjunctivePathPrograms/nested9.i_3.bplTransformedIcfg_BEv2_4.bpl true 7.13 3.76 214933504 timeout (error (143)) 301    276    1240018944
20170319-ConjunctivePathPrograms/num_conversion_1.i_3.bplTransformedIcfg_BEv2_9.bpl false 7.24 3.85 230752256 error: exception 70.6  66.4  295579648
20170319-ConjunctivePathPrograms/num_conversion_2.i_3.bplTransformedIcfg_BEv2_7.bpl false 7.26 3.79 226209792 error: exception 22.0  17.8  274755584
20170304-DifficultPathPrograms/array.i_3.bpl true 6.67 3.57 214720512 error: exception 86.4  81.3  593285120
20170304-DifficultPathPrograms/array2.i_3.bpl timeout (error: exception) 301    262    2845757440 timeout (error (143)) 301    278    1218220032
20170304-DifficultPathPrograms/bhmr2007.c.i_3.bpl true 6.25 3.34 207192064 timeout (error (143)) 300    285    2136342528
20170304-DifficultPathPrograms/cggmp2005.c.i_3.bpl true 7.33 3.82 221843456 timeout (error (143)) 302    287    2172145664
20170304-DifficultPathPrograms/cggmp2005_variant.c.i_3.bpl true 6.31 3.36 209944576 timeout (error (143)) 305    292    2049236992
20170304-DifficultPathPrograms/count_by_1.i_3.bpl timeout (error (143)) 301    263    2846199808 true 6.85 3.88 212852736
20170304-DifficultPathPrograms/count_by_nondet.i_3.bpl timeout (error: exception) 301    253    2988851200 timeout (error (143)) 305    300    1167740928
20170304-DifficultPathPrograms/count_up_down.i_3.bpl true 6.14 3.30 209305600 error: exception 243    236    886472704
20170304-DifficultPathPrograms/ddlm2013.i_3.bpl true 6.28 3.33 208908288 error: exception 19.3  16.1  218365952
20170304-DifficultPathPrograms/diamond1.i_3.bpl false 149    102    2583449600 timeout (error (143)) 306    302    297189376
20170304-DifficultPathPrograms/diamond2.i_4.bpl true 9.50 4.97 325218304 error: exception 189    185    270823424
20170304-DifficultPathPrograms/eureka_01.i_3.bpl true 6.46 3.47 210206720 timeout (error (143)) 301    268    1259257856
20170304-DifficultPathPrograms/eureka_01.i_6.bpl true 24.0  12.3  773177344 timeout (error (143)) 300    281    1246142464
20170304-DifficultPathPrograms/eureka_05.i_5.bpl true 10.1  5.27 385880064 timeout (error (143)) 301    277    1246498816
20170304-DifficultPathPrograms/functions1.i_3.bpl timeout (error (143)) 301    244    2936872960 error: exception 142    138    376025088
20170304-DifficultPathPrograms/gauss_sum.i_3.bpl unknown 4.71 2.60 182251520 timeout (error (143)) 306    293    1746407424
20170304-DifficultPathPrograms/gcd_2.i_4.bpl unknown 5.23 2.78 185585664 error: exception 232    227    3214393344
20170304-DifficultPathPrograms/gj2007.c.i_4.bpl true 132    87.5  2822242304 error: exception 26.1  20.5  651440128
20170304-DifficultPathPrograms/gr2006.c.i_4.bpl true 186    133    2843119616 timeout (error (143)) 301    291    1162969088
20170304-DifficultPathPrograms/half_2.i_3.bpl true 6.89 3.65 211554304 timeout (error (143)) 303    289    2078973952
20170304-DifficultPathPrograms/hhk2008.c.i_3.bpl true 6.86 3.65 213835776 timeout (error (143)) 304    290    1929183232
20170304-DifficultPathPrograms/insertion_sort.i_3.bpl true 5.95 3.29 210247680 error: exception 36.3  30.0  755945472
20170304-DifficultPathPrograms/interleave_bits.i_3.bpl unknown: overapproxcex 10.5  5.54 427958272 timeout (error (143)) 301    288    1070604288
20170304-DifficultPathPrograms/jain_1.i_2.bpl true 6.24 3.31 209653760 error: exception 17.6  15.3  228933632
20170304-DifficultPathPrograms/jain_2.i_2.bpl true 6.56 3.45 211120128 error: exception 32.4  29.4  218112000
20170304-DifficultPathPrograms/jain_4.i_2.bpl true 6.64 3.52 211959808 error: exception 18.5  15.9  217653248
20170304-DifficultPathPrograms/jain_5.i_2.bpl timeout (error (143)) 301    245    2838753280 error: exception 19.9  16.6  218107904
20170304-DifficultPathPrograms/jain_6.i_2.bpl true 6.48 3.45 208801792 error: exception 18.6  15.8  209674240
20170304-DifficultPathPrograms/jain_7.i_2.bpl true 6.58 3.49 215867392 error: exception 18.5  16.0  210825216
20170304-DifficultPathPrograms/jm2006.c.i_3.bpl true 7.10 3.78 219996160 timeout (error (143)) 304    290    2035851264
20170304-DifficultPathPrograms/jm2006_variant.c.i_3.bpl true 7.27 3.86 224911360 timeout (error (143)) 304    289    2071965696
20170304-DifficultPathPrograms/large_const.i_3.bpl true 6.46 3.42 205586432 timeout (error (143)) 305    290    2032398336
20170304-DifficultPathPrograms/linear_sea.ch.i_4.bpl timeout (error (143)) 301    248    2842447872 error: exception 62.9  56.7  685146112
20170304-DifficultPathPrograms/linear_search.i_5.bpl true 43.7  22.2  1128214528 error: exception 32.0  27.2  443711488
20170304-DifficultPathPrograms/matrix.i_4.bpl true 8.44 4.44 235356160 timeout (error (143)) 301    283    1199157248
20170304-DifficultPathPrograms/mcmillan2006.c.i_3.bpl true 6.46 3.46 211070976 timeout (error (143)) 301    277    1204592640
20170304-DifficultPathPrograms/nested.c_4.bpl timeout (error (143)) 301    257    2866270208 true 7.88 4.41 225124352
20170304-DifficultPathPrograms/nested.i_4.bpl true 163    132    3037810688 timeout (error (143)) 301    268    1256366080
20170304-DifficultPathPrograms/nested9.i_3.bpl true 6.47 3.47 208474112 timeout (error (143)) 301    277    1226555392
20170304-DifficultPathPrograms/overflow1.i_3.bpl timeout (error: exception) 301    247    2841313280 error: exception 68.9  65.0  271454208
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bpl true 8.04 4.21 226922496 timeout (error (143)) 301    290    1495199744
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bpl true 8.81 4.60 271343616 timeout (error (143)) 302    289    1504120832
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bpl true 9.67 5.07 350486528 timeout (error (143)) 301    287    1452847104
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bpl true 10.1  5.22 350056448 timeout (error (143)) 302    291    1439387648
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c_10.bpl true 10.9  5.71 446291968 timeout (error (143)) 302    289    1488240640
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.c_10.bpl true 10.1  5.25 359718912 timeout (error (143)) 302    291    1417355264
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.c_11.bpl true 7.98 4.20 239271936 timeout (error (143)) 301    288    1473679360
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bpl true 10.5  5.46 387821568 timeout (error (143)) 302    290    1431367680
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.UNBOUNDED.pals.c_10.bpl true 7.95 4.24 237248512 timeout (error (143)) 302    290    1495736320
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.c_11.bpl true 8.10 4.28 244473856 timeout (error (143)) 302    291    1435676672
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.c_11.bpl true 8.60 4.47 257335296 timeout (error (143)) 301    288    1447759872
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.c_11.bpl true 11.2  5.83 447410176 timeout (error (143)) 302    291    1505501184
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.c_12.bpl true 8.00 4.17 260743168 timeout (error (143)) 302    290    1504899072
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c_11.bpl true 11.4  5.90 446357504 timeout (error (143)) 302    291    1451274240
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.UNBOUNDED.pals.c_11.bpl true 9.39 4.92 309960704 timeout (error (143)) 301    289    1459994624
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.c_12.bpl true 8.28 4.36 268869632 timeout (error (143)) 302    292    1441538048
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.c_12.bpl true 8.21 4.31 269262848 timeout (error (143)) 302    291    1429815296
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.c_12.bpl true 9.71 5.05 332259328 timeout (error (143)) 302    291    1449013248
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c_12.bpl true 8.65 4.53 270090240 timeout (error (143)) 304    293    1491619840
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.UNBOUNDED.pals.c_12.bpl true 8.01 4.45 269561856 timeout (error (143)) 302    291    1477566464
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.BOUNDED-6.pals.c_13.bpl true 9.47 4.96 317382656 error: exception 299    286    1507045376
20170304-DifficultPathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bpl true 7.89 4.15 228876288 timeout (error (143)) 306    295    1501446144
20170304-DifficultPathPrograms/pals_lcr.3_overflow.ufo.UNBOUNDED.pals.c_13.bpl true 8.08 4.25 248967168 timeout (error (143)) 303    290    1423265792
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.BOUNDED-8.pals.c_19.bpl true 8.39 4.35 249659392 error: exception 190    179    1396457472
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.UNBOUNDED.pals.c_16.bpl true 8.36 4.39 244596736 error: exception 158    148    1359597568
20170304-DifficultPathPrograms/pals_lcr.4.ufo.BOUNDED-8.pals.c_19.bpl true 8.22 4.34 249823232 error: exception 199    189    1358770176
20170304-DifficultPathPrograms/pals_lcr.4.ufo.UNBOUNDED.pals.c_16.bpl true 8.01 4.24 247791616 error: exception 88.2  78.0  1259413504
20170304-DifficultPathPrograms/pals_lcr.4_overflow.ufo.UNBOUNDED.pals.c_19.bpl true 8.14 4.33 265326592 error: exception 165    156    1353125888
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.BOUNDED-10.pals.c_21.bpl true 8.65 4.55 270249984 error: exception 68.5  59.0  988528640
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.UNBOUNDED.pals.c_19.bpl true 8.66 4.52 261656576 error: exception 64.2  54.8  1064075264
20170304-DifficultPathPrograms/pals_lcr.5.ufo.BOUNDED-10.pals.c_21.bpl true 8.61 4.53 265719808 error: exception 67.2  58.0  1015132160
20170304-DifficultPathPrograms/pals_lcr.5.ufo.UNBOUNDED.pals.c_19.bpl true 8.13 4.29 258297856 error: exception 63.0  54.6  1018019840
20170304-DifficultPathPrograms/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.c_21.bpl true 8.48 4.49 261517312 error: exception 62.2  52.6  1015238656
20170304-DifficultPathPrograms/pals_lcr.6.1.ufo.UNBOUNDED.pals.c_23.bpl true 8.32 4.35 272781312 error: exception 47.1  38.0  782286848
20170304-DifficultPathPrograms/pals_lcr.6.ufo.UNBOUNDED.pals.c_23.bpl true 8.73 4.56 269324288 error: exception 47.7  38.9  801271808
20170304-DifficultPathPrograms/phases1.i_3.bpl timeout (error: exception) 301    256    2819424256 true 6.64 3.70 213471232
20170304-DifficultPathPrograms/s3_srvr_1.BV.c.cil.c_21.bpl true 14.2  7.33 679669760 timeout (error (143)) 302    285    2804326400
20170304-DifficultPathPrograms/s3_srvr_1.cil.c_23.bpl true 16.0  8.23 679784448 timeout (error (143)) 301    285    2812669952
20170304-DifficultPathPrograms/s3_srvr_1_alt.BV.c.cil.c_14.bpl unknown 5.63 2.99 198656000 true 254    231    2729705472
20170304-DifficultPathPrograms/s3_srvr_3.BV.c.cil.c_19.bpl unknown 5.50 2.95 194703360 timeout (error (143)) 301    282    2808872960
20170304-DifficultPathPrograms/s3_srvr_3.cil.c_20.bpl true 13.6  7.06 681897984 timeout (error (143)) 302    284    2815819776
20170304-DifficultPathPrograms/s3_srvr_3_alt.BV.c.cil.c_19.bpl unknown 5.56 3.15 195383296 timeout (error (143)) 300    283    2818060288
20170304-DifficultPathPrograms/simple1.i_3.bpl timeout (error (143)) 301    250    2850938880 error: exception 107    103    357249024
20170304-DifficultPathPrograms/simple4.i_3.bpl timeout (error (143)) 301    259    2844082176 error: exception 152    148    232693760
20170304-DifficultPathPrograms/string.i_3.bpl unknown: overapproxcex 6.93 3.71 214982656 timeout (error (143)) 300    282    1202016256
20170304-DifficultPathPrograms/string_concat-noarr.i_3.bpl true 71.5  37.7  1875116032 timeout (error (143)) 301    276    1241554944
20170304-DifficultPathPrograms/sum01.i_3.bpl true 6.34 3.40 210702336 timeout (error (143)) 304    290    1969332224
20170304-DifficultPathPrograms/sum01_bug02.i_3.bpl true 5.97 3.20 208695296 timeout (error (143)) 302    288    2170503168
20170304-DifficultPathPrograms/sum01_bug02_sum01_bug02_base.case.i_4.bpl true 6.36 3.37 209821696 timeout (error (143)) 305    288    2036436992
20170304-DifficultPathPrograms/sum02.i_3.bpl unknown 5.02 2.68 183447552 error: exception 27.3  24.3  220573696
20170304-DifficultPathPrograms/sum03.i_3.bpl false 13.5  6.99 618942464 error: exception 19.4  16.2  209739776
20170304-DifficultPathPrograms/sum04.i_3.bpl true 8.17 4.33 257585152 timeout (error (143)) 302    286    2105061376
20170304-DifficultPathPrograms/sum04.i_4.bpl false 7.39 3.88 230518784 error: exception 18.1  13.1  421568512
20170304-DifficultPathPrograms/sum_array.i_3.bpl true 7.61 4.03 220479488 error: exception 59.4  53.4  683794432
20170304-DifficultPathPrograms/toy.cil.c_34.bpl true 12.2  6.29 533409792 timeout (error (143)) 301    284    1271607296
20170304-DifficultPathPrograms/underapprox1.i_3.bpl false 7.37 3.86 223318016 error: exception 21.6  17.8  262995968
20170304-DifficultPathPrograms/veris.c_NetBSD-libc__loop.i_2.bpl true 7.01 3.70 210997248 timeout (error (143)) 301    277    1239875584
20170304-DifficultPathPrograms/vogal.i_5.bpl true 12.8  6.66 568000512 error: exception 41.8  36.2  688316416
toy/tooDifficultLoopInvariant/BeyerHenzingerMajumdarRybalchenko-PLDI2007-Figure4.bpl true 111    66.6  2433060864 error: exception 22.8  18.4  328720384
toy/tooDifficultLoopInvariant/CountTillBound-Jupiter.bpl true 5.64 3.09 204464128 timeout (error (143)) 301    268    1239003136
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired01-BackwardSuccess.bpl timeout (error (143)) 301    263    2864492544 true 5.91 3.37 207831040
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired02-ForwardSuccess.bpl true 5.93 3.19 204722176 timeout (error (143)) 300    280    1629483008
toy/tooDifficultLoopInvariant/HiddenEquality-Safe.bpl true 55.7  29.9  1610575872 timeout (error (143)) 300    279    1512660992
toy/tooDifficultLoopInvariant/HiddenEqualityWithBranches.bpl timeout (error (143)) 301    251    2846072832 error: exception 90.4  85.8  515579904
toy/tooDifficultLoopInvariant/HiddenInequality.bpl true 7.23 3.86 238964736 timeout (error (143)) 301    275    1214197760
toy/tooDifficultLoopInvariant/INT_add_vs_inc.bpl true 6.61 3.49 210141184 timeout (error (143)) 303    283    1458016256
toy/tooDifficultLoopInvariant/LargeConstant-ForwardSuccess.bpl timeout (error (143)) 300    261    2877116416 true 6.14 3.47 210903040
toy/tooDifficultLoopInvariant/Luxembourg-ArraysIntegefied.bpl timeout (error (143)) 301    258    2860122112 error: exception 17.4  13.7  239435776
toy/tooDifficultLoopInvariant/Luxembourg-WithArrays.bpl timeout (error: exception) 301    254    2845888512 out of memory 137    124    8000000000
toy/tooDifficultLoopInvariant/Luxembourg-sophisticated.bpl timeout (error (143)) 301    272    2954010624 error: exception 33.0  29.4  262516736
toy/tooDifficultLoopInvariant/Octopussy.bpl timeout (error: exception) 301    264    2826915840 timeout (error (143)) 300    281    1541595136
toy/tooDifficultLoopInvariant/PointerIncrement-simplified01.bpl true 142    92.2  2832207872 timeout (error (143)) 301    284    1302704128
toy/tooDifficultLoopInvariant/PointerIncrement-simplified02.bpl true 89.1  53.0  2518228992 timeout (error (143)) 301    281    1216262144
toy/tooDifficultLoopInvariant/PointerIncrement-simplified03.bpl true 89.9  51.5  2426437632 timeout (error (143)) 301    274    1223213056
toy/tooDifficultLoopInvariant/PointerIncrement.bpl true 167    115    2841272320 timeout (error (143)) 301    283    1308385280
toy/tooDifficultLoopInvariant/ValueTerminatedArrayIteration01.bpl true 6.55 3.48 211603456 timeout (error (143)) 301    275    1425661952
toy/tooDifficultLoopInvariant/codeblockAssertOrder01.bpl timeout (error (143)) 300    261    2901172224 true 6.14 3.45 209494016
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCake.bpl true 7.00 3.73 214257664 timeout (error (143)) 300    286    1143914496
toy/nonlinear/ConstantValue-Safe.bpl unknown 5.08 2.74 183746560 true 6.29 3.59 213336064
toy/nonlinear/InterpolationPaperExampleCandidate01.bpl unknown 4.75 2.54 183259136 true 6.14 3.37 204959744
toy/nonlinear/Mult1-Safe.bpl unknown 5.04 2.69 186654720 timeout (error (143)) 300    282    1485795328
toy/nonlinear/NonlinearInvariant1-Safe.bpl unknown 4.99 2.67 184545280 true 6.34 3.59 212312064
toy/nonlinear/PositiveValue-Safe.bpl unknown 5.24 2.76 185241600 true 6.96 3.93 214372352
toy/nonlinear/Power1-Safe.bpl unknown 5.20 2.78 186118144 timeout (error (143)) 300    283    1203208192
toy/nonlinear/Power2-Unsafe.bpl unknown 4.97 2.66 185835520 false 7.56 4.27 213897216
toy/nonlinear/Power3-Safe.bpl unknown 5.22 2.76 184561664 timeout (error (143)) 306    302    414990336
../../../trunk/examples/programs/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 157 10000 7810 145379758080 157 31600 29700 187575062528
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set Automizer NestedInterpolants Automizer PDR