Termination Competition 2019: C33437

Job info CSV
benchmark AProVE c UltimateAutomizer2019 default
Ultimate/Bangalore_true-termination.c 5158757 YES 9.66/3.66 YES 13.05/6.16
Ultimate/Mysore_true-termination.c 5158758 YES 10.91/3.93 YES 14.58/7.99
Ultimate/RecursiveMultiplication_true-termination.c 5158759 YES 19.34/6.29 YES 17.07/8.97
Ultimate/NonTerminationSimple5_false-termination.c 5158761 NO 29.44/8.59 NO 14.88/7.09
Ultimate/SyntaxSupportPointer01_true-termination.c 5158762 YES 7.71/3.22 YES 15.84/7.06
Ultimate/LexIndexValue-Array_true-termination.c 5158763 MAYBE 9.97/3.80 timeout (wallclock) [out]
Ultimate/LexIndexValue-Pointer_true-termination.c 5158764 MAYBE 4.41/2.09 timeout (wallclock) [out]
Ultimate/NonTermination3_false-termination.c 5158765 MAYBE 4.75/2.11 MAYBE 12.29/5.92
Ultimate/Nyala-2lex_true-termination.c 5158766 YES 23.82/7.11 YES 14.51/7.12
Ultimate/NonTerminationSimple6_false-termination.c 5158767 NO 6.24/2.58 NO 11.93/5.86
Ultimate/NonTerminationSimple4_false-termination.c 5158768 NO 7.88/3.10 NO 12.37/5.99
Ultimate/NonTerminationSimple8_false-termination.c 5158769 memout [out] NO 12.37/5.91
Ultimate/NonTerminationSimple3_false-termination.c 5158770 NO 11.81/4.18 NO 11.80/6.27
Ultimate/Madrid_false-termination.c 5158771 NO 4.78/2.13 NO 11.55/5.78
Ultimate/Rotation180_false-termination.c 5158772 NO 7.65/5.06 NO 11.95/5.80
Ultimate/Arrays01-EquivalentConstantIndices_true-termination.c 5158773 YES 7.65/2.88 YES 15.26/7.06
Ultimate/NonTermination2_false-termination.c 5158774 NO 12.88/4.22 NO 12.67/6.18
Ultimate/Collatz_unknown-termination.c 5158775 timeout (wallclock) [out] MAYBE 38.17/16.17
Ultimate/Arrays03-ValueRestictsIndex_true-termination.c 5158776 YES 11.05/3.95 MAYBE 22.33/8.87
Ultimate/WhileFalse_true-termination.c 5158777 YES 3.85/1.92 YES 10.49/5.38
Ultimate/Parallel_true-termination.c 5158778 memout [out] YES 13.28/8.72
Ultimate/Lobnya-Boolean-Reordered_true-termination.c 5158779 YES 8.29/3.12 YES 15.18/7.27
Ultimate/NonTerminationSimple7_false-termination.c 5158780 NO 5.59/2.36 NO 11.53/5.45
Ultimate/Cairo_true-termination.c 5158781 YES 7.46/2.96 YES 12.60/6.19
Ultimate/4BitCounterPointer_true-termination.c 5158782 YES 6.83/2.67 timeout (wallclock) [out]
Ultimate/Division_false-termination.c 5158783 NO 11.71/4.26 NO 11.88/5.76
Ultimate/WhileTrue_false-termination.c 5158784 NO 4.14/2.01 NO 10.75/5.81
Ultimate/Stockholm_true-termination.c 5158785 YES 9.29/3.46 YES 14.06/6.98
Ultimate/NonTerminationSimple9_false-termination.c 5158786 NO 10.56/3.81 NO 11.68/6.44
Ultimate/Gothenburg_true-termination.c 5158788 YES 33.54/12.91 YES 25.81/16.61
Ultimate/RecursiveNonterminating_false-termination.c 5158789 NO 14.52/5.17 NO 11.92/5.65
Ultimate/Arrays02-EquivalentConstantIndices_false-termination.c 5158790 MAYBE 10.45/4.26 NO 12.94/6.35
Ultimate/Pure3Phase_true-termination.c 5158791 timeout (wallclock) [out] YES 23.11/12.37
Ultimate/NonTerminationSimple2_false-termination.c 5158792 NO 6.65/2.66 NO 12.19/5.95
SV-COMP_Mixed_Categories/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 5158348 MAYBE 128.38/63.98 NO 18.84/7.98
SV-COMP_Mixed_Categories/Problem08_label00_true-unreach-call.c 5158349 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem01_label00_true-unreach-call.c 5158350 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/s3_clnt_1_false-unreach-call.cil.c 5158351 timeout (wallclock) [out] YES 98.82/39.59
SV-COMP_Mixed_Categories/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 5158352 timeout (wallclock) [out] YES 13.94/6.10
SV-COMP_Mixed_Categories/splice_true-unreach-call.c 5158353 MAYBE 20.09/10.16 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_time_var_mutex_true-unreach-call.c 5158354 MAYBE 8.00/3.66 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/gcd01_true-unreach-call_true-termination.c 5158355 YES 22.35/7.00 YES 23.65/14.01
SV-COMP_Mixed_Categories/Problem18_label00_false-unreach-call.c 5158356 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Addition01_true-unreach-call_true-termination.c 5158357 YES 17.52/5.87 YES 28.64/19.80
SV-COMP_Mixed_Categories/email_spec0_product05_true-unreach-call.cil.c 5158358 YES 159.91/76.07 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/sll_to_dll_rev_true-unreach-call.c 5158359 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 5158360 timeout (wallclock) [out] YES 35.84/13.22
SV-COMP_Mixed_Categories/s3_srvr_1_false-unreach-call.cil.c 5158361 MAYBE 23.28/9.95 NO 78.27/36.34
SV-COMP_Mixed_Categories/Problem04_label00_true-unreach-call.c 5158362 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/simple-ext_1_true-valid-memsafety.c 5158363 MAYBE 30.96/10.66 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/dll_of_dll_true-unreach-call.c 5158364 MAYBE 4.61/2.02 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/960521-1_1_true-valid-memsafety.c 5158365 MAYBE 13.20/8.29 YES 30.61/12.86
SV-COMP_Mixed_Categories/Problem10_label00_true-unreach-call.c 5158366 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/recHanoi01_true-unreach-call_true-termination.c 5158367 YES 62.13/18.06 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/s3_srvr_14_false-unreach-call.cil.c 5158368 MAYBE 31.97/13.63 NO 118.29/60.66
SV-COMP_Mixed_Categories/lockfree-3.0_true-valid-memsafety.c 5158369 MAYBE 10.36/3.93 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/floppy_simpl3_false-unreach-call_true-termination.cil.c 5158370 timeout (wallclock) [out] YES 23.88/9.70
SV-COMP_Mixed_Categories/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 5158371 MAYBE 96.29/37.48 NO 48.24/18.43
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 5158372 MAYBE 42.85/14.33 NO 16.18/7.09
SV-COMP_Mixed_Categories/token_ring.01_false-unreach-call_false-termination.cil.c 5158373 timeout (wallclock) [out] NO 33.83/12.80
SV-COMP_Mixed_Categories/token_ring.05_false-unreach-call_false-termination.cil.c 5158374 timeout (wallclock) [out] NO 312.74/160.51
SV-COMP_Mixed_Categories/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 5158375 timeout (wallclock) [out] NO 25.89/11.16
SV-COMP_Mixed_Categories/Problem14_label00_true-unreach-call.c 5158376 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/EvenOdd01_true-unreach-call_true-termination.c 5158377 YES 20.37/8.71 YES 25.53/15.64
SV-COMP_Mixed_Categories/list_true-unreach-call.c 5158378 MAYBE 11.50/4.38 MAYBE 251.17/191.42
SV-COMP_Mixed_Categories/rekcba_ctm_false-unreach-call.2.c 5158379 MAYBE 27.98/20.72 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem12_label00_false-unreach-call.c 5158380 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/id2_b2_o3_true-unreach-call.c 5158381 MAYBE 31.95/9.95 NO 18.14/8.52
SV-COMP_Mixed_Categories/id_i10_o10_false-unreach-call.c 5158382 YES 13.14/4.46 YES 15.79/7.29
SV-COMP_Mixed_Categories/sum_non_eq_false-unreach-call.c 5158383 MAYBE 25.52/7.98 NO 12.98/6.58
SV-COMP_Mixed_Categories/bubble_sort_linux_true-unreach-call.c 5158384 MAYBE 3.80/1.77 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_dekker_true-unreach-call.c 5158385 MAYBE 7.78/3.40 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Primes_true-unreach-call.c 5158386 MAYBE 519.61/281.21 NO 107.40/64.49
SV-COMP_Mixed_Categories/Problem17_label00_true-unreach-call.c 5158387 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem02_label00_true-unreach-call.c 5158388 NO 265.47/113.09 NO 424.11/240.57
SV-COMP_Mixed_Categories/Problem03_label00_true-unreach-call.c 5158389 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem11_label00_false-unreach-call.c 5158390 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/sum_2x3_false-unreach-call.c 5158391 YES 13.72/4.71 YES 12.58/6.23
SV-COMP_Mixed_Categories/transmitter.11_false-unreach-call_false-termination.cil.c 5158392 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem13_label00_true-unreach-call.c 5158393 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test-0513_1_true-valid-memsafety.c 5158394 MAYBE 10.99/4.00 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test_locks_15_true-unreach-call_false-termination.c 5158395 timeout (wallclock) [out] NO 59.18/25.76
SV-COMP_Mixed_Categories/test-0219_true-valid-memsafety.c 5158396 MAYBE 14.52/7.98 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 5158397 timeout (wallclock) [out] NO 27.29/12.97
SV-COMP_Mixed_Categories/token_ring.15_false-unreach-call_false-termination.cil.c 5158398 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/sanfoundry_02_true-unreach-call_ground.c 5158399 MAYBE 77.30/36.50 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/token_ring.10_false-unreach-call_false-termination.cil.c 5158400 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem05_label00_false-unreach-call.c 5158401 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/BallRajamani-SPIN2000-Fig1_false-unreach-call.c 5158402 YES 37.55/11.42 YES 21.41/8.82
SV-COMP_Mixed_Categories/Problem06_label00_false-unreach-call.c 5158403 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_fib_longer_true-unreach-call.c 5158404 MAYBE 8.30/4.32 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pc_sfifo_1_false-unreach-call_false-termination.cil.c 5158405 timeout (wallclock) [out] NO 37.18/18.54
SV-COMP_Mixed_Categories/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 5158406 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Fibonacci01_true-unreach-call.c 5158407 YES 33.58/10.83 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/tree_stack_true-valid-memsafety.c 5158408 MAYBE 64.14/33.66 MAYBE 45.50/23.05
SV-COMP_Mixed_Categories/test-0521_true-valid-memsafety.c 5158409 MAYBE 34.20/12.81 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/bist_cell_true-unreach-call_false-termination.cil.c 5158410 MAYBE 75.64/37.14 NO 54.12/20.06
SV-COMP_Mixed_Categories/Problem15_label00_false-unreach-call.c 5158411 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/data_structures_set_multi_proc_false-unreach-call_ground.c 5158412 memout [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/transmitter.06_false-unreach-call_false-termination.cil.c 5158413 timeout (wallclock) [out] NO 367.41/186.99
SV-COMP_Mixed_Categories/skiplist_3lvl_true-valid-memsafety.c 5158414 MAYBE 13.03/4.72 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/afterrec_2calls_false-unreach-call.c 5158415 YES 6.51/2.62 YES 14.20/7.34
SV-COMP_Mixed_Categories/cs_peterson_true-unreach-call.c 5158416 MAYBE 7.13/6.19 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 5158417 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/fibo_2calls_2_false-unreach-call.c 5158418 YES 6.95/5.31 YES 15.55/9.27
SV-COMP_Mixed_Categories/elevator_spec1_product01_true-unreach-call.cil.c 5158419 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/dll_extends_pointer_true-valid-memsafety.c 5158420 MAYBE 10.45/4.04 MAYBE 16.37/7.46
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 5158421 MAYBE 116.69/47.92 NO 19.02/8.06
SV-COMP_Mixed_Categories/cs_lamport_true-unreach-call.c 5158422 MAYBE 8.62/3.86 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/rekcba_aso_false-unreach-call.1.M1.c 5158423 MAYBE 3.60/1.74 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/transmitter.01_false-unreach-call_false-termination.cil.c 5158424 timeout (wallclock) [out] NO 32.01/12.16
SV-COMP_Mixed_Categories/transmitter.16_false-unreach-call_false-termination.cil.c 5158425 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/McCarthy91_false-unreach-call_false-termination.c 5158426 timeout (wallclock) [out] YES 30.25/12.86
SV-COMP_Mixed_Categories/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 5158427 MAYBE 33.72/11.24 NO 15.43/6.92
SV-COMP_Mixed_Categories/standard_password_true-unreach-call_ground.c 5158428 YES 53.49/17.90 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/merge_sort_true-unreach-call.c 5158429 MAYBE 12.52/4.54 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_stateful_false-unreach-call.c 5158430 MAYBE 6.71/2.85 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test-0234_true-valid-memsafety.c 5158431 MAYBE 3.50/1.77 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_szymanski_true-unreach-call.c 5158432 MAYBE 7.03/3.45 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem19_label00_true-unreach-call.c 5158433 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/minepump_spec1_product01_true-unreach-call.cil.c 5158434 memout [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/fibo_5_false-unreach-call.c 5158435 YES 26.48/11.51 YES 40.26/21.87
SV-COMP_Mixed_Categories/Problem16_label00_false-unreach-call.c 5158436 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 5158437 MAYBE 120.80/56.84 NO 21.81/8.95
SV-COMP_Mixed_Categories/rekcba_nxt_false-unreach-call.1.M1.c 5158438 MAYBE 3.70/2.28 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem09_label00_true-unreach-call.c 5158439 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/diskperf_simpl1_true-unreach-call_true-termination.cil.c 5158440 timeout (wallclock) [out] YES 22.36/8.77
SV-COMP_Mixed_Categories/standard_copy7_true-unreach-call_ground.c 5158441 YES 85.55/33.88 MAYBE 232.09/218.80
SV-COMP_Mixed_Categories/list-ext_1_true-valid-memsafety.c 5158442 MAYBE 36.41/15.20 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/stateful_check_false-unreach-call.c 5158443 MAYBE 3.30/1.52 NO 14.49/6.51
SV-COMP_Mixed_Categories/standard_compare_true-unreach-call_ground.c 5158444 YES 52.99/16.84 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test-0134_true-valid-memsafety.c 5158445 MAYBE 3.74/1.84 MAYBE 11.16/4.98
SV-COMP_Mixed_Categories/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 5158446 timeout (wallclock) [out] NO 52.22/20.10
SV-COMP_Mixed_Categories/Problem07_label00_true-unreach-call.c 5158447 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/sorting_bubblesort_true-unreach-call_ground.c 5158448 memout [out] timeout (wallclock) [out]
AProVE_numeric/svcomp_b.02.c 5158687 YES 12.72/4.45 YES 12.72/7.21
AProVE_numeric/svcomp_b.05.c 5158688 timeout (wallclock) [out] YES 13.19/6.02
AProVE_numeric/svcomp_gcd01_true-unreach-call_true-termination_modified.c 5158689 YES 21.55/6.81 YES 23.81/14.03
AProVE_numeric/rec_counter3.c 5158690 YES 26.57/8.17 YES 20.57/13.84
AProVE_numeric/svcomp_a.05.c 5158691 YES 9.85/3.64 YES 13.53/6.29
AProVE_numeric/svcomp_b.04.c 5158692 YES 4.79/2.20 YES 14.91/8.14
AProVE_numeric/svcomp_java_LogBuiltIn.c 5158693 YES 8.71/3.24 YES 12.91/8.61
AProVE_numeric/svcomp_a.08.c 5158694 YES 14.51/5.00 YES 12.44/6.22
AProVE_numeric/svcomp_a.07.c 5158695 YES 15.60/5.48 YES 12.62/6.31
AProVE_numeric/Binomial_true.c 5158696 MAYBE 14.53/5.77 timeout (wallclock) [out]
AProVE_numeric/svcomp_java_Continue1.c 5158697 YES 14.56/6.88 YES 12.48/5.94
AProVE_numeric/LogRecursive_true.c 5158698 timeout (wallclock) [out] MAYBE 46.41/30.36
AProVE_numeric/svcomp_java_Nested.c 5158699 YES 25.49/8.52 YES 17.49/7.68
AProVE_numeric/svcomp_flag.c 5158700 YES 16.26/7.23 YES 16.87/10.60
AProVE_numeric/svcomp_c.01-no-inv.c 5158701 YES 29.25/9.03 YES 15.55/7.21
AProVE_numeric/Et4_true.c 5158702 YES 55.39/15.86 YES 71.20/24.01
AProVE_numeric/svcomp_a.09_assume.c 5158703 YES 12.60/7.80 YES 13.05/6.33
AProVE_numeric/Avg_true.c 5158704 YES 43.70/13.37 YES 25.13/11.91
AProVE_numeric/svcomp_b.16.c 5158705 YES 29.01/9.02 YES 13.28/6.31
AProVE_numeric/svcomp_java_AG313.c 5158706 YES 23.28/7.25 YES 13.53/7.59
AProVE_numeric/svcomp_b.09_assume.c 5158707 YES 5.27/2.25 YES 14.46/7.21
AProVE_numeric/svcomp_b.11.c 5158708 timeout (wallclock) [out] YES 15.29/7.15
AProVE_numeric/svcomp_c.01_assume.c 5158709 YES 25.07/9.76 YES 13.04/6.03
AProVE_numeric/svcomp_b.13.c 5158710 YES 25.99/9.13 YES 15.88/7.58
AProVE_numeric/ex3.c 5158711 YES 16.89/8.41 YES 40.31/19.77
AProVE_numeric/svcomp_c.03.c 5158712 memout [out] YES 18.45/9.10
AProVE_numeric/svcomp_Addition01_true-unreach-call_true-termination_modified.c 5158713 YES 15.37/5.19 YES 28.45/19.83
AProVE_numeric/svcomp_a.10.c 5158714 YES 4.43/2.00 YES 16.26/7.59
AProVE_numeric/svcomp_b.17.c 5158715 YES 28.49/8.79 YES 13.27/6.68
AProVE_numeric/svcomp_ex1.c 5158716 YES 9.37/3.34 YES 12.58/5.97
AProVE_numeric/svcomp_Ackermann01_true-unreach-call_modified_modified.c 5158717 YES 49.57/17.84 timeout (wallclock) [out]
AProVE_numeric/svcomp_EvenOdd01_true-unreach-call_true-termination_modified.c 5158718 YES 17.00/8.96 YES 22.73/14.34
AProVE_numeric/TerminatorRec02_true.c 5158719 YES 12.99/4.77 YES 12.85/8.01
AProVE_numeric/svcomp_b.15.c 5158720 YES 11.27/4.06 YES 16.38/7.60
AProVE_numeric/LeUserDefRec_true.c 5158721 YES 18.92/6.54 YES 13.77/6.17
AProVE_numeric/svcomp_MultCommutative_true-unreach-call_true-termination_modified.c 5158722 YES 41.93/14.59 YES 18.52/10.56
AProVE_numeric/svcomp_b.06.c 5158723 YES 12.68/4.46 YES 12.10/5.94
AProVE_numeric/svcomp_a.06.c 5158724 YES 17.59/5.98 YES 14.99/8.50
AProVE_numeric/svcomp_c.02.c 5158725 YES 25.81/9.76 YES 14.28/7.55
AProVE_numeric/svcomp_ex2.c 5158726 timeout (wallclock) [out] MAYBE 25.97/10.06
AProVE_numeric/Et3_true.c 5158727 YES 23.87/7.48 YES 17.26/10.93
AProVE_numeric/svcomp_b.18.c 5158728 YES 14.78/4.86 YES 15.01/7.14
AProVE_numeric/Et2_true.c 5158729 YES 22.77/9.08 YES 17.20/7.82
AProVE_numeric/svcomp_c.07.c 5158730 YES 17.23/6.46 YES 25.01/18.02
AProVE_numeric/svcomp_b.03-no-inv_assume.c 5158731 YES 11.50/4.02 YES 13.98/6.64
AProVE_numeric/svcomp_java_Sequence.c 5158732 YES 14.60/4.83 YES 13.95/8.73
AProVE_numeric/svcomp_b.09-no-inv_assume.c 5158733 YES 5.15/2.28 YES 15.46/7.45
AProVE_numeric/svcomp_b.03_assume.c 5158734 YES 11.95/4.02 YES 12.53/5.95
AProVE_numeric/svcomp_b.01.c 5158735 YES 9.28/3.59 YES 12.72/7.57
AProVE_numeric/ex2.c 5158736 YES 11.46/4.06 YES 15.78/8.62
AProVE_numeric/rec_strlen.c 5158737 YES 25.92/8.43 YES 25.12/10.86
AProVE_numeric/svcomp_a.04.c 5158738 YES 12.72/8.28 YES 12.71/6.20
AProVE_numeric/rec_counter1.c 5158739 YES 25.03/7.78 YES 20.93/12.47
AProVE_numeric/svcomp_b.14.c 5158740 YES 11.05/4.21 YES 14.94/6.86
AProVE_numeric/svcomp_ex3a.c 5158741 YES 10.41/3.66 MAYBE 21.16/8.47
AProVE_numeric/Parts_true.c 5158742 timeout (wallclock) [out] timeout (wallclock) [out]
AProVE_numeric/svcomp_twisted.c 5158743 YES 88.66/27.75 YES 15.51/11.38
AProVE_numeric/Et1_true.c 5158744 YES 26.23/10.94 YES 18.57/9.36
AProVE_numeric/TwoWay_true.c 5158745 YES 20.12/8.96 YES 15.83/9.74
AProVE_numeric/svcomp_b.12.c 5158746 YES 24.27/8.28 YES 13.64/6.47
AProVE_numeric/svcomp_c.08.c 5158747 YES 25.37/8.35 YES 13.20/6.36
AProVE_numeric/svcomp_Fibonacci01_true-unreach-call_modified.c 5158748 YES 28.67/10.37 timeout (wallclock) [out]
AProVE_numeric/svcomp_java_Break.c 5158749 YES 8.02/3.09 YES 12.51/5.83
AProVE_numeric/svcomp_fermat.c 5158750 YES 113.61/34.28 YES 29.39/20.33
AProVE_numeric/svcomp_ex3b.c 5158751 YES 11.07/4.12 MAYBE 22.43/9.36
AProVE_numeric/svcomp_b.10.c 5158752 YES 33.85/12.74 YES 15.13/6.70
AProVE_numeric/svcomp_recHanoi02_true-unreach-call_true-termination_modified.c 5158753 YES 11.72/4.17 YES 15.07/7.38
AProVE_numeric/svcomp_easySum.c 5158754 YES 25.02/8.71 YES 13.64/6.08
AProVE_numeric/svcomp_a.01.c 5158755 YES 25.57/7.96 YES 14.63/6.75
AProVE_numeric/svcomp_b.07.c 5158756 YES 16.23/8.19 YES 12.33/6.43
Ton_Chanh_15/NestedRecursion_2b_false-termination.c 5158674 MAYBE 13.18/4.66 NO 22.04/11.07
Ton_Chanh_15/MutualRecursion_1b_true-termination.c 5158675 YES 19.73/6.38 timeout (wallclock) [out]
Ton_Chanh_15/Binary_Search_true-termination.c 5158676 MAYBE 37.77/15.33 NO 49.59/40.15
Ton_Chanh_15/MutualRecursion_1a_false-termination.c 5158677 MAYBE 17.02/5.94 NO 15.96/7.40
Ton_Chanh_15/Ackermann_true-termination.c 5158678 YES 41.39/14.98 timeout (wallclock) [out]
Ton_Chanh_15/NestedRecursion_1a_false-termination.c 5158679 MAYBE 25.61/8.79 NO 12.79/6.31
Ton_Chanh_15/NestedRecursion_1c_true-termination.c 5158680 YES 11.69/4.14 YES 110.48/24.87
Ton_Chanh_15/NestedRecursion_1b_true-termination.c 5158681 MAYBE 27.26/9.30 YES 22.56/10.32
Ton_Chanh_15/NestedRecursion_2a_false-termination.c 5158682 MAYBE 49.77/18.68 NO 15.53/8.63
Ton_Chanh_15/McCarthy91_Recursion_true-termination.c 5158683 timeout (wallclock) [out] YES 48.48/25.94
Ton_Chanh_15/NestedRecursion_2c_true-termination.c 5158684 YES 18.79/6.06 YES 43.68/24.61
Ton_Chanh_15/Ackermann_false-termination.c 5158685 MAYBE 55.78/19.92 NO 19.62/11.42
Ton_Chanh_15/NestedRecursion_1d_true-termination.c 5158686 YES 19.80/6.42 YES 19.42/8.92
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 5158576 MAYBE 15.52/6.72 YES 20.12/8.98
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c 5158577 memout [out] YES 56.65/40.53
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 5158578 YES 19.23/6.22 YES 14.88/9.55
SV-COMP_Termination_Category/TelAviv-Amir-Minimum_true-termination.c 5158579 timeout (wallclock) [out] YES 20.92/10.66
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 5158580 YES 85.96/33.01 YES 15.72/7.62
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 5158581 memout [out] MAYBE 27.87/14.01
SV-COMP_Termination_Category/GopanReps-CAV2006-Fig1a_true-termination.c.c 5158583 YES 12.45/4.52 YES 14.71/8.50
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 5158584 timeout (wallclock) [out] YES 15.06/8.65
SV-COMP_Termination_Category/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 5158585 YES 16.93/7.89 YES 13.16/6.34
SV-COMP_Termination_Category/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c 5158586 YES 57.50/17.49 timeout (wallclock) [out]
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 5158587 timeout (wallclock) [out] YES 103.60/69.61
SV-COMP_Termination_Category/svcomp_cstrncmp_true-termination.c 5158588 YES 18.68/6.04 YES 78.30/43.37
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c 5158589 YES 26.78/7.87 YES 58.94/43.35
SV-COMP_Termination_Category/UrbanMine-ESOP2014-Fig3_true-termination.c 5158590 YES 188.38/50.90 YES 17.74/8.14
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c 5158591 YES 45.25/14.87 YES 61.52/42.25
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 5158592 YES 33.07/9.61 YES 14.82/9.31
SV-COMP_Termination_Category/aviad_true-termination.c 5158593 YES 49.34/14.66 YES 15.22/6.60
SV-COMP_Termination_Category/LeikeHeizmann-WST2014-Ex9_true-termination.c 5158594 YES 7.34/2.86 YES 13.30/6.04
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 5158595 NO 27.61/8.21 NO 12.50/5.99
SV-COMP_Termination_Category/svcomp_cstrspn_true-termination.c 5158596 YES 49.17/16.03 YES 341.16/284.11
SV-COMP_Termination_Category/Toulouse-BranchesToLoop_true-termination.c 5158597 YES 15.36/5.00 YES 16.97/7.89
SV-COMP_Termination_Category/min_rf_true-termination.c 5158598 memout [out] YES 30.21/16.71
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 5158599 YES 66.61/18.64 YES 21.09/10.38
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 5158600 NO 16.51/5.22 NO 13.39/7.59
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 5158601 YES 16.13/5.14 MAYBE 17.57/10.39
SV-COMP_Termination_Category/aaron3_true-termination.c 5158602 memout [out] YES 18.55/10.49
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 5158603 YES 16.56/5.43 MAYBE 17.34/8.85
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 5158604 YES 9.63/3.46 YES 29.86/52.62
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 5158605 YES 8.27/3.15 YES 15.58/9.46
SV-COMP_Termination_Category/svcomp_cstrcmp_true-termination.c 5158606 YES 14.58/4.88 YES 67.29/35.76
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c 5158607 YES 41.68/15.08 timeout (wallclock) [out]
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c 5158608 YES 7.97/3.00 MAYBE 16.49/8.55
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 5158609 YES 7.45/2.94 YES 12.41/7.46
SV-COMP_Termination_Category/joey_false-termination.c 5158610 timeout (wallclock) [out] NO 76.22/36.02
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 5158611 timeout (wallclock) [out] YES 27.96/19.28
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c 5158612 timeout (wallclock) [out] NO 11.55/6.81
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 5158613 timeout (wallclock) [out] NO 11.67/5.68
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 5158614 YES 14.76/4.83 YES 14.76/8.09
SV-COMP_Termination_Category/Masse-VMCAI2014-Fig1b_true-termination.c 5158615 memout [out] MAYBE 18.10/7.80
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 5158616 YES 8.35/3.05 YES 12.89/8.57
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c 5158617 YES 20.20/10.96 YES 17.35/7.64
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c 5158618 YES 16.84/9.75 YES 12.02/5.81
SV-COMP_Termination_Category/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 5158619 YES 58.11/17.81 YES 24.34/13.66
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 5158620 YES 19.09/16.95 YES 15.68/8.83
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 5158621 YES 63.75/22.68 YES 29.84/20.57
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 5158622 YES 13.31/7.76 YES 14.68/7.97
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 5158623 YES 9.50/3.46 YES 18.30/12.06
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 5158624 YES 31.54/9.80 YES 15.98/11.79
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 5158625 YES 25.34/7.74 YES 15.67/8.58
SV-COMP_Termination_Category/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 5158626 YES 32.34/9.98 YES 26.81/18.69
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c 5158627 YES 17.45/5.47 MAYBE 25.15/15.31
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 5158628 YES 7.98/3.04 YES 12.72/6.24
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 5158629 YES 28.57/11.08 YES 12.29/7.08
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 5158630 YES 9.53/3.85 YES 24.64/19.09
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 5158631 YES 9.00/3.39 YES 12.89/6.16
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 5158632 YES 20.21/10.37 YES 24.96/20.01
SV-COMP_Termination_Category/Avery-FLOPS2006-Table1_true-termination.c 5158633 YES 31.21/11.92 YES 17.80/29.38
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c 5158634 YES 20.94/7.10 YES 18.02/9.44
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 5158635 YES 18.45/6.05 YES 15.41/8.66
SV-COMP_Termination_Category/svcomp_cstrpbrk_true-termination.c 5158636 YES 42.92/13.31 YES 300.05/252.49
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c 5158637 timeout (wallclock) [out] YES 21.34/11.60
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 5158638 YES 16.94/5.52 YES 15.02/8.13
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 5158639 timeout (wallclock) [out] YES 13.92/6.71
SV-COMP_Termination_Category/Toulouse-MultiBranchesToLoop_true-termination.c 5158640 YES 17.73/6.17 YES 20.58/9.55
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 5158641 YES 97.15/28.05 YES 22.38/12.14
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 5158642 YES 26.90/10.88 YES 14.12/8.14
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 5158643 YES 37.74/11.16 YES 12.25/7.19
SV-COMP_Termination_Category/gcd1_true-termination.c 5158644 YES 113.18/36.50 YES 17.51/9.88
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 5158645 YES 15.75/2.96 YES 12.67/6.73
SV-COMP_Termination_Category/svcomp_cstrlen_true-termination.c 5158646 YES 8.49/3.08 YES 22.00/12.64
SV-COMP_Termination_Category/svcomp_cstrcspn_true-termination.c 5158647 YES 81.68/23.44 YES 171.04/128.67
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 5158648 YES 85.66/23.69 YES 17.97/11.07
SV-COMP_Termination_Category/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 5158649 memout [out] YES 20.20/11.63
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c 5158650 NO 22.09/10.55 NO 15.39/8.52
SV-COMP_Termination_Category/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 5158651 memout [out] YES 27.98/20.74
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 5158652 YES 15.83/5.03 YES 13.64/6.15
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c 5158653 YES 25.89/10.37 YES 16.08/11.17
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 5158654 YES 4.63/2.07 YES 12.03/7.98
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 5158655 memout [out] YES 16.60/12.12
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 5158656 YES 10.58/3.75 YES 12.15/6.94
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 5158657 YES 16.87/5.51 YES 14.04/7.68
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 5158658 YES 7.59/2.87 YES 12.49/6.13
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c 5158659 YES 30.49/10.08 YES 20.59/11.60
SV-COMP_Termination_Category/aaron2_true-termination.c 5158660 memout [out] YES 13.30/7.78
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 5158661 YES 28.35/9.90 YES 23.36/14.82
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 5158662 YES 20.85/6.37 YES 14.00/9.17
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 5158664 MAYBE 16.58/6.00 YES 19.49/10.12
SV-COMP_Termination_Category/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c 5158665 memout [out] NO 11.41/6.84
SV-COMP_Termination_Category/svcomp_strchr_true-termination.c 5158666 YES 9.69/3.46 YES 24.08/14.00
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 5158667 YES 9.11/3.27 YES 14.77/7.96
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 5158668 memout [out] YES 15.12/7.34
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 5158669 YES 38.25/12.39 YES 15.10/7.03
SV-COMP_Termination_Category/genady_true-termination.c 5158670 YES 16.93/5.74 YES 12.10/6.00
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 5158671 YES 38.45/12.44 YES 12.97/7.19
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 5158672 YES 15.98/5.06 YES 14.98/9.50
SV-COMP_Termination_Category/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 5158673 YES 37.94/10.86 YES 13.19/6.40
AProVE_memory_unsafe/svcomp_delete_unsafe.c 5158793 MAYBE 4.28/2.07 MAYBE 11.17/6.45
AProVE_memory_unsafe/svcomp_selectionsort_unsafe.c 5158794 MAYBE 5.47/2.49 MAYBE 11.74/5.35
AProVE_memory_unsafe/svcomp_insertionsort_unsafe.c 5158795 MAYBE 5.11/2.30 MAYBE 11.52/9.30
AProVE_memory_unsafe/svcomp_count_down_unsafe.c 5158796 MAYBE 5.68/2.40 MAYBE 13.81/6.16
AProVE_memory_unsafe/svcomp_reverse_array_alloca_unsafe.c 5158797 MAYBE 10.89/4.07 MAYBE 16.23/7.19
AProVE_memory_unsafe/svcomp_cstrncpy_unsafe.c 5158798 MAYBE 6.28/3.21 MAYBE 11.89/6.26
AProVE_memory_unsafe/svcomp_java_BubbleSort_unsafe.c 5158799 MAYBE 5.58/2.40 MAYBE 11.92/5.73
AProVE_memory_unsafe/svcomp_cstrcat_unsafe.c 5158800 MAYBE 4.55/2.06 MAYBE 11.44/6.02
AProVE_memory_unsafe/svcomp_lis_unsafe.c 5158801 MAYBE 5.60/2.34 MAYBE 16.58/7.19
AProVE_memory_unsafe/svcomp_diff_usafe.c 5158802 MAYBE 8.89/3.49 MAYBE 11.90/6.76
AProVE_memory_unsafe/svcomp_cstrcpy_unsafe.c 5158803 MAYBE 4.72/2.71 MAYBE 21.50/6.01
AProVE_memory_unsafe/svcomp_knapsack_alloca_unsafe.c 5158804 MAYBE 21.17/8.34 MAYBE 14.52/6.58
AProVE_memory_unsafe/svcomp_bubble_sort_unsafe.c 5158805 MAYBE 5.70/2.56 MAYBE 11.16/5.48
AProVE_memory_unsafe/svcomp_reverse_array_unsafe.c 5158806 MAYBE 6.74/5.70 MAYBE 14.64/6.77
AProVE_memory_unsafe/svcomp_insertion_sort_unsafe.c 5158807 MAYBE 5.29/2.35 MAYBE 12.11/5.62
AProVE_memory_unsafe/svcomp_delete_alloca_unsafe.c 5158808 MAYBE 4.75/2.17 MAYBE 12.04/5.61
AProVE_memory_unsafe/svcomp_cstrpbrk_unsafe.c 5158809 MAYBE 5.25/5.46 MAYBE 16.92/8.05
AProVE_memory_unsafe/svcomp_knapsack_unsafe.c 5158810 MAYBE 8.02/3.13 MAYBE 11.83/5.56
AProVE_memory_unsafe/svcomp_cstrncat_unsafe.c 5158811 MAYBE 5.30/2.40 MAYBE 11.58/5.55
AProVE_memory_unsafe/svcomp_bubblesort_unsafe.c 5158812 MAYBE 5.87/2.47 MAYBE 11.13/5.53
AProVE_memory_unsafe/svcomp_cstrchr_unsafe.c 5158813 MAYBE 4.65/2.05 MAYBE 17.97/11.12
AProVE_memory_unsafe/svcomp_selection_sort_unsafe.c 5158814 MAYBE 5.53/2.52 MAYBE 12.05/5.63
AProVE_memory_unsafe/svcomp_add_last_unsafe.c 5158815 MAYBE 5.17/2.42 MAYBE 12.63/6.06
AProVE_memory_unsafe/svcomp_cstrlen_unsafe.c 5158816 MAYBE 4.44/2.10 MAYBE 14.75/6.68
AProVE_memory_unsafe/svcomp_stroeder1_unsafe.c 5158817 MAYBE 5.43/2.30 MAYBE 11.25/5.47
AProVE_memory_unsafe/svcomp_stroeder2_unsafe.c 5158818 MAYBE 5.16/2.28 MAYBE 10.85/5.78
AProVE_memory_unsafe/svcomp_mult_array_unsafe.c 5158819 MAYBE 6.43/2.63 MAYBE 99.02/86.46
AProVE_memory_alloca/svcomp_a.07-alloca.c 5158449 YES 35.35/12.96 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.05-alloca.c 5158450 YES 15.95/9.75 YES 18.88/8.71
AProVE_memory_alloca/svcomp_openbsd_cbzero_alloca.c 5158451 YES 20.72/7.43 YES 22.37/10.26
AProVE_memory_alloca/svcomp_openbsd_cstrncpy_alloca.c 5158452 YES 82.10/32.81 YES 58.19/27.89
AProVE_memory_alloca/svcomp_cstrncmp_true_alloca.c 5158453 YES 44.48/15.02 YES 77.12/51.01
AProVE_memory_alloca/svcomp_diff_alloca.c 5158454 YES 85.06/37.99 YES 72.90/34.80
AProVE_memory_alloca/svcomp_insertionsort_alloca.c 5158455 YES 152.76/90.59 YES 25.34/11.03
AProVE_memory_alloca/svcomp_c.07-alloca.c 5158456 YES 45.19/16.34 MAYBE 250.75/218.80
AProVE_memory_alloca/svcomp_cstrcpy_alloca.c 5158457 YES 166.09/130.61 YES 36.43/19.55
AProVE_memory_alloca/svcomp_java_BubbleSort_alloca.c 5158458 MAYBE 152.59/108.26 YES 22.64/9.58
AProVE_memory_alloca/svcomp_openbsd_cstrncmp_alloca.c 5158459 YES 43.37/14.49 YES 66.59/35.79
AProVE_memory_alloca/svcomp_array03_alloca.c 5158460 memout [out] YES 25.13/12.66
AProVE_memory_alloca/svcomp_openbsd_cstrncat_alloca.c 5158461 MAYBE 11.05/4.12 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-alloca.c 5158462 YES 10.01/3.87 YES 173.40/123.38
AProVE_memory_alloca/svcomp_openbsd_cstrcat_alloca.c 5158463 MAYBE 11.31/4.32 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.04-alloca.c 5158464 YES 6.16/2.69 YES 31.17/16.11
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-alloca.c 5158465 YES 12.31/4.26 YES 19.28/8.71
AProVE_memory_alloca/svcomp_gcd1_true-alloca.c 5158466 memout [out] YES 59.08/34.30
AProVE_memory_alloca/svcomp_array01_alloca.c 5158467 YES 98.00/35.37 YES 20.77/10.09
AProVE_memory_alloca/svcomp_b.15-alloca.c 5158468 YES 28.66/9.66 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-alloca.c 5158469 YES 19.53/9.22 YES 228.87/202.42
AProVE_memory_alloca/svcomp_java_AG313-alloca.c 5158470 YES 38.01/12.00 YES 100.42/76.96
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-alloca.c 5158471 YES 38.47/12.46 YES 121.64/79.34
AProVE_memory_alloca/svcomp_strreplace_alloca.c 5158472 YES 70.32/22.71 YES 41.89/20.07
AProVE_memory_alloca/svcomp_a.04-alloca.c 5158473 YES 20.52/6.89 YES 37.44/24.70
AProVE_memory_alloca/svcomp_Toulouse-MultiBranchesToLoop_true-alloca.c 5158474 YES 22.93/7.22 YES 288.22/221.81
AProVE_memory_alloca/svcomp_b.12-alloca.c 5158475 YES 44.66/13.87 YES 200.21/159.38
AProVE_memory_alloca/svcomp_openbsd_cstrlen_alloca.c 5158476 YES 15.77/5.32 YES 22.81/9.85
AProVE_memory_alloca/svcomp_aviad_true-alloca.c 5158477 YES 66.34/21.87 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Toulouse-BranchesToLoop_true-alloca.c 5158478 YES 21.26/6.69 YES 75.91/44.20
AProVE_memory_alloca/svcomp_Velroyen_false-unreach-label-termination-alloca.c 5158479 NO 8.61/3.12 NO 20.47/9.14
AProVE_memory_alloca/svcomp_b.03-no-inv_assume-alloca.c 5158480 YES 17.89/5.74 YES 18.56/8.51
AProVE_memory_alloca/svcomp_openbsd_cstrpbrk_alloca.c 5158481 YES 55.68/19.93 YES 66.55/35.82
AProVE_memory_alloca/svcomp_openbsd_cstrnlen_alloca.c 5158482 YES 24.43/8.57 MAYBE 9.74/4.49
AProVE_memory_alloca/svcomp_b.01-alloca.c 5158483 YES 20.84/6.96 YES 77.17/25.98
AProVE_memory_alloca/svcomp_count_down_alloca.c 5158484 YES 184.76/84.88 YES 26.00/11.46
AProVE_memory_alloca/svcomp_flag-alloca.c 5158485 YES 30.33/10.47 YES 176.22/129.76
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-alloca.c 5158486 YES 31.51/9.19 YES 31.23/14.17
AProVE_memory_alloca/svcomp_a.06-alloca.c 5158487 YES 33.52/11.11 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.06-alloca.c 5158488 YES 28.25/9.41 YES 141.27/119.31
AProVE_memory_alloca/svcomp_easySum-alloca.c 5158489 YES 88.10/50.12 YES 31.13/14.70
AProVE_memory_alloca/svcomp_cstrspn_true_alloca.c 5158490 YES 75.99/27.61 YES 148.19/100.80
AProVE_memory_alloca/svcomp_cstrcat_alloca.c 5158491 MAYBE 11.24/4.17 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2-modified1000_true-alloca.c 5158492 YES 21.38/7.78 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_selectionsort_alloca.c 5158493 MAYBE 271.16/204.88 YES 30.45/12.63
AProVE_memory_alloca/svcomp_stroeder2_alloca.c 5158494 YES 91.81/34.71 YES 21.37/9.24
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-alloca.c 5158495 YES 21.94/6.83 YES 15.78/10.32
AProVE_memory_alloca/svcomp_b.13-alloca.c 5158496 YES 55.58/17.96 YES 279.28/248.73
AProVE_memory_alloca/svcomp_cstrcmp_true_alloca.c 5158497 YES 34.67/11.35 YES 59.21/30.68
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-alloca.c 5158498 timeout (wallclock) [out] NO 48.05/21.18
AProVE_memory_alloca/svcomp_b.09_assume-alloca.c 5158499 YES 6.81/2.74 YES 49.38/23.85
AProVE_memory_alloca/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-alloca.c 5158500 timeout (wallclock) [out] YES 28.21/11.79
AProVE_memory_alloca/svcomp_openbsd_cstrcmp_alloca.c 5158501 YES 36.35/11.92 YES 69.30/39.97
AProVE_memory_alloca/svcomp_java_Continue1-alloca.c 5158502 YES 20.71/7.73 YES 142.05/102.55
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig7_true-alloca.c 5158503 YES 67.80/31.07 YES 279.14/235.71
AProVE_memory_alloca/svcomp_c.08-alloca.c 5158504 YES 42.29/14.29 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.17-alloca.c 5158505 YES 52.16/21.57 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_cstrcspn_true_alloca.c 5158506 YES 136.28/46.51 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-alloca.c 5158507 timeout (wallclock) [out] NO 17.09/7.71
AProVE_memory_alloca/svcomp_b.07-alloca.c 5158508 YES 32.00/11.46 YES 159.92/136.29
AProVE_memory_alloca/svcomp_openbsd_cstrstr_alloca.c 5158509 YES 185.16/77.38 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Avery-2006FLOPS-Tabel1_true-alloca.c 5158510 YES 51.73/17.73 YES 48.78/31.66
AProVE_memory_alloca/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-alloca.c 5158511 YES 67.04/20.81 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2_true-alloca.c 5158512 YES 17.84/6.54 YES 126.44/75.73
AProVE_memory_alloca/svcomp_lis_alloca.c 5158513 MAYBE 129.87/85.72 YES 97.10/53.40
AProVE_memory_alloca/svcomp_b.16-alloca.c 5158514 YES 45.78/14.44 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_ex3a-alloca.c 5158515 YES 17.33/5.79 MAYBE 33.60/13.29
AProVE_memory_alloca/svcomp_openbsd_cmemset_alloca.c 5158516 YES 29.40/9.53 YES 22.00/9.98
AProVE_memory_alloca/svcomp_cstrlen_true_alloca.c 5158517 YES 15.48/5.32 YES 20.73/10.25
AProVE_memory_alloca/svcomp_cstrpbrk_true_alloca.c 5158518 YES 70.19/26.52 YES 292.29/254.86
AProVE_memory_alloca/svcomp_ex2-alloca.c 5158519 memout [out] MAYBE 72.44/38.00
AProVE_memory_alloca/svcomp_b.11-alloca.c 5158520 timeout (wallclock) [out] YES 106.43/64.84
AProVE_memory_alloca/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-alloca.c 5158521 timeout (wallclock) [out] YES 276.93/204.57
AProVE_memory_alloca/svcomp_mult_array_alloca.c 5158522 MAYBE 6.82/2.83 YES 151.00/117.01
AProVE_memory_alloca/svcomp_openbsd_cstpncpy_alloca.c 5158523 YES 109.35/53.13 YES 362.29/278.94
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-alloca.c 5158524 YES 112.79/34.16 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_cstrchr_true_alloca.c 5158525 YES 18.81/6.29 YES 25.85/10.96
AProVE_memory_alloca/svcomp_fermat-alloca.c 5158526 YES 157.77/58.31 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cstrcpy_alloca.c 5158527 YES 127.06/94.64 YES 38.49/22.45
AProVE_memory_alloca/svcomp_b.03_assume-alloca.c 5158528 YES 16.18/5.80 YES 19.77/8.93
AProVE_memory_alloca/svcomp_a.10-alloca.c 5158529 YES 5.79/2.46 YES 315.17/276.16
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-alloca.c 5158530 memout [out] timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_a.01-alloca.c 5158531 YES 43.34/13.63 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_java_LogBuiltIn-alloca.c 5158532 YES 14.46/5.05 YES 25.06/14.60
AProVE_memory_alloca/svcomp_Masse_true-alloca.c 5158533 timeout (wallclock) [out] MAYBE 23.73/9.35
AProVE_memory_alloca/svcomp_openbsd_cmemrchr_alloca.c 5158534 MAYBE 26.42/10.48 MAYBE 13.88/6.48
AProVE_memory_alloca/svcomp_java_Sequence-alloca.c 5158535 YES 20.63/6.99 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_java_Nested-alloca.c 5158536 YES 39.63/14.19 MAYBE 249.48/212.06
AProVE_memory_alloca/svcomp_java_Break-alloca.c 5158537 YES 12.44/5.44 YES 32.42/22.68
AProVE_memory_alloca/svcomp_c.02-alloca.c 5158538 YES 49.23/15.89 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_ex3b-alloca.c 5158539 YES 28.70/9.30 MAYBE 39.67/16.72
AProVE_memory_alloca/svcomp_a.09_assume-alloca.c 5158540 YES 16.85/5.52 YES 29.00/14.51
AProVE_memory_alloca/svcomp_openbsd_cstrlcpy_alloca.c 5158541 YES 69.35/24.25 YES 71.52/34.41
AProVE_memory_alloca/svcomp_openbsd_cstpcpy_alloca.c 5158542 YES 124.92/89.64 YES 37.05/20.76
AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c 5158543 NO 6.93/2.77 MAYBE 28.51/10.65
AProVE_memory_alloca/svcomp_openbsd_cstrspn_alloca.c 5158544 timeout (wallclock) [out] MAYBE 92.30/44.82
AProVE_memory_alloca/svcomp_add_last_alloca.c 5158545 MAYBE 8.94/3.61 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c 5158546 timeout (wallclock) [out] NO 20.22/8.95
AProVE_memory_alloca/svcomp_a.05-alloca.c 5158547 YES 22.12/9.16 YES 37.82/25.85
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-alloca.c 5158548 NO 7.45/2.95 NO 12.34/5.99
AProVE_memory_alloca/svcomp_b.02-alloca.c 5158549 YES 24.12/8.44 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_stroeder1_alloca.c 5158550 YES 77.14/12.94 YES 19.43/8.73
AProVE_memory_alloca/svcomp_min_rf_true-alloca.c 5158551 memout [out] timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.18-alloca.c 5158552 YES 20.30/6.40 YES 24.10/11.14
AProVE_memory_alloca/svcomp_bubblesort_alloca.c 5158553 MAYBE 160.22/114.55 YES 19.30/8.63
AProVE_memory_alloca/svcomp_b.10-alloca.c 5158554 YES 49.52/16.02 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_c.01_assume-alloca.c 5158555 YES 33.96/10.58 YES 23.86/11.07
AProVE_memory_alloca/svcomp_a.08-alloca.c 5158556 YES 23.90/8.14 YES 52.96/39.40
AProVE_memory_alloca/svcomp_cstrncpy_alloca.c 5158557 MAYBE 38.71/13.89 YES 45.54/19.77
AProVE_memory_alloca/svcomp_twisted-alloca.c 5158558 YES 8.28/3.28 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cmemchr_alloca.c 5158559 MAYBE 23.70/9.22 YES 46.57/10.20
AProVE_memory_alloca/svcomp_subseq_alloca.c 5158560 YES 64.92/21.88 YES 100.35/67.88
AProVE_memory_alloca/svcomp_substring_alloca.c 5158561 YES 80.01/33.95 YES 172.62/109.74
AProVE_memory_alloca/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-alloca.c 5158562 YES 30.84/9.55 YES 75.89/38.68
AProVE_memory_alloca/svcomp_c.03-alloca.c 5158563 YES 51.04/19.49 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cstrcspn_alloca.c 5158564 timeout (wallclock) [out] MAYBE 122.61/77.75
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig8_true-alloca.c 5158565 YES 64.67/25.09 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-alloca.c 5158566 YES 39.66/12.04 YES 358.32/292.50
AProVE_memory_alloca/svcomp_genady_true-alloca.c 5158567 YES 30.12/11.01 YES 19.99/9.11
AProVE_memory_alloca/svcomp_c.01-no-inv-alloca.c 5158568 YES 48.02/15.15 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_ex1-alloca.c 5158569 YES 16.31/5.55 YES 139.18/125.99
AProVE_memory_alloca/svcomp_array02_alloca.c 5158570 YES 223.97/125.39 YES 25.68/10.71
AProVE_memory_alloca/svcomp_b.14-alloca.c 5158571 YES 24.59/8.02 YES 88.17/64.49
AProVE_memory_alloca/svcomp_b.09-no-inv_assume-alloca.c 5158572 YES 6.70/2.88 YES 46.41/22.87
AProVE_memory_alloca/svcomp_TelAviv-Amir-Minimum_true-alloca.c 5158573 memout [out] timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_cstrncat_alloca.c 5158574 MAYBE 10.73/4.01 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Urban_true-alloca.c 5158575 YES 128.49/36.44 YES 67.98/34.41
283 314