Tool ULTIMATE Automizer 0.1.24-b8c145f0
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-5.1.5-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135154 MB
Date of execution 2019-08-05 09:52:00 CEST
Run set Automizer NestedInterpolants.NoTermination Sifa.NoTermination AIv2 EXp+CONG.NoTermination
Options -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -tc ../../../trunk/examples/toolchains/Sifa.xml -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_compound_exp_cong.epf
../../../trunk/examples/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
concurrent/parallelDfgExamples/differentWrites.bpl false 5.78 3.28 144056320 unknown 5.71 3.15 147587072 unknown 5.43 3.12 143859712
concurrent/concurrentBoogie/ForkInForkedProcedure02.bpl true 6.42 3.61 171065344 true 5.26 3.11 137486336 error: exception 5.27 3.03 137064448
concurrent/concurrentBoogie/fork_multiple_times.bpl true 5.74 3.26 141316096 error: exception 5.20 2.96 135479296 error: exception 5.33 3.19 136908800
concurrent/concurrentBoogie/fork_multiple_parameter.bpl true 9.33 5.55 195805184 error: exception 5.21 2.95 135344128 error: exception 5.22 2.99 140443648
concurrent/concurrentBoogie/fork_join_in_loop.bpl true 5.39 3.07 142114816 error: exception 5.39 3.05 137912320 error: exception 5.46 3.27 134971392
concurrent/concurrentBoogie/fork_in_loop.bpl error: exception 5.61 3.17 139366400 true 5.20 3.15 138752000 error: exception 5.28 2.99 136105984
concurrent/concurrentBoogie/example2.bpl true 6.17 3.58 173604864 error: exception 5.38 2.98 135966720 error: exception 5.39 3.02 139661312
concurrent/concurrentBoogie/fork_join_NotMod.bpl true 6.39 3.58 169893888 error: exception 5.23 2.97 139993088 error: exception 5.33 3.03 137478144
concurrent/concurrentBoogie/showcase/Bakery.bpl true 9.66 5.58 197713920 true 5.42 3.06 150249472 error: exception 5.37 3.10 146509824
concurrent/concurrentBoogie/showcase/ForkJoinExplained.bpl true 8.02 4.67 191234048 error: exception 5.13 2.95 139472896 error: exception 5.17 2.94 137875456
concurrent/concurrentBoogie/showcase/FischerWithBug.bpl false 10.2  5.69 235167744 true 5.64 3.18 148697088 error: exception 5.70 3.19 148807680
concurrent/concurrentBoogie/showcase/PetersonWithBug.bpl false 7.19 4.08 199548928 true 5.44 3.12 149598208 error: exception 5.68 3.19 147492864
concurrent/concurrentBoogie/showcase/Peterson.bpl true 7.29 4.24 197910528 true 5.44 3.28 150163456 error: exception 5.41 3.06 150876160
concurrent/concurrentBoogie/showcase/Fischer.bpl true 11.7  6.63 250904576 true 5.64 3.20 148848640 error: exception 5.59 3.20 150888448
concurrent/concurrentBoogie/showcase/NonAtomicIncrement_2Threads.bpl false 16.6  10.5  293408768 error: exception 5.49 3.16 147529728 error: exception 5.48 3.14 150368256
concurrent/concurrentBoogie/atomic.bpl true 5.41 3.02 140169216 true 4.97 2.86 136011776 error: exception 5.17 2.95 139026432
concurrent/concurrentBoogie/multiple_fork_same_id_different_return_type.bpl true 6.33 3.62 176283648 error: exception 5.14 2.96 138985472 error: exception 5.56 3.11 139452416
concurrent/concurrentBoogie/fork_unchanged_local_variables2.bpl true 7.34 4.15 192937984 error: exception 5.28 3.03 137297920 error: exception 5.21 3.18 137584640
concurrent/concurrentBoogie/fork_join_expression_type_not_found.bpl true 5.23 3.00 141373440 error: exception 5.38 3.04 141758464 error: exception 5.36 3.03 135118848
concurrent/concurrentBoogie/SpecificationInliningProblem.bpl true 6.43 3.61 172560384 error: exception 5.16 2.94 138891264 error: exception 5.19 2.93 136978432
concurrent/concurrentBoogie/multiple_fork_statements_different_types.bpl false 5.60 3.20 148131840 error: exception 5.47 3.12 139132928 error: exception 5.24 2.95 138735616
concurrent/concurrentBoogie/NonAtomicIncrement_2Threads_Loop.bpl true 20.1  12.2  279506944 error: exception 5.43 3.10 149573632 error: exception 5.16 2.95 142254080
concurrent/concurrentBoogie/example1.bpl false 5.47 3.14 147562496 error: exception 5.47 3.04 137404416 error: exception 5.19 2.94 138342400
concurrent/concurrentBoogie/ThreadIdTest-Safe.bpl true 6.67 3.83 185290752 error: exception 5.07 2.94 138989568 error: exception 5.63 3.07 140656640
concurrent/concurrentBoogie/ThreadIdListTest-Safe.bpl true 6.06 3.41 163434496 error: exception 4.98 2.84 134918144 error: exception 5.29 3.18 140005376
concurrent/concurrentBoogie/ForkInForkedProcedure01.bpl false 6.41 3.64 177373184 error: exception 5.02 2.89 136445952 error: exception 5.08 2.90 137015296
concurrent/concurrentBoogie/JoinTheForkingThread.bpl false 6.75 3.69 171356160 error: exception 5.50 3.09 141672448 error: exception 5.24 3.00 138616832
concurrent/concurrentBoogie/join_multiple_return_values.bpl true 6.81 3.95 190074880 error: exception 5.27 2.97 136929280 error: exception 5.13 3.00 138309632
concurrent/CPS1-1617-Sheet03-Exercise03.bpl false 6.52 3.74 194351104 unknown 6.13 3.71 161873920 unknown 6.22 3.43 158400512
concurrent/regression/SAS09.bpl true 6.52 3.73 180682752 unknown 7.06 4.06 176463872 unknown 5.65 3.19 143814656
concurrent/regression/SimpleParallelProgram.bpl false 5.27 3.02 145178624 unknown 5.32 3.04 140091392 unknown 5.25 3.01 141033472
concurrent/regression/SimpleIncorrectTwoContextSwitches.bpl true 5.62 3.22 152412160 unknown 5.84 3.47 149872640 unknown 5.29 3.03 136294400
concurrent/regression/Fischer2unsafe.bpl false 6.02 3.38 165195776 true 5.64 3.24 156639232 unknown 6.06 3.41 143044608
concurrent/regression/Fischer2safe.bpl false 6.12 3.47 158105600 true 5.88 3.36 152047616 unknown 5.90 3.48 152735744
Backtranslation/regression/bpl/Specifications.bpl false 6.27 3.54 170991616 unknown 6.32 3.62 158294016 unknown 5.84 3.28 154443776
Backtranslation/regression/bpl/CallReturn.bpl false 8.12 4.59 191459328 error: exception 5.02 2.90 135634944 unknown 5.50 3.12 143560704
Backtranslation/regression/bpl/While.bpl false 6.69 3.73 175149056 unknown 6.91 3.94 166793216 unknown 5.54 3.16 138489856
Backtranslation/regression/bpl/IfThenElse.bpl false 5.77 3.24 147066880 unknown 5.39 3.05 136306688 unknown 5.38 3.02 138498048
Backtranslation/regression/bpl/If.bpl false 5.54 3.16 143458304 unknown 5.76 3.27 152375296 unknown 5.52 3.09 141709312
Backtranslation/regression/bpl/SpecificationsInvariant.bpl false 8.56 4.89 191791104 unknown 6.56 3.72 154730496 unknown 5.80 3.29 148123648
Backtranslation/regression/bpl/Pointer.bpl false 6.14 3.59 151130112 unknown 6.51 3.70 162304000 true 5.62 3.19 143425536
Backtranslation/regression/bpl/StructEqualTest.bpl false 5.56 3.15 156602368 error: exception 5.43 3.27 143900672 error: exception 5.23 2.97 137875456
Arrays/NestedStore.bpl true 6.39 3.62 176660480 true 5.66 3.18 140763136 unknown 5.30 3.06 141864960
Arrays/MixedProgram.bpl false 6.94 3.84 179908608 unknown 5.83 3.29 150478848 unknown 5.57 3.17 137211904
Arrays/regression/BigArray.bpl timeout (error (143)) 301    232    1213042688 unknown 14.9  10.0  245952512 unknown 5.62 3.16 141103104
Arrays/regression/MultidimensionalSelects.bpl true 6.35 3.52 176410624 true 5.16 2.96 139530240 unknown 5.32 3.05 139313152
Arrays/regression/ITE.bpl true 6.10 3.33 152223744 true 5.03 2.86 135987200 unknown 5.38 3.07 143351808
Arrays/regression/StoreEquality.bpl true 7.10 3.97 191905792 true 5.45 3.11 148135936 unknown 5.27 3.02 137568256
Arrays/regression/MultidimensionalStores.bpl true 5.74 3.24 151482368 true 5.41 3.05 138440704 unknown 5.29 3.02 140922880
Arrays/regression/MultipleStores.bpl true 6.42 3.65 187928576 true 5.41 3.08 150794240 unknown 5.53 3.13 141524992
Arrays/Selects.bpl true 5.99 3.39 168882176 true 4.77 2.80 132546560 unknown 5.24 2.98 140402688
Interactive/input/TIS.bpl true 6.09 3.46 171155456 unknown 6.50 3.88 160669696 unknown 5.50 3.14 140267520
Interactive/input/boogie/Luxembourg-sophisticated.bpl timeout (error (143)) 300    196    5885976576 unknown 5.96 3.55 150376448 unknown 5.51 3.13 139739136
Interactive/input/boogie/stmt-multiassign-bug.bpl true 6.25 3.57 177192960 true 5.34 3.03 140034048 unknown 5.56 3.13 139657216
Interactive/input/boogie/expr-inequalityTest_reals.bpl true 5.82 3.33 160477184 true 5.23 2.95 139374592 error: exception 5.05 2.90 140103680
Interactive/input/boogie/affine-int-expressions.bpl true 6.06 3.45 176881664 true 6.31 3.56 153595904 unknown 5.27 3.04 138485760
Interactive/input/boogie/stmt-multiassign-bug1.bpl false 6.12 3.39 158887936 unknown 5.70 3.27 152342528 unknown 5.30 3.05 137805824
Interactive/input/boogie/recursive-wrong-prestate.bpl true 6.95 3.86 175337472 error: exception 4.89 2.84 139120640 unknown 5.58 3.14 147468288
deadcode/ex01.bpl false 5.67 3.22 142909440 unknown 5.58 3.18 149073920 error: exception 5.22 2.96 139337728
lassos/MultiphaseRotation53.bpl true 5.11 2.92 139833344 true 5.33 3.03 138317824 error: exception 5.30 2.97 140959744
lassos/ConjunctiveLoopWithoutNestedRF.bpl true 5.16 2.94 139124736 true 5.13 2.93 139763712 error: exception 5.38 3.01 137629696
lassos/Edmonton.bpl true 5.02 2.90 134770688 true 5.24 2.90 137658368 error: exception 5.44 3.05 140632064
lassos/regression/SyntaxSupportMixedIntReal2.bpl true 5.20 2.95 142065664 true 5.05 2.89 135049216 error: exception 5.16 2.92 135061504
lassos/regression/SyntaxSupportMixedIntReal1.bpl true 5.01 2.89 136683520 true 5.09 2.92 135802880 error: exception 5.16 2.90 138608640
lassos/MultiphaseRotation180.bpl true 5.19 2.95 140402688 true 4.97 2.87 136351744 error: exception 5.43 3.18 138817536
lassos/arrays/BugMapElimination01-Aleppo-A.bpl true 10.3  5.84 207851520 true 9.67 5.53 197468160 unknown 5.75 3.29 160727040
lassos/SantaBarbara01.bpl true 5.28 2.93 141242368 true 4.94 2.87 136032256 error: exception 5.34 3.05 140820480
lassos/ConjunctiveLassoDifficultNonterminating.bpl true 5.03 2.85 137113600 true 4.69 2.72 130400256 error: exception 5.22 2.97 140144640
lassos/WaldkirchSuggental.bpl true 5.06 2.93 137900032 true 5.00 2.82 138612736 error: exception 5.48 3.10 139968512
lassos/ZenoWithoutDivision.bpl true 5.21 2.98 137404416 true 4.99 2.88 135389184 error: exception 5.15 2.93 139104256
lassos/MultiphaseRotation53nondet.bpl true 5.27 2.97 141041664 true 5.04 2.92 140599296 error: exception 5.31 3.03 139091968
lassos/MultiphaseRotation180_2.bpl true 5.30 2.99 140890112 true 4.81 2.78 137687040 error: exception 5.14 2.91 141946880
lassos/4NestedWith3Variables.bpl true 5.32 3.00 136638464 true 4.94 2.86 135045120 error: exception 5.27 2.99 139325440
lassos/SyntaxSupportUserDefinedTypes01.bpl true 4.90 2.83 132153344 true 5.11 2.87 134094848 error: exception 5.51 3.05 138964992
lassos/website/ATVA2013-wild-real.bpl true 5.42 3.21 142241792 true 5.06 2.91 140423168 error: exception 5.08 2.91 139149312
lassos/website/ATVA2013-array-real.bpl true 5.10 2.92 139300864 true 5.11 2.93 135860224 error: exception 5.13 2.91 140292096
lassos/website/ATVA2013-yPositive-real.bpl true 5.26 2.94 138444800 true 5.16 2.92 139431936 error: exception 5.31 3.01 140427264
lassos/website/Braverman-2006CAV-Ex1-real.bpl true 5.49 3.09 139448320 true 4.96 2.82 134303744 error: exception 5.53 3.04 140939264
lassos/website/ATVA2013-bound-real.bpl true 5.37 3.00 136839168 true 5.03 3.02 135655424 error: exception 5.06 2.85 135180288
lassos/website/ATVA2013-diff42-real.bpl true 5.47 3.02 138629120 true 5.00 2.89 136683520 error: exception 5.22 3.01 138448896
lassos/website/Braverman-2006CAV-Ex2-real.bpl true 5.34 3.02 139624448 true 4.97 2.88 140812288 error: exception 5.29 3.15 140414976
lassos/website/ATVA2013-zeno-real.bpl true 5.27 2.99 136695808 true 5.06 2.88 134950912 error: exception 5.37 3.00 142725120
lassos/website/ATVA2013-nonIntegral-real.bpl true 5.07 2.92 140312576 true 4.96 2.89 135884800 error: exception 5.21 2.97 139161600
lassos/SantaBarbara02.bpl true 4.95 2.86 134893568 true 5.01 2.87 135647232 error: exception 5.16 2.89 138174464
lassos/yPositive-MixedIntReal.bpl true 5.10 2.93 139096064 true 5.22 2.94 133918720 error: exception 5.36 3.03 141611008
lassos/ZhuGuang.bpl true 5.08 2.87 137342976 true 5.09 2.86 136224768 error: exception 5.06 2.91 138006528
lassos/RebihaMouraMatringe-CoRR2014-Example1.1.bpl true 5.18 2.95 138895360 true 5.07 2.90 139751424 error: exception 5.22 2.97 141463552
lassos/2013POPL-BenAmGen-Ex3.20-Real.bpl true 5.46 3.09 141438976 true 5.05 2.87 138739712 error: exception 5.26 3.00 139300864
lassos/BangaloreStrictIneq.bpl true 5.17 2.94 136171520 true 4.92 2.80 134299648 error: exception 5.21 2.99 136400896
lassos/CrazySpirals.bpl true 5.01 2.85 136536064 true 5.29 2.98 135389184 error: exception 5.27 2.98 140750848
lassos/ConjunctiveLassoDifficultTerminating.bpl true 5.27 3.00 138977280 true 5.04 2.88 136380416 error: exception 5.10 2.90 137445376
unrolling-tests/ReachDef-NestedLoop.bpl false 5.37 3.10 146771968 unknown 8.45 4.84 191176704 unknown 5.29 3.04 142057472
unrolling-tests/ReachDef-Simple.bpl timeout (error (143)) 300    250    603340800 unknown 6.81 4.13 174206976 unknown 5.46 3.09 137662464
hybrid/hybrid.bpl false 6.20 3.45 153632768 unknown 104    101    210460672 error: exception 5.41 3.09 139563008
BoogiePL/Jochen/tacas06/simple.bpl true 5.78 3.27 165875712 true 5.77 3.27 147869696 unknown 5.38 3.09 140279808
BoogiePL/sifa/call.bpl false 5.41 3.08 141725696 unknown 5.18 2.92 137048064 unknown 5.16 2.90 137981952
BoogiePL/sifa/02-if-else.bpl false 6.23 3.41 157044736 unknown 5.68 3.25 152453120 unknown 5.20 2.97 137093120
BoogiePL/sifa/test-result-reporting/safe-1-unsafe-1.bpl false 5.41 3.08 148254720 unknown 5.04 2.90 137306112 unknown 5.17 2.91 139448320
BoogiePL/sifa/test-result-reporting/safe-0-unsafe-1.bpl false 5.28 3.02 141668352 unknown 5.13 2.93 139173888 unknown 5.15 2.92 138129408
BoogiePL/sifa/03-enter-calls_random_modifications.bpl true 6.29 3.56 180551680 true 5.80 3.30 154759168 unknown 5.60 3.18 140431360
BoogiePL/sifa/03-enter-calls.bpl false 5.63 3.23 153477120 unknown 5.43 3.10 151453696 unknown 5.22 2.99 138313728
BoogiePL/sifa/01-straight.bpl false 5.97 3.37 172630016 unknown 5.49 3.14 140812288 unknown 5.55 3.15 140353536
BoogiePL/structexpander/StructOldTest.bpl false 5.45 3.10 145276928 unknown 5.45 3.08 146817024 unknown 5.38 3.06 140648448
BoogiePL/structexpander/StructFunctionAttributesTest.bpl error: exception 6.38 3.75 175017984 true 5.40 3.09 151908352 error: exception 5.69 3.16 154021888
BoogiePL/schaetzc/TestMultiQuant.bpl false 5.32 3.05 144351232 unknown 5.16 2.92 140955648 error: exception 5.25 2.94 140873728
BoogiePL/schaetzc/inlineTest.bpl false 6.48 3.54 160346112 unknown 5.50 3.09 146198528 unknown 5.51 3.12 144838656
BoogiePL/schaetzc/callGraphTests/multipleImplementations.bpl unknown 4.31 2.33 125194240 error: exception 4.27 2.32 125714432 unknown 4.57 2.46 127664128
BoogiePL/schaetzc/backtranslation/Test.bpl false 5.87 3.33 153763840 unknown 5.60 3.14 139718656 unknown 5.38 3.04 141660160
BoogiePL/schaetzc/backtranslation/ReturnWithoutCall.bpl false 6.02 3.41 149921792 unknown 5.44 3.26 147804160 unknown 5.35 3.10 142356480
BoogiePL/schaetzc/backtranslation/PartialInlining.bpl false 6.20 3.48 164945920 error: exception 5.29 2.99 147419136 unknown 5.60 3.20 140648448
BoogiePL/schaetzc/backtranslation/DirectReturn.bpl false 5.94 3.34 152633344 unknown 5.55 3.10 142577664 unknown 5.20 2.94 139395072
BoogiePL/schaetzc/multiCall.bpl false 5.88 3.35 159424512 unknown 5.70 3.25 150372352 unknown 5.44 3.11 140611584
BoogiePL/schaetzc/polymorphic.bpl unknown 4.44 2.44 128770048 error: exception 4.72 2.69 134909952 unknown 4.35 2.55 128397312
BoogiePL/schaetzc/simpleNameCollision.bpl true 5.52 3.14 155607040 true 5.18 2.96 139395072 unknown 5.30 3.01 138928128
BoogiePL/AlternatingAutomata/test2.bpl timeout (error (143)) 301    252    587354112 unknown 6.13 3.48 163704832 unknown 5.40 3.09 140910592
programs/heapseparator/speedup-poc-dd-3-limited.bpl timeout (error (143)) 301    256    652787712 error: exception 11.5  8.82 1212387328 unknown 5.52 3.14 137609216
programs/heapseparator/speedup-poc03-08-modified-arraydomain.bpl timeout (error (143)) 301    244    873644032 error: exception 6.77 4.26 158392320 unknown 5.27 2.98 139456512
programs/heapseparator/speedup-poc-dd-9-unlimited.bpl error: exception 278    260    2239959040 error: exception 13.6  10.1  1238478848 unknown 6.11 3.45 160407552
programs/heapseparator/memloc-example-01.bpl true 5.82 3.26 169947136 true 5.17 2.93 137793536 unknown 5.25 3.00 139382784
programs/heapseparator/speedup-poc03-02.bpl timeout (error (143)) 300    240    3416858624 error: exception 249    246    513384448 unknown 5.58 3.14 140972032
programs/heapseparator/speedup-poc-dd-3-unlimited.bpl timeout (error (143)) 301    250    591663104 error: exception 11.4  9.06 1213063168 unknown 5.59 3.19 138633216
programs/heapseparator/speedup-poc05-04.bpl timeout (error (143)) 301    289    490102784 error: exception 120    117    1112297472 unknown 5.71 3.24 160374784
programs/heapseparator/speedup-poc-dd-1-limited.bpl timeout (error (143)) 301    242    886194176 error: exception 6.91 4.37 163848192 unknown 5.12 2.93 141631488
programs/heapseparator/speedup-poc03-14.bpl timeout (error (143)) 301    285    2050039808 error: exception 13.8  10.2  1254211584 unknown 6.71 3.76 172994560
programs/heapseparator/speedup-poc-dd-6-unlimited.bpl error: exception 147    126    1410342912 error: exception 12.8  9.49 1231982592 unknown 5.74 3.24 158072832
programs/heapseparator/speedup-poc01-02.bpl timeout (error (143)) 302    242    3448455168 error: exception 171    169    447762432 unknown 5.43 3.08 136876032
programs/heapseparator/speedup-poc01-05.bpl error: exception 29.6  22.3  1385701376 error: exception 14.0  10.1  1249783808 unknown 5.87 3.37 165502976
programs/heapseparator/speedup-poc-dd-4-unlimited.bpl timeout (error (143)) 300    255    811823104 error: exception 12.5  9.40 1230671872 unknown 5.65 3.20 153067520
programs/heapseparator/speedup-poc03-04.bpl error: exception 151    132    1234563072 error: exception 11.9  9.00 1230561280 unknown 5.73 3.25 144953344
programs/heapseparator/speedup-poc-dd-7-limited.bpl error: exception 50.2  45.6  1117016064 error: exception 13.2  9.69 1254375424 unknown 5.68 3.25 160894976
programs/heapseparator/speedup-poc-dd-8-limited.bpl error: exception 15.0  10.2  1240702976 error: exception 13.2  9.75 1244340224 unknown 6.01 3.36 160280576
programs/heapseparator/speedup-poc-dd-1-unlimited.bpl timeout (error (143)) 301    243    892735488 error: exception 6.60 4.14 162086912 unknown 5.34 3.04 142266368
programs/heapseparator/speedup-poc01-04.bpl timeout (error (143)) 302    262    741183488 error: exception 14.0  10.2  1243549696 unknown 5.78 3.27 153886720
programs/heapseparator/speedup-poc01-03.bpl timeout (error (143)) 301    257    644255744 error: exception 12.4  9.25 1227440128 unknown 5.43 3.11 150253568
programs/heapseparator/speedup-poc03-20.bpl error: exception 44.7  29.7  1982025728 error: exception 17.9  13.4  1307283456 unknown 7.02 3.92 182718464
programs/heapseparator/speedup-poc03-12.bpl error: exception 20.5  15.5  1291649024 error: exception 13.6  9.91 1222942720 unknown 6.19 3.51 165818368
programs/heapseparator/speedup-poc-dd-5-limited.bpl error: exception 40.2  34.2  1103470592 error: exception 12.7  9.43 1246453760 unknown 5.82 3.30 142209024
programs/heapseparator/speedup-poc-dd-9-limited.bpl error: exception 16.1  10.9  1233207296 error: exception 13.4  9.77 1225793536 unknown 6.20 3.50 155586560
programs/heapseparator/speedup-poc-dd-6-limited.bpl error: exception 27.5  23.1  972533760 error: exception 12.6  9.34 1256308736 unknown 5.90 3.29 147742720
programs/heapseparator/speedup-poc01-03s.bpl timeout (error (143)) 300    237    3199414272 error: exception 16.4  13.8  1192824832 unknown 5.84 3.28 154537984
programs/heapseparator/speedup-poc03-16.bpl error: exception 125    112    2267353088 error: exception 15.9  11.7  1244872704 unknown 6.35 3.59 168591360
programs/heapseparator/speedup-poc03-18.bpl timeout (error (143)) 301    284    1326833664 error: exception 15.2  11.2  1263525888 unknown 6.80 3.73 177684480
programs/heapseparator/speedup-poc-dd-4-limited.bpl timeout (error (143)) 301    261    666456064 error: exception 13.0  9.74 1222344704 unknown 5.78 3.24 149331968
programs/heapseparator/speedup-poc-dd-10-limited.bpl error: exception 17.1  13.5  1142870016 error: exception 14.3  10.3  1237405696 unknown 6.11 3.45 167071744
programs/heapseparator/speedup-poc04-02.bpl timeout (error (143)) 301    236    3701301248 error: exception 230    227    473833472 unknown 5.39 3.05 142733312
programs/heapseparator/speedup-poc-dd-5-unlimited.bpl error: exception 185    155    1311084544 error: exception 11.7  8.99 1237270528 unknown 5.85 3.28 157044736
programs/heapseparator/memloc-example-03.bpl true 6.39 3.59 175542272 unknown 5.95 3.36 152457216 unknown 5.58 3.15 145076224
programs/heapseparator/speedup-poc-dd-7-unlimited.bpl error: exception 89.2  64.1  1754644480 error: exception 13.1  9.57 1234440192 unknown 6.02 3.38 161079296
programs/heapseparator/speedup-poc03-10.bpl timeout (error (143)) 301    283    1252298752 error: exception 13.0  9.43 1253036032 unknown 6.20 3.48 161800192
programs/heapseparator/speedup-poc02-02.bpl timeout (error (143)) 301    241    3307024384 error: exception 179    177    454090752 unknown 5.69 3.20 137560064
programs/heapseparator/speedup-poc-dd-10-unlimited.bpl timeout (error (143)) 301    286    1378406400 error: exception 13.6  9.90 1256849408 unknown 6.18 3.46 161046528
programs/heapseparator/speedup-poc-dd-2-unlimited.bpl timeout (error (143)) 304    241    3613388800 error: exception 249    246    509321216 unknown 5.73 3.22 146489344
programs/heapseparator/speedup-poc-dd-2-limited.bpl timeout (error (143)) 300    242    3391930368 error: exception 233    230    505630720 unknown 5.54 3.13 136646656
programs/heapseparator/memloc-example-02.bpl true 6.10 3.37 167264256 true 5.76 3.22 138289152 unknown 5.28 3.02 137969664
programs/heapseparator/speedup-poc01-10.bpl error: exception 32.4  21.6  1438556160 error: exception 15.0  10.7  1262632960 unknown 6.15 3.42 162127872
programs/heapseparator/speedup-poc01-02s.bpl timeout (error (143)) 301    238    3786960896 error: exception 5.46 3.10 144183296 unknown 5.29 3.05 134496256
programs/heapseparator/speedup-poc03-06.bpl error: exception 140    119    1497645056 error: exception 13.8  10.1  1231089664 unknown 5.80 3.29 158490624
programs/heapseparator/speedup-poc03-08.bpl error: exception 158    134    1887703040 error: exception 12.7  9.34 1263865856 unknown 6.03 3.41 158633984
programs/heapseparator/speedup-poc-dd-8-unlimited.bpl error: exception 159    135    1974894592 error: exception 12.6  9.26 1253568512 unknown 5.82 3.28 161832960
programs/random/RanFile078.bpl false 9.67 5.39 229924864 true 33.3  23.5  433881088 unknown 8.16 4.48 188665856
programs/random/RanFile004.bpl false 5.86 3.33 156925952 true 7.85 5.44 157839360 unknown 5.64 3.18 145256448
programs/random/RanFile003.bpl false 6.15 3.44 157302784 unknown 5.69 3.24 159080448 unknown 5.37 3.06 138166272
programs/random/RanFile071.bpl timeout (error (143)) 303    288    875401216 timeout (error (143)) 300    255    1648230400 unknown 9.48 5.22 200826880
programs/random/RanFile076.bpl false 7.40 4.15 187834368 error: exception 19.6  16.4  193769472 unknown 6.89 3.85 174370816
programs/random/RanFile043.bpl false 6.88 3.89 189243392 true 6.34 3.60 164880384 unknown 6.27 3.73 164208640
programs/random/RanFile092.bpl true 228    198    526888960 error: exception 25.3  16.7  314658816 unknown 7.87 4.61 187629568
programs/random/RanFile038.bpl false 9.43 5.41 193863680 error: exception 48.1  43.6  257839104 unknown 6.88 3.88 179761152
programs/random/RanFile044.bpl false 6.57 3.68 188342272 true 7.52 4.50 166678528 unknown 6.08 3.43 161361920
programs/random/RanFile095.bpl error: exception 122    115    1241219072 true 193    178    468320256 unknown 8.40 4.61 187670528
programs/random/RanFile036.bpl false 7.17 4.02 195571712 true 7.15 4.06 189218816 unknown 6.63 3.74 176357376
programs/random/RanFile031.bpl false 13.2  8.40 238284800 true 11.5  6.82 221052928 unknown 6.58 3.67 167616512
programs/random/RanFile020.bpl true 6.79 3.85 188596224 true 6.05 3.48 163893248 unknown 6.46 3.61 163590144
programs/random/RanFile027.bpl false 6.53 3.69 170496000 true 6.18 3.48 158498816 unknown 5.63 3.20 155709440
programs/random/RanFile029.bpl true 6.83 3.88 196546560 error: exception 7.95 4.95 180580352 true 6.27 3.56 164155392
programs/random/RanFile084.bpl true 9.62 5.44 192319488 true 17.5  10.5  311955456 unknown 8.71 4.85 189259776
programs/random/RanFile055.bpl timeout (error (143)) 306    297    454373376 true 19.9  12.2  378249216 unknown 8.80 4.81 192794624
programs/random/RanFile052.bpl false 7.09 3.99 189837312 true 7.62 4.32 185708544 unknown 6.45 3.63 168538112
programs/random/RanFile067.bpl true 8.31 4.65 189923328 timeout (error (143)) 301    294    443506688 unknown 7.86 4.32 200683520
programs/random/RanFile012.bpl false 6.20 3.50 166649856 unknown 6.66 3.72 162770944 unknown 5.60 3.20 143925248
programs/random/RanFile069.bpl true 6.62 3.75 183316480 true 7.13 4.05 188239872 unknown 6.75 3.75 169664512
programs/random/RanFile015.bpl true 6.23 3.53 172785664 true 11.2  6.95 205250560 unknown 5.97 3.39 165728256
programs/random/RanFile030.bpl false 6.84 3.81 194285568 error: exception 9.93 6.69 179728384 unknown 6.08 3.41 165928960
programs/random/RanFile037.bpl false 9.06 5.18 195883008 true 9.20 5.20 190791680 unknown 6.23 3.51 163684352
programs/random/RanFile039.bpl false 7.81 4.41 194142208 true 10.5  5.98 225251328 unknown 6.73 3.80 179466240
programs/random/RanFile045.bpl true 10.2  6.28 204677120 true 30.5  27.6  179318784 unknown 6.12 3.42 163876864
programs/random/RanFile094.bpl true 125    105    484077568 true 10.7  6.12 225697792 unknown 8.01 4.42 188354560
programs/random/RanFile042.bpl false 68.3  55.1  460009472 error: exception 57.3  52.7  230674432 unknown 7.26 4.04 191270912
programs/random/RanFile093.bpl false 7.11 3.98 195555328 true 7.11 3.99 166903808 unknown 6.51 3.67 170393600
programs/random/RanFile077.bpl false 8.97 4.90 226193408 error: exception 141    137    305557504 unknown 6.86 3.81 176988160
programs/random/RanFile070.bpl timeout (error (143)) 301    255    537923584 true 14.7  8.83 262778880 unknown 8.78 4.76 194994176
programs/random/RanFile002.bpl false 5.34 3.08 155205632 unknown 9.55 7.15 168263680 unknown 5.46 3.10 139063296
programs/random/RanFile005.bpl false 6.55 3.72 172056576 timeout (error (143)) 306    302    266264576 unknown 6.21 3.51 163704832
programs/random/RanFile068.bpl false 6.88 3.86 177664000 true 7.20 4.10 178561024 unknown 6.16 3.47 163684352
programs/random/RanFile014.bpl false 6.16 3.49 163745792 true 5.83 3.28 149098496 unknown 5.78 3.28 155795456
programs/random/RanFile013.bpl false 8.08 4.56 192335872 true 7.79 4.48 190427136 unknown 6.87 3.84 174256128
programs/random/RanFile061.bpl false 6.36 3.59 173645824 error: exception 19.6  16.4  209403904 unknown 6.40 3.58 161132544
programs/random/RanFile066.bpl true 6.55 3.70 182444032 true 26.4  21.6  248688640 unknown 6.65 3.74 172797952
programs/random/RanFile053.bpl error: exception 122    114    1022849024 error: exception 23.7  18.7  241442816 unknown 7.84 4.30 201068544
programs/random/RanFile028.bpl false 6.20 3.47 174002176 true 6.05 3.46 158011392 unknown 5.89 3.29 153358336
programs/random/RanFile054.bpl false 6.63 3.79 193822720 true 7.46 4.20 189390848 unknown 6.33 3.55 152944640
programs/random/RanFile026.bpl false 6.57 3.71 176336896 error: exception 41.1  36.4  305741824 unknown 6.12 3.55 170840064
programs/random/RanFile021.bpl false 6.28 3.60 174788608 true 21.5  17.4  205414400 unknown 6.32 3.55 168595456
programs/random/RanFile010.bpl false 6.54 3.71 175464448 true 8.36 4.73 189501440 unknown 6.43 3.61 161284096
programs/random/RanFile017.bpl false 6.81 3.85 173432832 error: exception 74.1  70.7  387006464 unknown 6.56 3.67 167350272
programs/random/RanFile065.bpl false 9.56 5.26 225488896 true 11.7  6.74 221937664 unknown 6.93 3.90 193085440
programs/random/RanFile019.bpl false 5.61 3.18 160002048 unknown 36.6  32.6  210706432 unknown 5.69 3.23 141189120
programs/random/RanFile062.bpl true 296    269    569503744 error: exception 118    112    491716608 unknown 8.70 4.86 194703360
programs/random/RanFile086.bpl false 10.5  5.92 208195584 error: exception 7.58 4.39 174706688 unknown 6.44 3.61 166436864
programs/random/RanFile057.bpl false 20.8  13.0  310026240 true 12.4  7.70 246849536 unknown 7.57 4.25 187686912
programs/random/RanFile081.bpl true 13.5  7.59 247357440 error: exception 231    203    1909882880 unknown 10.2  5.62 209027072
programs/random/RanFile050.bpl false 8.34 4.64 197398528 true 8.33 4.71 184733696 unknown 6.69 3.76 170655744
programs/random/RanFile022.bpl false 5.92 3.31 159461376 true 36.6  32.5  206450688 unknown 5.77 3.27 149368832
programs/random/RanFile088.bpl true 7.23 4.04 200323072 true 7.13 4.04 176820224 unknown 6.76 3.81 184016896
programs/random/RanFile059.bpl true 8.67 4.77 194768896 true 24.3  19.8  222330880 unknown 7.52 4.19 193527808
programs/random/RanFile034.bpl false 6.53 3.69 173363200 true 6.21 3.54 158212096 unknown 6.32 3.52 159174656
programs/random/RanFile048.bpl false 6.63 3.70 182358016 true 6.61 3.68 163708928 unknown 6.46 3.63 160378880
programs/random/RanFile033.bpl true 7.23 4.06 197378048 true 9.74 5.53 195837952 unknown 6.87 3.89 190816256
programs/random/RanFile041.bpl false 12.6  6.96 232394752 error: exception 128    119    698556416 unknown 7.89 4.48 193302528
programs/random/RanFile090.bpl timeout (error (143)) 302    295    1333276672 true 29.4  25.7  205201408 unknown 7.09 3.98 193671168
programs/random/RanFile046.bpl true 6.61 3.74 185061376 true 7.85 4.37 174538752 unknown 6.32 3.59 166707200
programs/random/RanFile073.bpl timeout (error (143)) 306    292    897658880 true 10.0  5.83 223498240 unknown 7.56 4.15 196726784
programs/random/RanFile074.bpl timeout (error (143)) 306    292    526188544 error: exception 18.1  13.6  203931648 unknown 7.85 4.36 187920384
programs/random/RanFile008.bpl false 5.70 3.25 147951616 unknown 6.22 3.49 144904192 unknown 5.58 3.13 143298560
programs/random/RanFile006.bpl false 5.48 3.14 158494720 unknown 6.17 3.49 162742272 unknown 5.38 3.09 139907072
programs/random/RanFile001.bpl true 6.52 3.67 168972288 error: exception 19.0  15.9  170967040 unknown 6.15 3.47 164732928
programs/random/RanFile024.bpl true 6.77 3.79 191766528 timeout (error (143)) 306    302    727060480 unknown 6.22 3.46 158564352
programs/random/RanFile089.bpl timeout (error (143)) 301    261    786223104 true 11.8  6.66 231890944 unknown 8.33 4.66 187023360
programs/random/RanFile058.bpl timeout (error (143)) 300    277    1013989376 error: exception 63.5  57.4  548933632 unknown 10.3  5.58 210255872
programs/random/RanFile080.bpl true 89.5  81.1  367230976 error: exception 32.3  28.6  194375680 unknown 7.00 3.89 178532352
programs/random/RanFile051.bpl timeout (error (143)) 306    297    717684736 error: exception 77.8  68.6  482795520 unknown 8.69 4.80 196370432
programs/random/RanFile087.bpl true 7.96 4.43 190840832 true 8.09 4.48 188817408 unknown 6.76 3.79 175726592
programs/random/RanFile056.bpl true 12.2  7.21 242028544 error: exception 95.2  90.2  413446144 unknown 7.25 3.98 189505536
programs/random/RanFile063.bpl true 57.2  37.7  461144064 error: exception 9.83 5.72 192421888 unknown 7.60 4.17 190779392
programs/random/RanFile018.bpl false 6.71 3.74 173473792 error: exception 88.2  85.1  220258304 unknown 5.81 3.26 155889664
programs/random/RanFile016.bpl true 6.22 3.49 176803840 true 63.9  58.3  364683264 unknown 6.27 3.54 166711296
programs/random/RanFile011.bpl false 6.42 3.58 169156608 error: exception 7.73 5.17 164118528 unknown 5.66 3.20 141873152
programs/random/RanFile000.bpl false 6.01 3.38 165781504 unknown 6.00 3.40 154226688 unknown 5.50 3.12 142925824
programs/random/RanFile007.bpl false 9.07 5.13 192700416 true 10.3  7.53 185683968 unknown 6.14 3.50 164536320
programs/random/RanFile075.bpl true 278    247    914169856 true 27.0  18.1  579383296 unknown 9.26 5.11 196739072
programs/random/RanFile009.bpl false 6.67 3.74 172900352 true 14.1  11.0  188190720 unknown 6.41 3.60 164007936
programs/random/RanFile072.bpl true 8.43 4.72 194027520 error: exception 37.8  33.4  234258432 true 7.38 4.14 186208256
programs/random/RanFile047.bpl timeout (error (143)) 302    291    499195904 true 43.8  38.6  278515712 unknown 6.88 3.83 186212352
programs/random/RanFile096.bpl false 7.02 3.90 188493824 true 6.46 3.64 165208064 unknown 6.01 3.40 162275328
programs/random/RanFile040.bpl true 8.33 4.68 199024640 true 6.43 3.65 159703040 unknown 6.40 3.58 159547392
programs/random/RanFile091.bpl error: exception 121    105    1416019968 error: exception 299    279    1493041152 unknown 11.7  6.32 235864064
programs/random/RanFile032.bpl false 6.48 3.63 172904448 error: exception 77.6  74.5  251838464 unknown 6.40 3.56 158117888
programs/random/RanFile035.bpl false 7.60 4.23 187310080 error: exception 44.2  39.2  274407424 unknown 7.28 4.07 191705088
programs/random/RanFile049.bpl true 6.05 3.44 168574976 true 5.98 3.38 155439104 unknown 5.94 3.35 160452608
programs/random/RanFile098.bpl timeout (error (143)) 306    286    1010147328 error: exception 22.9  16.7  288264192 unknown 9.29 5.34 210939904
programs/real-life/DraegerElevator-FSEN2007.bpl true 9.02 5.03 191946752 true 7.23 4.00 170278912 unknown 5.84 3.30 156119040
programs/real-life/MarkovChains/FourStateCircle.bpl true 8.38 4.70 191799296 true 7.33 4.07 171073536 error: exception 5.35 3.03 137474048
programs/real-life/MarkovChains/DoyenHenzingerRaskin-Fig1.bpl true 13.9  8.41 251314176 unknown 9.39 5.47 194207744 error: exception 6.01 3.34 152416256
programs/real-life/MarkovChains/Klaus.bpl true 10.0  5.94 227741696 true 9.67 5.63 201953280 error: exception 5.77 3.22 153038848
programs/real-life/GateController.bpl timeout (error (143)) 300    251    668176384 error: exception 12.3  9.06 201691136 unknown 5.58 3.20 142999552
programs/real-life/GuiTestExample.bpl false 10.7  6.15 250322944 unknown 56.1  44.6  580870144 error: exception 9.26 5.17 197885952
programs/real-life/GateControllerIncorrect1.bpl false 18.6  11.3  278597632 unknown 49.4  45.8  209764352 unknown 5.76 3.26 148037632
programs/real-life/threadpooling_out_Reals.bpl true 123    98.5  506155008 timeout (error (143)) 306    303    1068085248 error: exception 6.56 3.70 167874560
programs/real-life/s3_clnt_1_Safe.bpl true 40.3  24.2  608788480 timeout (error (143)) 306    288    2019942400 unknown 10.7  5.90 293978112
programs/real-life/RailwayCrossing-Incorrenct.bpl false 6.64 3.77 196964352 unknown 25.0  21.6  198868992 unknown 5.56 3.15 149045248
programs/real-life/Elevator-Integer.bpl true 30.4  18.8  390594560 unknown 13.5  8.44 254869504 unknown 6.95 3.90 192172032
programs/real-life/s3_clnt_1_Unsafe.bpl false 13.1  7.68 258793472 timeout (error (143)) 300    272    1938571264 unknown 10.3  5.63 295153664
programs/real-life/GuiTestExampleUnsafe.bpl false 9.22 5.33 193966080 unknown 40.8  31.9  507543552 error: exception 8.47 4.78 197242880
programs/real-life/threadpooling_product_WithProcedures.bpl true 97.6  66.1  569585664 error: exception 5.60 3.13 151740416 timeout (error (143)) 301    204    6538129408
programs/real-life/Elevator.bpl true 74.5  53.2  587902976 timeout (error (143)) 306    302    367857664 error: exception 5.98 3.40 159854592
programs/real-life/threadpooling_out3.bpl timeout (error (143)) 300    257    1065271296 timeout (error (143)) 306    298    1278713856 unknown 17.6  9.83 350982144
programs/real-life/threadpooling_out3_Reals.bpl timeout (error (143)) 300    257    1069686784 timeout (error (143)) 306    298    1291112448 error: exception 12.0  7.01 240812032
programs/real-life/bank.bpl false 5.59 3.18 161566720 unknown 5.76 3.25 150888448 unknown 5.44 3.06 143638528
programs/real-life/threadpooling_out2.mover.bpl true 14.2  9.02 264200192 timeout (error (143)) 300    284    634761216 unknown 5.97 3.39 160923648
programs/real-life/threadpooling_product_WithoutIf.bpl true 84.0  66.4  469684224 error: exception 34.5  29.0  294756352 unknown 5.88 3.35 159158272
programs/real-life/BigBranchingExample.bpl false 275    218    2381078528 timeout 322    165    7727685632 error: exception 15.2  9.39 319225856
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_100.bpl false 57.0  34.1  947748864 timeout (error (143)) 300    257    1221451776 error: exception 9.77 5.40 195907584
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_200.bpl timeout (error (143)) 303    201    4954628096 timeout (error (143)) 300    257    1371099136 error: exception 9.71 5.37 197791744
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_756_25.bpl timeout (error (143)) 301    199    5040250880 timeout (error (143)) 300    258    1448484864 error: exception 9.49 5.21 193966080
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_750.bpl timeout (error (143)) 315    203    5649162240 timeout (error (143)) 300    255    1311973376 error: exception 9.64 5.40 201248768
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_800.bpl timeout (error (143)) 301    197    5387972608 timeout (error (143)) 300    255    1174134784 error: exception 9.29 5.19 189698048
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_400.bpl timeout (error (143)) 302    204    4915343360 timeout (error (143)) 300    259    1380646912 error: exception 9.45 5.21 189915136
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_759_375.bpl timeout (error (143)) 306    198    5664555008 timeout (error (143)) 300    258    1236664320 error: exception 9.81 5.42 198500352
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_762_5.bpl timeout (error (143)) 301    195    5586059264 timeout (error (143)) 300    258    1187655680 error: exception 9.08 5.08 199938048
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_600.bpl timeout (error (143)) 304    195    6315913216 timeout (error (143)) 300    257    1325596672 error: exception 9.56 5.34 193114112
programs/real-life/PricedTimedautomataBSearch/u2b07_batman_intermittent_power_700.bpl timeout (error (143)) 301    199    5102006272 timeout (error (143)) 300    257    1375735808 error: exception 9.34 5.22 195018752
programs/real-life/threadpooling_out3.mover.bpl timeout (error (143)) 300    251    1701859328 timeout (error (143)) 310    200    7497768960 unknown 8.48 4.61 192462848
programs/real-life/PricedTimedAutomata/u2b03_simple_broadcast_SAFE.bpl true 8.63 4.91 201256960 true 11.4  6.69 219881472 error: exception 5.88 3.29 154091520
programs/real-life/PricedTimedAutomata/u2b01_single_pca_UNSAFE.bpl false 230    184    859885568 true 7.61 4.33 186470400 error: exception 5.39 3.09 151171072
programs/real-life/PricedTimedAutomata/bugtest2.bpl false 7.23 4.10 195510272 unknown 6.52 3.72 164364288 error: exception 5.45 3.09 142147584
programs/real-life/PricedTimedAutomata/u2b02_multiple_pca_SAFE.bpl true 232    181    641675264 true 13.4  8.59 278884352 error: exception 5.72 3.28 154968064
programs/real-life/PricedTimedAutomata/u2b05_broadcast_guards_vars_SAFE.bpl true 17.5  10.3  284581888 unknown 41.5  31.0  486359040 error: exception 6.71 3.73 177049600
programs/real-life/PricedTimedAutomata/u2b08_batman_intermittent_power_1slot_SAFE.bpl true 64.3  41.2  703737856 out of memory 219    138    8000000000 error: exception 8.36 4.67 185860096
programs/real-life/PricedTimedAutomata/u2b06_batman_intermittent_no_power_UNSAFE.bpl false 29.0  15.6  361213952 out of memory 199    122    8000000000 error: exception 9.47 5.23 188608512
programs/real-life/PricedTimedAutomata/u2b02_multiple_pca_UNSAFE.bpl timeout (error (143)) 301    238    669630464 true 12.0  7.57 248434688 error: exception 6.09 3.41 154320896
programs/real-life/PricedTimedAutomata/u2b07_batman_intermittent_power_UNSAFE.bpl false 60.3  35.5  1002061824 timeout (error (143)) 300    257    1248079872 error: exception 9.68 5.35 189677568
programs/real-life/PricedTimedAutomata/u2b08_batman_intermittent_power_1slot_UNSAFE.bpl timeout (error (143)) 301    224    3876429824 out of memory 197    130    8000000000 error: exception 8.45 4.76 187957248
programs/real-life/PricedTimedAutomata/u2b04_multiple_broadcast_UNSAFE.bpl false 13.2  7.35 246624256 unknown 52.2  41.1  473714688 error: exception 6.11 3.48 160448512
programs/real-life/PricedTimedAutomata/u2b07_batman_intermittent_power_SAFE.bpl true 196    137    3624673280 timeout (error (143)) 300    257    1361461248 error: exception 9.99 5.49 199991296
programs/real-life/PricedTimedAutomata/u2b03_simple_broadcast_UNSAFE.bpl false 8.07 4.49 190627840 true 7.44 4.28 184958976 error: exception 6.16 3.48 159363072
programs/real-life/PricedTimedAutomata/u2b06_batman_intermittent_no_power_SAFE.bpl timeout (error (143)) 301    212    4174884864 out of memory 189    107    8000000000 error: exception 9.29 5.19 195137536
programs/real-life/PricedTimedAutomata/bugtest0.bpl false 5.80 3.29 160030720 true 5.23 3.00 137674752 error: exception 5.34 3.07 134692864
programs/real-life/PricedTimedAutomata/u2b05_broadcast_guards_vars_UNSAFE.bpl false 9.17 5.18 200863744 true 13.1  8.13 259063808 error: exception 6.41 3.60 163618816
programs/real-life/PricedTimedAutomata/u2b04_multiple_broadcast_SAFE.bpl true 20.8  11.8  302825472 unknown 48.2  37.5  478449664 error: exception 6.20 3.56 164683776
programs/real-life/PricedTimedAutomata/handwritten/pcatest0.bpl false 62.0  42.6  639340544 error: exception 89.3  85.1  333234176 error: exception 5.33 3.03 137973760
programs/real-life/PricedTimedAutomata/handwritten/pcatest1.bpl true 42.7  28.0  460636160 true 58.2  40.7  738242560 error: exception 5.97 3.39 156352512
programs/real-life/PricedTimedAutomata/bugtest1.bpl false 6.55 3.65 175181824 unknown 5.89 3.37 158101504 error: exception 5.39 3.06 142462976
programs/real-life/PricedTimedAutomata/u2b01_single_pca_SAFE.bpl true 9.41 5.46 196947968 true 6.99 4.19 183689216 error: exception 5.66 3.22 150642688
programs/real-life/RailwayCrossing.bpl timeout (error (143)) 300    246    918290432 error: exception 9.95 7.05 181608448 unknown 5.90 3.32 140144640
programs/real-life/GripperTest-correct.bpl true 6.16 3.51 171913216 unknown 59.8  55.8  355430400 unknown 5.82 3.30 152891392
programs/real-life/ElevatorWithSingleTransition.bpl false 5.64 3.19 165478400 unknown 169    164    940474368 error: exception 5.51 3.12 141107200
programs/real-life/threadpooling_out.bpl true 157    128    573489152 timeout (error (143)) 306    303    1029292032 unknown 7.45 4.10 195428352
programs/real-life/threadpooling_product.bpl true 53.9  37.8  468037632 timeout (error (143)) 302    294    729096192 unknown 6.03 3.41 164380672
programs/real-life/tcas-woAssumption.bpl false 6.52 3.66 175263744 unknown 9.26 5.20 188547072 unknown 6.25 3.49 161583104
programs/real-life/USE_SimplifiedGripperTest.bpl true 5.69 3.21 161513472 unknown 255    251    934248448 unknown 5.62 3.19 145166336
programs/real-life/GripperTest-incorrect.bpl false 6.75 3.83 196558848 unknown 55.8  52.1  387764224 unknown 5.89 3.36 151203840
programs/real-life/ElevatorWithAssignments.bpl timeout (error (143)) 301    239    1074823168 unknown 101    94.8  426246144 unknown 7.38 4.09 191459328
programs/real-life/divisibilityWithArray.bpl timeout (error (143)) 301    254    538652672 unknown 6.68 3.79 167079936 unknown 5.42 3.10 142467072
programs/real-life/tcas-correct.bpl true 7.10 4.02 191016960 true 6.76 3.84 177123328 unknown 6.08 3.40 165089280
programs/real-life/tcas-incorrect.bpl false 6.40 3.62 176472064 unknown 8.45 4.85 188764160 unknown 6.28 3.52 162099200
programs/20170304-DifficultPathPrograms/mcmillan2006.c.i_3.bpl true 6.43 3.66 182849536 unknown 12.4  7.82 257413120 unknown 5.66 3.22 149032960
programs/20170304-DifficultPathPrograms/array1.i_3.bpl timeout (error (143)) 301    242    1050996736 error: exception 12.4  7.90 243843072 unknown 5.59 3.13 138964992
programs/20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.BOUNDED-8.pals.c_19.bpl true 8.55 4.78 192991232 true 13.0  7.67 252162048 unknown 7.57 4.05 188071936
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.UNBOUNDED.pals.c_12.bpl true 9.76 5.33 197570560 true 13.8  8.76 269570048 unknown 8.03 4.39 202498048
programs/20170304-DifficultPathPrograms/pals_lcr.4.ufo.BOUNDED-8.pals.c_19.bpl true 9.46 5.17 193241088 true 12.5  7.52 255348736 unknown 7.05 3.91 185487360
programs/20170304-DifficultPathPrograms/diamond1.i_3.bpl timeout (error (143)) 300    254    577589248 unknown 31.0  28.1  202272768 unknown 5.53 3.13 154750976
programs/20170304-DifficultPathPrograms/count_by_nondet.i_3.bpl timeout (error (143)) 301    241    1084403712 unknown 6.18 3.59 171917312 unknown 5.53 3.15 143110144
programs/20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.BOUNDED-10.pals.c_21.bpl true 11.1  5.94 206831616 true 8.18 4.49 190316544 unknown 7.71 4.21 192659456
programs/20170304-DifficultPathPrograms/const1.i_3.bpl timeout (error (143)) 301    254    522436608 unknown 7.39 4.29 171892736 unknown 5.22 3.02 138825728
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.c_11.bpl true 12.4  6.77 245084160 true 12.7  7.63 276832256 unknown 7.51 4.15 191193088
programs/20170304-DifficultPathPrograms/interleave_bits.i_3.bpl unknown: overapproxcex 15.2  9.37 265609216 unknown 6.13 3.50 158457856 unknown 5.70 3.39 141107200
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bpl true 9.87 5.46 196288512 true 7.13 3.88 184811520 unknown 6.95 3.87 185602048
programs/20170304-DifficultPathPrograms/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.c_21.bpl true 9.85 5.37 199147520 true 7.69 4.21 193130496 unknown 7.63 4.23 188456960
programs/20170304-DifficultPathPrograms/s3_srvr_1.BV.c.cil.c_21.bpl true 15.5  8.78 294117376 unknown 25.5  18.6  447418368 unknown 7.19 3.98 187105280
programs/20170304-DifficultPathPrograms/eureka_05.i_5.bpl true 15.9  9.61 266543104 true 8.59 4.83 185266176 unknown 5.32 3.07 143732736
programs/20170304-DifficultPathPrograms/simple4.i_3.bpl timeout (error (143)) 300    254    512811008 unknown 5.51 3.18 154443776 unknown 5.47 3.12 143654912
programs/20170304-DifficultPathPrograms/linear_sea.ch.i_4.bpl true 8.18 4.67 199884800 unknown 45.7  41.0  300515328 unknown 5.74 3.29 157896704
programs/20170304-DifficultPathPrograms/veris.c_NetBSD-libc__loop.i_2.bpl true 6.85 3.87 192978944 unknown 11.3  6.88 244346880 unknown 5.64 3.24 148443136
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.UNBOUNDED.pals.c_11.bpl true 43.2  35.1  481718272 true 12.5  7.76 281325568 unknown 8.24 4.40 186314752
programs/20170304-DifficultPathPrograms/sum_array.i_3.bpl true 8.18 4.58 201928704 error: exception 28.8  24.8  285761536 unknown 5.89 3.32 148955136
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.c_12.bpl true 20.5  12.1  317763584 true 7.87 4.29 190230528 unknown 8.79 4.71 222289920
programs/20170304-DifficultPathPrograms/matrix.i_4.bpl true 8.05 4.57 192843776 true 7.40 4.18 184283136 unknown 5.93 3.33 140972032
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c_11.bpl true 8.65 4.80 200904704 true 6.98 3.90 182325248 unknown 7.01 3.94 191746048
programs/20170304-DifficultPathPrograms/array.i_3.bpl true 6.47 3.65 175075328 true 6.47 3.65 163516416 unknown 5.35 3.04 140537856
programs/20170304-DifficultPathPrograms/pals_lcr.5.ufo.UNBOUNDED.pals.c_19.bpl true 10.8  5.82 204685312 true 8.12 4.37 194867200 unknown 7.28 4.01 193101824
programs/20170304-DifficultPathPrograms/num_conversion_2.i_3.bpl unknown: overapproxcex 9.60 5.60 200654848 error: exception 21.8  18.8  1181937664 unknown 5.50 3.11 143798272
programs/20170304-DifficultPathPrograms/sum03.i_3.bpl false 20.8  12.7  305754112 unknown 82.3  77.6  276402176 unknown 5.45 3.12 141189120
programs/20170304-DifficultPathPrograms/s3_clnt_3.cil.c_21.bpl true 20.5  11.6  317304832 unknown 64.5  52.2  619167744 unknown 7.26 4.04 190308352
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bpl true 13.1  7.69 252805120 true 6.72 3.74 179499008 unknown 6.85 3.79 193888256
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bpl true 9.14 5.12 196771840 true 6.61 3.63 179511296 unknown 6.99 4.01 189145088
programs/20170304-DifficultPathPrograms/s3_clnt_2.cil.c_21.bpl true 20.8  11.7  314769408 true 24.5  17.5  428560384 unknown 7.11 4.00 193601536
programs/20170304-DifficultPathPrograms/pals_lcr.6.1.ufo.UNBOUNDED.pals.c_23.bpl true 10.8  5.77 209903616 true 15.5  10.1  288624640 unknown 8.24 4.48 194420736
programs/20170304-DifficultPathPrograms/s3_srvr_3.cil.c_20.bpl true 16.0  9.00 286740480 true 14.5  9.32 298029056 unknown 6.96 3.92 192626688
programs/20170304-DifficultPathPrograms/jain_4.i_2.bpl true 10.2  6.39 207482880 error: exception 17.7  15.3  155451392 true 5.13 2.97 138608640
programs/20170304-DifficultPathPrograms/cggmp2005_variant.c.i_3.bpl timeout (error (143)) 301    254    596705280 unknown 6.81 3.89 170811392 unknown 5.41 3.12 143302656
programs/20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.UNBOUNDED.pals.c_14.bpl true 9.15 5.02 199991296 true 6.89 3.78 184725504 unknown 6.65 3.71 191037440
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bpl true 10.0  5.56 201392128 true 7.36 3.99 185319424 unknown 7.50 4.16 191610880
programs/20170304-DifficultPathPrograms/eureka_01.i_3.bpl true 6.73 3.84 185905152 true 9.63 5.42 187318272 unknown 5.83 3.28 149184512
programs/20170304-DifficultPathPrograms/s3_clnt_4.cil.c_20.bpl true 21.3  12.0  323334144 unknown 41.4  31.7  580694016 unknown 7.13 3.94 187125760
programs/20170304-DifficultPathPrograms/jm2006_variant.c.i_3.bpl timeout (error (143)) 301    257    571293696 unknown 7.21 4.14 183091200 unknown 5.62 3.14 140746752
programs/20170304-DifficultPathPrograms/fragtest_simple.i_4.bpl timeout (error (143)) 301    243    1032237056 error: exception 54.3  49.9  272138240 unknown 5.63 3.22 147111936
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.c_12.bpl true 14.9  8.08 247042048 true 15.3  9.55 298573824 unknown 8.33 4.56 221237248
programs/20170304-DifficultPathPrograms/overflow1.i_3.bpl timeout (error (143)) 301    251    541339648 unknown 5.51 3.18 151695360 unknown 5.68 3.21 150052864
programs/20170304-DifficultPathPrograms/down.i_4.bpl timeout (error (143)) 301    244    995262464 unknown 9.11 5.38 207462400 unknown 5.75 3.24 141606912
programs/20170304-DifficultPathPrograms/s3_srvr_4.cil.c_14.bpl true 9.92 5.60 207765504 true 14.4  9.30 341491712 unknown 6.72 3.71 186798080
programs/20170304-DifficultPathPrograms/functions1.i_3.bpl timeout (error (143)) 300    249    650989568 unknown 6.40 3.64 167149568 unknown 5.59 3.17 142700544
programs/20170304-DifficultPathPrograms/jain_5.i_2.bpl timeout (error (143)) 300    250    607342592 error: exception 34.1  29.6  226267136 true 5.29 3.01 137752576
programs/20170304-DifficultPathPrograms/jain_1.i_2.bpl true 11.3  8.15 193531904 error: exception 17.6  15.1  160366592 unknown 5.46 3.07 141799424
programs/20170304-DifficultPathPrograms/nested1.i_4.bpl timeout (error (143)) 300    249    1481805824 unknown 8.54 4.97 189161472 unknown 5.49 3.14 145498112
programs/20170304-DifficultPathPrograms/nested9.i_3.bpl true 8.38 4.64 193798144 true 7.87 4.52 187441152 unknown 5.59 3.18 140582912
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bpl true 11.8  6.37 223911936 true 6.74 3.73 176840704 unknown 6.88 3.82 185262080
programs/20170304-DifficultPathPrograms/bhmr2007.c.i_3.bpl timeout (error (143)) 300    254    631087104 unknown 7.99 4.58 190676992 unknown 5.38 3.05 143089664
programs/20170304-DifficultPathPrograms/array4.i_4.bpl error: exception 263    211    4711849984 unknown 15.1  9.92 268128256 unknown 5.55 3.13 138805248
programs/20170304-DifficultPathPrograms/ddlm2013.i_3.bpl timeout (error (143)) 301    253    1495810048 unknown 75.4  70.8  292651008 unknown 5.90 3.31 153825280
programs/20170304-DifficultPathPrograms/string_concat-noarr.i_3.bpl true 213    167    915120128 unknown 6.54 3.68 165982208 unknown 5.39 3.07 146731008
programs/20170304-DifficultPathPrograms/cggmp2005.c.i_3.bpl true 8.09 4.60 196681728 unknown 5.67 3.27 159006720 unknown 5.34 3.06 140435456
programs/20170304-DifficultPathPrograms/large_const.i_3.bpl true 6.57 3.68 179625984 true 7.59 4.31 187826176 unknown 5.46 3.10 147841024
programs/20170304-DifficultPathPrograms/gj2007.c.i_4.bpl timeout (error (143)) 301    246    625041408 unknown 17.8  14.6  224374784 unknown 5.58 3.14 142856192
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.c_11.bpl true 9.92 5.43 199888896 true 7.40 4.10 189489152 unknown 7.36 4.07 190840832
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bpl true 10.6  5.91 201461760 true 11.0  6.41 223440896 unknown 6.82 3.74 185384960
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c_11.bpl true 12.0  6.60 250200064 true 7.44 4.06 192700416 unknown 7.48 4.11 191119360
programs/20170304-DifficultPathPrograms/invert_string.i_4.bpl timeout (error (143)) 301    244    1284177920 error: exception 53.9  48.2  298000384 unknown 6.03 3.39 146427904
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bpl true 17.5  11.3  264450048 true 6.87 3.81 180068352 unknown 7.17 3.85 190201856
programs/20170304-DifficultPathPrograms/count_by_1.i_3.bpl timeout (error (143)) 301    243    832839680 true 5.63 3.21 150274048 unknown 5.26 3.00 140120064
programs/20170304-DifficultPathPrograms/linear_search.i_5.bpl true 45.3  41.6  204312576 unknown 15.8  11.1  247394304 unknown 5.78 3.30 156729344
programs/20170304-DifficultPathPrograms/underapprox2.i_3.bpl false 8.05 4.62 190410752 unknown 7.33 4.45 167157760 unknown 5.42 3.09 142561280
programs/20170304-DifficultPathPrograms/n.c11.i_3.bpl true 7.73 4.32 204603392 unknown 6.02 3.43 157974528 unknown 5.47 3.15 145793024
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.c_11.bpl true 11.5  6.29 249008128 true 7.23 3.96 185577472 unknown 7.39 4.08 191037440
programs/20170304-DifficultPathPrograms/simple1.i_3.bpl timeout (error (143)) 301    252    513404928 unknown 17.7  15.3  185507840 unknown 5.60 3.17 148283392
programs/20170304-DifficultPathPrograms/afnp2014.c.i_3.bpl true 6.52 3.68 183992320 unknown 99.7  94.9  304164864 unknown 5.56 3.16 141221888
programs/20170304-DifficultPathPrograms/string.i_3.bpl unknown: overapproxcex 8.18 4.62 191614976 unknown 10.5  6.29 227418112 unknown 5.57 3.20 144572416
programs/20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.BOUNDED-6.pals.c_13.bpl true 9.31 5.09 192253952 true 11.4  6.67 227250176 unknown 6.75 3.69 185200640
programs/20170304-DifficultPathPrograms/gr2006.c.i_4.bpl timeout (error (143)) 301    247    661499904 unknown 22.9  19.2  211742720 unknown 5.53 3.13 139304960
programs/20170304-DifficultPathPrograms/pals_lcr.5.ufo.BOUNDED-10.pals.c_21.bpl true 10.0  5.47 203165696 true 8.22 4.46 186187776 unknown 7.52 4.14 179494912
programs/20170304-DifficultPathPrograms/half_2.i_3.bpl timeout (error (143)) 300    252    616701952 unknown 7.06 4.02 171118592 unknown 5.61 3.20 147611648
programs/20170304-DifficultPathPrograms/half.i_3.bpl true 6.09 3.46 179048448 true 5.73 3.27 154968064 unknown 5.87 3.32 144826368
programs/20170304-DifficultPathPrograms/s3_clnt_1.cil.c_16.bpl true 17.2  9.76 308563968 unknown 31.6  23.4  473452544 unknown 6.90 3.89 185548800
programs/20170304-DifficultPathPrograms/toy.cil.c_34.bpl true 16.2  9.29 279334912 true 11.1  6.35 225935360 unknown 8.17 4.45 210759680
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c_12.bpl true 11.5  6.18 245047296 true 14.3  8.97 280051712 unknown 8.13 4.51 227409920
programs/20170304-DifficultPathPrograms/jain_7.i_2.bpl timeout (error (143)) 303    297    297811968 error: exception 44.5  42.0  166551552 true 5.41 3.03 141463552
programs/20170304-DifficultPathPrograms/nested.i_4.bpl true 31.9  19.5  403480576 unknown 10.7  6.49 220176384 unknown 5.43 3.17 140476416
programs/20170304-DifficultPathPrograms/jm2006.c.i_3.bpl timeout (error (143)) 300    255    549425152 unknown 7.03 4.09 182202368 unknown 5.57 3.12 138964992
programs/20170304-DifficultPathPrograms/count_by_k.i_3.bpl timeout (error (143)) 300    257    571330560 unknown 7.04 4.08 185970688 unknown 5.46 3.07 144207872
programs/20170304-DifficultPathPrograms/sum04.i_3.bpl true 9.54 5.65 207630336 unknown 5.99 3.44 157958144 unknown 5.51 3.10 139436032
programs/20170304-DifficultPathPrograms/sum04.i_4.bpl false 9.15 5.28 196411392 unknown 8.66 5.30 179232768 unknown 5.61 3.17 146903040
programs/20170304-DifficultPathPrograms/num_conversion_1.i_3.bpl unknown: overapproxcex 9.35 5.45 201957376 error: exception 25.9  22.9  1098493952 unknown 5.53 3.14 140677120
programs/20170304-DifficultPathPrograms/s3_clnt_3.BV.c.cil.c_19.bpl true 24.5  17.1  316915712 unknown 71.8  61.8  541843456 unknown 6.91 3.82 182218752
programs/20170304-DifficultPathPrograms/diamond2.i_4.bpl true 9.16 5.27 208093184 unknown 5.90 3.38 164294656 unknown 6.66 3.70 174215168
programs/20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.UNBOUNDED.pals.c_16.bpl true 9.04 4.93 196657152 true 12.0  7.24 257490944 unknown 7.15 3.94 186855424
programs/20170304-DifficultPathPrograms/s3_srvr_7.cil.c_19.bpl true 13.2  7.54 246325248 true 13.5  8.68 334594048 unknown 6.90 3.82 184078336
programs/20170304-DifficultPathPrograms/pals_lcr.4.ufo.UNBOUNDED.pals.c_16.bpl true 9.51 5.24 203788288 true 12.6  7.55 257736704 unknown 6.61 3.72 186888192
programs/20170304-DifficultPathPrograms/count_by_1_variant.i_2.bpl timeout (error (143)) 301    243    1053409280 unknown 33.0  28.6  219508736 unknown 5.38 3.07 142082048
programs/20170304-DifficultPathPrograms/array2.i_3.bpl timeout (error (143)) 301    241    903938048 unknown 6.31 3.58 159928320 unknown 5.52 3.12 142606336
programs/20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.UNBOUNDED.pals.c_19.bpl true 9.64 5.28 202162176 true 7.87 4.29 198922240 unknown 7.37 4.27 191467520
programs/20170304-DifficultPathPrograms/up.i_4.bpl timeout (error (143)) 301    245    713142272 unknown 8.69 5.14 188379136 unknown 5.56 3.16 142729216
programs/20170304-DifficultPathPrograms/pals_lcr.6.ufo.UNBOUNDED.pals.c_23.bpl true 11.8  6.40 249446400 true 16.6  10.6  267575296 unknown 7.91 4.33 200146944
programs/20170304-DifficultPathPrograms/seq.i_4.bpl timeout (error (143)) 300    245    729063424 unknown 8.72 5.04 191295488 unknown 5.94 3.32 149430272
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.UNBOUNDED.pals.c_10.bpl true 27.9  21.0  358858752 true 12.4  7.73 258695168 unknown 7.18 3.97 179802112
programs/20170304-DifficultPathPrograms/count_up_down.i_3.bpl timeout (error (143)) 300    253    679682048 unknown 6.03 3.46 163876864 unknown 5.18 3.01 145899520
programs/20170304-DifficultPathPrograms/verisec_NetBSD-libc__loop.i_2.bpl false 7.06 3.99 191070208 unknown 11.2  6.91 248381440 unknown 5.53 3.14 147185664
programs/20170304-DifficultPathPrograms/insertion_sort.i_3.bpl true 6.69 3.73 189976576 error: exception 30.7  27.4  953212928 unknown 5.75 3.25 146780160
programs/20170304-DifficultPathPrograms/sum01_bug02_sum01_bug02_base.case.i_4.bpl true 7.82 4.44 205148160 unknown 13.6  10.5  174895104 unknown 5.64 3.17 141955072
programs/20170304-DifficultPathPrograms/count_by_2.i_3.bpl timeout (error (143)) 301    242    913887232 unknown 5.65 3.25 150433792 unknown 5.67 3.19 143409152
programs/20170304-DifficultPathPrograms/s3_srvr_2_alt.BV.c.cil.c_13.bpl true 9.93 5.57 203116544 true 19.4  13.3  411537408 unknown 6.93 3.89 187371520
programs/20170304-DifficultPathPrograms/s3_srvr_1.cil.c_23.bpl true 15.2  8.59 293302272 true 13.2  8.31 275001344 unknown 7.09 3.96 185778176
programs/20170304-DifficultPathPrograms/phases1.i_3.bpl timeout (error (143)) 301    251    541388800 true 5.84 3.38 157020160 unknown 5.74 3.23 142667776
programs/20170304-DifficultPathPrograms/s3_srvr_2.cil.c_16.bpl true 10.3  5.67 210554880 true 14.5  9.28 323366912 unknown 6.90 3.85 187170816
programs/20170304-DifficultPathPrograms/array3.i_4.bpl error: exception 275    218    4899287040 error: exception 14.0  8.87 244355072 unknown 5.72 3.26 144711680
programs/20170304-DifficultPathPrograms/pals_lcr.4_overflow.ufo.UNBOUNDED.pals.c_19.bpl true 8.84 4.87 198955008 true 11.5  7.03 253698048 unknown 7.23 3.93 187273216
programs/20170304-DifficultPathPrograms/gcd_2.i_4.bpl unknown 5.94 3.36 173993984 error: exception 21.6  18.2  562593792 unknown 5.52 3.15 144715776
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.c_12.bpl true 10.3  5.66 205131776 true 13.6  8.26 282558464 unknown 8.15 4.42 195780608
programs/20170304-DifficultPathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bpl true 12.2  6.74 250347520 true 7.11 3.90 185126912 unknown 7.05 3.88 187244544
programs/20170304-DifficultPathPrograms/s3_srvr_2.BV.c.cil.c_13.bpl true 9.50 5.36 210223104 unknown 20.3  14.1  374632448 unknown 7.13 3.92 191426560
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.c_12.bpl true 12.0  6.48 233295872 true 16.0  10.1  294080512 unknown 8.14 4.44 197058560
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.c_10.bpl true 14.8  8.48 287776768 true 7.44 4.05 184864768 unknown 7.19 4.02 185114624
programs/20170304-DifficultPathPrograms/underapprox1.i_3.bpl false 8.22 4.69 190681088 unknown 9.98 7.00 184582144 unknown 5.66 3.19 140746752
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c_10.bpl true 9.38 5.14 199516160 true 12.1  7.34 250290176 unknown 7.03 3.93 185999360
programs/20170304-DifficultPathPrograms/pals_lcr.3_overflow.ufo.UNBOUNDED.pals.c_13.bpl true 9.09 4.97 193748992 true 11.6  6.72 222568448 unknown 6.65 3.62 180088832
programs/20170304-DifficultPathPrograms/sum01_bug02.i_3.bpl true 9.77 5.57 202080256 unknown 10.8  7.67 185380864 unknown 5.54 3.11 140709888
programs/20170304-DifficultPathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bpl true 8.86 4.86 193273856 true 10.6  6.23 220737536 unknown 6.88 3.70 192102400
programs/20170304-DifficultPathPrograms/vogal.i_5.bpl true 19.9  12.2  290181120 true 8.15 4.67 188588032 unknown 6.11 3.45 162140160
programs/20170304-DifficultPathPrograms/hhk2008.c.i_3.bpl timeout (error (143)) 300    255    595742720 unknown 7.18 4.13 181456896 unknown 5.39 3.06 138366976
programs/20170304-DifficultPathPrograms/jain_6.i_2.bpl true 11.8  8.00 200314880 error: exception 30.3  27.8  156753920 true 5.51 3.10 137846784
programs/20170304-DifficultPathPrograms/jain_2.i_2.bpl true 34.0  30.8  205078528 error: exception 33.1  30.7  162873344 unknown 5.38 3.01 138752000
programs/20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.c_11.bpl true 13.1  7.44 246996992 true 14.1  8.60 284704768 unknown 8.06 4.33 187600896
programs/20170304-DifficultPathPrograms/sum01.i_3.bpl true 12.1  7.27 234217472 unknown 13.2  10.1  178675712 unknown 5.52 3.11 143974400
programs/20181015-LoopsPathprograms/overflow_true-unreach-call1.i_3.bpl timeout (error (143)) 300    252    569020416 unknown 5.67 3.27 158736384 true 5.45 3.09 139821056
programs/20181015-LoopsPathprograms/nested_false-unreach-call1.i_4.bpl timeout (error (143)) 300    249    1795641344 unknown 7.78 4.51 191217664 unknown 5.79 3.27 145965056
programs/20181015-LoopsPathprograms/simple_false-unreach-call4.i_3.bpl timeout (error (143)) 300    253    524169216 unknown 5.90 3.41 156348416 unknown 5.57 3.15 145084416
programs/20181015-LoopsPathprograms/nested_true-unreach-call.c_4.bpl timeout (error (143)) 301    242    961732608 unknown 8.94 5.22 193658880 unknown 5.87 3.30 150409216
programs/20181015-LoopsPathprograms/ddlm2013_true-unreach-call.i_3.bpl timeout (error (143)) 300    250    1280192512 unknown 6.99 4.02 187133952 unknown 5.95 3.31 154882048
programs/20181015-LoopsPathprograms/simple_false-unreach-call1.i_3.bpl timeout (error (143)) 301    252    576561152 unknown 7.15 4.53 161431552 unknown 6.26 3.43 169152512
programs/20181015-LoopsPathprograms/diamond_false-unreach-call1.i_4.bpl timeout (error (143)) 300    254    535531520 unknown 19.3  16.4  194691072 unknown 6.08 3.56 163569664
programs/20181015-LoopsPathprograms/diamond_true-unreach-call2.i_6.bpl true 6.66 3.75 195317760 true 6.27 3.50 153915392 unknown 7.07 3.82 180264960
programs/20181015-LoopsPathprograms/diamond_false-unreach-call1.i_3.bpl false 98.2  75.8  526364672 unknown 6.59 3.74 168615936 unknown 6.07 3.38 163000320
programs/20181015-LoopsPathprograms/nested_true-unreach-call1.i_4.bpl timeout (error (143)) 300    248    1443319808 unknown 8.64 5.00 187895808 unknown 5.72 3.24 151584768
programs/20181015-LoopsPathprograms/simple_true-unreach-call1.i_3.bpl timeout (error (143)) 301    251    539148288 unknown 5.39 3.10 154607616 true 5.15 2.97 139800576
programs/20181015-LoopsPathprograms/diamond_true-unreach-call2.i_4.bpl true 8.78 5.03 193974272 unknown 7.25 4.08 175751168 unknown 6.74 3.70 177209344
programs/20181015-LoopsPathprograms/phases_true-unreach-call1.i_3.bpl timeout (error (143)) 301    252    556335104 true 5.40 3.11 154333184 unknown 5.94 3.33 143638528
programs/20181015-LoopsPathprograms/const_false-unreach-call1.i_3.bpl timeout (error (143)) 301    252    604495872 unknown 7.65 4.68 182296576 unknown 5.38 3.07 139051008
programs/20181015-LoopsPathprograms/phases_false-unreach-call1.i_3.bpl timeout (error (143)) 301    251    551985152 true 5.94 3.40 155045888 unknown 5.60 3.18 146665472
programs/reals/hamed0A.bpl timeout (error (143)) 304    294    522641408 unknown 88.3  81.9  700887040 error: exception 6.21 3.54 161984512
programs/reals/toyExample.bpl true 10.1  5.75 217554944 unknown 13.3  8.39 264810496 error: exception 6.63 3.72 168722432
programs/reals/hamed07.bpl true 13.3  8.00 261353472 unknown 116    111    398712832 error: exception 5.85 3.32 154038272
programs/reals/hamed09.bpl true 13.3  7.78 258027520 true 13.6  7.94 269733888 error: exception 7.84 4.47 193916928
programs/reals/nav04.bpl false 15.5  8.19 313454592 timeout (error (143)) 306    294    444805120 error: exception 7.77 4.28 188715008
programs/reals/growfall.bpl true 12.5  7.48 233291776 timeout (error (143)) 306    303    193310720 error: exception 5.41 3.07 136323072
programs/reals/SAS09Reals.bpl true 5.99 3.26 173539328 unknown 5.72 3.28 156381184 error: exception 5.32 3.01 140050432
programs/reals/hamed08.bpl false 13.8  7.73 250208256 unknown 217    210    660811776 error: exception 7.08 4.02 182308864
programs/reals/hamed06.bpl false 6.69 3.82 180764672 error: exception 34.3  30.3  240410624 error: exception 5.75 3.20 157233152
programs/reals/hamed01.bpl true 18.1  10.5  278605824 error: exception 259    250    1344196608 error: exception 10.9  6.08 188538880
programs/reals/Nav04_ErrorTrace_wIntegers.bpl true 5.72 3.28 156581888 true 5.34 3.02 141344768 unknown 6.74 3.69 176611328
programs/reals/bball.bpl false 10.9  6.14 244838400 unknown 248    244    347324416 error: exception 5.59 3.16 139718656
programs/reals/hamed02.bpl true 32.8  19.3  456359936 timeout (error (143)) 300    282    1038454784 error: exception 17.6  9.68 330383360
programs/reals/hamed05.bpl false 49.0  31.2  652378112 timeout (error (143)) 301    276    1691136000 error: exception 20.4  11.4  343592960
programs/reals/heater.bpl true 6.58 3.77 186372096 error: exception 67.6  64.3  206176256 error: exception 5.74 3.20 142966784
programs/reals/growfall_faulty.bpl false 6.79 3.89 196648960 timeout (error (143)) 306    303    189112320 error: exception 5.48 3.11 138772480
programs/reals/nav04_wPC.bpl false 44.6  32.3  574509056 true 69.3  62.7  372518912 error: exception 8.57 4.78 193986560
programs/reals/nav04_phaver.bpl true 48.7  36.7  521658368 error: exception 158    152    347643904 error: exception 7.57 4.18 189079552
programs/reals/hamed04.bpl true 15.3  8.99 285954048 timeout (error (143)) 306    299    740917248 error: exception 8.33 4.73 188289024
programs/reals/hamed03.bpl true 25.7  16.3  491769856 true 27.3  17.0  519053312 error: exception 12.5  7.21 263655424
programs/reals/hamed0B.bpl timeout (error (143)) 301    255    1370398720 timeout (error (143)) 302    289    1563303936 error: exception 13.1  7.20 246337536
programs/reals/heater_faulty.bpl false 5.34 3.08 142651392 timeout (error (143)) 306    303    206360576 error: exception 5.16 2.93 140419072
programs/reals/nav01.bpl false 7.09 3.96 188448768 error: exception 26.2  21.2  261296128 error: exception 6.78 3.83 184840192
programs/toy/INT_times_vs_add.bpl timeout (error (143)) 301    245    638812160 unknown 8.66 5.09 187469824 unknown 5.63 3.22 142524416
programs/toy/easy_wrong.bpl false 5.21 3.01 146874368 unknown 4.85 2.82 137007104 unknown 5.02 2.91 138117120
programs/toy/UselessIncrement.bpl timeout (error (143)) 301    246    570564608 unknown 8.33 4.82 186028032 unknown 5.75 3.24 141385728
programs/toy/showcase/GoannaDoubleFreeWithoutPointers.bpl true 6.75 3.77 178069504 error: exception 6.04 3.67 156110848 true 5.62 3.17 138772480
programs/toy/showcase/LockingExample.bpl true 6.85 3.79 172867584 true 5.84 3.28 161959936 unknown 5.71 3.20 139816960
programs/toy/IncExp.bpl false 6.16 3.44 171249664 unknown 6.06 3.38 156110848 unknown 5.50 3.12 137310208
programs/toy/procedural-example-08.bpl true 5.66 3.14 148983808 error: exception 5.01 2.84 139276288 true 5.39 3.10 138563584
programs/toy/nonlinear/PositiveValue-Safe.bpl unknown 6.01 3.38 162504704 true 5.22 2.94 147976192 true 5.64 3.19 141180928
programs/toy/nonlinear/ConstantValue-Safe.bpl unknown 5.40 3.09 155090944 true 5.23 2.96 139239424 unknown 5.17 2.93 140435456
programs/toy/nonlinear/Power1-Safe.bpl unknown 6.07 3.43 168075264 error: exception 18.4  15.6  170491904 unknown 5.46 3.09 144474112
programs/toy/procedural-example-01.bpl true 5.89 3.35 166551552 unknown 5.35 3.04 149487616 true 5.23 3.00 136421376
programs/toy/InvariantChecking/showcase/2019ProgVerif-Sheet12Ex04-Minimum.bpl timeout (error (143)) 301    271    918470656 unknown 123    118    368672768 error: exception 5.54 3.16 141869056
programs/toy/InvariantChecking/showcase/ArrayInitialization02.bpl error: exception 6.14 3.37 169934848 true 16.8  12.1  257662976 error: exception 5.43 3.08 140046336
programs/toy/InvariantChecking/showcase/MultiplicationOfNaturalNumbers.bpl unknown 5.54 3.13 147357696 true 7.56 4.47 187854848 unknown 5.52 3.13 140414976
programs/toy/InvariantChecking/showcase/2019ProgVerif-Sheet12Ex03-Square.bpl timeout (error (143)) 300    251    1016848384 unknown 6.33 3.61 164859904 unknown 5.43 3.08 137461760
programs/toy/InvariantChecking/showcase/2019ProgVerif-Sheet12Ex05-SelectionSort.bpl timeout (error (143)) 300    248    3325931520 error: exception 204    199    1268318208 error: exception 5.34 3.06 137064448
programs/toy/InvariantChecking/showcase/InsertionSort.bpl error: exception 5.50 3.13 157794304 error: exception 6.90 4.05 177893376 unknown 5.51 3.17 146034688
programs/toy/InvariantChecking/showcase/ArrayInitialization01.bpl true 8.18 4.69 198868992 true 20.1  14.6  254832640 unknown 5.93 3.37 148017152
programs/toy/InvariantChecking/showcase/2019ProgVerif-Sheet10Ex04.bpl true 6.41 3.63 189784064 true 9.51 5.75 219107328 unknown 5.49 3.46 142409728
programs/toy/InvariantChecking/2018ProgVerif-Sheet04Ex04.bpl true 6.46 3.70 181694464 true 9.27 5.57 222896128 unknown 5.21 2.96 141258752
programs/toy/tooDifficultLoopInvariant/ArrayInit02.bpl timeout (error (143)) 300    247    570183680 true 49.1  44.3  263561216 unknown 5.90 3.30 147689472
programs/toy/tooDifficultLoopInvariant/LargeConstant-ForwardSuccess.bpl timeout (error (143)) 301    242    940445696 true 6.28 3.60 167641088 unknown 5.42 3.46 138866688
programs/toy/tooDifficultLoopInvariant/NeonAngel01.bpl timeout (error (143)) 301    242    1009262592 unknown 11.0  8.44 161177600 unknown 5.33 3.03 138842112
programs/toy/tooDifficultLoopInvariant/Octopussy.bpl timeout (error (143)) 301    241    839901184 unknown 5.72 3.25 157560832 unknown 5.48 3.12 138407936
programs/toy/tooDifficultLoopInvariant/BeyerHenzingerMajumdarRybalchenko-PLDI2007-Figure4.bpl timeout (error (143)) 300    248    635305984 unknown 11.6  8.81 181415936 unknown 5.84 3.29 140402688
programs/toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired01-BackwardSuccess.bpl timeout (error (143)) 301    252    587083776 unknown 5.56 3.13 150986752 true 5.40 3.06 136314880
programs/toy/tooDifficultLoopInvariant/ValueTerminatedArrayIteration01.bpl timeout (error (143)) 301    282    1979088896 unknown 6.44 3.67 165642240 unknown 5.40 3.08 138833920
programs/toy/tooDifficultLoopInvariant/HiddenEquality-Safe.bpl true 220    173    736587776 unknown 5.53 3.17 157249536 unknown 5.35 3.04 141418496
programs/toy/tooDifficultLoopInvariant/doubleLoopUniformIterations.bpl timeout (error (143)) 300    247    553037824 unknown 5.71 3.24 158449664 unknown 5.40 3.06 139075584
programs/toy/tooDifficultLoopInvariant/PointerIncrement-simplified02.bpl true 286    231    1611333632 unknown 57.2  52.5  258514944 unknown 5.77 3.26 153997312
programs/toy/tooDifficultLoopInvariant/MonadicInvariant01.bpl timeout (error (143)) 301    246    707596288 unknown 6.32 3.60 165228544 unknown 5.50 3.13 144183296
programs/toy/tooDifficultLoopInvariant/Modulo-Ihringen-ModuloResolved.bpl true 5.80 3.30 167063552 true 5.13 2.94 149147648 unknown 5.32 3.00 141713408
programs/toy/tooDifficultLoopInvariant/Sandman01.bpl error: exception 8.23 4.61 193454080 error: exception 17.3  15.0  274092032 unknown 5.36 3.07 140513280
programs/toy/tooDifficultLoopInvariant/CountTillBound-Jupiter.bpl true 212    167    757493760 true 6.93 3.93 176889856 unknown 5.44 3.08 140611584
programs/toy/tooDifficultLoopInvariant/PointerIncrement-simplified03.bpl true 285    228    1288908800 unknown 7.43 4.26 188342272 unknown 5.81 3.29 161964032
programs/toy/tooDifficultLoopInvariant/INT_add_vs_inc.bpl timeout (error (143)) 301    252    590487552 unknown 6.19 3.52 165195776 unknown 5.43 3.08 139202560
programs/toy/tooDifficultLoopInvariant/InvariantSynthesisWpOverapproxIntRealNegationBug.bpl true 5.28 3.03 147595264 true 5.19 2.98 139448320 unknown 5.21 2.97 140652544
programs/toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCakeWithArray.bpl error: exception 7.24 4.09 199131136 error: exception 17.6  15.1  325595136 unknown 5.50 3.12 139038720
programs/toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCake.bpl error: exception 77.5  73.1  1056223232 unknown 25.3  22.0  202551296 unknown 5.41 3.11 138846208
programs/toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/SkatingStrawberry.bpl error: exception 24.0  12.6  567635968 error: exception 6.42 3.85 161656832 unknown 5.34 3.06 138166272
programs/toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalCake.bpl timeout (error (143)) 301    271    522452992 unknown 5.77 3.28 151732224 error: exception 5.10 2.86 137523200
programs/toy/tooDifficultLoopInvariant/HiddenEqualityWithBranches.bpl timeout (error (143)) 301    244    772243456 unknown 15.3  12.4  184000512 unknown 5.52 3.11 138092544
programs/toy/tooDifficultLoopInvariant/Luxembourg.bpl timeout (error (143)) 301    242    734224384 unknown 5.85 3.31 156545024 unknown 5.45 3.12 140406784
programs/toy/tooDifficultLoopInvariant/codeblockAssertOrder01.bpl timeout (error (143)) 301    242    793489408 true 5.73 3.25 151306240 unknown 5.19 2.99 140111872
programs/toy/tooDifficultLoopInvariant/AnnoyingVillain.bpl timeout (error (143)) 301    263    491098112 unknown 5.57 3.21 151437312 unknown 5.32 3.02 138506240
programs/toy/tooDifficultLoopInvariant/LuxembourgOctopus.bpl timeout (error (143)) 301    245    900182016 unknown 5.88 3.31 153247744 unknown 5.45 3.10 140918784
programs/toy/tooDifficultLoopInvariant/HiddenInequality.bpl true 9.88 5.73 205647872 unknown 6.09 3.46 154038272 unknown 5.35 3.05 143110144
programs/toy/tooDifficultLoopInvariant/PointerIncrement.bpl timeout (error (143)) 301    245    1876492288 true 5.74 3.28 156340224 unknown 6.05 3.59 170434560
programs/toy/tooDifficultLoopInvariant/PointerIncrement-simplified01.bpl timeout (error (143)) 301    244    1807130624 true 5.49 3.12 143241216 unknown 5.95 3.33 156446720
programs/toy/tooDifficultLoopInvariant/Luxembourg-ArraysIntegefied.bpl timeout (error (143)) 301    252    561942528 unknown 31.5  28.3  192737280 unknown 5.71 3.25 139517952
programs/toy/tooDifficultLoopInvariant/LexIndexValue-Pointer-Reduced.bpl timeout (error (143)) 301    244    679612416 unknown 6.01 3.46 162246656 unknown 5.11 2.96 141975552
programs/toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired03-FPBPCannibalizationSuccess.bpl timeout (error (143)) 301    255    523259904 unknown 6.01 3.44 156553216 true 5.26 3.00 138043392
programs/toy/tooDifficultLoopInvariant/Luxembourg-WithArrays.bpl timeout (error (143)) 300    243    851529728 error: exception 17.2  15.0  236863488 unknown 5.48 3.10 137986048
programs/toy/tooDifficultLoopInvariant/ArrayInit01.bpl timeout (error (143)) 301    248    1139265536 unknown 14.4  9.55 254140416 unknown 5.26 3.01 144031744
programs/toy/LabelEncodingWithUnrolling.bpl false 6.46 3.62 179888128 unknown 5.96 3.37 156057600 unknown 5.23 3.02 136589312
programs/toy/WaterTank1-NumberVariables.bpl timeout (error (143)) 300    248    700817408 unknown 6.52 3.74 173178880 unknown 5.43 3.11 140312576
programs/toy/110517_Martin02.bpl timeout (error (143)) 301    245    627949568 unknown 6.23 3.50 159907840 unknown 5.31 3.03 141086720
programs/toy/4BitCounter-incorrect.bpl false 11.7  6.74 231841792 unknown 9.48 5.93 193994752 unknown 5.37 3.09 143179776
programs/toy/BugInterpolantConsolidation01.bpl timeout (error (143)) 301    242    857120768 unknown 30.7  26.1  240660480 unknown 5.55 3.15 137334784
programs/toy/SAS09doubleLoop-incorrect.bpl false 7.33 4.18 196911104 unknown 6.93 4.01 186544128 unknown 5.40 3.04 138215424
programs/toy/CountTillBound-Downwards.bpl true 6.80 3.75 174821376 true 5.84 3.32 150163456 unknown 5.35 3.06 138428416
programs/toy/procedural-example-09.bpl true 6.25 3.47 182984704 unknown 5.72 3.23 155496448 true 5.58 3.14 140877824
programs/toy/ManyFactsAboutX.bpl true 98.2  91.6  287055872 timeout (error (143)) 306    303    187432960 true 6.01 3.37 153649152
programs/toy/CountTillBound-LoopWithConst.bpl true 5.96 3.46 176017408 true 5.58 3.19 149831680 unknown 5.25 3.01 139579392
programs/toy/TerminatorGulwani.bpl timeout (error (143)) 301    266    569761792 unknown 26.2  22.8  210931712 unknown 5.73 3.25 147628032
programs/toy/procedural-example-05a.bpl true 5.61 3.13 164364288 unknown 5.20 2.93 145981440 true 5.46 3.09 137261056
programs/toy/procedural-example-09a.bpl true 6.07 3.35 172216320 unknown 5.58 3.13 151871488 true 5.55 3.12 142823424
programs/toy/InvariantSum-1.bpl timeout (error (143)) 301    251    2977533952 error: exception 20.9  18.0  895098880 unknown 5.58 3.20 140144640
programs/toy/INT_CalcTest_inlined.bpl false 6.67 3.80 197591040 error: exception 33.3  30.7  236883968 unknown 5.25 2.99 138240000
programs/toy/WaterTank2-NumberVariables.bpl timeout (error (143)) 300    245    885948416 unknown 31.2  27.8  212840448 unknown 5.62 3.13 140791808
programs/toy/WaterTank1.bpl timeout (error (143)) 301    242    994275328 unknown 5.93 3.42 157646848 unknown 5.42 3.06 144871424
programs/toy/CountTillBound-Recursion.bpl true 7.56 4.33 190324736 error: exception 5.03 2.87 135397376 unknown 5.52 3.16 144125952
programs/toy/INT_FlaggedConditionalEx2.bpl true 25.5  15.3  351883264 unknown 9.15 5.48 217649152 unknown 5.98 3.35 148361216
programs/toy/InvariantSum-2.bpl timeout 322    221    5345320960 unknown 28.1  25.1  209305600 unknown 5.36 3.07 145551360
programs/toy/TerminatorAmirsExample.bpl true 9.33 5.27 201748480 true 6.34 3.69 158302208 unknown 5.74 3.18 139485184
programs/toy/ManyFactsAboutX_LBE.bpl true 5.80 3.35 167030784 error: exception 8.42 5.63 160296960 true 5.39 3.10 141455360
programs/toy/InvariantSum-4Vars.bpl true 6.38 3.54 174809088 true 5.97 3.34 157351936 unknown 5.67 3.19 138584064
programs/toy/ManyInterpolants.bpl true 8.13 4.57 196820992 unknown 19.4  13.4  373551104 true 6.09 3.38 144556032
programs/toy/InfeasibleCoreExample3.bpl true 5.54 3.12 154976256 error: exception 32.1  29.3  991834112 unknown 5.58 3.15 140726272
programs/toy/InfeasibleCoreExamples.bpl unknown 6.86 3.84 195358720 error: exception 20.2  17.0  223657984 unknown 5.64 3.23 158769152
programs/toy/procedural-example-07a.bpl false 5.44 3.08 144867328 unknown 5.17 2.96 148078592 unknown 5.30 3.01 138104832
programs/toy/CountTillBound-Loop.bpl true 6.38 3.65 182861824 true 5.74 3.28 160997376 unknown 5.51 3.09 142761984
programs/toy/SAS09-incorrect.bpl false 7.08 4.09 195977216 unknown 6.08 3.45 159129600 unknown 5.40 3.04 144392192
programs/toy/UnsatCoreUseful01.bpl true 5.84 3.23 155013120 unknown 6.44 3.66 161083392 unknown 5.45 3.10 140537856
programs/toy/errorLocalization/relavantHavoc.bpl false 5.51 3.10 141819904 unknown 5.37 3.07 145821696 unknown 5.33 3.04 138506240
programs/toy/errorLocalization/2AssertonBug.bpl false 5.43 3.07 147619840 unknown 5.33 2.98 138301440 unknown 5.30 3.02 138039296
programs/toy/errorLocalization/SensorExample.bpl false 5.51 3.17 152956928 true 6.30 3.58 167940096 unknown 5.46 3.10 139014144
programs/toy/errorLocalization/loopNondet1.bpl false 5.26 2.97 139137024 unknown 5.00 2.87 133033984 unknown 5.35 3.01 139481088
programs/toy/errorLocalization/threeAssignments.bpl false 5.25 2.98 143372288 unknown 5.35 3.02 137428992 unknown 5.11 2.93 140709888
programs/toy/errorLocalization/nested_ifs.bpl false 5.33 3.09 148189184 unknown 5.48 3.14 149663744 unknown 5.19 2.96 139755520
programs/toy/errorLocalization/forbidden_state_bug.bpl false 5.38 3.07 142491648 true 5.28 2.98 136863744 unknown 5.13 2.97 135708672
programs/toy/errorLocalization/angelicVerification/motivatingExample.bpl false 5.47 3.15 144490496 unknown 5.54 3.13 137052160 unknown 5.58 3.16 143204352
programs/toy/errorLocalization/loopNondetInitVal.bpl false 5.27 3.02 145752064 unknown 5.51 3.09 138342400 unknown 5.51 3.06 145297408
programs/toy/errorLocalization/arraySearchFirstAndLast.bpl false 6.13 3.42 159109120 unknown 51.6  48.2  198385664 unknown 5.57 3.15 142954496
programs/toy/errorLocalization/flowSenstiveFaultLocalization.bpl false 5.31 3.00 144314368 unknown 5.82 3.28 162869248 unknown 5.52 3.08 138870784
programs/toy/errorLocalization/diamondDifferent.bpl false 5.15 3.01 142237696 unknown 5.91 3.28 147603456 unknown 5.17 2.97 139468800
programs/toy/errorLocalization/UnrelatedDisjunction.bpl false 5.18 3.00 145842176 unknown 5.35 3.05 150720512 unknown 5.35 3.01 138080256
programs/toy/errorLocalization/RelationalDisjunctionHavoc.bpl false 5.15 2.94 143101952 unknown 5.08 2.91 137678848 unknown 5.13 2.93 140726272
programs/toy/errorLocalization/ArrayIndexAliasing.bpl false 5.06 2.94 141647872 unknown 5.37 2.97 147701760 unknown 5.48 3.08 144543744
programs/toy/errorLocalization/twoHavocs.bpl false 5.26 3.00 141172736 unknown 4.96 2.87 135954432 unknown 5.19 2.97 141086720
programs/toy/errorLocalization/branching/aberrant_conglomerate.bpl false 5.12 2.95 139415552 unknown 5.51 3.12 147750912 unknown 5.51 3.16 139153408
programs/toy/errorLocalization/branching/simple_test_for_block_encoding.bpl false 5.36 3.09 143859712 unknown 5.29 2.96 147775488 unknown 5.52 3.10 138870784
programs/toy/errorLocalization/branching/simple_if.bpl false 5.55 3.13 144867328 unknown 5.18 2.95 138452992 unknown 5.31 3.00 137629696
programs/toy/errorLocalization/branching/emptyNestedIfs.bpl false 5.33 3.01 141443072 unknown 5.14 2.90 139358208 unknown 5.32 3.01 139653120
programs/toy/errorLocalization/branching/aberrantConglomerate_with_no_aberrant_statement.bpl false 5.29 3.04 141983744 unknown 5.69 3.25 149278720 unknown 5.38 3.05 140414976
programs/toy/errorLocalization/branching/testForBlockEncoding2.bpl false 5.86 3.29 148623360 unknown 6.00 3.37 150712320 unknown 5.46 3.09 140816384
programs/toy/errorLocalization/RelationalDisjunctionAssignment.bpl false 5.31 3.02 142028800 unknown 5.21 2.97 138264576 unknown 5.17 2.98 140599296
programs/toy/errorLocalization/PegasusIceCream.bpl false 5.48 3.10 143486976 unknown 5.09 2.93 134930432 unknown 5.29 2.99 141119488
programs/toy/errorLocalization/UnsatCoreProblem01.bpl false 5.05 2.94 137216000 unknown 5.35 3.08 150007808 unknown 5.49 3.08 139010048
programs/toy/errorLocalization/diamondCallEmpty.bpl false 5.41 3.03 148500480 unknown 5.18 2.93 136880128 unknown 5.37 3.04 138121216
programs/toy/errorLocalization/emptyCall.bpl false 5.11 2.91 141963264 unknown 4.96 2.77 137945088 unknown 5.20 2.96 140107776
programs/toy/errorLocalization/diamondSame.bpl false 5.27 3.00 140075008 unknown 5.75 3.20 150118400 unknown 5.37 3.06 137981952
programs/toy/errorLocalization/loopNondet4.bpl false 5.23 3.00 141414400 unknown 5.15 2.93 139837440 unknown 5.29 3.01 138203136
programs/toy/errorLocalization/emptyProgram.bpl false 5.18 2.96 142848000 unknown 5.02 2.83 136167424 unknown 5.25 2.98 137818112
programs/toy/errorLocalization/loopSeveralExits.bpl false 5.50 3.08 141705216 unknown 6.31 3.60 160837632 unknown 5.62 3.37 138362880
programs/toy/errorLocalization/UnicornYogurt.bpl false 5.27 3.01 143740928 unknown 5.01 2.90 137359360 unknown 5.31 2.98 141475840
programs/toy/errorLocalization/loopNondet3.bpl false 5.25 2.98 143773696 true 5.02 2.88 137404416 unknown 5.30 2.99 142426112
programs/toy/errorLocalization/FlowSensitiveGoldenFrameProblem.bpl false 5.32 3.09 148967424 unknown 5.46 3.13 151425024 unknown 5.31 3.05 142254080
programs/toy/errorLocalization/WhileLoop.bpl false 7.29 4.14 196751360 unknown 6.59 3.74 163708928 unknown 5.35 3.05 142217216
programs/toy/errorLocalization/loopNondet2.bpl false 5.41 3.07 138326016 unknown 5.27 3.01 137363456 unknown 5.42 3.02 144429056
programs/toy/errorLocalization/multipleBranchOutsFromOneStateinTrace.bpl false 6.06 3.45 169562112 unknown 7.22 4.12 185831424 unknown 5.62 3.15 145797120
programs/toy/errorLocalization/loopNondet5.bpl false 5.01 2.90 136523776 unknown 4.98 2.85 137052160 unknown 5.05 2.92 142573568
programs/toy/errorLocalization/diamondCallErrorUselessCond.bpl false 5.65 3.19 141692928 unknown 5.09 2.88 140140544 unknown 5.46 3.09 140128256
programs/toy/errorLocalization/diamondCallError.bpl false 5.26 3.19 141144064 unknown 5.29 3.01 138563584 unknown 5.28 3.00 141115392
programs/toy/errorLocalization/threeAssignments2.bpl false 5.21 3.00 141357056 unknown 4.85 2.78 138690560 unknown 5.47 3.13 142106624
programs/toy/errorLocalization/diamondCallGlobal.bpl false 5.57 3.18 157872128 unknown 5.78 3.35 155037696 unknown 5.47 3.15 140427264
programs/toy/errorLocalization/diamondNondet.bpl false 5.17 3.02 145043456 unknown 5.16 2.91 146075648 unknown 5.39 3.06 139210752
programs/toy/errorLocalization/CallAndReturn/call_return_simple2.bpl false 5.51 3.14 145649664 unknown 5.17 2.94 137887744 unknown 5.28 3.01 139784192
programs/toy/errorLocalization/CallAndReturn/call_return_simple.bpl false 5.60 3.19 145571840 unknown 5.41 3.00 146337792 unknown 5.20 2.99 136765440
programs/toy/LiveVariablesBackwardTest.bpl true 5.72 3.28 162791424 true 5.30 3.04 152657920 unknown 5.42 3.08 142200832
programs/toy/StepwiseAddition.bpl timeout (error (143)) 300    247    562466816 unknown 8.25 4.70 191807488 unknown 5.98 3.33 144109568
programs/toy/ImpulseTest.bpl true 5.77 3.31 171573248 unknown 8.51 5.03 190906368 unknown 5.37 3.06 144379904
programs/toy/LockingExampleArray.bpl true 20.4  16.8  210145280 error: exception 30.0  27.5  382918656 unknown 5.54 3.13 140304384
programs/toy/INT_anubhav.bpl timeout (error (143)) 300    253    557891584 unknown 8.84 5.30 185991168 unknown 5.27 2.97 137850880
programs/toy/110517_Martin01.bpl timeout (error (143)) 301    242    780042240 unknown 5.76 3.26 150904832 unknown 5.45 3.08 137310208
programs/toy/SAS09doubleLoop.bpl true 6.18 3.37 176078848 unknown 7.13 4.13 187334656 unknown 5.62 3.20 142856192
programs/toy/PreprocessorBranchingTest.bpl true 6.96 4.00 195506176 unknown 6.55 3.77 164986880 unknown 5.96 3.38 162959360
programs/toy/GlobalVarTest.bpl true 5.94 3.38 173105152 true 5.05 2.88 137445376 unknown 5.56 3.10 142323712
programs/toy/LoopUnwinding-incorrect.bpl false 10.5  6.28 224845824 unknown 5.74 3.27 152014848 unknown 5.23 2.94 135917568
programs/toy/SimultaneousDecrement.bpl timeout (error (143)) 301    252    529068032 unknown 6.78 3.88 176504832 unknown 5.53 3.15 140988416
programs/toy/LoopFree-incorrect.bpl false 6.28 3.54 173170688 unknown 6.00 3.36 156364800 unknown 5.43 3.13 138084352
programs/toy/LiveVariablesUseful01.bpl true 5.73 3.22 152289280 true 5.79 3.26 151105536 unknown 5.44 3.07 141385728
programs/toy/InvariantSynthesis/Drawbacks_UnsatCores.bpl true 6.32 3.65 176099328 true 5.84 3.28 150675456 unknown 5.20 2.95 138514432
programs/toy/InvariantSynthesis/InvariantSynthesis_WPHelpful02.bpl true 10.2  5.90 215162880 true 7.99 4.50 184508416 unknown 5.49 3.12 139657216
programs/toy/InvariantSynthesis/InvariantSynthesis_LiveVarsHelpful02.bpl true 6.98 3.95 195964928 true 5.75 3.23 152526848 unknown 5.81 3.33 154714112
programs/toy/InvariantSynthesis/Paper_PathInvariants_Fig4.bpl timeout (error (143)) 301    246    607903744 unknown 14.8  11.9  186380288 unknown 5.59 3.16 141926400
programs/toy/InvariantSynthesis/OatFlakesBread.bpl true 6.05 3.38 162938880 true 5.55 3.19 150519808 unknown 5.49 3.09 139472896
programs/toy/InvariantSynthesis/Paper_PathInvariants_Fig1_Forward.bpl timeout (error (143)) 301    193    6406316032 unknown 42.4  39.1  246280192 unknown 5.74 3.22 143814656
programs/toy/InvariantSynthesis/DynamicUnsatCoresHelpful01.bpl timeout (error (143)) 300    247    538374144 unknown 6.53 3.67 158584832 unknown 5.64 3.17 141520896
programs/toy/InvariantSynthesis/InvariantSynthesis_WPHelpful01.bpl true 6.75 3.84 194478080 true 7.11 4.07 176062464 unknown 5.74 3.22 144056320
programs/toy/procedural-example-05c.bpl true 5.50 3.14 158302208 unknown 5.25 2.94 147533824 true 5.17 2.96 141484032
programs/toy/TerminatorSmall.bpl timeout (error (143)) 300    253    2992627712 error: exception 58.9  55.8  265338880 unknown 5.88 3.29 142815232
programs/toy/SimultaneousIncrement.bpl timeout (error (143)) 300    249    516268032 unknown 6.23 3.54 164683776 unknown 5.46 3.09 144789504
programs/toy/TotalInterpolationFails.bpl true 6.10 3.47 175742976 true 5.89 3.37 151306240 unknown 5.37 3.07 142049280
programs/toy/procedural-example-05.bpl true 6.09 3.40 164945920 unknown 5.37 3.07 151756800 true 5.33 3.01 135761920
programs/toy/procedural-example-06a.bpl false 5.27 3.01 139878400 unknown 5.10 2.91 134139904 unknown 5.47 3.10 139513856
programs/20170319-ConjunctivePathPrograms/nested.i_4.bplTransformedIcfg_BEv2_3.bpl true 30.3  18.6  400363520 true 10.1  6.06 213057536 unknown 5.37 3.08 146317312
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 8.33 4.68 192737280 true 6.97 3.88 193036288 unknown 7.02 3.90 187645952
programs/20170319-ConjunctivePathPrograms/count_by_1_variant.i_2.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    244    832159744 true 7.36 4.23 182464512 unknown 5.45 3.12 146386944
programs/20170319-ConjunctivePathPrograms/fragtest_simple.i_4.bplTransformedIcfg_BEv2_5.bpl timeout (error (143)) 301    242    1039831040 unknown 103    98.5  300007424 unknown 5.82 3.31 144216064
programs/20170319-ConjunctivePathPrograms/count_by_2.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    244    897519616 unknown 5.68 3.25 152539136 unknown 5.30 3.04 143212544
programs/20170319-ConjunctivePathPrograms/jm2006.c.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 300    255    585400320 unknown 7.05 4.06 183914496 unknown 5.66 3.19 141402112
programs/20170319-ConjunctivePathPrograms/half.i_3.bplTransformedIcfg_BEv2_4.bpl true 5.99 3.41 173854720 true 6.36 3.62 159498240 unknown 5.79 3.23 143749120
programs/20170319-ConjunctivePathPrograms/cggmp2005.c.i_3.bplTransformedIcfg_BEv2_2.bpl true 7.55 4.34 189288448 unknown 6.30 3.60 158498816 unknown 5.51 3.07 140869632
programs/20170319-ConjunctivePathPrograms/count_by_k.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 300    258    596586496 unknown 7.51 4.34 186908672 unknown 5.34 3.03 139198464
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_26.bpl true 8.60 4.75 195371008 true 6.62 3.72 186642432 unknown 6.73 3.75 186892288
programs/20170319-ConjunctivePathPrograms/functions1.i_3.bplTransformedIcfg_BEv2_8.bpl timeout (error (143)) 301    241    1205231616 unknown 6.29 3.58 168992768 unknown 5.49 3.13 139481088
programs/20170319-ConjunctivePathPrograms/gcd_2.i_4.bplTransformedIcfg_BEv2_6.bpl unknown 6.14 3.44 171442176 true 5.36 3.05 149155840 unknown 5.53 3.14 140623872
programs/20170319-ConjunctivePathPrograms/interleave_bits.i_3.bplTransformedIcfg_BEv2_4.bpl false 13.4  8.11 257712128 unknown 6.94 3.90 162455552 unknown 5.87 3.32 143675392
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_23.bpl true 9.38 5.20 196608000 true 12.6  7.49 251936768 unknown 7.65 4.14 181366784
programs/20170319-ConjunctivePathPrograms/jm2006_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    257    568295424 unknown 6.94 4.04 185864192 unknown 5.34 3.04 144781312
programs/20170319-ConjunctivePathPrograms/overflow1.i_3.bplTransformedIcfg_BEv2_4.bpl timeout (error (143)) 301    243    819032064 unknown 5.85 3.35 155070464 unknown 6.07 3.34 161275904
programs/20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bplTransformedIcfg_BEv2_23.bpl true 8.38 4.63 196812800 true 11.2  6.58 237010944 unknown 6.59 3.75 184066048
programs/20170319-ConjunctivePathPrograms/nested9.i_3.bplTransformedIcfg_BEv2_4.bpl true 8.16 4.71 199774208 true 8.77 5.01 193130496 unknown 5.71 3.27 155889664
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_29.bpl true 8.84 4.86 191688704 true 7.26 4.00 184315904 unknown 7.10 3.97 186679296
programs/20170319-ConjunctivePathPrograms/half_2.i_3.bplTransformedIcfg_BEv2_5.bpl timeout (error (143)) 300    253    670093312 unknown 6.90 3.92 173842432 unknown 5.60 3.17 144109568
programs/20170319-ConjunctivePathPrograms/bhmr2007.c.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 300    251    648597504 unknown 8.39 4.79 197099520 unknown 5.53 3.13 139894784
programs/20170319-ConjunctivePathPrograms/down.i_4.bplTransformedIcfg_BEv2_5.bpl timeout (error (143)) 301    245    845066240 error: exception 33.6  28.3  281305088 unknown 5.79 3.26 142532608
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_25.bpl true 10.3  5.57 198643712 true 12.3  7.45 255107072 unknown 7.35 3.99 178470912
programs/20170319-ConjunctivePathPrograms/jain_5.i_2.bplTransformedIcfg_BEv2_4.bpl true 6.09 3.42 172658688 error: exception 17.0  12.6  241217536 true 5.53 3.13 141213696
programs/20170319-ConjunctivePathPrograms/count_up_down.i_3.bplTransformedIcfg_BEv2_7.bpl true 5.98 3.38 164978688 true 6.38 3.64 168091648 unknown 5.74 3.46 150528000
programs/20170319-ConjunctivePathPrograms/gr2006.c.i_4.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    246    651116544 unknown 23.3  19.2  217554944 unknown 5.35 3.06 140107776
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 8.62 4.75 192618496 true 7.15 3.93 184492032 unknown 6.90 3.77 186052608
programs/20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bplTransformedIcfg_BEv2_29.bpl true 9.00 4.97 192180224 true 7.41 4.04 189980672 unknown 7.10 3.85 190455808
programs/20170319-ConjunctivePathPrograms/gj2007.c.i_4.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    248    647069696 unknown 14.5  11.6  189194240 unknown 5.54 3.15 141254656
programs/20170319-ConjunctivePathPrograms/nested1.i_4.bplTransformedIcfg_BEv2_12.bpl timeout (error (143)) 301    244    1331351552 unknown 8.55 4.92 192487424 unknown 5.74 3.26 148451328
programs/20170319-ConjunctivePathPrograms/large_const.i_3.bplTransformedIcfg_BEv2_2.bpl true 6.33 3.56 172371968 true 7.61 4.33 190320640 unknown 5.96 3.32 145928192
programs/20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 8.68 4.80 190566400 true 7.01 3.84 183558144 unknown 6.76 3.77 185901056
programs/20170319-ConjunctivePathPrograms/const1.i_3.bplTransformedIcfg_BEv2_6.bpl timeout (error (143)) 301    244    994500608 unknown 6.56 3.77 166367232 unknown 5.57 3.14 140316672
programs/20170319-ConjunctivePathPrograms/hhk2008.c.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 300    255    548753408 unknown 7.26 4.14 183640064 unknown 5.34 3.03 143347712
programs/20170319-ConjunctivePathPrograms/count_by_nondet.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    241    1127051264 unknown 6.38 3.65 170680320 unknown 5.61 3.20 143798272
programs/20170319-ConjunctivePathPrograms/num_conversion_1.i_3.bplTransformedIcfg_BEv2_9.bpl false 9.25 5.19 194629632 unknown 8.86 5.28 191094784 unknown 5.51 3.10 142049280
programs/20170319-ConjunctivePathPrograms/num_conversion_2.i_3.bplTransformedIcfg_BEv2_7.bpl false 8.85 5.12 199098368 unknown 169    165    221388800 unknown 5.50 3.14 147644416
programs/20170319-ConjunctivePathPrograms/cggmp2005_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    252    600915968 unknown 7.23 4.11 181616640 unknown 5.71 3.22 143683584
programs/scalable/INC_likeFlaggedButNoFlag8.bpl true 10.0  5.70 196780032 unknown 11.5  7.26 240734208 timeout (error (143)) 306    297    1790169088
programs/scalable/CounterExp-4bit.bpl true 13.6  8.11 258330624 true 16.0  11.6  270594048 unknown 5.88 3.32 153825280
programs/scalable/CTR_CounterExp-4bit_incorrect.bpl false 10.9  6.16 233357312 unknown 11.5  7.47 222965760 unknown 5.67 3.22 153911296
programs/scalable/CTR_32bitCounter-incorrect.bpl timeout (error (143)) 300    248    1938132992 error: exception 54.5  46.1  521404416 unknown 8.42 4.62 205008896
programs/scalable/CTR_16bitCounter-incorrect.bpl timeout (error (143)) 300    249    910438400 unknown 68.5  61.4  432267264 unknown 7.16 3.95 185942016
programs/scalable/CounterLoop-nBit.bpl timeout (error (143)) 301    241    914657280 true 14.0  9.17 236617728 unknown 5.98 3.34 154304512
programs/scalable/INC_FlaggedConditional2.bpl timeout (error (143)) 302    255    569180160 unknown 5.97 3.39 162553856 unknown 5.40 3.08 140046336
programs/scalable/CTR_CounterExp-4bit.bpl true 12.7  7.62 274386944 true 16.5  11.9  269860864 unknown 6.17 3.49 157282304
programs/scalable/CTR_16bitCounter-correct.bpl true 12.8  7.22 234086400 true 66.7  59.8  439320576 unknown 6.88 3.76 185643008
programs/scalable/INC_simpleIncer2_oneAssert.bpl true 5.73 3.22 164540416 unknown 164    161    275185664 unknown 5.40 3.05 141770752
programs/scalable/CounterExp-32bit.bpl timeout (error (143)) 300    253    2966118400 true 158    150    1453068288 unknown 9.79 5.34 261984256
programs/scalable/CTR_CounterExp-32bit.bpl timeout (error (143)) 300    254    2975784960 true 166    158    1469251584 unknown 9.80 5.38 245997568
programs/scalable/CTR_CounterExp-32bit_incorrect.bpl timeout (error (143)) 301    253    2980188160 unknown 80.1  72.4  687939584 unknown 9.25 5.13 214134784
programs/scalable/INC_noReduceIncer2_oneAssert.bpl true 5.73 3.26 161116160 unknown 5.94 3.41 157032448 unknown 5.51 3.10 142372864
programs/scalable/INC_simpleIncer8_oneAssert.bpl true 6.52 3.70 177491968 unknown 221    217    619376640 unknown 6.61 3.65 186945536
programs/scalable/CTR_8bitCounter-correct.bpl true 10.8  6.21 243372032 true 63.3  58.0  436674560 unknown 6.22 3.50 156438528
programs/scalable/INC_FlaggedConditional4.bpl timeout (error (143)) 300    254    594092032 unknown 7.98 4.55 189235200 unknown 10.8  5.76 347967488
programs/scalable/CTR_4bitCounter-correct.bpl true 7.98 4.56 195891200 true 9.53 5.95 193323008 unknown 5.47 3.13 141815808
programs/scalable/INC_noReduceIncer6_oneAssert.bpl true 6.22 3.47 160497664 unknown 8.13 4.89 191451136 unknown 6.05 3.39 149594112
programs/scalable/CTR_CounterExp-16bit_incorrect.bpl timeout (error (143)) 301    250    2569191424 unknown 68.3  61.9  604114944 unknown 7.47 4.12 192733184
programs/scalable/CTR_8bitCounter-incorrect.bpl false 118    91.7  779968512 unknown 62.3  57.2  455000064 unknown 5.83 3.31 160907264
programs/scalable/CTR_32bitCounter-correct.bpl true 21.5  12.5  351281152 error: exception 53.1  45.4  524001280 unknown 7.70 4.32 201129984
programs/scalable/INC_likeFlaggedButNoFlag4.bpl true 7.07 3.99 195239936 unknown 8.38 4.92 188166144 unknown 14.0  7.34 360124416
programs/scalable/CTR_4bitCounter-incorrect.bpl false 9.90 5.73 206757888 unknown 10.1  6.28 193572864 unknown 5.42 3.13 141332480
programs/scalable/CounterExp-8bit.bpl true 251    211    1709608960 error: exception 73.4  67.2  555048960 unknown 6.39 3.61 164196352
programs/scalable/CounterExp-16bit.bpl timeout (error (143)) 300    248    2841513984 true 109    102    891936768 unknown 7.39 4.12 191070208
programs/scalable/INC_simpleIncer4_oneAssert.bpl true 5.96 3.41 167219200 error: exception 135    132    1042165760 unknown 5.77 3.29 146964480
programs/scalable/INC_FlaggedConditional8.bpl timeout (error (143)) 300    254    651550720 unknown 9.72 5.67 206041088 timeout (error (143)) 306    296    1564647424
programs/scalable/CTR_CounterExp-16bit.bpl timeout (error (143)) 300    254    2516344832 true 110    103    864526336 unknown 7.18 4.17 191471616
programs/scalable/CTR_CounterExp-8bit_incorrect.bpl false 66.1  49.0  763691008 error: exception 51.0  45.4  529727488 unknown 6.23 3.50 167686144
programs/scalable/INC_likeFlaggedButNoFlag2.bpl true 5.97 3.40 168775680 unknown 6.63 3.80 170307584 unknown 5.47 3.11 141357056
programs/scalable/CTR_CounterExp-8bit.bpl true 256    214    1695215616 error: exception 71.9  66.6  567468032 unknown 6.41 3.62 168382464
programs/scalable/INC_noReduceIncer4_oneAssert.bpl true 6.06 3.44 169443328 unknown 7.69 4.43 192729088 unknown 5.55 3.14 146075648
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl true 10.5  6.09 230199296 error: exception 15.1  10.7  282812416 unknown 6.24 3.51 172281856
programs/20181010-MemSafetyPathprograms/standard_strcpy_false-valid-deref_ground.i_10.bpl timeout (error (143)) 301    248    2556989440 unknown 10.8  6.43 226058240 unknown 5.97 3.32 161382400
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_40.bpl true 6.05 3.42 176009216 error: exception 21.9  17.8  417796096 unknown 6.53 3.68 171057152
programs/20181010-MemSafetyPathprograms/array3_false-valid-deref.i_8.bpl timeout (error (143)) 301    241    1394180096 unknown 9.72 5.75 224309248 unknown 6.10 3.41 159387648
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_12.bpl true 9.09 5.21 196022272 true 5.74 3.20 154275840 unknown 6.26 3.51 176947200
programs/20181010-MemSafetyPathprograms/array3_false-valid-deref.i_6.bpl timeout (error (143)) 300    248    911192064 unknown 10.1  5.89 224645120 unknown 5.56 3.18 151560192
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_35.bpl true 6.07 3.31 158855168 error: exception 21.8  17.7  359600128 unknown 6.36 3.76 171929600
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_33.bpl timeout (error (143)) 300    276    633851904 error: exception 170    165    732524544 unknown 6.47 3.61 164360192
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl true 6.97 3.81 199397376 unknown 14.9  9.94 272773120 unknown 6.64 3.68 188682240
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl timeout (error (143)) 302    254    3008516096 true 16.7  11.0  282669056 unknown 5.92 3.39 153018368
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl true 8.60 4.76 203341824 unknown 16.7  11.9  282214400 unknown 6.40 3.56 191692800
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl timeout (error (143)) 302    247    3073429504 true 5.89 3.31 155705344 unknown 6.72 3.72 176123904
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl true 11.9  6.99 245792768 true 5.94 3.34 158941184 unknown 6.57 3.64 173178880
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl true 7.62 4.22 193486848 unknown 10.3  6.07 222281728 unknown 6.17 3.47 148684800
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_true-valid-memsafety.i_25.bpl true 7.72 4.26 208916480 error: exception 107    101    333320192 unknown 6.17 3.47 173633536
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl true 7.63 4.24 202883072 true 5.59 3.16 150413312 unknown 6.10 3.44 169279488
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl true 15.4  9.53 288976896 true 26.8  20.8  355418112 unknown 6.67 3.76 187371520
programs/20181010-MemSafetyPathprograms/960521-1_1_false-valid-free.i_11.bpl timeout (error (143)) 300    243    861777920 timeout (error (143)) 305    299    312696832 unknown 6.04 3.41 181542912
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl error: exception 16.6  11.1  1176469504 error: exception 92.3  87.6  1219014656 unknown 6.76 3.75 178552832
programs/20181010-MemSafetyPathprograms/test-bitfields-3_false-valid-deref.i_11.bpl true 33.1  24.3  444645376 error: exception 136    131    564457472 unknown 6.05 3.41 166359040
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl true 14.5  8.30 251912192 true 6.11 3.40 165769216 unknown 6.86 3.80 183193600
programs/20181010-MemSafetyPathprograms/960521-1_false-valid-deref.i_5.bpl timeout (error (143)) 300    247    1156345856 unknown 10.3  6.08 224829440 unknown 5.79 3.24 154595328
programs/20181010-MemSafetyPathprograms/merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl error: exception 101    92.9  1329831936 error: exception 234    229    976441344 unknown 7.65 4.18 190980096
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_11.bpl true 220    174    732872704 error: exception 21.4  17.5  356012032 unknown 5.49 3.16 145825792
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl true 228    183    2574966784 true 13.7  8.28 259547136 unknown 6.17 3.47 155774976
programs/20181010-MemSafetyPathprograms/test-bitfields-2.1_false-valid-free.i_13.bpl true 8.23 4.64 203456512 error: exception 194    189    711999488 unknown 6.06 3.40 169656320
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl error: exception 13.3  9.06 1132662784 error: exception 106    100    1278349312 unknown 6.48 3.67 174968832
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl true 11.6  6.62 243146752 unknown 18.7  13.7  302637056 unknown 6.48 3.59 189644800
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl error: exception 97.5  80.6  1144209408 error: exception 112    105    572141568 unknown 6.90 3.82 195665920
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl error: exception 83.6  62.6  1221894144 error: exception 16.8  11.6  284545024 unknown 6.71 3.78 185298944
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl true 14.2  8.30 267390976 error: exception 17.3  12.1  279064576 unknown 6.77 3.74 184496128
programs/20181010-MemSafetyPathprograms/test-0219_true-valid-memsafety.i_26.bpl true 6.05 3.39 167084032 true 6.12 3.35 159289344 unknown 7.20 3.97 199962624
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl true 16.1  9.37 276168704 true 25.2  19.7  364593152 unknown 6.31 3.52 187678720
programs/20181010-MemSafetyPathprograms/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl true 154    146    604549120 true 7.19 4.02 192966656 unknown 7.58 4.18 193282048
programs/20181010-MemSafetyPathprograms/test-0220_false-valid-memtrack.i_34.bpl unknown 6.52 3.60 182861824 error: exception 149    144    949071872 unknown 7.80 4.25 201736192
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl error: exception 17.5  10.9  288047104 error: exception 106    101    418357248 unknown 6.52 3.66 186011648
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl true 6.49 3.71 197431296 true 9.83 5.68 200134656 unknown 5.76 3.22 157478912
programs/20181010-MemSafetyPathprograms/lis_unsafe_false-valid-deref.i_13.bpl true 8.90 5.14 196730880 true 12.3  7.53 232296448 unknown 6.09 3.46 169410560
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_true-valid-memsafety.i_23.bpl true 6.58 3.70 182153216 error: exception 105    100    317181952 unknown 6.21 3.52 171028480
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl true 6.34 3.55 176742400 true 16.5  11.8  290156544 unknown 6.94 3.81 200052736
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_33.bpl true 6.51 3.54 167124992 error: exception 22.3  18.0  367300608 unknown 6.79 3.74 174788608
programs/20181010-MemSafetyPathprograms/960521-1_false-valid-free.i_5.bpl timeout (error (143)) 301    249    1075990528 unknown 10.6  6.34 214913024 unknown 5.76 3.23 149614592
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl true 10.5  5.94 205025280 true 11.5  6.93 249421824 unknown 6.28 3.54 171384832
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl timeout (error (143)) 301    251    2961911808 true 5.76 3.27 149741568 unknown 6.07 3.39 167858176
programs/20181010-MemSafetyPathprograms/tree_of_cslls_true-valid-memsafety.i_49.bpl true 29.0  22.4  306216960 error: exception 78.7  73.6  827011072 unknown 6.55 3.68 175529984
programs/20181010-MemSafetyPathprograms/reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl true 10.8  6.94 207630336 unknown 94.6  90.4  227356672 unknown 5.73 3.26 160120832
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl true 6.93 3.95 198123520 true 12.0  7.11 242294784 unknown 5.85 3.32 159719424
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_46.bpl true 245    193    735547392 error: exception 35.7  31.4  837468160 unknown 6.64 3.70 174223360
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_13.bpl timeout (error (143)) 302    253    2836115456 unknown 190    183    466132992 unknown 6.54 3.80 172941312
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl true 13.8  8.09 277229568 true 16.0  10.1  260374528 unknown 6.24 3.48 170790912
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl true 6.75 3.67 189362176 unknown 14.7  9.88 284606464 unknown 6.58 3.64 186527744
programs/20181010-MemSafetyPathprograms/standard_strcpy_false-valid-deref_ground.i_11.bpl true 6.55 3.67 183869440 error: exception 166    159    1326059520 unknown 6.11 3.43 155484160
programs/20181010-MemSafetyPathprograms/tree_of_cslls_true-valid-memsafety.i_47.bpl true 7.82 4.34 193110016 error: exception 56.6  51.3  805494784 unknown 6.62 3.68 175759360
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl true 14.5  8.52 272207872 error: exception 16.2  11.2  279097344 unknown 6.94 3.85 195817472
programs/20181010-MemSafetyPathprograms/tree_of_cslls_true-valid-memsafety.i_51.bpl true 15.4  9.33 280612864 error: exception 58.5  53.7  1019940864 unknown 6.44 3.59 179007488
programs/20181010-MemSafetyPathprograms/standard_strcpy_original_false-valid-deref.i_9.bpl timeout (error (143)) 300    238    2276868096 unknown 22.7  17.5  407379968 unknown 5.82 3.33 151560192
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl true 11.4  6.53 246603776 true 11.1  6.71 224743424 unknown 6.52 3.67 183926784
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl true 7.80 4.34 191827968 error: exception 17.3  12.4  282349568 unknown 6.74 3.76 189472768
programs/20181010-MemSafetyPathprograms/standard_strcpy_original_false-valid-deref.i_7.bpl timeout (error (143)) 300    246    2609946624 unknown 15.9  10.4  308473856 unknown 5.95 3.36 157888512
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_25.bpl true 6.64 3.62 175448064 error: exception 22.3  18.0  357027840 unknown 6.12 3.47 174616576
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_24.bpl true 8.73 4.95 193077248 timeout (error (143)) 306    301    1312079872 unknown 5.92 3.35 150732800
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_22.bpl true 6.65 3.58 170188800 error: exception 22.4  18.1  325697536 unknown 6.74 3.73 170692608
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl true 10.3  5.75 199532544 error: exception 18.4  12.7  307703808 unknown 6.54 3.58 191295488
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_23.bpl true 6.74 3.82 189833216 timeout (error (143)) 306    302    1309741056 unknown 5.79 3.27 159514624
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl true 6.67 3.70 179380224 true 18.1  13.1  280887296 unknown 6.75 3.80 190054400
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_17.bpl true 219    174    813170688 error: exception 22.4  18.1  327655424 unknown 5.76 3.25 152875008
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_true-valid-memsafety.i_32.bpl true 22.5  13.0  305610752 timeout (error (143)) 301    295    417144832 unknown 6.36 3.54 183803904
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_9.bpl true 216    171    767164416 error: exception 21.9  17.8  365924352 unknown 5.56 3.18 148467712
programs/20181010-MemSafetyPathprograms/test-bitfields-2.1_false-valid-free.i_15.bpl true 8.24 4.62 202321920 error: exception 200    195    842596352 unknown 6.53 3.66 178327552
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl true 13.3  7.90 258232320 true 18.9  13.6  321642496 unknown 6.58 3.71 186298368
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_true-valid-memsafety.i_35.bpl true 63.3  41.3  609009664 unknown 244    238    443486208 unknown 6.48 3.64 176349184
programs/20181010-MemSafetyPathprograms/test-0220_false-valid-memtrack.i_25.bpl true 6.39 3.57 169693184 true 5.80 3.25 145088512 unknown 6.47 3.65 196648960
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl true 22.3  14.2  448143360 true 6.55 3.63 181485568 unknown 7.06 3.91 188190720
programs/20181010-MemSafetyPathprograms/test-0521_true-valid-memsafety.i_38.bpl true 10.7  5.95 220803072 unknown 97.4  92.4  545644544 unknown 7.03 3.86 193486848
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl error: exception 30.1  23.9  889847808 error: exception 92.1  87.0  1265430528 unknown 7.22 3.89 187785216
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl true 6.68 3.67 181264384 unknown 15.7  10.9  268050432 unknown 6.34 3.55 180641792
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_7.bpl true 217    172    758685696 error: exception 21.3  17.6  414683136 unknown 5.44 3.07 149909504
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_8.bpl true 6.84 3.90 192884736 true 8.82 5.02 188661760 unknown 5.48 3.12 142807040
programs/20181010-MemSafetyPathprograms/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl true 7.49 4.16 198262784 true 261    255    872370176 unknown 6.40 3.59 175149056
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_29.bpl error: exception 85.2  66.0  1177468928 error: exception 160    156    705167360 unknown 6.49 3.60 172695552
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl true 7.29 4.08 191053824 unknown 17.5  12.0  280104960 unknown 6.35 3.56 179036160
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_false-valid-memtrack.i_25.bpl true 7.77 4.35 197521408 error: exception 112    107    320663552 unknown 6.21 3.49 170639360
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl true 16.1  9.37 289738752 error: exception 16.2  10.9  278433792 unknown 6.79 3.76 190279680
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl true 6.94 3.96 207585280 true 10.0  5.78 209207296 unknown 5.79 3.28 146518016
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl true 12.6  7.30 238104576 error: exception 17.4  12.4  280629248 unknown 6.79 3.80 179261440
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_27.bpl true 8.20 4.61 195547136 error: exception 166    161    797253632 unknown 6.09 3.44 164163584
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_13.bpl true 5.55 3.15 159825920 error: exception 22.4  18.1  464871424 unknown 5.68 3.20 151429120
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_15.bpl true 8.83 4.87 195072000 true 121    116    291282944 unknown 6.41 3.59 172490752
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl timeout (error (143)) 301    259    2844766208 unknown 15.4  10.0  277057536 unknown 6.14 3.46 165150720
programs/20181010-MemSafetyPathprograms/test-bitfields-3_false-valid-deref.i_7.bpl true 12.1  7.09 250638336 error: exception 151    145    513232896 unknown 6.23 3.48 165154816
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl error: exception 14.2  10.1  1272201216 error: exception 96.7  91.2  1291591680 unknown 6.59 3.66 183451648
programs/20181010-MemSafetyPathprograms/test-0219_true-valid-memsafety.i_34.bpl unknown 6.35 3.57 183148544 error: exception 157    152    965382144 unknown 7.76 4.27 193810432
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl true 7.25 4.07 194019328 true 5.94 3.35 162521088 unknown 6.66 3.70 170213376
programs/20181010-MemSafetyPathprograms/test-bitfields-3_false-valid-deref.i_9.bpl true 12.3  7.18 245628928 error: exception 127    122    570028032 unknown 5.60 3.21 165351424
programs/20181010-MemSafetyPathprograms/test-0220_false-valid-memtrack.i_26.bpl true 5.93 3.34 170172416 true 6.10 3.45 154750976 unknown 6.43 3.77 183386112
programs/20181010-MemSafetyPathprograms/test-0219_true-valid-memsafety.i_25.bpl true 6.26 3.49 170758144 true 5.98 3.32 156655616 unknown 6.59 3.65 180895744
programs/20181010-MemSafetyPathprograms/test-bitfields-2_false-valid-deref.i_13.bpl true 9.83 5.50 198844416 error: exception 160    154    579530752 unknown 6.48 3.60 167014400
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl true 6.05 3.42 165658624 true 16.3  11.6  269737984 unknown 6.82 3.81 191426560
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl error: exception 29.6  19.2  378662912 error: exception 53.1  47.9  390082560 unknown 6.75 3.78 187617280
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl true 6.85 3.83 196194304 true 11.5  6.91 235503616 unknown 6.55 3.64 169627648
programs/20181010-MemSafetyPathprograms/lis_unsafe_false-valid-deref.i_10.bpl true 7.66 4.26 199507968 error: exception 24.1  19.3  364269568 unknown 6.60 3.64 167309312
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl true 7.62 4.31 194101248 true 11.7  6.89 244391936 unknown 6.06 3.42 165605376
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_36.bpl true 10.8  6.20 234614784 error: exception 161    156    724316160 unknown 6.57 3.70 181862400
programs/20181010-MemSafetyPathprograms/sanfoundry_24_false-valid-deref.i_4.bpl timeout (error (143)) 300    247    1503064064 unknown 14.8  9.60 272744448 unknown 6.00 3.35 161406976
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl true 8.44 4.83 194048000 true 5.68 3.21 155721728 unknown 6.30 3.56 172982272
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl timeout (error (143)) 302    249    2860199936 error: exception 19.9  13.9  293675008 unknown 6.08 3.39 167948288
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl true 7.03 3.93 190980096 true 12.5  7.43 241479680 unknown 6.21 3.48 169533440
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl timeout (error (143)) 301    250    2965315584 true 7.37 4.20 187002880 unknown 6.34 3.55 178401280
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl true 7.25 4.04 191729664 true 9.83 5.60 200790016 unknown 5.87 3.35 148865024
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_42.bpl true 6.21 3.51 172953600 error: exception 22.6  18.2  326205440 unknown 6.69 3.77 171634688
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_38.bpl error: exception 159    131    1140559872 error: exception 157    152    691703808 unknown 6.24 3.56 180539392
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl true 7.67 4.29 201256960 true 11.9  7.10 241512448 unknown 6.83 3.75 173875200
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_10.bpl true 6.68 3.84 198172672 true 9.08 5.18 188006400 unknown 5.41 3.10 147251200
programs/20181010-MemSafetyPathprograms/test-bitfields-2.1_false-valid-free.i_19.bpl true 26.0  20.3  455368704 error: exception 197    191    792969216 unknown 6.45 3.62 170504192
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl error: exception 36.7  28.6  1353031680 timeout (error (143)) 306    301    774639616 unknown 6.79 3.76 180416512
programs/20181010-MemSafetyPathprograms/960521-1_1_true-valid-memsafety.i_11.bpl timeout (error (143)) 301    242    869695488 unknown 12.2  7.69 252788736 unknown 6.69 3.67 182194176
programs/20181010-MemSafetyPathprograms/960521-1_true-valid-memsafety.i_5.bpl timeout (error (143)) 300    246    1248198656 unknown 15.0  8.81 237600768 unknown 5.71 3.23 149479424
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl true 7.45 4.22 199663616 unknown 16.2  11.4  285413376 unknown 6.43 3.61 181108736
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_5.bpl true 216    171    768065536 error: exception 22.1  18.0  414244864 unknown 5.65 3.20 145207296
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_15.bpl true 5.65 3.18 157646848 error: exception 22.4  18.1  367554560 unknown 6.01 3.38 149098496
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_14.bpl true 7.59 4.33 195411968 true 105    100    303398912 unknown 5.97 3.36 154279936
programs/20181010-MemSafetyPathprograms/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl true 7.75 4.34 195317760 true 6.11 3.43 156766208 unknown 6.04 3.41 166862848
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl timeout (error (143)) 308    257    5666193408 error: exception 21.6  16.1  1096683520 unknown 6.18 3.46 164724736
programs/20181010-MemSafetyPathprograms/sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl error: exception 10.3  5.83 219586560 error: exception 97.1  91.8  1279197184 unknown 6.95 3.87 181346304
programs/20181010-MemSafetyPathprograms/test-bitfields-2.1_false-valid-free.i_17.bpl true 60.9  54.0  765861888 error: exception 178    173    688377856 unknown 6.50 3.62 174579712
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl true 6.97 3.95 192184320 true 9.74 5.62 196542464 unknown 5.56 3.12 153333760
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl true 7.37 4.18 197910528 error: exception 16.8  11.9  274259968 unknown 6.92 3.78 191819776
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_7.bpl true 6.28 3.66 182849536 true 9.22 5.42 198344704 unknown 5.75 3.25 143704064
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_20.bpl true 6.19 3.41 171864064 error: exception 22.3  18.0  357453824 unknown 5.85 3.29 160788480
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl error: exception 85.2  61.6  1444212736 error: exception 77.4  71.5  551628800 unknown 6.86 3.85 191078400
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl true 6.69 3.75 191713280 unknown 17.4  11.9  280068096 unknown 7.00 3.85 188522496
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl true 15.1  8.80 279433216 error: exception 16.7  11.1  277364736 unknown 7.40 4.00 191954944
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_9.bpl true 7.51 4.27 193122304 true 9.37 5.33 194199552 unknown 5.75 3.26 148635648
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_false-valid-memtrack.i_23.bpl true 7.10 4.01 200196096 error: exception 98.6  94.2  308830208 unknown 6.72 3.73 185442304
programs/20181010-MemSafetyPathprograms/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl true 7.00 3.95 196132864 error: exception 86.0  80.3  494149632 unknown 6.58 3.64 175505408
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_29.bpl true 6.39 3.46 177074176 error: exception 22.8  18.3  366809088 unknown 6.01 3.40 172249088
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl true 6.06 3.40 167755776 error: exception 17.4  12.3  268558336 unknown 6.72 3.74 183558144
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_28.bpl true 8.09 4.58 194400256 error: exception 223    218    1300254720 unknown 6.02 3.43 169172992
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_false-valid-memtrack.i_32.bpl true 23.2  13.2  308490240 timeout (error (143)) 303    296    402001920 unknown 6.20 3.49 184602624
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_44.bpl true 6.70 3.65 176902144 error: exception 22.6  18.1  420737024 unknown 6.29 3.54 181657600
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl true 5.99 3.35 169017344 true 11.5  7.00 231653376 unknown 6.59 3.67 175980544
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength_true-valid-memsafety.c_11.bpl timeout (error (143)) 302    244    2814787584 true 10.8  6.32 225775616 unknown 5.95 3.38 171229184
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_38.bpl true 5.91 3.37 177451008 error: exception 22.7  18.2  369078272 unknown 6.09 3.43 171106304
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl true 9.56 5.43 204042240 error: exception 17.0  12.2  277217280 unknown 6.66 3.72 177934336
programs/20181010-MemSafetyPathprograms/standard_strcpy_false-valid-deref_ground.i_8.bpl timeout (error (143)) 300    244    2676535296 unknown 12.9  7.64 233259008 unknown 5.96 3.36 150974464
programs/20181010-MemSafetyPathprograms/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl true 7.93 4.45 195915776 unknown 10.9  6.44 223850496 unknown 5.90 3.32 147488768
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl error: exception 255    234    1342849024 true 6.34 3.53 146202624 unknown 6.16 3.45 170467328
programs/20181010-MemSafetyPathprograms/optional_data_creation_test04_false-valid-memtrack.i_35.bpl true 60.1  39.3  601382912 unknown 265    259    405606400 unknown 6.40 3.59 179290112
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_30.bpl error: exception 44.8  37.2  938143744 error: exception 160    155    712941568 unknown 6.47 3.57 172273664
programs/20181010-MemSafetyPathprograms/20051113-1.c_false-valid-memtrack.i_31.bpl true 6.01 3.31 162844672 error: exception 22.3  18.1  364322816 unknown 6.22 3.48 163254272
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl timeout (error (143)) 301    247    2833608704 true 6.20 3.48 151887872 unknown 6.18 3.43 174612480
programs/20181010-MemSafetyPathprograms/ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl true 7.57 4.30 200523776 true 9.78 5.62 193871872 unknown 5.56 3.16 145965056
programs/20181010-MemSafetyPathprograms/array3_false-valid-deref.i_5.bpl timeout (error (143)) 301    241    1461460992 true 10.8  6.27 211603456 unknown 6.14 3.43 164032512
programs/20181010-MemSafetyPathprograms/dll_extends_pointer_true-valid-memsafety.i_37.bpl error: exception 81.2  62.7  1120108544 error: exception 161    156    690565120 unknown 6.59 3.67 190091264
programs/20181010-MemSafetyPathprograms/test-bitfields-2_false-valid-deref.i_15.bpl true 8.82 4.98 195481600 error: exception 149    144    551833600 unknown 6.27 3.54 167542784
programs/20181010-MemSafetyPathprograms/lis_unsafe_false-valid-deref.i_11.bpl false 7.21 4.03 199274496 unknown 11.0  6.59 217427968 unknown 6.15 3.47 157134848
programs/20181010-MemSafetyPathprograms/960521-1_1_false-valid-free.i_12.bpl true 8.41 4.65 201183232 true 11.0  6.39 235405312 unknown 6.15 3.45 160141312
programs/20181010-MemSafetyPathprograms/alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl true 6.35 3.52 176967680 true 11.9  7.10 244408320 unknown 5.84 3.32 163270656
programs/quantifier/ArrayQuantifierEliminationBug04-simplified05.bpl true 6.95 3.89 196767744 unknown 6.06 3.44 148934656 unknown 5.88 3.26 147345408
programs/quantifier/ArrayQuantifierEliminationBug04-simplified02.bpl true 10.0  5.58 203853824 unknown 44.8  41.7  805281792 unknown 6.25 3.65 166227968
programs/quantifier/ArrayQuantifierEliminationBug04.bpl true 10.3  5.82 196005888 error: exception 15.8  13.0  746868736 unknown 6.37 3.56 169947136
programs/quantifier/ArrayQuantifierEliminationBug04-simplified03.bpl true 7.90 4.49 197652480 unknown 5.94 3.40 156078080 unknown 5.72 3.22 153366528
programs/quantifier/ArrayQuantifierEliminationBug04-simplified04.bpl true 7.36 4.11 197492736 unknown 5.78 3.29 151834624 unknown 5.27 3.00 142807040
programs/quantifier/ArrayQuantifierEliminationBug06-simplified.bpl true 5.52 3.20 151728128 true 5.29 3.01 138485760 unknown 5.39 3.09 137768960
programs/quantifier/Arrays/Arrays09.bpl true 10.9  6.36 231604224 unknown 7.45 4.24 187953152 unknown 5.14 2.97 139083776
programs/quantifier/Arrays/Arrays07.bpl true 7.95 4.50 190414848 true 6.65 3.79 166170624 unknown 5.70 3.23 151126016
programs/quantifier/Arrays/Arrays16.bpl true 17.9  11.1  281083904 error: exception 10.3  6.31 193347584 unknown 6.09 3.44 158785536
programs/quantifier/Arrays/Arrays11.bpl true 7.24 4.16 191623168 true 6.13 3.45 152711168 unknown 5.85 3.27 153698304
programs/quantifier/Arrays/Arrays18.bpl timeout (error (143)) 301    272    1106759680 error: exception 11.4  7.34 261877760 unknown 6.05 3.46 167174144
programs/quantifier/Arrays/Arrays06.bpl true 6.08 3.35 171511808 true 5.63 3.24 150585344 unknown 5.61 3.15 140914688
programs/quantifier/Arrays/Arrays01.bpl true 6.34 3.56 173035520 true 5.28 3.01 137830400 unknown 5.18 2.97 143675392
programs/quantifier/Arrays/Arrays08.bpl true 10.4  6.21 231936000 unknown 7.92 4.58 186662912 unknown 5.74 3.27 144998400
programs/quantifier/Arrays/Arrays19.bpl timeout (error (143)) 300    279    884305920 error: exception 19.5  13.3  320151552 unknown 5.60 3.15 143015936
programs/quantifier/Arrays/Arrays10.bpl true 9.75 5.70 204554240 unknown 8.61 4.97 191340544 unknown 5.84 3.28 145195008
programs/quantifier/Arrays/Arrays17.bpl true 11.8  6.89 232632320 true 10.2  6.10 202776576 unknown 6.15 3.49 160194560
programs/quantifier/Arrays/Arrays21.bpl false 5.73 3.25 157491200 unknown 5.74 3.25 147849216 unknown 5.46 3.10 138448896
programs/quantifier/Arrays/Arrays14.bpl true 13.7  8.08 270127104 true 11.9  7.69 238510080 unknown 6.18 3.47 159608832
programs/quantifier/Arrays/Arrays13.bpl true 10.5  6.04 232783872 true 8.52 4.89 189243392 unknown 6.09 3.46 156520448
programs/quantifier/Arrays/Arrays02.bpl true 7.73 4.28 196784128 true 5.52 3.17 142786560 unknown 5.60 3.16 142688256
programs/quantifier/Arrays/Arrays05.bpl true 5.96 3.39 172666880 true 5.57 3.17 139055104 unknown 5.36 3.08 141484032
programs/quantifier/Arrays/Arrays12.bpl true 7.95 4.48 196145152 true 8.74 5.05 185409536 unknown 5.97 3.37 159838208
programs/quantifier/Arrays/Arrays15.bpl true 14.0  8.29 267649024 true 13.5  9.06 229646336 unknown 6.19 3.49 159375360
programs/quantifier/Arrays/Arrays20.bpl false 7.54 4.20 198070272 unknown 15.9  10.7  245837824 unknown 6.27 3.54 164503552
programs/quantifier/Arrays/Arrays04.bpl true 8.52 4.80 192258048 true 6.43 3.61 151150592 unknown 5.46 3.08 143486976
programs/quantifier/Arrays/Arrays03.bpl true 7.00 3.90 185237504 true 5.77 3.29 153128960 unknown 5.45 3.10 143622144
programs/quantifier/ArrayQuantifierEliminationBug05.bpl true 6.95 3.85 190169088 unknown 6.08 3.43 152952832 unknown 5.75 3.24 148746240
programs/quantifier/ArrayQuantifierEliminationBug06.bpl true 16.8  9.96 281817088 error: exception 6.60 3.76 173592576 unknown 7.74 4.33 180809728
programs/quantifier/regression/c/BugIncorrectHoareAnnotation01.bpl true 7.34 4.10 189263872 true 6.38 3.65 165875712 unknown 6.47 3.63 174153728
programs/quantifier/regression/bpl/MultipleStores01.bpl true 5.92 3.36 166363136 true 5.18 2.96 140353536 unknown 5.41 3.06 140603392
programs/quantifier/regression/bpl/TestAxiomFunction03-Unsafe.bpl error: exception 5.30 3.04 141844480 unknown 5.22 2.94 140627968 unknown 5.38 3.06 138473472
programs/quantifier/regression/bpl/BoogieArrayTest-ReadSafe.bpl true 6.33 3.53 172400640 true 5.08 2.92 138891264 unknown 5.14 2.91 137482240
programs/quantifier/regression/bpl/BoogieArrayTest-ReadCombinedInformationSafe.bpl true 5.93 3.44 172720128 true 5.32 3.01 137977856 unknown 5.39 3.01 137379840
programs/quantifier/regression/bpl/TestAxiomFunction02-Safe.bpl error: exception 5.18 2.96 139177984 true 5.24 2.96 139284480 unknown 5.07 2.89 141389824
programs/quantifier/regression/bpl/TestFunction03-Unsafe.bpl error: exception 5.21 2.96 137596928 unknown 5.58 3.07 138653696 unknown 5.12 2.92 138887168
programs/quantifier/regression/bpl/ArrayIndexAndValue01.bpl true 6.71 3.74 175702016 unknown 9.50 5.51 193507328 unknown 5.64 3.12 139104256
programs/quantifier/regression/bpl/ArrayQuantifierEliminationBug02.bpl true 6.45 3.54 178065408 true 5.82 3.27 152993792 unknown 5.52 3.09 143986688
programs/quantifier/regression/bpl/BoogieArrayTest-StoreIndexArrayDifferentIndexSafe.bpl true 6.69 3.72 190169088 true 5.13 2.94 139735040 unknown 5.34 3.01 140828672
programs/quantifier/regression/bpl/BoogieArrayTest-StoreAfterReadNestedUnsafe.bpl false 5.28 3.05 139886592 unknown 5.04 2.86 140038144 unknown 5.38 3.07 138141696
programs/quantifier/regression/bpl/BoogieArrayTest-NestedData.bpl true 5.94 3.35 166240256 true 5.49 3.10 136056832 unknown 5.51 3.11 140070912
programs/quantifier/regression/bpl/BoogieArrayTest-StoreAfterReadSafe.bpl true 6.15 3.49 167616512 true 5.28 3.01 142958592 unknown 5.28 3.04 138870784
programs/quantifier/regression/bpl/BoogieArrayTest-StoreAfterReadNestedSameIndexSafe.bpl true 6.41 3.49 170680320 true 5.33 2.98 140857344 unknown 5.04 2.88 137781248
programs/quantifier/regression/bpl/TestQuantifierNaive.bpl error: exception 5.54 3.41 140918784 true 5.90 3.54 141152256 error: exception 5.92 3.54 144400384
programs/quantifier/regression/bpl/TestFunction02-Safe.bpl error: exception 5.13 2.94 143458304 true 5.19 3.14 138706944 unknown 5.22 3.00 141070336
programs/quantifier/regression/bpl/BoogieArrayTest-MultiStoreUnknownIndexSafe.bpl true 7.25 4.13 188010496 true 5.29 2.97 137158656 unknown 5.27 3.02 141344768
programs/quantifier/regression/bpl/TestQuantifier.bpl error: exception 5.19 2.95 139313152 true 5.36 3.03 137957376 unknown 5.35 3.04 139333632
programs/quantifier/regression/bpl/TestArrayIndexAsArrayValue.bpl true 5.83 3.23 157945856 true 5.12 2.91 138432512 unknown 5.39 3.06 139853824
programs/quantifier/regression/bpl/BoogieArrayTest-DoubleStoreDifferentIndexSafe.bpl true 6.18 3.40 173477888 true 5.41 3.07 138326016 unknown 5.46 3.09 140914688
programs/quantifier/regression/bpl/NestedSelfUpdateProblem01.bpl true 5.82 3.46 155844608 true 5.43 3.03 138784768 unknown 5.10 2.91 138895360
programs/quantifier/regression/bpl/BoogieArrayTest-StoreAfterReadNestedDifferentIndexSafe.bpl true 6.10 3.50 170782720 true 5.22 2.94 136241152 unknown 5.45 3.05 142131200
programs/quantifier/regression/bpl/BoogieArrayTest-StoreDataArrayUnknownIndexSafe.bpl true 6.30 3.50 174669824 true 5.44 3.08 142864384 unknown 5.50 3.05 139169792
programs/quantifier/regression/bpl/BoogieArrayTest-DoubleStoreSameIndexSafe.bpl true 5.77 3.17 151531520 true 5.04 2.89 140472320 unknown 4.95 2.85 134242304
programs/quantifier/regression/bpl/ArrayQuantifierEliminationBug03.bpl true 6.31 3.64 176480256 true 5.44 3.06 143319040 unknown 5.56 3.12 138629120
programs/quantifier/regression/bpl/BugPrenexNormalForm01.bpl true 6.49 3.58 173289472 true 5.68 3.18 153890816 unknown 5.38 3.09 139116544
programs/quantifier/regression/bpl/MultiDimensional01.bpl true 5.92 3.34 161980416 true 5.43 3.05 138510336 unknown 5.35 2.99 139403264
programs/quantifier/regression/bpl/BoogieArrayTest-StoreAfterReadNestedUnknownIndexSafe.bpl true 6.47 3.69 193126400 true 5.21 2.98 141680640 unknown 5.52 3.12 141201408
programs/quantifier/regression/bpl/ArrayIndexAndValue03.bpl true 6.00 3.28 153513984 true 5.26 3.00 136560640 unknown 5.29 2.96 142741504
programs/quantifier/regression/bpl/TestFunction01-Safe.bpl error: exception 5.41 3.05 137564160 true 5.12 2.92 139452416 unknown 5.25 3.05 135745536
programs/quantifier/regression/bpl/ArrayIndicesTwoOutOfThree.bpl unknown 5.38 3.08 143060992 true 5.32 3.05 141127680 unknown 5.66 3.20 136617984
programs/quantifier/regression/bpl/BoogieArrayTest-StoreIndexArrayUnknownIndexSafe.bpl true 7.26 4.12 196034560 true 5.42 3.06 136990720 unknown 5.35 3.04 145047552
programs/quantifier/regression/bpl/ArrayQuantifierEliminationBug01.bpl true 19.5  16.2  206290944 error: exception 5.09 2.91 135139328 unknown 5.14 2.92 137023488
programs/quantifier/regression/bpl/TestArraySeveralIndices.bpl true 5.78 3.25 158478336 true 5.11 2.95 135053312 unknown 5.24 2.99 138477568
programs/quantifier/regression/bpl/BoogieArrayTest-StoreDataArrayDifferentIndexSafe.bpl true 6.24 3.49 172322816 true 5.27 2.99 141979648 unknown 5.02 2.84 141295616
programs/quantifier/regression/bpl/BoogieArrayTest-DoubleStoreUnknownIndexSafe.bpl true 6.14 3.49 174166016 true 5.47 3.03 138944512 unknown 5.48 3.08 143306752
programs/quantifier/regression/bpl/BoogieArrayTest-StoreDataArraySameIndexSafe.bpl true 5.72 3.22 152055808 true 5.57 3.15 140808192 unknown 5.11 2.95 144019456
programs/quantifier/regression/bpl/TestArrayInvariantContainsStoreExpression.bpl true 5.90 3.27 150773760 true 5.33 3.07 139280384 unknown 5.49 3.09 139804672
programs/quantifier/regression/bpl/BoogieArrayTest-StoreAfterReadNestedSameIndexUnsafe.bpl false 5.37 3.07 138059776 unknown 5.58 3.09 140484608 unknown 5.10 2.94 140328960
programs/quantifier/regression/bpl/BoogieArrayTest-StoreDimension2.bpl true 6.25 3.45 170999808 true 5.03 2.92 134918144 unknown 5.24 2.95 143364096
programs/quantifier/regression/bpl/TestAxiomFunction01-Safe.bpl error: exception 5.10 2.93 136769536 true 5.30 3.13 139890688 unknown 5.20 2.99 140967936
programs/quantifier/regression/bpl/BoogieArrayTest-StoreIndexArraySameIndexSafe.bpl true 6.06 3.46 170962944 true 5.19 2.96 140931072 unknown 5.23 2.95 142999552
programs/quantifier/regression/bpl/ArrayExtensionality.bpl true 5.76 3.23 165142528 true 5.61 3.17 137687040 unknown 5.54 3.06 142606336
programs/quantifier/regression/bpl/ArrayModifiedByProcedure.bpl true 5.61 3.18 155111424 true 5.32 3.01 136847360 unknown 5.11 2.95 138244096
programs/quantifier/regression/bpl/ArrayIndexAndValue02.bpl true 6.25 3.40 174059520 true 5.14 2.94 140034048 unknown 5.39 3.06 142659584
programs/quantifier/ArrayQuantifierEliminationBug05-simplified01.bpl true 6.92 3.84 185442304 unknown 5.95 3.34 155140096 unknown 5.53 3.18 150282240
programs/quantifier/ArrayQuantifierEliminationBug04-simplified01.bpl true 10.8  6.08 225779712 unknown 112    109    1151815680 unknown 6.15 3.43 165498880
programs/recursive/Goa2Threads2Ressources.bpl true 17.5  10.1  280006656 unknown 10.2  6.13 215216128 unknown 8.51 4.79 192692224
programs/recursive/fibonacci-vs-ackermann.bpl timeout (error (143)) 306    304    206733312 timeout (error (143)) 306    304    202117120 unknown 60.2  54.4  315895808
programs/recursive/regression/bpl/McCarthy91.bpl true 6.80 3.89 195002368 error: exception 5.20 2.95 139100160 unknown 6.13 3.44 150159360
programs/recursive/regression/bpl/CorrectnessCanNotBeSpecified.bpl true 6.16 3.47 168706048 unknown 5.17 3.00 136871936 true 5.39 3.04 142258176
programs/recursive/regression/bpl/fibonacciLikeCfg.bpl true 6.55 3.66 174256128 error: exception 5.42 2.98 134553600 unknown 7.63 4.09 175800320
programs/recursive/regression/bpl/returnZero.bpl true 6.21 3.56 172593152 error: exception 5.07 2.86 134123520 true 11.3  6.02 328904704
programs/recursive/regression/bpl/UpAndDownLocal-correct.bpl true 6.31 3.54 172515328 error: exception 5.27 2.99 135303168 unknown 5.48 3.16 140812288
programs/recursive/regression/bpl/McCarthy91-withSpecification.bpl true 7.74 4.37 190214144 error: exception 5.02 2.88 135680000 unknown 6.04 3.37 162181120
programs/recursive/regression/bpl/UpAndDownGlobalArray.bpl true 7.13 3.97 178044928 error: exception 5.54 3.13 142045184 unknown 5.67 3.21 138510336
programs/recursive/regression/bpl/fibonacci.bpl true 7.46 4.14 194265088 error: exception 5.41 3.04 134275072 unknown 7.93 4.30 222855168
programs/recursive/regression/bpl/CTL/encT_TRE_with_Boogie_Specs.bpl true 26.5  15.7  331993088 unknown 55.1  43.7  567615488 unknown 8.35 4.70 194912256
programs/recursive/regression/bpl/CTL/encT_TRE_with_Boogie_Specs-Light.bpl true 14.7  8.84 269688832 true 14.0  8.55 263651328 unknown 7.28 4.09 190418944
programs/recursive/regression/bpl/CTL/enc_einzeiler.bpl true 9.74 5.32 195579904 unknown 8.38 4.75 186368000 true 6.85 3.84 171020288
programs/recursive/regression/bpl/Ackermann_Main.bpl true 7.78 4.44 198389760 error: exception 5.12 2.94 137023488 unknown 8.09 4.38 193699840
programs/recursive/regression/bpl/wrongBFS-Safe.bpl true 5.96 3.36 149364736 error: exception 5.11 2.93 135770112 true 5.59 3.17 138170368
programs/recursive/regression/bpl/doNothingGlobal.bpl true 6.07 3.34 165539840 error: exception 4.92 2.80 135745536 unknown 5.13 2.94 137748480
programs/recursive/regression/bpl/UpAndDownLocal-mutual-correct.bpl true 7.52 4.24 189181952 error: exception 5.52 3.10 149303296 unknown 5.59 3.23 146751488
programs/recursive/regression/bpl/UpAndDownLocalReals-correct.bpl true 6.42 3.61 168116224 error: exception 5.26 3.01 138629120 error: exception 5.44 3.04 142295040
programs/recursive/regression/bpl/ackermann.bpl true 7.23 4.14 193810432 error: exception 5.18 2.95 138264576 unknown 7.96 4.29 182595584
programs/recursive/regression/bpl/lockingExample-incorrect.bpl false 6.47 3.65 179728384 unknown 8.76 5.00 191447040 unknown 5.66 3.21 158183424
programs/recursive/regression/bpl/Katharinenberg.bpl true 6.54 3.66 178163712 true 5.87 3.32 153559040 unknown 5.62 3.21 145633280
programs/recursive/regression/bpl/BugGetValueOfNonModifiableGlobal.bpl true 5.37 3.13 151601152 true 5.18 2.93 137310208 unknown 5.50 3.07 140480512
programs/recursive/regression/bpl/McCarthy91_RecursiveAndImperative.bpl true 9.85 5.85 200347648 error: exception 5.32 3.02 138493952 unknown 5.97 3.37 159203328
programs/recursive/regression/bpl/TwoContracts.bpl true 6.16 3.38 169967616 unknown 5.37 3.11 149213184 true 5.23 2.97 136192000
programs/recursive/regression/bpl/fibonacciLikeCfgSimplified.bpl true 6.29 3.60 179417088 error: exception 5.29 2.89 136695808 unknown 7.13 3.88 176082944
programs/recursive/regression/bpl/McCarthy91_Main_WithConst.bpl true 8.53 4.79 200515584 error: exception 5.31 3.00 135733248 unknown 6.01 3.37 155799552
programs/recursive/regression/bpl/wrongBFS.bpl false 7.74 4.39 190320640 error: exception 5.31 2.95 137900032 unknown 5.23 3.00 143044608
programs/recursive/regression/bpl/UpAndDownGlobalReals.bpl true 6.24 3.58 171233280 error: exception 5.06 2.89 136957952 error: exception 5.35 3.05 137998336
programs/recursive/regression/bpl/lockingExample-correct.bpl true 6.82 3.83 193482752 true 5.96 3.35 149774336 unknown 5.48 3.12 138940416
programs/recursive/regression/bpl/addition-incorrect2.bpl false 20.4  12.8  304877568 error: exception 5.34 3.04 146345984 unknown 5.82 3.31 148901888
programs/recursive/regression/bpl/addition-incorrect.bpl false 13.0  8.09 255627264 error: exception 5.13 2.83 134160384 unknown 5.75 3.24 150597632
programs/recursive/regression/bpl/EvenOdd.bpl true 10.7  6.47 228499456 error: exception 5.38 3.05 137416704 true 5.91 3.38 148783104
programs/recursive/regression/bpl/McCarthy91_Main.bpl true 7.66 4.42 197545984 error: exception 5.10 2.88 136269824 unknown 5.86 3.29 150196224
programs/recursive/regression/bpl/McCarthy91Reals.bpl true 7.05 4.01 196894720 error: exception 5.25 2.97 136593408 error: exception 5.26 3.01 138203136
programs/recursive/regression/bpl/UpAndDownGlobal.bpl true 6.34 3.58 168951808 error: exception 5.20 2.99 139997184 unknown 5.41 3.09 144789504
programs/recursive/Eiger.bpl timeout (error (143)) 300    252    592306176 unknown 6.08 3.44 157028352 unknown 5.59 3.20 147070976
programs/recursive/addition-correct.bpl timeout (error (143)) 300    245    769937408 error: exception 5.18 2.95 136024064 unknown 5.69 3.21 149475328
programs/regression/bpl/TestSpecificationRenaming-safe.bpl true 5.63 3.21 156069888 true 4.99 2.89 136318976 unknown 5.55 3.33 140763136
programs/regression/bpl/toolDirectives/Overapproximation.bpl unknown: overapproxcex 5.34 3.07 142340096 unknown 5.24 2.98 136962048 unknown 5.23 2.99 141594624
programs/regression/bpl/TestSpecificationRenaming-unsafe.bpl false 5.31 3.00 142913536 unknown 5.70 3.21 148381696 unknown 5.12 2.94 138248192
programs/regression/bpl/Typedef-unsafe.bpl false 5.75 3.22 164786176 unknown 6.06 3.39 151220224 error: exception 5.40 3.04 137736192
programs/regression/bpl/TestAxiomConst02-Safe.bpl true 5.18 3.00 150765568 true 5.13 2.95 141295616 unknown 5.12 2.93 141594624
programs/regression/bpl/TestFunction.bpl true 5.85 3.26 157896704 true 5.16 2.94 134914048 unknown 5.11 2.94 141185024
programs/regression/bpl/TestAxiomConst03-Unsafe.bpl false 5.56 3.10 141852672 unknown 5.03 2.88 140124160 unknown 5.16 2.91 138551296
programs/regression/bpl/TestQuantifierEliminationInequality01.bpl true 5.71 3.18 151683072 true 5.33 3.05 138776576 unknown 5.32 3.03 140263424
programs/regression/bpl/TestQuantifierEliminationInequality06.bpl true 5.85 3.22 173633536 true 5.73 3.21 145502208 error: exception 5.14 2.88 143024128
programs/regression/bpl/InvariantSynthesis_Disjunctive01.bpl true 5.79 3.29 160329728 true 5.27 2.98 137433088 unknown 5.44 3.07 136527872
programs/regression/bpl/TestAxiomConst04-Safe.bpl true 5.28 3.06 147861504 true 5.13 2.90 134983680 unknown 5.03 2.88 139022336
programs/regression/bpl/BugGotoRemoval01.bpl false 5.22 2.97 141398016 unknown 5.17 2.97 139943936 unknown 5.19 2.95 140709888
programs/regression/bpl/BugUPD.bpl true 5.94 3.30 150847488 true 5.35 3.05 138493952 unknown 5.50 3.07 138145792
programs/regression/bpl/EuclideanIntegerDivision.bpl true 7.62 4.38 188628992 true 6.05 3.41 155070464 unknown 5.84 3.32 150241280
programs/regression/bpl/TestNondeterministicIf-unsafe.bpl false 5.28 3.02 140709888 unknown 5.55 3.16 153837568 unknown 5.15 2.94 139780096
programs/regression/bpl/BugCNF01.bpl true 5.49 3.12 153890816 true 5.31 3.02 137269248 unknown 5.42 3.08 142532608
programs/regression/bpl/BugTirQuantifierElimination01.bpl true 5.91 3.33 169918464 true 5.62 3.19 150839296 unknown 5.36 3.05 140414976
programs/regression/bpl/BugSequentialComposition02.bpl false 5.25 3.02 143233024 unknown 5.52 3.08 146509824 unknown 5.01 2.88 141258752
programs/regression/bpl/BugFreshConstantInSSA.bpl false 6.62 3.62 186277888 unknown 6.18 3.45 148758528 unknown 5.69 3.21 141225984
programs/regression/bpl/BugCNF02.bpl false 5.08 2.96 142450688 unknown 5.73 3.17 146690048 unknown 5.41 3.08 138489856
programs/regression/bpl/TestQuantifierEliminationInequality04_WithConstants.bpl true 6.28 3.45 164012032 true 5.48 3.13 144564224 error: exception 5.11 2.94 138264576
programs/regression/bpl/BugAllegedDeadCode.bpl false 5.50 3.10 142049280 unknown 5.24 2.99 132456448 unknown 5.25 2.97 137302016
programs/regression/bpl/TestQuantifierEliminationInequality05.bpl true 5.55 3.19 151425024 true 5.11 2.94 137019392 error: exception 5.30 3.03 137748480
programs/regression/bpl/BugLargeBlockEncoding01.bpl false 5.33 3.08 147685376 unknown 5.40 3.06 144113664 unknown 5.32 3.00 139927552
programs/regression/bpl/TestQuantifierEliminationInequality02.bpl true 5.58 3.09 149995520 true 5.48 3.03 143847424 unknown 5.63 3.14 140210176
programs/regression/bpl/ex7-noloop-unsafe.bpl false 5.82 3.26 148021248 unknown 5.53 3.16 148365312 unknown 5.42 3.10 138231808
programs/regression/bpl/InvariantSynthesis_Disjunctive02.bpl true 6.14 3.44 160022528 true 5.39 3.07 143159296 unknown 5.16 2.96 138821632
programs/regression/bpl/TestSequentialCompositionHavoc.bpl false 5.23 3.02 143003648 unknown 6.13 3.44 158605312 unknown 5.30 3.03 140910592
programs/regression/bpl/TestCNF01.bpl true 6.36 3.48 165400576 unknown 5.95 3.42 155041792 unknown 5.43 3.06 138518528
programs/regression/bpl/nestedWhileSimple-Safe.bpl true 6.02 3.40 168185856 unknown 6.12 3.48 154963968 unknown 5.78 3.23 138502144
programs/regression/bpl/Typedef-safe.bpl true 6.12 3.49 183963648 unknown 5.87 3.30 154247168 error: exception 5.28 2.97 138936320
programs/regression/bpl/Invariant01.bpl false 6.67 3.75 182198272 unknown 5.88 3.42 155774976 unknown 5.50 3.12 139673600
programs/regression/bpl/interprocedural/BugForwardPredicates01.bpl true 5.72 3.25 150618112 true 5.46 3.07 136830976 unknown 5.15 2.94 138178560
programs/regression/bpl/interprocedural/BugLiveVariables03.bpl true 6.11 3.45 163500032 unknown 5.83 3.33 150945792 unknown 4.94 2.82 139358208
programs/regression/bpl/interprocedural/BugHoareAnnotation3.bpl false 5.78 3.30 161644544 unknown 5.69 3.26 150700032 unknown 5.53 3.13 142827520
programs/regression/bpl/interprocedural/BugEmptyImplementation.bpl false 5.53 3.09 138838016 unknown 5.04 2.88 135618560 unknown 5.20 2.97 136540160
programs/regression/bpl/interprocedural/BugRequiresGlobalVar.bpl false 5.45 3.16 154869760 error: exception 5.14 2.98 138133504 unknown 5.08 2.88 139644928
programs/regression/bpl/interprocedural/InterproceduralProofNotRequired-Schauinsland.bpl true 5.76 3.26 150224896 unknown 5.44 3.07 140177408 true 5.10 2.89 139603968
programs/regression/bpl/interprocedural/Struct01.bpl true 5.99 3.43 168910848 true 5.54 3.13 148860928 error: exception 5.50 3.10 139853824
programs/regression/bpl/interprocedural/TestSpecificationEnsuresModGlobalVar02.bpl false 5.45 3.08 142045184 unknown 5.13 2.91 138141696 unknown 5.11 2.95 140062720
programs/regression/bpl/interprocedural/InterproceduralProofRequired-Kandel.bpl true 6.05 3.30 150827008 unknown 5.36 3.06 139546624 unknown 5.68 3.20 143187968
programs/regression/bpl/interprocedural/BugLiveVariables04-Safe.bpl true 9.27 5.30 196263936 error: exception 5.57 3.13 144556032 unknown 5.83 3.27 142684160
programs/regression/bpl/interprocedural/BugNoModGlobal.bpl true 5.57 3.16 150077440 true 5.43 3.06 137277440 unknown 5.09 2.92 139456512
programs/regression/bpl/interprocedural/BugHoareAnnotation2.bpl false 6.00 3.40 162054144 unknown 5.70 3.22 149614592 unknown 6.05 3.37 149372928
programs/regression/bpl/interprocedural/BugNoPredecessorOfReturnTransition.bpl true 5.53 3.13 155447296 unknown 5.70 3.28 149721088 unknown 5.44 3.08 141508608
programs/regression/bpl/interprocedural/TestOldVar02-safe.bpl true 5.45 3.14 153047040 true 5.54 3.15 138743808 unknown 5.30 3.04 141164544
programs/regression/bpl/interprocedural/BugLocalVarTwiceInInterproceduralBlock.bpl false 5.33 3.05 148873216 unknown 5.21 3.00 136011776 unknown 5.40 3.02 140947456
programs/regression/bpl/interprocedural/TestSpecificationEnsuresModGlobalVar04.bpl false 5.26 2.99 143835136 unknown 5.19 3.00 138240000 unknown 5.14 2.93 138985472
programs/regression/bpl/interprocedural/BugLiveVariables03-Safe.bpl true 9.79 5.65 195842048 unknown 6.95 3.97 170811392 unknown 5.41 3.07 148623360
programs/regression/bpl/interprocedural/Popocatepetl_NonModGlobAssign.bpl true 5.87 3.31 157270016 true 5.42 3.06 138612736 unknown 5.36 3.01 140955648
programs/regression/bpl/interprocedural/Popocatepetl_ModGlobArgument.bpl true 5.56 3.23 165773312 unknown 5.37 3.06 137953280 unknown 5.68 3.17 141242368
programs/regression/bpl/interprocedural/BugBackwardPredicates04.bpl false 5.41 3.11 145555456 unknown 5.33 3.05 138457088 unknown 5.52 3.11 139145216
programs/regression/bpl/interprocedural/BugBackwardPredicates03.bpl true 5.48 3.14 147886080 unknown 6.04 3.76 142675968 unknown 5.29 3.01 138805248
programs/regression/bpl/interprocedural/BugNestedSsaWithPendingContexts.bpl timeout (error (143)) 300    252    601210880 unknown 5.65 3.17 147595264 unknown 5.44 3.14 145793024
programs/regression/bpl/interprocedural/BugUntranslatedRequires.bpl true 6.20 3.38 175280128 true 5.30 3.03 136658944 unknown 5.35 3.07 137527296
programs/regression/bpl/interprocedural/BugBackwardPredicates07.bpl true 5.83 3.26 154230784 unknown 5.37 2.99 145330176 unknown 5.19 2.98 141139968
programs/regression/bpl/interprocedural/Popocatepetl_NonModGlobArgument.bpl true 5.90 3.34 168521728 true 5.29 3.22 137744384 unknown 5.67 3.19 142450688
programs/regression/bpl/interprocedural/BugMonolithicHoareTripleChecker01.bpl true 6.42 3.59 168927232 unknown 5.94 3.35 149471232 true 5.11 2.92 137703424
programs/regression/bpl/interprocedural/TestDifferentVariablesWithSameName.bpl true 6.19 3.48 166801408 true 5.57 3.17 150777856 error: exception 5.77 3.23 138506240
programs/regression/bpl/interprocedural/TestSpecificationEnsuresLocal01.bpl true 5.39 3.10 152489984 true 5.66 3.18 137986048 unknown 5.42 3.04 140914688
programs/regression/bpl/interprocedural/BugBackwardPredicates01.bpl true 5.62 3.16 154009600 true 5.72 3.21 150474752 unknown 5.38 3.07 140021760
programs/regression/bpl/interprocedural/BugLiveVariables01-Safe.bpl true 5.15 2.99 148676608 unknown 5.44 3.06 140263424 unknown 5.32 3.02 138493952
programs/regression/bpl/interprocedural/BugBackwardPredicates08.bpl true 5.49 3.12 153739264 true 5.07 2.89 140095488 error: exception 5.25 2.97 138457088
programs/regression/bpl/interprocedural/TestSpecificationEnsuresModGlobalVar06.bpl true 5.51 3.12 149266432 true 5.44 3.06 140759040 unknown 5.28 3.02 137207808
programs/regression/bpl/interprocedural/BugSubstitution.bpl true 6.52 3.71 187404288 true 6.42 3.59 162811904 unknown 5.42 3.09 140292096
programs/regression/bpl/interprocedural/Popocatepetl_ModGlobAssign.bpl true 6.20 3.39 166629376 true 5.29 3.03 136990720 unknown 5.40 3.09 144564224
programs/regression/bpl/interprocedural/MultipleSummaries01.bpl true 6.69 3.74 168210432 true 5.75 3.26 149442560 unknown 5.41 3.09 141656064
programs/regression/bpl/interprocedural/TestProcedureSpecification01-Safe.bpl true 5.51 3.11 153100288 true 5.10 2.90 137216000 unknown 5.23 2.98 142151680
programs/regression/bpl/TestHavocDifferentTypes.bpl false 5.42 3.09 137601024 unknown 5.18 2.93 135581696 error: exception 5.13 2.93 139698176
programs/regression/bpl/BugSequentialComposition03.bpl false 5.34 3.05 148025344 unknown 5.66 3.16 145215488 unknown 5.20 2.93 136880128
programs/regression/bpl/TestAxiomConst01-Safe.bpl true 5.22 3.02 150990848 true 5.33 3.02 141078528 unknown 5.54 3.12 139792384
programs/regression/bpl/TestOldVar-unsafe.bpl false 5.41 3.08 144248832 unknown 5.22 2.96 140873728 unknown 5.19 2.92 138694656
programs/regression/bpl/MultipleModifiesSpecifications.bpl false 5.30 3.02 147333120 unknown 5.40 3.08 139599872 unknown 5.64 3.18 138371072
programs/regression/bpl/InvariantSynthesis_SimpleExample.bpl true 5.45 3.10 157614080 true 5.33 3.00 139681792 unknown 5.36 3.03 136589312
programs/regression/bpl/TestQuantifierEliminationInequality03.bpl true 5.79 3.29 162578432 true 5.83 3.28 149409792 unknown 5.32 2.97 140730368
programs/regression/bpl/TestQuantifierEliminationInequality04.bpl true 5.71 3.21 153120768 true 5.51 3.06 145338368 unknown 5.17 2.94 139735040
programs/regression/bpl/TestQuantifierEliminationInequality03_WithConstants.bpl true 5.96 3.31 162336768 true 6.05 3.38 151707648 unknown 5.32 3.02 139649024
programs/abstractInterpretation/arrays/simple_array_assumption.bpl true 5.95 3.38 171667456 true 5.27 3.01 137416704 unknown 5.17 2.91 138452992
programs/abstractInterpretation/arrays/simple_array_assignment2.bpl true 5.71 3.25 159592448 true 5.46 3.08 142512128 unknown 5.13 2.95 141832192
programs/abstractInterpretation/arrays/array_equalities_multidimensional.bpl true 6.21 3.43 166686720 true 5.23 3.01 138600448 unknown 5.18 2.92 139034624
programs/abstractInterpretation/arrays/array_initilization_multidimensional2.bpl timeout (error (143)) 300    243    1172582400 error: exception 18.9  15.8  273461248 unknown 5.53 3.36 146264064
programs/abstractInterpretation/arrays/array_equalities.bpl true 6.23 3.43 175476736 true 5.73 3.26 154091520 unknown 5.41 3.05 136257536
programs/abstractInterpretation/arrays/array_overwrite.bpl true 6.07 3.45 170098688 error: exception 42.1  37.1  491864064 unknown 5.83 3.26 143368192
programs/abstractInterpretation/arrays/luxembourg_minimal.bpl true 5.99 3.39 173858816 true 5.28 3.01 138260480 unknown 5.46 3.05 144162816
programs/abstractInterpretation/arrays/array_initilization_bounded.bpl true 7.83 4.46 191401984 true 6.37 3.65 157839360 unknown 5.63 3.20 142544896
programs/abstractInterpretation/arrays/simple_array_assignment.bpl true 6.65 3.88 171921408 true 5.18 2.96 138514432 unknown 5.22 2.97 136155136
programs/abstractInterpretation/arrays/array_equalities_overwrite.bpl true 6.15 3.32 171409408 true 5.24 2.99 139153408 unknown 5.43 3.03 137420800
programs/abstractInterpretation/arrays/simple_multidimensional.bpl true 5.76 3.25 153300992 true 4.88 2.84 138006528 unknown 5.45 3.10 142815232
programs/abstractInterpretation/arrays/array_overwrite2_multidimensional.bpl true 6.76 3.73 180547584 true 5.49 3.14 144535552 unknown 5.22 2.95 140206080
programs/abstractInterpretation/arrays/array_initilization.bpl timeout (error (143)) 300    243    1172279296 error: exception 13.9  9.33 242778112 unknown 5.30 3.05 140120064
programs/abstractInterpretation/arrays/simple_array_equalities.bpl true 5.71 3.22 152973312 true 5.17 2.93 134189056 unknown 5.32 3.02 140767232
programs/abstractInterpretation/arrays/array_initilization_multidimensional.bpl timeout (error (143)) 301    249    1126481920 error: exception 18.8  15.9  292196352 unknown 5.28 3.04 137953280
programs/abstractInterpretation/arrays/assume_or.bpl true 6.47 3.58 170889216 true 4.96 2.88 136888320 unknown 5.61 3.16 141537280
programs/abstractInterpretation/arrays/array_union.bpl true 6.33 3.61 177209344 true 5.16 2.93 138063872 unknown 5.15 3.02 138776576
programs/abstractInterpretation/arrays/array_overwrite3_multidimensional.bpl true 6.47 3.87 178413568 true 5.30 2.96 139980800 unknown 5.48 3.08 136577024
programs/abstractInterpretation/arrays/array_overwrite2.bpl true 6.57 3.64 174379008 true 5.15 2.94 138256384 unknown 5.54 3.16 138797056
programs/abstractInterpretation/regression/oct/stmt-assume-4.bpl true 5.95 3.29 152743936 true 5.12 2.95 137814016 unknown 5.10 2.96 135057408
programs/abstractInterpretation/regression/oct/loop-nested.bpl true 7.83 4.48 199536640 unknown 7.18 4.13 185798656 unknown 5.27 2.98 139554816
programs/abstractInterpretation/regression/oct/stmt-assume-5.bpl true 5.39 3.09 155471872 true 5.42 3.06 135888896 unknown 5.55 3.14 139034624
programs/abstractInterpretation/regression/oct/stmt-assert-relations-int-nonstrict.bpl true 5.79 3.29 160276480 true 5.63 3.08 155025408 unknown 5.36 3.09 135876608
programs/abstractInterpretation/regression/oct/stmt-assign-relational-twoVar.bpl true 6.44 3.59 174952448 true 5.27 3.02 136232960 unknown 5.47 3.08 141295616
programs/abstractInterpretation/regression/oct/stmt-assert-relations-int-strict.bpl true 5.59 3.19 148717568 true 5.40 2.99 144158720 unknown 5.39 3.04 141950976
programs/abstractInterpretation/regression/oct/stmt-assert-relations-real-epsilon.bpl true 5.65 3.24 150175744 true 5.00 2.89 138711040 error: exception 5.36 3.06 140775424
programs/abstractInterpretation/regression/open/comp/proc-implies-statesplit.bpl true 6.51 3.70 172752896 true 5.62 3.42 149598208 unknown 6.09 3.37 138989568
programs/abstractInterpretation/regression/open/comp/recursive-CallABAB_count_incorrect.bpl false 23.2  14.4  347652096 error: exception 5.53 2.98 158023680 unknown 5.87 3.34 153862144
programs/abstractInterpretation/regression/open/comp/recursive-CallABAB_simple_incorrect.bpl timeout (error (143)) 301    235    1033883648 error: exception 5.16 2.91 141344768 unknown 6.55 3.68 160325632
programs/abstractInterpretation/regression/open/comp/non-unary-affine-expressions.bpl true 6.80 3.81 178089984 true 5.96 3.39 158126080 unknown 5.80 3.27 142286848
programs/abstractInterpretation/regression/open/oct/proc-statesplit-logiciff.bpl true 6.13 3.47 167383040 true 5.65 3.19 152797184 unknown 5.54 3.14 140636160
programs/abstractInterpretation/regression/open/int/recursive-Collatz.bpl false 5.42 3.11 144605184 error: exception 4.99 2.88 138141696 unknown 6.09 3.42 152227840
programs/abstractInterpretation/regression/open/int/proc-bool-ret-value.bpl true 5.71 3.17 154386432 true 5.85 3.28 153251840 unknown 5.34 3.05 139403264
programs/abstractInterpretation/regression/open/int/recursive-CallABAB.bpl timeout (error (143)) 301    239    892805120 error: exception 5.06 2.89 138317824 unknown 5.85 3.31 149225472
programs/abstractInterpretation/regression/open/int/stmt-bool-assign.bpl true 5.79 3.26 157458432 true 5.66 3.16 138481664 unknown 5.13 2.96 137375744
programs/abstractInterpretation/regression/open/int/loop-nested-assume-safe.bpl true 7.59 4.24 194899968 unknown 5.99 3.44 158797824 unknown 5.54 3.12 142159872
programs/abstractInterpretation/regression/open/int/recursive-CallABAB_count.bpl true 33.8  21.2  408637440 error: exception 5.23 2.94 146874368 unknown 6.49 3.65 163553280
programs/abstractInterpretation/regression/open/int/loop-nondet.bpl timeout (error (143)) 301    244    868134912 unknown 6.23 3.55 158375936 unknown 5.50 3.14 139526144
programs/abstractInterpretation/regression/open/eq/21_multilayer_of_array_access.bpl true 5.91 3.31 167923712 true 5.02 2.87 137371648 unknown 5.38 3.08 137859072
programs/abstractInterpretation/regression/open/eq/34_dealing_with_other_relation_symbols.bpl true 5.29 3.09 145563648 true 5.18 2.95 141750272 unknown 5.30 2.99 141348864
programs/abstractInterpretation/regression/open/eq/44_join_strong_and_weak_equivalence.bpl true 6.40 3.60 172277760 true 5.31 2.99 145358848 unknown 5.52 3.08 138944512
programs/abstractInterpretation/regression/open/eq/38_definition_of_weak_equivalence.bpl true 7.32 4.44 195846144 true 5.56 3.16 149602304 unknown 5.73 3.20 140193792
programs/abstractInterpretation/regression/open/eq/unboundedStoreChain02.bpl timeout (error (143)) 301    247    1080332288 unknown 23.0  17.5  279977984 unknown 5.60 3.17 143495168
programs/abstractInterpretation/regression/open/eq/21a_copy_field_within_array.bpl true 5.93 3.36 171282432 true 5.12 2.93 139436032 unknown 5.33 3.03 140898304
programs/abstractInterpretation/regression/open/eq/44a_join_strong_and_weak_equivalence.bpl true 17.7  15.3  165380096 true 5.08 2.90 137519104 unknown 5.58 3.15 137736192
programs/abstractInterpretation/regression/open/eq/22_disjoin_of_multilayer_of_array_access.bpl false 5.55 3.15 146739200 unknown 5.43 3.10 139055104 unknown 5.02 2.85 138010624
programs/abstractInterpretation/regression/open/eq/42_basic_memleak_twomallocs_twofrees.bpl true 17.8  15.3  294699008 true 5.01 2.89 134803456 unknown 5.59 3.16 142102528
programs/abstractInterpretation/regression/open/eq/44_storechain_loop_unrolled.bpl true 7.19 4.08 191139840 true 5.85 3.29 152989696 unknown 5.74 3.22 140492800
programs/abstractInterpretation/regression/eq/02_basic_safe.bpl true 6.35 3.50 188551168 true 5.63 3.18 147656704 unknown 4.99 2.86 135217152
programs/abstractInterpretation/regression/eq/44d_join_strong_and_weak_equivalence.bpl true 18.7  15.7  189698048 true 5.66 3.18 145616896 unknown 5.16 2.95 141103104
programs/abstractInterpretation/regression/eq/32b_extensionality.bpl true 5.43 3.12 154480640 true 5.15 2.93 139243520 unknown 5.10 2.94 138944512
programs/abstractInterpretation/regression/eq/40a_framing_condition_with_procedure.bpl true 6.09 3.35 170287104 unknown 5.39 3.06 149438464 unknown 5.27 2.97 139808768
programs/abstractInterpretation/regression/eq/mallocExampleSnippet02.bpl true 5.57 3.16 155308032 true 5.10 2.90 138543104 unknown 5.36 3.04 138420224
programs/abstractInterpretation/regression/eq/20_multilayer_of_array_access.bpl true 5.58 3.20 157392896 true 5.33 3.00 136327168 unknown 5.50 3.11 140771328
programs/abstractInterpretation/regression/eq/24_conjoin_of_multilayer_of_array_access.bpl true 6.76 3.81 196280320 true 5.60 3.08 144510976 unknown 5.33 3.26 139931648
programs/abstractInterpretation/regression/eq/54_setsOfLiteralsExtension_01.bpl true 5.86 3.33 163401728 true 5.53 3.09 147922944 unknown 5.44 3.12 141815808
programs/abstractInterpretation/regression/eq/29_malloc_then_write_leaves_other_mem_cells_unchanged.bpl true 6.17 3.44 171003904 true 4.99 2.87 137154560 unknown 5.40 3.05 138801152
programs/abstractInterpretation/regression/eq/25_propagation_of_disequality_of_multilayer_array.bpl false 5.46 3.07 143814656 unknown 5.65 3.19 152645632 unknown 5.78 3.25 142413824
programs/abstractInterpretation/regression/eq/16_conjoin_and_disjoin.bpl true 5.62 3.17 162332672 true 5.34 3.03 139161600 unknown 5.21 2.97 140742656
programs/abstractInterpretation/regression/eq/23_conjoin_of_multilayer_of_array_access.bpl true 5.68 3.24 160210944 true 5.42 2.93 159318016 unknown 5.36 3.00 137736192
programs/abstractInterpretation/regression/eq/41_loop_leaves_some_indices_unchanged.bpl true 6.64 3.81 199356416 error: exception 5.56 3.08 141643776 unknown 5.32 3.00 140546048
programs/abstractInterpretation/regression/eq/30_join_vs_weak_eq_closure_triangleineq.bpl true 18.3  15.5  179879936 true 5.50 3.15 139939840 unknown 5.57 3.09 136232960
programs/abstractInterpretation/regression/eq/31_weak_eq_propagation.bpl true 17.7  15.2  165109760 true 5.17 2.96 139083776 unknown 5.40 3.07 138047488
programs/abstractInterpretation/regression/eq/46_repeated_quasi_malloc_vs_old.bpl true 7.70 4.33 189394944 unknown 5.34 3.08 151666688 unknown 5.23 2.98 140722176
programs/abstractInterpretation/regression/eq/56_project_vs_setconstraints_01.bpl true 6.38 3.64 190693376 true 5.33 3.07 146804736 unknown 5.58 3.18 143790080
programs/abstractInterpretation/regression/eq/37_bwcc_propagation.bpl true 6.43 3.56 178376704 true 5.53 3.04 152576000 unknown 5.23 3.00 137355264
programs/abstractInterpretation/regression/eq/mixedGlobalLocalSelectNonModifyingProcedure.bpl true 6.31 3.47 171200512 true 5.29 3.05 138600448 unknown 5.66 3.16 141701120
programs/abstractInterpretation/regression/eq/arrayAssume01.bpl true 5.50 3.07 153665536 true 5.06 2.86 134914048 unknown 5.35 3.01 137854976
programs/abstractInterpretation/regression/eq/26_storechains.bpl true 6.35 3.62 188485632 true 5.34 3.03 140427264 unknown 5.07 2.91 137953280
programs/abstractInterpretation/regression/eq/12_disjoin.bpl false 5.30 3.02 140763136 unknown 5.81 3.28 154013696 unknown 5.54 3.11 140779520
programs/abstractInterpretation/regression/eq/10_conjoin.bpl true 5.42 3.09 151580672 true 5.22 3.01 137854976 unknown 5.33 3.00 140623872
programs/abstractInterpretation/regression/eq/05_a_basic_safe.bpl true 5.68 3.19 166309888 true 5.33 3.01 147476480 unknown 5.48 3.11 139972608
programs/abstractInterpretation/regression/eq/29b_array_update_leaves_other_values_unchanged.bpl true 6.22 3.43 167907328 true 5.12 2.94 140881920 unknown 5.34 3.07 137814016
programs/abstractInterpretation/regression/eq/45_weak_equivalence_vs_havoc.bpl true 18.0  15.4  178651136 true 5.10 2.91 139677696 unknown 5.19 2.95 142970880
programs/abstractInterpretation/regression/eq/mixedGlobalLocalSelectModifyingProcedure.bpl true 5.92 3.35 165105664 unknown 5.64 3.10 150798336 unknown 5.14 2.94 141053952
programs/abstractInterpretation/regression/eq/15_conjoin_and_disjoin.bpl true 5.50 3.14 152666112 true 5.25 3.02 142159872 unknown 5.53 3.11 142352384
programs/abstractInterpretation/regression/eq/19_multilayer_of_array_access.bpl true 6.13 3.43 176095232 true 5.00 2.87 137883648 unknown 5.41 3.05 137953280
programs/abstractInterpretation/regression/eq/27_storechains.bpl true 6.32 3.56 179802112 true 5.04 2.89 136564736 unknown 5.44 3.08 137805824
programs/abstractInterpretation/regression/eq/40b_framing_condition_with_procedure.bpl true 6.10 3.38 169656320 unknown 5.48 3.14 151506944 unknown 5.53 3.14 142487552
programs/abstractInterpretation/regression/eq/04_basic_unsafe.bpl false 5.36 3.02 146071552 unknown 5.72 3.23 148631552 unknown 5.55 3.11 144281600
programs/abstractInterpretation/regression/eq/heapSeparation-twoMallocs.bpl true 6.44 3.61 182095872 true 5.55 3.00 158105600 unknown 5.57 3.18 140046336
programs/abstractInterpretation/regression/eq/32_extensionality.bpl true 5.59 3.17 148774912 true 5.48 3.07 137486336 unknown 5.31 2.99 141524992
programs/abstractInterpretation/regression/eq/29a_two_malloced_pointers_dont_alias.bpl true 5.58 3.15 153202688 true 5.03 2.90 139796480 unknown 5.44 3.08 142282752
programs/abstractInterpretation/regression/eq/32a_extensionality.bpl true 5.71 3.23 169005056 true 5.07 2.93 141139968 unknown 5.32 3.04 139870208
programs/abstractInterpretation/regression/eq/56_project_vs_setconstraints_02.bpl true 6.44 3.52 167247872 true 5.31 2.97 137404416 unknown 5.10 2.91 144060416
programs/abstractInterpretation/regression/eq/arrayAssignment01.bpl true 5.60 3.11 159711232 true 5.23 2.98 141885440 unknown 5.25 2.96 137109504
programs/abstractInterpretation/regression/eq/17_conjoin_and_disjoin.bpl true 6.04 3.31 163917824 true 5.34 3.03 138248192 unknown 5.53 3.12 143745024
programs/abstractInterpretation/regression/eq/01_basic_safe.bpl true 5.50 3.19 156807168 true 5.57 3.16 139124736 unknown 5.44 3.08 137949184
programs/abstractInterpretation/regression/eq/18_propagation_of_dis-equality.bpl false 5.25 3.00 140374016 unknown 5.60 3.15 152788992 unknown 5.44 3.09 141492224
programs/abstractInterpretation/regression/eq/44c_join_strong_and_weak_equivalence.bpl true 18.7  15.8  193568768 true 5.72 3.25 145932288 unknown 5.48 3.12 144392192
programs/abstractInterpretation/regression/eq/01_basic_unsafe.bpl false 5.15 2.96 143253504 unknown 5.32 3.04 150966272 unknown 5.08 2.91 135790592
programs/abstractInterpretation/regression/eq/35b_twodimensional_array.bpl true 6.11 3.49 175419392 true 5.26 3.00 135651328 unknown 5.52 3.08 138174464
programs/abstractInterpretation/regression/eq/43_extensionality_with_assignments.bpl true 5.62 3.18 153169920 true 5.27 3.01 137080832 unknown 5.37 3.00 137478144
programs/abstractInterpretation/regression/eq/40_framing_condition_with_procedure.bpl true 6.90 3.88 194617344 unknown 5.41 3.11 148701184 unknown 5.47 3.09 142123008
programs/abstractInterpretation/regression/eq/30a_join_vs_weak_eq_closure_triangleineq.bpl true 17.9  15.3  170319872 true 5.14 2.94 137105408 unknown 5.06 2.89 137719808
programs/abstractInterpretation/regression/eq/53_default_array_01.bpl true 5.43 3.08 149372928 true 5.36 3.01 135864320 unknown 5.40 3.07 137760768
programs/abstractInterpretation/regression/eq/35a_twodimensional_array.bpl true 6.39 3.49 170561536 true 5.23 2.96 140288000 unknown 5.42 3.07 139362304
programs/abstractInterpretation/regression/eq/32c_extensionality.bpl true 5.73 3.26 167522304 true 5.64 3.15 139956224 unknown 5.21 2.98 138416128
programs/abstractInterpretation/regression/eq/03_basic_unsafe.bpl false 5.32 3.04 149331968 unknown 5.88 3.32 149995520 unknown 5.81 3.28 141631488
programs/abstractInterpretation/regression/eq/39_framing_condition_summary_minimal.bpl timeout (error (143)) 306    302    341196800 error: exception 6.46 3.86 152334336 unknown 5.26 2.94 140783616
programs/abstractInterpretation/regression/eq/03_basic_safe.bpl true 6.88 3.82 191180800 true 5.15 3.12 137478144 unknown 5.59 3.09 137162752
programs/abstractInterpretation/regression/eq/35_twodimensional_array.bpl true 6.54 3.59 173809664 true 5.14 2.90 138678272 unknown 5.43 3.07 137568256
programs/abstractInterpretation/regression/eq/06_basic.bpl true 5.94 3.34 155213824 true 5.65 3.11 145764352 unknown 5.39 3.08 136994816
programs/abstractInterpretation/regression/eq/mallocExampleSnippet01.bpl true 5.46 3.09 152788992 true 5.34 3.06 138059776 unknown 5.23 2.98 138473472
programs/abstractInterpretation/regression/eq/28_extended_weak_equivalences_for_scoping.bpl true 6.75 3.66 176771072 unknown 5.68 3.25 158797824 unknown 5.16 3.00 144306176
programs/abstractInterpretation/regression/eq/44b_join_strong_and_weak_equivalence.bpl true 18.5  15.7  187523072 true 5.37 3.05 142123008 unknown 5.23 3.04 140849152
programs/abstractInterpretation/regression/eq/56_project_vs_setconstraints_03.bpl true 6.91 3.87 197591040 true 5.83 3.23 146587648 unknown 5.62 3.19 143245312
programs/abstractInterpretation/regression/eq/02_basic_unsafe.bpl false 5.34 3.06 143605760 unknown 5.83 3.31 155967488 unknown 5.56 3.16 139329536
programs/abstractInterpretation/regression/eq/08_array_assignment.bpl true 5.65 3.18 164065280 true 5.19 2.96 140541952 unknown 5.24 2.98 138653696
programs/abstractInterpretation/regression/eq/56_project_vs_setconstraints_04.bpl true 5.58 3.11 148316160 true 5.20 2.99 140693504 unknown 5.06 2.88 138809344
programs/abstractInterpretation/regression/non_taipan/loop-skips-unsafe.bpl timeout (error (143)) 301    242    954396672 unknown 5.77 3.31 156368896 unknown 5.56 3.14 138498048
programs/abstractInterpretation/regression/non_taipan/loop-nested-unsafe.bpl false 21.5  13.7  339476480 unknown 7.23 4.13 177340416 unknown 5.49 3.11 143446016
programs/abstractInterpretation/regression/non_taipan/recursive-CallABAB_incorrect.bpl timeout (error (143)) 301    234    787767296 error: exception 5.22 2.96 137326592 unknown 5.60 3.20 150306816
programs/abstractInterpretation/regression/non_taipan/loop-nested-assume-unsafe.bpl timeout (error (143)) 301    240    844673024 unknown 6.04 3.46 158220288 unknown 5.78 3.48 141721600
programs/abstractInterpretation/regression/non_taipan/loop-110517_Martin01.bpl timeout (error (143)) 301    242    797163520 unknown 5.73 3.32 153673728 unknown 5.10 2.94 138203136
programs/abstractInterpretation/regression/all/expr-implies.bpl false 5.32 3.06 152338432 unknown 5.76 3.26 151863296 unknown 5.45 3.06 141492224
programs/abstractInterpretation/regression/all/stmt-bool-assume-3.bpl false 5.06 2.93 142929920 unknown 5.19 2.94 139264000 unknown 5.33 3.03 140120064
programs/abstractInterpretation/regression/all/proc-call-nested-unsafe.bpl false 5.38 3.08 148049920 unknown 5.43 3.09 152907776 unknown 5.29 3.05 139153408
programs/abstractInterpretation/regression/all/stmt-varupdate-assume-easy.bpl false 5.68 3.15 153817088 unknown 5.80 3.25 144875520 unknown 5.56 3.14 137949184
programs/abstractInterpretation/regression/all/stmt-assign-bool.bpl false 5.44 3.07 143495168 unknown 5.23 2.99 140824576 unknown 5.34 3.03 139034624
programs/abstractInterpretation/regression/all/special-cnf-conversion-bug-2.bpl false 5.37 3.01 145743872 unknown 5.28 2.98 140541952 unknown 4.98 2.88 140951552
programs/abstractInterpretation/regression/all/expr-modulo-zero-unsafe.bpl false 5.20 2.97 141152256 unknown 5.35 3.04 140029952 unknown 5.26 2.96 140697600
programs/abstractInterpretation/regression/all/expr-add.bpl false 5.61 3.12 154275840 unknown 5.52 3.12 143818752 unknown 5.42 3.06 138465280
programs/abstractInterpretation/regression/all/proc-impl-name-change-2.bpl false 5.52 3.16 142733312 unknown 5.37 3.01 136822784 unknown 5.54 3.32 137478144
programs/abstractInterpretation/regression/all/stmt-havoc-2.bpl true 6.24 3.49 176582656 true 5.24 3.00 140304384 unknown 5.60 3.17 143093760
programs/abstractInterpretation/regression/all/recursive-easy-2.bpl true 8.68 4.93 198258688 error: exception 5.18 2.98 136466432 true 5.32 3.09 141205504
programs/abstractInterpretation/regression/all/bug-AbsIntHTC-noninductive.bpl false 6.36 3.57 173441024 unknown 6.03 3.45 163221504 unknown 5.29 3.01 140410880
programs/abstractInterpretation/regression/all/expr-ite-unsafe.bpl false 5.62 3.17 145592320 unknown 5.47 3.14 148480000 unknown 5.43 3.05 141393920
programs/abstractInterpretation/regression/all/bug-AbsIntHTC-subsetunsound.bpl true 6.63 3.77 178774016 error: exception 5.19 2.88 137781248 true 5.48 3.11 139292672
programs/abstractInterpretation/regression/all/expr-negative-division-unsafe.bpl false 5.72 3.14 152219648 unknown 5.30 3.04 149786624 unknown 5.24 2.97 137564160
programs/abstractInterpretation/regression/all/expr-modulo-2-unsafe.bpl false 5.83 3.23 151773184 unknown 5.22 2.99 139894784 unknown 5.56 3.14 138043392
programs/abstractInterpretation/regression/all/stmt-bool-assume-2.bpl false 5.46 3.06 145174528 unknown 5.66 3.19 151654400 unknown 5.51 3.06 137981952
programs/abstractInterpretation/regression/all/stmt-assume-sameexpr-negated.bpl false 5.33 3.03 140201984 unknown 5.22 2.95 140283904 unknown 5.17 2.98 140611584
programs/abstractInterpretation/regression/all/recursive-easy-3.bpl true 18.0  11.2  303427584 error: exception 4.90 2.85 133365760 true 5.73 3.26 141828096
programs/abstractInterpretation/regression/all/stmt-assign-bool-2.bpl false 5.49 3.15 153976832 unknown 5.82 3.27 153530368 unknown 5.17 2.94 141926400
programs/abstractInterpretation/regression/all/special-empty-program-1.bpl false 5.22 2.99 142200832 unknown 5.27 3.00 137314304 unknown 5.00 2.88 137281536
programs/abstractInterpretation/regression/all/proc-globals-easy-1-safe.bpl true 5.62 3.18 155021312 unknown 5.52 3.11 137502720 true 5.27 2.99 134696960
programs/abstractInterpretation/regression/all/stmt-bool-top-unsafe.bpl false 5.97 3.26 150188032 unknown 5.59 3.19 147050496 unknown 5.48 3.12 137551872
programs/abstractInterpretation/regression/all/proc-impl-name-change.bpl false 5.38 3.04 144453632 unknown 5.26 2.97 142974976 unknown 5.36 3.05 140234752
programs/abstractInterpretation/regression/all/expr-equality-lesser-unsafe.bpl false 5.50 3.13 149409792 unknown 5.51 3.12 151162880 unknown 5.28 3.01 138493952
programs/abstractInterpretation/regression/all/expr-equality-linear.bpl false 5.72 3.22 150654976 unknown 5.79 3.47 149778432 unknown 5.34 3.02 136634368
programs/abstractInterpretation/regression/all/expr-modulo-interval-negative.bpl false 5.10 2.95 141533184 unknown 5.29 2.95 137596928 unknown 5.09 2.92 141193216
programs/abstractInterpretation/regression/all/expr-leftSideConstant-bug.bpl false 5.30 3.05 143769600 unknown 5.47 3.05 139595776 unknown 5.57 3.13 139051008
programs/abstractInterpretation/regression/all/proc-local-var-overload.bpl false 5.78 3.23 146362368 unknown 5.30 3.00 137490432 unknown 5.48 3.11 139038720
programs/abstractInterpretation/regression/all/expr-modulo-unsafe-2.bpl false 5.11 2.91 140746752 unknown 5.40 3.00 137883648 unknown 5.40 3.09 139055104
programs/abstractInterpretation/regression/all/proc-multiple-asserts.bpl true 6.47 3.64 171585536 unknown 5.64 3.13 152526848 true 5.25 2.98 140025856
programs/abstractInterpretation/regression/all/expr-modulo-unsafe.bpl false 5.69 3.14 148344832 unknown 5.14 2.91 135548928 unknown 5.26 2.99 140275712
programs/abstractInterpretation/regression/all/expr-ite-equals-assume-2.bpl false 5.54 3.17 153563136 unknown 5.80 3.27 149704704 unknown 5.36 3.03 140206080
programs/abstractInterpretation/regression/all/stmt-bool-assume-6.bpl false 5.71 3.15 150237184 unknown 5.06 2.91 137711616 unknown 5.20 2.95 137867264
programs/abstractInterpretation/regression/all/stmt-bool-assume.bpl false 5.55 3.14 153038848 unknown 5.58 3.16 152694784 unknown 5.31 3.00 137994240
programs/abstractInterpretation/regression/all/bug-nonrelationalpost-smtidentifier.bpl false 6.31 3.58 164614144 unknown 5.81 3.30 153382912 unknown 5.52 3.15 155009024
programs/abstractInterpretation/regression/all/stmt-bool-assume-10.bpl false 5.54 3.13 149213184 unknown 5.57 3.15 150036480 unknown 5.19 2.97 137854976
programs/abstractInterpretation/regression/all/stmt-old-2.bpl true 5.71 3.24 163332096 unknown 5.30 2.96 147120128 true 5.21 2.95 140124160
programs/abstractInterpretation/regression/all/stmt-multiassign-bool.bpl false 5.97 3.28 155742208 unknown 5.75 3.27 152887296 unknown 5.31 3.01 137805824
programs/abstractInterpretation/regression/all/expr-ite-equals-assume.bpl false 5.60 3.22 153722880 unknown 5.71 3.25 150102016 unknown 5.46 3.10 138125312
programs/abstractInterpretation/regression/all/stmt-simpleassign-safe.bpl unknown 6.24 3.51 176132096 true 5.65 3.19 142610432 true 5.24 2.98 135815168
programs/abstractInterpretation/regression/all/expr-iff-2.bpl false 5.51 3.11 152252416 unknown 6.01 3.41 147382272 unknown 5.40 3.10 139616256
programs/abstractInterpretation/regression/non_con/expr-unary-minus-bug2.bpl true 5.38 3.10 149794816 true 5.06 2.90 137302016 unknown 5.06 2.90 136626176
programs/abstractInterpretation/regression/non_con/stmt-assume-2.bpl true 6.49 3.66 178298880 true 5.19 2.95 137379840 unknown 5.29 3.00 141582336
programs/abstractInterpretation/regression/non_con/loop-CountTillBound-2.bpl true 212    168    742268928 true 6.77 3.90 177008640 unknown 5.24 2.94 138629120
programs/abstractInterpretation/regression/non_con/proc-looping-call.bpl true 6.52 3.66 176828416 true 6.18 3.46 161181696 unknown 5.45 3.25 138571776
programs/abstractInterpretation/regression/non_con/recursive-easy-1.bpl true 8.23 4.70 193081344 error: exception 5.18 2.99 136736768 unknown 5.26 3.04 140517376
programs/abstractInterpretation/regression/non_con/loop-literal-widening.bpl true 6.16 3.50 172142592 true 5.89 3.34 152907776 unknown 5.61 3.15 141684736
programs/abstractInterpretation/regression/non_con/stmt-assume-3.bpl true 5.94 3.40 169668608 true 5.25 2.98 146026496 unknown 5.33 3.04 138641408
programs/abstractInterpretation/regression/non_con/stmt-varupdate-assume.bpl true 5.75 3.22 161693696 true 5.36 3.06 137293824 unknown 5.33 3.05 140251136
programs/abstractInterpretation/regression/non_con/expr-inequalityTest.bpl true 5.53 3.20 161189888 true 5.05 2.92 135819264 unknown 5.53 3.13 139636736
programs/abstractInterpretation/regression/non_con/loop-literal-widening-predicate-weakening.bpl true 6.18 3.53 171958272 true 6.89 4.17 182816768 unknown 5.54 3.16 143695872
programs/abstractInterpretation/regression/non_con/loop-Goto.bpl true 5.85 3.38 174780416 true 6.05 3.47 163725312 unknown 5.25 2.97 134189056
programs/abstractInterpretation/regression/non_con/loop-110517_Martin01-safe.bpl true 5.99 3.45 174174208 true 5.71 3.26 151584768 unknown 5.50 3.10 138354688
programs/abstractInterpretation/regression/non_con/stmt-assume-1.bpl true 6.39 3.62 182226944 true 5.64 3.17 152489984 unknown 5.28 3.01 139730944
programs/abstractInterpretation/regression/non_con/expr-iff.bpl true 5.82 3.28 166805504 true 5.34 3.02 137781248 unknown 5.30 3.03 137011200
programs/abstractInterpretation/regression/non_con/expr-unary-minus-bug.bpl true 5.67 3.14 148058112 true 5.14 2.92 135761920 unknown 5.32 3.01 140238848
programs/abstractInterpretation/regression/non_con/recursive-easy-4.bpl true 13.4  8.16 270712832 error: exception 5.15 2.91 135647232 unknown 5.40 3.09 147288064
programs/abstractInterpretation/regression/non_con/loop-procedure.bpl timeout (error (143)) 300    245    572416000 true 13.2  10.2  197922816 unknown 5.60 3.19 147845120
programs/abstractInterpretation/regression/non_con/proc-procedure-without-impl.bpl true 11.2  6.70 219590656 true 5.46 3.09 135991296 unknown 5.30 3.05 138690560
programs/abstractInterpretation/bug-old-stmt-3.bpl false 6.59 3.78 189169664 unknown 6.31 3.61 157417472 unknown 5.64 3.17 137809920
programs/abstractInterpretation/bug-old-in-init.bpl false 5.12 2.91 137625600 unknown 5.07 2.90 138518528 unknown 5.20 3.00 136568832
programs/abstractInterpretation/unclassified/EasyArrayStore_incorrect.bpl error: exception 58.7  52.4  1298718720 unknown 15.3  10.7  263561216 unknown 5.49 3.10 139526144
programs/abstractInterpretation/unclassified/EasyLoop.bpl true 8.19 4.76 194945024 unknown 5.96 3.42 159244288 unknown 5.62 3.15 139431936
programs/abstractInterpretation/unclassified/Fibonaccinacci_big.bpl error: exception 169    158    1008959488 unknown 8.69 5.04 192364544 unknown 5.73 3.23 142786560
programs/abstractInterpretation/unclassified/TestDifferentDeclaration.bpl true 6.00 3.40 165011456 error: exception 5.14 2.91 138342400 unknown 5.66 3.21 147398656
programs/abstractInterpretation/unclassified/ManyFactsAboutX_incorrect.bpl false 77.6  71.4  276045824 timeout (error (143)) 306    303    186097664 unknown 6.02 3.40 158527488
programs/abstractInterpretation/unclassified/EasyArray2.bpl true 6.41 3.45 172519424 error: exception 5.87 3.28 151080960 true 5.28 2.96 137240576
programs/abstractInterpretation/unclassified/Disjunction.bpl true 7.45 4.19 190087168 true 5.69 3.24 154820608 unknown 5.64 3.23 142684160
programs/abstractInterpretation/unclassified/Fibonaccinacci_incorrect.bpl false 22.5  15.6  267382784 unknown 8.33 4.88 189247488 unknown 5.46 3.12 141242368
programs/abstractInterpretation/unclassified/CallIrregular_incorrect.bpl timeout (error (143)) 300    243    2439938048 error: exception 5.27 2.98 139448320 unknown 6.70 3.77 175194112
programs/abstractInterpretation/unclassified/EasyRecursive_incorrect2.bpl false 7.13 4.01 191197184 error: exception 5.20 2.95 135905280 unknown 6.07 3.39 150036480
programs/abstractInterpretation/unclassified/EasyNestedLoop.bpl true 7.80 4.45 189149184 unknown 7.05 4.11 186060800 unknown 5.50 3.11 145367040
programs/abstractInterpretation/unclassified/SAS09doubleLoop_incorrect.bpl false 7.30 4.08 192585728 unknown 7.51 4.28 185634816 unknown 5.54 3.17 141725696
programs/abstractInterpretation/unclassified/Disjunction2Impl_2.bpl true 6.49 3.71 174919680 true 5.83 3.31 153198592 unknown 5.59 3.17 142135296
programs/abstractInterpretation/unclassified/Fibonaccinacci.bpl true 26.7  19.1  324055040 unknown 8.94 5.15 196198400 unknown 5.43 3.10 144457728
programs/abstractInterpretation/unclassified/Easy_incorrect.bpl false 5.50 3.12 145395712 unknown 5.43 3.05 137498624 unknown 5.30 2.94 143265792
programs/abstractInterpretation/unclassified/Disjunction2.bpl true 6.53 3.60 171597824 true 5.64 3.19 151871488 unknown 5.29 3.00 142630912
programs/abstractInterpretation/unclassified/EasyLoop_incorrect.bpl true 7.57 4.36 190246912 unknown 6.81 3.99 181600256 unknown 5.63 3.16 141783040
programs/abstractInterpretation/unclassified/Disjunction2Impl_unsafe.bpl false 6.01 3.41 163401728 unknown 5.77 3.28 151797760 unknown 5.69 3.20 141115392
programs/abstractInterpretation/unclassified/EasyCallGlobals_incorrect.bpl false 5.65 3.19 155459584 unknown 5.31 2.96 135753728 unknown 5.39 3.07 140390400
programs/abstractInterpretation/unclassified/Disjunction2_unsafe.bpl false 5.76 3.27 147296256 unknown 5.96 3.37 156020736 unknown 5.60 3.18 142479360
programs/abstractInterpretation/unclassified/CountTillBound-Loop-2.bpl true 212    168    691458048 true 6.84 4.15 176971776 unknown 5.40 3.21 136683520
programs/abstractInterpretation/unclassified/CallIrregular.bpl timeout (error (143)) 301    242    2257190912 error: exception 5.41 3.08 138391552 unknown 6.63 3.76 180371456
programs/abstractInterpretation/unclassified/Disjunction2Impl_2D.bpl true 6.06 3.44 164200448 true 5.33 3.07 147791872 unknown 5.71 3.25 142778368
programs/abstractInterpretation/unclassified/EasyIfMirror.bpl true 5.27 3.03 151412736 true 5.38 2.95 137273344 unknown 5.28 3.05 138829824
programs/abstractInterpretation/unclassified/EasyArrayStore.bpl true 18.8  12.0  286973952 unknown 12.1  7.28 212168704 unknown 5.80 3.26 138899456
programs/abstractInterpretation/unclassified/110517_Martin_safe.bpl true 5.78 3.26 169914368 true 5.90 3.32 156180480 unknown 5.66 3.19 143069184
programs/abstractInterpretation/unclassified/Fibonaccinacci_big_incorrect.bpl timeout (error (143)) 301    286    495067136 unknown 8.77 5.10 190078976 unknown 5.28 3.00 139706368
programs/abstractInterpretation/unclassified/preboogie.bpl false 10.0  5.82 222920704 error: exception 5.22 2.97 138784768 unknown 5.60 3.17 145235968
programs/abstractInterpretation/unclassified/EasyRecursive2.bpl true 9.49 5.51 202452992 error: exception 5.34 3.04 141914112 true 6.10 3.41 150847488
programs/abstractInterpretation/unclassified/EasyNestedLoop_incorrect.bpl false 20.2  13.2  345505792 unknown 7.38 4.21 183123968 unknown 5.33 3.01 138727424
programs/abstractInterpretation/unclassified/Disjunction2Impl.bpl true 6.04 3.44 169922560 true 5.40 3.05 147079168 unknown 5.49 3.16 141791232
programs/abstractInterpretation/unclassified/EasyIf.bpl true 5.33 3.03 146919424 true 5.11 2.87 137023488 unknown 5.45 3.00 138723328
programs/abstractInterpretation/unclassified/EasyRecursive_incorrect.bpl false 7.56 4.23 198471680 error: exception 4.99 2.84 138784768 unknown 5.99 3.40 150994944
programs/abstractInterpretation/unclassified/EasyArray.bpl true 17.8  11.3  294318080 unknown 9.84 5.74 188338176 unknown 5.55 3.19 142192640
programs/abstractInterpretation/unclassified/CallNTimes_incorrect.bpl false 31.3  20.0  451031040 error: exception 5.20 2.95 133787648 unknown 5.99 3.38 156336128
programs/abstractInterpretation/unclassified/EasyCallGlobals.bpl true 5.94 3.25 166633472 unknown 5.40 3.03 144568320 true 5.66 3.21 136990720
programs/abstractInterpretation/unclassified/HavocInLoop.bpl true 6.19 3.44 176631808 true 6.03 3.45 155398144 unknown 5.50 3.13 142913536
programs/abstractInterpretation/unclassified/Disjunction2Inv.bpl true 7.03 3.94 187293696 true 5.30 3.03 140156928 unknown 5.52 3.12 145178624
programs/abstractInterpretation/unclassified/EasyArray2_incorrect.bpl false 11.4  6.60 235274240 unknown 13.2  8.68 197971968 unknown 5.45 3.13 146407424
programs/abstractInterpretation/unclassified/bug-double-call.bpl false 7.42 4.28 193069056 unknown 5.92 3.37 154341376 unknown 5.42 3.11 139001856
programs/abstractInterpretation/unclassified/CountTillBound-LoopWithConst_noAxiom.bpl true 6.28 3.60 181374976 true 6.78 3.89 165076992 unknown 5.38 3.08 141873152
programs/abstractInterpretation/unclassified/EasyArray_incorrect.bpl false 5.07 2.94 137986048 unknown 5.26 2.96 146276352 unknown 5.32 2.99 137940992
programs/abstractInterpretation/unclassified/CallNTimes.bpl true 35.0  22.2  434905088 error: exception 5.26 2.92 134934528 unknown 6.04 3.39 150614016
programs/abstractInterpretation/eq-termtest.bpl true 10.1  5.97 228216832 error: exception 6.20 3.79 165105664 unknown 5.48 3.11 138121216
programs/abstractInterpretation/benchmark/eq/boogie-example-framing.bpl true 6.92 3.90 191950848 error: exception 5.87 3.32 156045312 unknown 5.18 2.94 140058624
programs/abstractInterpretation/benchmark/eq/boogie-example-framing_reduced_2.bpl true 6.99 3.95 195727360 unknown 5.33 3.05 153128960 unknown 5.23 2.97 143634432
programs/abstractInterpretation/benchmark/eq/boogie-example-framing_reduced_5.bpl true 6.89 3.82 185733120 unknown 5.57 3.15 152199168 unknown 5.28 3.01 138670080
programs/abstractInterpretation/benchmark/eq/boogie-example-framing_reduced_4.bpl true 6.65 3.81 197181440 unknown 5.69 3.25 151113728 unknown 5.30 3.03 140058624
programs/abstractInterpretation/benchmark/eq/boogie-example-framing_reduced_3.bpl true 6.73 3.81 184307712 unknown 5.57 3.10 156733440 unknown 5.46 3.07 138526720
programs/abstractInterpretation/benchmark/eq/boogie-example-framing_reduced.bpl true 7.99 4.53 190898176 unknown 5.72 3.24 150110208 unknown 5.09 2.91 137490432
programs/abstractInterpretation/benchmark/eq/boogie-example-framing_reduced_1.bpl true 6.30 3.48 170397696 error: exception 6.44 4.07 151371776 unknown 5.24 3.03 135954432
programs/openBugs/TestOldVar-safe.bpl false 5.35 3.02 138424320 unknown 5.09 2.92 136798208 unknown 5.09 2.92 139759616
programs/openBugs/UnreachableAssert.bpl false 5.28 3.05 142282752 unknown 5.45 3.11 149159936 unknown 5.28 3.01 141381632
programs/openBugs/bug-unreachable-return.bpl false 6.40 3.61 186650624 unknown 7.20 4.13 182759424 unknown 5.94 3.35 166260736
programs/openBugs/TestSpecificationEnsuresLocalShadow.bpl true 5.69 3.16 149528576 true 5.00 2.86 136515584 unknown 5.69 3.20 138620928
programs/gascake/GasCakeWithJohoFractions01HardcodedInput.bpl timeout (error (143)) 301    264    1210220544 unknown 5.79 3.35 156901376 error: exception 5.55 3.14 140464128
programs/gascake/GasCake01HardcodedInput.bpl timeout (error (143)) 301    279    463822848 unknown 6.10 3.49 161894400 error: exception 5.22 2.93 140075008
programs/gascake/GasCakeWithJohoFractions01FixedInput.bpl timeout (error (143)) 300    248    784150528 unknown 7.13 4.09 178364416 error: exception 5.45 3.08 136851456
programs/gascake/GasCakeWithJohoFractions01InvariantCheck.bpl true 6.18 3.54 175570944 true 5.45 3.14 149614592 error: exception 5.54 3.11 144293888
programs/gascake/GasCake01.bpl true 11.0  6.24 219807744 true 173    169    445661184 error: exception 5.35 3.06 139948032
programs/gascake/GasCakeWithJohoFractions01.bpl true 10.7  6.16 223219712 error: exception 21.3  17.9  192225280 error: exception 5.27 2.97 140484608
programs/gascake/GasCake01InvariantCheck.bpl false 6.67 3.69 183595008 unknown 5.96 3.39 150732800 error: exception 5.44 3.11 145666048
programs/dangerInvariants/assertFalseInIf.bpl false 5.21 2.98 144424960 unknown 5.39 3.02 136011776 unknown 5.43 3.06 139186176
programs/dangerInvariants/assertVariable.bpl false 5.37 3.08 138969088 unknown 4.98 2.85 140980224 unknown 4.95 2.87 136151040
programs/dangerInvariants/loop2.bpl false 10.0  5.86 225525760 unknown 5.80 3.33 152002560 unknown 5.55 3.15 141303808
programs/dangerInvariants/nondeterministicControlFlow.bpl false 5.19 3.00 140582912 unknown 5.28 2.96 138375168 unknown 5.49 3.03 137363456
programs/dangerInvariants/assertFalse.bpl false 5.22 3.01 143052800 unknown 4.97 2.82 137129984 unknown 5.31 2.98 139997184
programs/dangerInvariants/havoc.bpl false 5.10 2.93 138063872 unknown 5.10 2.89 140509184 unknown 5.14 2.89 139206656
programs/dangerInvariants/ArrayCellPreciseHavocNeeded.bpl timeout (error (143)) 301    241    744321024 error: exception 5.16 2.94 141824000 unknown 5.51 3.15 138776576
programs/dangerInvariants/uninitializedVariable.bpl false 5.26 3.02 142176256 unknown 5.25 2.97 139264000 unknown 5.31 3.03 137699328
programs/dangerInvariants/multipleErrorLocations.bpl false 5.89 3.29 152686592 unknown 5.09 2.90 144248832 unknown 5.46 3.10 140136448
programs/Pdr/BugLiveVariables01WithExtraAssert-Unsafe.bpl false 5.60 3.19 153792512 unknown 5.61 3.17 148992000 unknown 5.13 2.96 139259904
programs/Pdr/oneLoopWithBreakUnsafe.bpl false 6.82 3.88 188043264 unknown 6.52 3.64 153841664 unknown 5.26 2.99 143867904
programs/Pdr/simpleProgramUnsafe.bpl false 5.15 2.93 140361728 unknown 4.90 2.81 139812864 unknown 5.46 3.07 141451264
programs/Pdr/oneLoopWithBreakSafe.bpl true 7.13 4.07 189894656 unknown 5.79 3.34 160456704 unknown 5.45 3.11 138379264
programs/Pdr/oneLoopUnsafe.bpl false 5.82 3.22 153817088 unknown 5.92 3.34 150749184 unknown 5.28 3.00 138391552
programs/Pdr/simpleProgramWithProcedureTwoAssertsUnsafe.bpl false 5.56 3.13 145653760 unknown 5.26 3.02 136724480 unknown 5.26 3.02 138244096
programs/Pdr/simpleProgramWithProcedureUnsafe.bpl false 5.34 3.08 145219584 unknown 5.30 2.98 141049856 unknown 5.54 3.14 140025856
programs/FloatingPoint/regression/bpl/SyntaxSupportFloatingPoint03-Constructor.bpl error: exception 5.21 3.01 145932288 true 5.08 2.89 136331264 error: exception 4.97 2.84 136916992
programs/FloatingPoint/regression/bpl/SyntaxSupportFloatingPoint02-Operator.bpl error: exception 5.23 2.98 138858496 unknown 5.09 2.91 140271616 error: exception 5.12 2.96 143228928
programs/FloatingPoint/regression/bpl/SyntaxSupportFloatingPoint01-FloatingPointSort.bpl error: exception 5.09 2.91 140189696 true 5.25 2.97 136564736 error: exception 5.03 2.87 139767808
programs/loopAcceleration/simpleLoop.bpl true 6.42 3.64 171339776 true 5.65 3.23 152621056 unknown 5.38 3.02 139882496
programs/loopAcceleration/twoLoops.bpl timeout (error (143)) 301    242    778330112 unknown 5.93 3.35 161071104 unknown 5.61 3.18 143921152
programs/loopAcceleration/loopWithAssertion.bpl timeout (error (143)) 301    242    960651264 unknown 5.70 3.22 151068672 unknown 5.18 2.96 141676544
programs/loopAcceleration/unsafeLoop.bpl timeout (error (143)) 301    243    876572672 unknown 5.82 3.32 155185152 unknown 5.32 2.97 142028800
programs/loopAcceleration/loopWithConstantAssignment.bpl true 6.34 3.60 189583360 true 6.66 3.78 162004992 unknown 5.53 3.11 136933376
programs/loopAcceleration/loopWithRemainingQuantifiers.bpl timeout (error (143)) 301    242    888094720 unknown 6.17 3.45 150990848 unknown 5.24 2.97 141824000
programs/loopAcceleration/overapproximation.bpl timeout (error (143)) 301    243    670830592 unknown 9.60 6.71 170123264 unknown 5.27 3.00 137019392
programs/loopAcceleration/loopAccelerationWerner/twoLoopsDifferentVars.bpl true 6.70 3.84 194916352 true 7.22 4.09 189620224 unknown 5.67 3.20 139022336
programs/loopAcceleration/loopAccelerationWerner/nestedLoopWithAssertion.bpl timeout (error (143)) 301    241    790233088 unknown 8.86 5.20 191975424 unknown 5.58 3.17 140427264
programs/loopAcceleration/loopAccelerationWerner/oneLoopTwoBackbones.bpl timeout (error (143)) 301    240    767795200 unknown 8.42 5.61 163987456 unknown 5.40 3.09 141000704
programs/loopAcceleration/loopAccelerationWerner/nestedLoop.bpl true 7.23 4.09 196448256 unknown 8.30 4.82 187846656 unknown 5.46 3.09 139591680
programs/loopAcceleration/loopAccelerationWerner/tripleNestedLoop.bpl true 7.78 4.41 196431872 unknown 8.98 5.39 206229504 unknown 5.65 3.21 144609280
programs/loopAcceleration/loopAccelerationWerner/oneLoop.bpl true 6.57 3.67 177360896 true 5.57 3.18 151142400 unknown 5.39 3.05 139325440
programs/loopAcceleration/loopAccelerationWerner/twoLoopsSameVars.bpl true 7.03 3.97 195661824 true 6.25 3.53 156733440 unknown 5.31 3.05 143728640
programs/loopAcceleration/loopAccelerationWerner/oneLoopAssertion.bpl timeout (error (143)) 301    243    827219968 unknown 5.95 3.37 161009664 unknown 5.54 3.14 139407360
programs/loopAcceleration/loopAccelerationWerner/oneLoopArray.bpl timeout (error (143)) 301    241    792797184 error: exception 12.3  7.83 242712576 unknown 5.51 3.10 143736832
programs/loopAcceleration/gotoLoop.bpl true 6.62 3.73 183775232 true 5.60 3.18 150327296 unknown 5.52 3.15 136388608
programs/loopAcceleration/loopAccelerationBB/loop3.bpl timeout (error (143)) 301    242    880439296 unknown 5.56 3.18 150085632 unknown 5.42 3.08 138924032
programs/loopAcceleration/loopWithNondeterministicBranch.bpl timeout (error (143)) 301    240    967897088 unknown 11.0  7.86 178802688 unknown 5.96 3.31 143208448
programs/loopAcceleration/loopAccelerationAbstractPathConditions.bpl false 17.2  10.4  308559872 unknown 8.49 5.53 173346816 unknown 5.40 3.09 143855616
programs/loopAcceleration/loopAccelerationFastUPR/OctagonTest_Inconsistent.bpl true 6.03 3.41 167227392 true 5.66 3.22 151842816 unknown 5.38 3.05 142475264
programs/loopAcceleration/loopAccelerationFastUPR/OctagonTest_Default.bpl true 6.59 3.72 183320576 true 5.87 3.36 160505856 unknown 5.73 3.18 139710464
programs/loopAcceleration/loopAccelerationFastUPR/twoLoops_secondPart.bpl timeout (error (143)) 301    241    701947904 unknown 5.70 3.27 153088000 unknown 5.56 3.15 142376960
programs/loopAcceleration/loopAccelerationFastUPR/twoLoops_firstPart.bpl timeout (error (143)) 301    241    728907776 unknown 5.76 3.25 150089728 unknown 5.43 3.08 142311424
programs/loopAcceleration/loopAccelerationFastUPR/OctagonTest_LongLoop.bpl true 5.46 3.13 154050560 true 6.34 3.65 170860544 unknown 5.41 3.10 139804672
programs/loopAcceleration/loopAccelerationFastUPR/OctagonTest_UpperAndLowerBounds.bpl true 20.1  13.0  337317888 unknown 5.70 3.25 154902528 unknown 5.66 3.23 144924672
programs/loopAcceleration/loopWithUnreachableBranch.bpl timeout (error (143)) 301    240    1145282560 unknown 7.45 4.59 168857600 unknown 5.71 3.18 137596928
programs/loopAcceleration/simpleLoopCountDown.bpl true 6.26 3.52 177065984 true 5.61 3.21 153899008 unknown 5.69 3.20 142340096
programs/loopAcceleration/loopAccelerationMohr/aoob.bpl false 5.24 3.02 138190848 unknown 5.87 3.31 153653248 unknown 5.65 3.19 141045760
programs/loopAcceleration/loopAccelerationMohr/nestedLoopUnsafe.bpl false 238    185    1692487680 unknown 8.34 4.77 187625472 unknown 5.42 3.09 140713984
programs/loopAcceleration/loopWithBreak.bpl false 40.7  27.6  472129536 unknown 6.05 3.49 157896704 unknown 5.14 2.96 136921088
programs/bitvector/SyntaxSupportBitvector01-BitvectorSort.bpl error: exception 4.99 2.88 138694656 true 4.91 2.84 139726848 error: exception 5.19 2.92 136609792
programs/bitvector/SyntaxSupportBitvector06-WhileLoopGoanna.bpl error: exception 5.37 3.04 144547840 true 5.65 3.17 157630464 error: exception 5.16 2.92 138416128
programs/bitvector/BugBitvector01-BigValues.bpl error: exception 5.17 2.90 142028800 unknown 4.68 2.68 138989568 error: exception 4.96 2.84 136781824
programs/bitvector/SyntaxSupportBitvector03-Extraction_and_Concatenation.bpl true 5.26 3.05 153149440 true 5.10 2.85 135311360 error: exception 5.46 3.04 138723328
programs/bitvector/toolDirectives/Indices.bpl error: exception 5.16 2.95 138948608 true 5.14 2.93 139792384 error: exception 4.99 2.86 137195520
programs/bitvector/toolDirectives/Builtin.bpl error: exception 4.93 2.90 138289152 true 5.06 2.91 135188480 error: exception 5.25 3.00 135933952
programs/bitvector/SyntaxSupportBitvector02-Literal.bpl error: exception 5.19 2.94 140124160 unknown 5.04 2.91 138768384 error: exception 5.20 2.93 138878976
programs/bitvector/BugAffineRelation01.bpl error: exception 5.27 3.03 142311424 true 5.14 2.92 137789440 error: exception 5.15 2.93 136806400
programs/bitvector/SyntaxSupportBitvector05-WhileLoop.bpl error: exception 5.06 2.92 139452416 unknown 5.82 3.37 158801920 error: exception 5.23 2.99 137498624
programs/bitvector/SyntaxSupportBitvector04-Arithmetic.bpl true 5.49 3.18 146423808 true 5.45 3.12 151982080 error: exception 5.34 3.01 138088448
CToBoogieTranslation/seahorn/crabllvm-2-nopp.bpl error: exception 6.23 3.52 161751040 unknown 24.2  20.6  196096000 error: exception 5.44 3.10 149393408
CToBoogieTranslation/seahorn/crabllvm-1-nopp.bpl error: exception 6.13 3.47 166920192 unknown 45.7  41.3  219754496 error: exception 5.73 3.13 157593600
cookify/bpl false.bpl false 32.7  19.6  431108096 unknown 30.4  20.8  417746944 unknown 17.3  9.96 311296000
cookify/bpl right.bpl true 28.5  16.7  391020544 unknown 32.3  22.3  417988608 true 15.0  8.35 279834624
cookify/recursive/enc_recursive_broken.bpl false 12.8  7.42 253194240 error: exception 5.95 3.41 168226816 error: exception 6.95 3.96 186187776
cookify/stack.bpl true 6.00 3.40 168853504 unknown 5.23 3.01 149000192 unknown 5.55 3.17 144752640
cookify/growing/enc_einzeiler_broken.bpl false 8.84 4.90 194338816 unknown 9.14 5.37 189562880 unknown 6.63 3.75 194609152
../../../trunk/examples/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1359 92900 74700 636638941184 1359 40300 34600 414943440896 1359 9070 5420 219688300544
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer NestedInterpolants.NoTermination Sifa.NoTermination AIv2 EXp+CONG.NoTermination