TermCOMP 2024: C 63918 Job info CSV Showing results.

benchmark VBS AProVE23 c UltimateAutomizer2023 default ~Y2023
SV-COMP_Mixed_Categories/960521-1_1_true-valid-memsafety.c 17269560 if YES MAYBE 17.55/5.90 YES 81.68/34.94 YES
SV-COMP_Mixed_Categories/Addition01_true-unreach-call_true-termination.c 17269585 f YES YES 18.53/5.95 YES 47.80/24.53 YES
SV-COMP_Mixed_Categories/afterrec_2calls_false-unreach-call.c 17269562 if YES YES 7.81/2.71 MAYBE 21.73/8.42 YES
SV-COMP_Mixed_Categories/BallRajamani-SPIN2000-Fig1_false-unreach-call.c 17269647 if YES YES 37.99/14.15 MAYBE 22.93/9.59 YES
SV-COMP_Mixed_Categories/bist_cell_true-unreach-call_false-termination.cil.c 17269615 if NO MAYBE 67.20/30.45 NO 383.12/296.11 NO
SV-COMP_Mixed_Categories/bubble_sort_linux_true-unreach-call.c 17269579 uf MAYBE MAYBE 8.37/2.95 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 17269587 if YES timeout (wallclock) MAYBE 248.52/160.26 YES
SV-COMP_Mixed_Categories/cs_dekker_true-unreach-call.c 17269594 uf MAYBE MAYBE 8.76/3.56 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cs_fib_longer_true-unreach-call.c 17269558 uf MAYBE MAYBE 9.74/4.78 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cs_lamport_true-unreach-call.c 17269546 uf MAYBE MAYBE 8.98/3.87 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cs_peterson_true-unreach-call.c 17269596 uf MAYBE MAYBE 8.09/3.33 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cs_stateful_false-unreach-call.c 17269496 uf MAYBE MAYBE 8.12/3.32 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cs_szymanski_true-unreach-call.c 17269653 uf MAYBE MAYBE 7.84/3.28 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/cs_time_var_mutex_true-unreach-call.c 17269627 uf MAYBE MAYBE 8.98/3.72 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/data_structures_set_multi_proc_false-unreach-call_ground.c 17269500 if YES YES 167.64/87.61 timeout (wallclock) YES
SV-COMP_Mixed_Categories/diskperf_simpl1_true-unreach-call_true-termination.cil.c 17269510 if YES timeout (wallclock) timeout (wallclock) YES
SV-COMP_Mixed_Categories/dll_extends_pointer_true-valid-memsafety.c 17269494 uf MAYBE MAYBE 12.60/4.46 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/dll_of_dll_true-unreach-call.c 17269502 uf MAYBE MAYBE 5.11/2.26 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/elevator_spec1_product01_true-unreach-call.cil.c 17269538 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/email_spec0_product05_true-unreach-call.cil.c 17269504 if YES YES 147.93/73.93 timeout (wallclock) YES
SV-COMP_Mixed_Categories/EvenOdd01_true-unreach-call_true-termination.c 17269517 if YES YES 19.84/6.49 timeout (wallclock) YES
SV-COMP_Mixed_Categories/Fibonacci01_true-unreach-call.c 17269557 if YES YES 33.47/10.47 timeout (wallclock) YES
SV-COMP_Mixed_Categories/fibo_2calls_2_false-unreach-call.c 17269578 if YES YES 8.84/3.42 MAYBE 23.41/17.05 YES
SV-COMP_Mixed_Categories/fibo_5_false-unreach-call.c 17269568 if YES YES 31.49/10.24 MAYBE 34.40/13.51 YES
SV-COMP_Mixed_Categories/floppy_simpl3_false-unreach-call_true-termination.cil.c 17269574 if YES timeout (wallclock) MAYBE 147.63/75.92 YES
SV-COMP_Mixed_Categories/gcd01_true-unreach-call_true-termination.c 17269605 f YES YES 21.75/6.75 YES 34.02/13.59 YES
SV-COMP_Mixed_Categories/id2_b2_o3_true-unreach-call.c 17269544 if NO MAYBE 30.52/10.07 NO 23.44/9.83 NO
SV-COMP_Mixed_Categories/id_i10_o10_false-unreach-call.c 17269641 if YES YES 15.40/5.06 MAYBE 46.97/18.46 YES
SV-COMP_Mixed_Categories/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 17269580 if YES timeout (wallclock) YES 52.23/19.45 YES
SV-COMP_Mixed_Categories/list-ext_1_true-valid-memsafety.c 17269623 uf MAYBE MAYBE 19.83/6.68 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/list_true-unreach-call.c 17269528 uf MAYBE MAYBE 14.30/4.85 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/lockfree-3.0_true-valid-memsafety.c 17269492 uf MAYBE MAYBE 12.60/4.39 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/McCarthy91_false-unreach-call_false-termination.c 17269664 if YES MAYBE 23.15/7.24 MAYBE 22.77/13.31 YES
SV-COMP_Mixed_Categories/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 17269553 if NO timeout (wallclock) timeout (wallclock) NO
SV-COMP_Mixed_Categories/merge_sort_true-unreach-call.c 17269519 uf MAYBE MAYBE 13.79/4.80 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/minepump_spec1_product01_true-unreach-call.cil.c 17269597 f NO NO 72.92/19.71 NO 29.56/12.41 NO
SV-COMP_Mixed_Categories/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 17269592 if NO timeout (wallclock) timeout (wallclock) NO
SV-COMP_Mixed_Categories/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 17269515 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 17269593 if NO MAYBE 49.87/17.42 timeout (wallclock) NO
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 17269520 if NO MAYBE 118.13/57.92 timeout (wallclock) NO
SV-COMP_Mixed_Categories/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 17269516 if NO MAYBE 35.97/11.68 timeout (wallclock) NO
SV-COMP_Mixed_Categories/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 17269655 if NO MAYBE 129.53/70.82 timeout (wallclock) NO
SV-COMP_Mixed_Categories/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 17269536 if NO timeout (wallclock) timeout (wallclock) NO
SV-COMP_Mixed_Categories/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 17269570 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 17269609 if NO MAYBE 121.04/66.36 MAYBE 232.27/160.36 NO
SV-COMP_Mixed_Categories/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 17269518 if NO MAYBE 101.07/47.55 timeout (wallclock) NO
SV-COMP_Mixed_Categories/pc_sfifo_1_false-unreach-call_false-termination.cil.c 17269621 if NO MAYBE 361.42/181.00 MAYBE 23.28/9.26 NO
SV-COMP_Mixed_Categories/Primes_true-unreach-call.c 17269524 if NO MAYBE 356.60/283.46 NO 84.04/36.10 NO
SV-COMP_Mixed_Categories/Problem01_label00_true-unreach-call.c 17269645 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem02_label00_true-unreach-call.c 17269542 if NO NO 292.66/118.96 timeout (wallclock) NO
SV-COMP_Mixed_Categories/Problem03_label00_true-unreach-call.c 17269649 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem04_label00_true-unreach-call.c 17269532 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem05_label00_false-unreach-call.c 17269599 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem06_label00_false-unreach-call.c 17269617 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem07_label00_true-unreach-call.c 17269661 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem08_label00_true-unreach-call.c 17269522 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem09_label00_true-unreach-call.c 17269637 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem10_label00_true-unreach-call.c 17269498 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem11_label00_false-unreach-call.c 17269551 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem12_label00_false-unreach-call.c 17269540 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem13_label00_true-unreach-call.c 17269629 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem14_label00_true-unreach-call.c 17269506 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem15_label00_false-unreach-call.c 17269657 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem16_label00_false-unreach-call.c 17269583 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem17_label00_true-unreach-call.c 17269619 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem18_label00_false-unreach-call.c 17269589 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/Problem19_label00_true-unreach-call.c 17269613 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/recHanoi01_true-unreach-call_true-termination.c 17269651 if YES YES 51.77/15.72 timeout (wallclock) YES
SV-COMP_Mixed_Categories/rekcba_aso_false-unreach-call.1.M1.c 17269625 uf MAYBE MAYBE 4.39/1.73 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/rekcba_ctm_false-unreach-call.2.c 17269591 uf MAYBE MAYBE 23.91/15.28 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/rekcba_nxt_false-unreach-call.1.M1.c 17269663 uf MAYBE MAYBE 4.41/1.90 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/s3_clnt_1_false-unreach-call.cil.c 17269550 if YES timeout (wallclock) MAYBE 44.28/18.29 YES
SV-COMP_Mixed_Categories/s3_srvr_14_false-unreach-call.cil.c 17269559 if NO MAYBE 30.68/12.52 MAYBE 56.76/23.68 NO
SV-COMP_Mixed_Categories/s3_srvr_1_false-unreach-call.cil.c 17269564 if NO MAYBE 22.47/9.64 MAYBE 41.09/16.78 NO
SV-COMP_Mixed_Categories/sanfoundry_02_true-unreach-call_ground.c 17269577 uf MAYBE MAYBE 84.70/49.04 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/simple-ext_1_true-valid-memsafety.c 17269631 uf MAYBE MAYBE 11.91/4.09 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/skiplist_3lvl_true-valid-memsafety.c 17269633 uf MAYBE MAYBE 13.75/5.00 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/sll_to_dll_rev_true-unreach-call.c 17269595 uf MAYBE MAYBE 24.60/8.78 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/sorting_bubblesort_true-unreach-call_ground.c 17269490 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/splice_true-unreach-call.c 17269639 uf MAYBE MAYBE 17.60/5.96 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/standard_compare_true-unreach-call_ground.c 17269576 if YES YES 49.30/18.04 timeout (wallclock) YES
SV-COMP_Mixed_Categories/standard_copy7_true-unreach-call_ground.c 17269513 if YES YES 80.36/39.79 timeout (wallclock) YES
SV-COMP_Mixed_Categories/standard_password_true-unreach-call_ground.c 17269566 if YES YES 53.07/18.42 timeout (wallclock) YES
SV-COMP_Mixed_Categories/stateful_check_false-unreach-call.c 17269530 if NO MAYBE 3.50/1.53 MAYBE 28.89/11.80 NO
SV-COMP_Mixed_Categories/sum_2x3_false-unreach-call.c 17269548 if YES YES 16.30/5.33 MAYBE 22.73/9.12 YES
SV-COMP_Mixed_Categories/sum_non_eq_false-unreach-call.c 17269534 if NO MAYBE 30.43/8.97 MAYBE 19.30/7.88 NO
SV-COMP_Mixed_Categories/test-0134_true-valid-memsafety.c 17269643 uf MAYBE MAYBE 8.17/3.44 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/test-0219_true-valid-memsafety.c 17269601 uf MAYBE MAYBE 16.14/5.53 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/test-0234_true-valid-memsafety.c 17269635 uf MAYBE MAYBE 47.75/30.80 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/test-0513_1_true-valid-memsafety.c 17269555 uf MAYBE MAYBE 14.72/5.06 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/test-0521_true-valid-memsafety.c 17269603 uf MAYBE MAYBE 34.05/16.15 timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/test_locks_15_true-unreach-call_false-termination.c 17269526 if NO timeout (wallclock) timeout (wallclock) NO
SV-COMP_Mixed_Categories/token_ring.01_false-unreach-call_false-termination.cil.c 17269512 if NO timeout (wallclock) MAYBE 59.44/22.46 NO
SV-COMP_Mixed_Categories/token_ring.05_false-unreach-call_false-termination.cil.c 17269561 if NO timeout (wallclock) timeout (wallclock) NO
SV-COMP_Mixed_Categories/token_ring.10_false-unreach-call_false-termination.cil.c 17269572 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/token_ring.15_false-unreach-call_false-termination.cil.c 17269508 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/transmitter.01_false-unreach-call_false-termination.cil.c 17269611 if NO timeout (wallclock) MAYBE 42.25/15.76 NO
SV-COMP_Mixed_Categories/transmitter.06_false-unreach-call_false-termination.cil.c 17269607 if NO timeout (wallclock) timeout (wallclock) NO
SV-COMP_Mixed_Categories/transmitter.11_false-unreach-call_false-termination.cil.c 17269582 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/transmitter.16_false-unreach-call_false-termination.cil.c 17269659 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
SV-COMP_Mixed_Categories/tree_stack_true-valid-memsafety.c 17269514 uf MAYBE MAYBE 60.58/33.94 timeout (wallclock) MAYBE
Stroeder_15/2Nested_true-termination.c 17271080 bf YES YES 17.02/5.21 YES 21.39/9.08
Stroeder_15/4NestedWith3Variables_true-termination.c 17270697 bf YES YES 29.13/8.78 YES 35.05/22.14
Stroeder_15/aaron2_true-termination.c 17270955 bf YES YES 42.88/12.54 YES 21.63/9.42
Stroeder_15/aaron3_true-termination.c 17270721 bf YES YES 107.92/29.38 YES 26.11/14.43
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 17270874 bf YES YES 113.31/38.99 YES 26.22/11.35
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 17270913 bf YES YES 23.04/7.60 YES 33.30/14.56
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 17270623 bf YES YES 49.83/23.67 YES 27.35/11.48
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 17270631 bf YES YES 21.57/6.60 YES 27.11/12.23
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 17270760 bf YES YES 14.20/4.63 YES 34.07/21.07
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 17270544 bf YES YES 21.55/7.86 YES 32.05/16.31
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 17270681 bf YES YES 52.18/22.89 YES 29.82/14.28
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 17270927 ibf YES YES 41.58/23.54 timeout (wallclock)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 17270615 bf YES YES 26.66/7.98 YES 24.11/9.94
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 17270652 bf YES YES 9.68/3.26 YES 20.88/9.10
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 17270796 bf YES YES 61.75/23.29 YES 40.07/24.48
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 17271147 bf YES YES 32.35/9.69 YES 22.78/9.51
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 17270963 bf YES YES 54.06/24.22 YES 22.62/11.41
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 17270591 bf YES YES 43.82/25.53 YES 27.12/14.12
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 17270984 bf YES YES 15.73/4.95 YES 25.61/11.18
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 17270673 bf YES YES 15.46/5.11 YES 24.43/13.96
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 17271065 bf YES YES 25.59/8.03 YES 27.69/10.90
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 17271113 bf YES YES 18.71/5.79 YES 25.30/10.74
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 17270847 bf YES YES 13.15/4.34 YES 26.22/13.66
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 17270729 bf YES YES 23.20/6.93 YES 26.49/11.88
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 17270837 bf YES YES 16.92/5.25 YES 23.05/10.29
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 17270945 bf YES YES 41.44/24.43 YES 24.93/17.45
Stroeder_15/AlternDiv.c 17270831 bf NO NO 9.66/3.79 NO 26.04/10.81
Stroeder_15/AlternDivWide.c 17271088 bf NO NO 10.51/3.64 NO 25.57/10.89
Stroeder_15/AlternDivWidening.c 17270825 bf NO NO 30.55/9.08 NO 25.91/11.15
Stroeder_15/AlternKonv.c 17270700 bf NO NO 14.07/4.96 NO 27.30/16.09
Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 17270769 bf YES YES 16.71/5.52 YES 22.75/9.94
Stroeder_15/Bangalore_true-termination.c 17271041 bf YES YES 10.83/3.47 YES 20.97/9.09
Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 17270617 bf YES YES 17.88/5.74 YES 26.27/10.97
Stroeder_15/Benghazi_true-termination.c 17270885 bf YES YES 17.14/5.59 YES 29.52/15.07
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 17270881 bf NO NO 35.67/10.39 NO 19.87/10.23
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 17271052 bf YES YES 63.64/17.30 YES 28.75/12.21
Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 17270735 bf YES YES 60.28/24.75 YES 42.23/25.60
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 17271121 bf YES YES 26.04/7.88 YES 25.43/11.84
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 17270980 bf YES YES 46.41/15.59 YES 26.39/12.32
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 17270794 bf YES YES 12.77/4.19 YES 22.60/9.11
Stroeder_15/Cairo_true-termination.c 17270893 bf YES YES 8.23/2.90 YES 22.54/14.48
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 17270640 ibf YES YES 130.53/37.76 MAYBE 40.95/20.49
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 17270897 bf YES YES 52.90/14.98 YES 28.31/12.56
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 17271099 bf YES YES 89.10/28.15 YES 48.70/26.78
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 17270975 bf YES YES 45.59/25.12 YES 22.92/9.89
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 17270558 bf YES YES 27.71/9.01 YES 23.69/11.57
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 17270767 bf YES YES 56.76/24.44 YES 22.40/9.42
Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 17271073 bf NO NO 11.81/4.03 NO 21.52/8.45
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 17270677 ibf YES YES 43.12/12.83 MAYBE 37.46/16.44
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 17270951 bf YES YES 11.29/3.70 YES 22.19/10.23
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 17270861 bf YES YES 5.62/2.18 YES 21.14/8.79
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 17270776 bf YES YES 8.95/3.16 YES 20.79/8.75
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 17270988 bf YES YES 9.13/3.07 YES 21.56/8.84
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 17271135 bf YES YES 16.74/5.09 YES 21.45/8.97
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 17270578 bf NO NO 38.01/13.23 NO 21.61/9.43
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 17270986 bf NO NO 14.45/4.59 NO 19.40/8.08
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 17270971 bf NO NO 14.63/4.89 NO 18.97/7.99
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 17270712 buf MAYBE timeout (wallclock) MAYBE 85.28/65.51
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 17270691 bf YES YES 11.00/3.69 YES 21.30/9.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 17270914 bf YES YES 16.90/5.16 YES 21.13/11.85
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 17270809 bf YES YES 24.72/7.27 YES 22.68/9.78
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 17270978 bf YES YES 11.38/3.73 YES 21.21/8.75
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 17270532 buf MAYBE timeout (wallclock) MAYBE 176.87/154.79
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 17270788 bf NO NO 14.17/5.07 NO 19.68/8.12
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 17270534 bf YES YES 20.34/6.49 YES 21.09/9.34
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 17271091 bf NO NO 15.86/6.22 NO 20.40/7.90
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 17270748 bf NO NO 11.31/4.77 NO 23.16/9.62
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 17270843 bf YES YES 9.55/3.19 YES 23.64/12.24
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 17270990 bf NO NO 16.22/5.07 NO 21.52/8.85
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 17270675 bf YES YES 14.31/4.88 YES 23.30/9.45
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 17271071 bf YES YES 13.56/4.33 YES 21.39/9.17
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 17271115 bf YES YES 10.45/3.49 YES 20.84/8.86
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 17270584 bf YES YES 13.42/4.25 YES 21.25/12.38
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 17270994 bf YES YES 10.06/3.39 YES 22.35/9.10
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 17271016 bf YES YES 10.16/3.36 YES 22.37/9.85
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 17270646 bf NO NO 14.20/4.75 NO 18.80/7.91
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 17271157 bf YES YES 19.80/6.03 YES 23.90/9.74
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 17271050 bf YES YES 19.83/7.19 YES 22.58/9.43
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 17270687 bf YES YES 19.28/6.13 YES 22.13/9.19
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 17270883 bf NO NO 49.05/14.08 NO 22.07/9.92
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 17270870 bf YES YES 14.55/4.60 YES 23.59/9.72
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 17271035 bf YES YES 17.29/5.41 YES 22.57/9.45
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 17270599 bf YES YES 11.19/3.72 YES 23.81/9.54
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 17271102 bf YES YES 14.54/4.88 YES 25.37/13.50
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 17271125 bf YES YES 21.73/6.79 YES 24.48/15.09
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 17271075 bf YES YES 13.35/4.31 YES 22.69/9.53
Stroeder_15/Choose.c 17271143 bf NO NO 14.40/4.65 NO 25.79/14.00
Stroeder_15/ChooseLife.c 17271022 ibf NO NO 8.40/2.91 MAYBE 47.71/28.47
Stroeder_15/collatz.c 17271141 buf MAYBE timeout (wallclock) timeout (wallclock)
Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 17270585 bf YES YES 13.78/4.49 YES 32.75/21.01
Stroeder_15/ComplInterv.c 17270629 buf MAYBE MAYBE 34.66/18.55 MAYBE 35.60/17.48
Stroeder_15/ComplInterv2.c 17270723 bf NO NO 8.95/3.06 NO 22.60/8.77
Stroeder_15/ComplInterv3.c 17270862 bf NO NO 7.38/2.67 NO 21.72/9.64
Stroeder_15/ComplxStruc.c 17270823 ibf NO MAYBE 18.59/9.00 NO 40.31/23.66
Stroeder_15/ConvLower.c 17271097 bf NO NO 7.62/3.13 NO 21.12/8.72
Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 17270683 bf YES YES 26.51/7.98 YES 23.33/13.11
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 17270919 bf YES YES 32.98/9.75 YES 27.57/17.62
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 17270612 bf YES YES 86.78/24.99 YES 28.27/12.49
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 17270996 bf YES YES 12.08/3.87 YES 27.01/11.17
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 17270603 bf YES YES 11.16/3.67 YES 24.97/10.34
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 17270908 bf YES YES 9.81/3.30 YES 26.90/12.59
Stroeder_15/Copenhagen_true-termination.c 17271067 bf YES YES 10.91/3.61 YES 21.94/9.05
Stroeder_15/Cousot.c 17270904 bf NO NO 12.07/4.20 NO 25.03/10.50
Stroeder_15/DivMinus.c 17270891 bf YES YES 18.38/5.74 YES 21.08/9.55
Stroeder_15/DivMinus2.c 17270546 bf YES YES 28.35/10.45 YES 26.06/14.28
Stroeder_15/DivWithoutMinus.c 17270841 bf NO NO 28.79/8.66 NO 26.98/11.12
Stroeder_15/DoubleNeg.c 17270959 buf MAYBE timeout (wallclock) MAYBE 38.35/19.90
Stroeder_15/easy1_true-termination.c 17271026 bf YES YES 13.73/4.45 YES 22.36/8.96
Stroeder_15/easy2_true-termination.c 17270828 bf YES YES 12.20/4.04 YES 23.40/10.26
Stroeder_15/Et1.c 17270671 bf YES YES 17.24/6.35 YES 21.18/9.51
Stroeder_15/Et2.c 17270855 bf NO NO 14.59/5.23 NO 20.34/9.11
Stroeder_15/Et4.c 17271111 bf NO NO 18.31/6.24 NO 19.92/11.56
Stroeder_15/Even.c 17270822 bf NO NO 17.56/5.38 NO 21.70/12.25
Stroeder_15/Ex01.c 17270931 bf NO NO 6.29/2.32 NO 20.19/8.96
Stroeder_15/Ex02.c 17271048 bf NO NO 7.25/2.59 NO 21.68/9.65
Stroeder_15/Ex03.c 17271101 bf NO NO 7.75/3.12 NO 24.00/15.17
Stroeder_15/Ex04.c 17270743 bf NO NO 6.36/2.48 NO 20.65/8.82
Stroeder_15/Ex05.c 17270851 bf NO NO 5.00/2.34 NO 19.07/7.88
Stroeder_15/Ex06.c 17270650 bf NO NO 8.45/2.94 NO 24.19/14.21
Stroeder_15/Ex07.c 17270570 bf NO NO 8.38/2.95 NO 23.47/9.51
Stroeder_15/Ex08.c 17271031 bf NO NO 47.30/12.96 NO 43.55/17.80
Stroeder_15/Factorial.c 17271119 buf MAYBE timeout (wallclock) MAYBE 39.27/18.66
Stroeder_15/Fibonacci.c 17271002 ibf NO NO 25.64/9.05 MAYBE 32.74/15.03
Stroeder_15/Flip.c 17270644 bf NO NO 6.97/2.47 NO 21.57/8.81
Stroeder_15/Flip2.c 17270835 bf NO NO 11.19/3.94 NO 28.47/12.91
Stroeder_15/Gauss.c 17270806 bf NO NO 20.36/6.27 NO 24.23/10.34
Stroeder_15/GCD.c 17270752 bf NO NO 19.83/6.53 NO 24.19/11.14
Stroeder_15/gcd1_true-termination.c 17270552 bf YES YES 82.08/28.01 YES 28.99/15.92
Stroeder_15/GCD2.c 17271029 bf NO NO 19.77/7.08 NO 20.93/8.48
Stroeder_15/GCD3.c 17271149 bf YES YES 26.58/7.94 YES 27.98/14.58
Stroeder_15/GCD4.c 17270714 bf YES YES 28.36/8.40 YES 28.46/13.53
Stroeder_15/genady_true-termination.c 17270961 bf YES YES 19.71/7.21 YES 22.27/9.05
Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 17270695 bf YES YES 15.82/5.06 YES 25.14/10.46
Stroeder_15/Gothenburg_true-termination.c 17270637 bf YES YES 29.41/9.27 YES 29.80/14.57
Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 17270808 bf YES YES 19.46/6.39 YES 25.42/10.97
Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 17271043 bf YES YES 20.17/6.27 YES 23.51/10.18
Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 17270627 bf YES YES 10.80/3.62 YES 22.18/8.84
Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 17270833 ibf YES timeout (wallclock) YES 29.71/13.76
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 17270804 bf YES YES 11.80/3.93 YES 22.10/9.95
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 17270556 bf YES YES 8.82/3.00 YES 20.08/9.45
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 17270733 bf YES YES 9.04/3.11 YES 20.89/8.97
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 17270576 bf YES YES 16.83/5.09 YES 22.11/16.44
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 17271151 bf YES YES 16.84/5.08 YES 29.34/13.24
Stroeder_15/IntPath.c 17270910 bf YES YES 5.58/2.06 YES 20.13/12.12
Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 17270564 bf YES YES 22.31/6.66 YES 22.40/9.09
Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 17270680 bf YES YES 62.99/20.25 YES 30.54/13.21
Stroeder_15/Lcm.c 17270580 bf NO NO 39.36/23.47 NO 21.36/9.05
Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 17270901 bf YES YES 17.16/5.33 YES 21.99/9.82
Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 17270706 bf YES YES 16.64/5.06 YES 22.38/12.89
Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 17271123 bf YES YES 15.39/4.88 YES 22.70/13.78
Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 17270595 bf YES YES 12.01/4.10 YES 24.13/11.18
Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 17270895 bf YES YES 12.30/4.26 YES 21.98/9.69
Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 17270868 ibf NO NO 18.67/5.53 MAYBE 37.79/17.81
Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 17270648 bf NO NO 7.24/2.57 NO 21.30/8.97
Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 17270774 bf YES YES 10.12/3.38 YES 24.70/12.49
Stroeder_15/Log.c 17270943 bf YES YES 14.37/4.77 YES 23.98/10.84
Stroeder_15/LogAG.c 17270933 bf YES YES 22.60/7.29 YES 24.83/10.90
Stroeder_15/LogMult.c 17270820 buf MAYBE timeout (wallclock) MAYBE 34.31/16.86
Stroeder_15/Loop.c 17270849 bf NO NO 6.07/2.21 NO 20.04/8.60
Stroeder_15/Madrid_false-termination.c 17270921 bf NO NO 5.18/1.99 NO 20.09/8.37
Stroeder_15/Marbie1.c 17270982 bf NO NO 6.19/2.29 NO 21.77/8.63
Stroeder_15/Marbie2.c 17271093 bf NO NO 6.22/2.25 NO 21.24/8.56
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 17270606 bf YES YES 17.54/5.51 YES 25.15/9.72
Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 17270710 bf YES YES 16.56/5.28 YES 28.36/15.30
Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 17271108 buf MAYBE timeout (wallclock) MAYBE 38.19/19.69
Stroeder_15/McCarthyIterative.c 17270973 ibf YES YES 18.79/6.86 timeout (wallclock)
Stroeder_15/MenloPark_true-termination.c 17271000 ibf YES MAYBE 39.79/20.83 YES 24.20/13.83
Stroeder_15/Middle.c 17271083 bf NO NO 16.13/5.85 NO 23.89/9.71
Stroeder_15/MinusBuiltIn.c 17270656 bf YES YES 5.45/2.11 YES 23.06/13.90
Stroeder_15/MinusMin.c 17270725 bf YES YES 14.96/5.17 YES 27.59/12.59
Stroeder_15/MinusUserDefined.c 17270654 bf YES YES 28.95/8.81 YES 27.59/15.41
Stroeder_15/min_rf_true-termination.c 17270550 bf YES YES 74.42/27.90 YES 70.02/49.41
Stroeder_15/MirrorInterv.c 17270542 bf NO NO 49.16/25.01 NO 25.15/10.06
Stroeder_15/MirrorIntervSim.c 17271137 bf NO NO 9.87/3.39 NO 25.21/10.38
Stroeder_15/Mysore_true-termination.c 17270754 bf YES YES 13.80/5.14 YES 22.48/10.75
Stroeder_15/Narrowing.c 17270792 ibf NO timeout (wallclock) NO 52.29/23.30
Stroeder_15/NarrowKonv.c 17271095 ibf NO MAYBE 61.48/22.82 NO 147.89/98.82
Stroeder_15/Nested.c 17270925 bf YES YES 12.20/3.99 YES 21.83/10.66
Stroeder_15/NonTermination1_false-termination.c 17270597 bf NO NO 5.76/2.17 NO 21.03/8.65
Stroeder_15/NonTermination2_false-termination.c 17270718 ibf NO timeout (wallclock) NO 20.96/8.76
Stroeder_15/NonTermination4_false-termination.c 17271127 bf NO NO 8.17/2.85 NO 20.88/8.47
Stroeder_15/NonTerminationSimple2_false-termination.c 17270568 bf NO NO 6.26/2.33 NO 20.37/8.55
Stroeder_15/NonTerminationSimple3_false-termination.c 17270977 bf NO NO 11.44/4.17 NO 20.07/9.14
Stroeder_15/NonTerminationSimple4_false-termination.c 17270967 bf NO NO 8.30/2.89 NO 20.76/8.77
Stroeder_15/NonTerminationSimple5_false-termination.c 17270589 bf NO NO 24.32/7.05 NO 25.13/12.31
Stroeder_15/NonTerminationSimple6_false-termination.c 17270704 bf NO NO 6.67/2.48 NO 20.84/8.74
Stroeder_15/NonTerminationSimple7_false-termination.c 17271145 bf NO NO 5.83/2.16 NO 20.22/8.20
Stroeder_15/NonTerminationSimple8_false-termination.c 17270770 bf NO NO 57.05/25.57 NO 22.93/10.55
Stroeder_15/NonTerminationSimple9_false-termination.c 17271106 bf NO NO 11.24/3.86 NO 19.39/7.80
Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 17270887 bf YES YES 28.70/9.08 YES 27.58/14.61
Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 17270661 bf YES YES 34.40/10.93 YES 23.73/14.29
Stroeder_15/NO_00.c 17270554 bf NO NO 5.03/1.98 NO 20.25/8.91
Stroeder_15/NO_01.c 17270667 bf NO NO 5.84/2.14 NO 24.65/9.33
Stroeder_15/NO_02.c 17270859 bf NO NO 5.71/2.10 NO 20.97/8.26
Stroeder_15/NO_03.c 17270731 bf NO NO 5.77/2.14 NO 22.13/8.45
Stroeder_15/NO_04.c 17271117 bf NO NO 8.76/3.47 NO 24.81/10.11
Stroeder_15/NO_10.c 17270566 bf NO NO 9.53/3.29 NO 21.15/8.91
Stroeder_15/NO_12.c 17270845 bf NO NO 8.22/2.92 NO 27.31/12.74
Stroeder_15/NO_13.c 17270750 bf NO NO 22.49/9.54 NO 55.04/26.04
Stroeder_15/NO_21.c 17270548 bf NO NO 5.05/1.98 NO 19.73/8.00
Stroeder_15/NO_22.c 17270720 bf NO NO 17.03/6.40 NO 48.06/21.31
Stroeder_15/NO_23.c 17270866 bf NO NO 5.90/2.21 NO 23.59/13.73
Stroeder_15/NO_24.c 17271037 ibf NO NO 8.58/3.02 MAYBE 29.72/13.00
Stroeder_15/Nyala-2lex_true-termination.c 17270798 bf YES YES 15.47/4.92 YES 22.99/11.16
Stroeder_15/Overflow.c 17271012 bf YES YES 7.12/2.54 YES 22.59/14.18
Stroeder_15/Parallel_true-termination.c 17270538 bf YES YES 14.20/4.54 YES 24.57/10.21
Stroeder_15/PastaA1.c 17271059 bf YES YES 20.16/6.31 YES 25.13/9.83
Stroeder_15/PastaA10.c 17270765 bf YES YES 12.70/4.04 YES 25.21/10.57
Stroeder_15/PastaA4.c 17270587 bf YES YES 8.25/2.94 YES 21.33/8.78
Stroeder_15/PastaA5.c 17270608 bf YES YES 8.98/3.25 YES 22.22/9.00
Stroeder_15/PastaA6.c 17270811 bf YES YES 12.27/4.23 YES 23.14/13.58
Stroeder_15/PastaA7.c 17270780 bf YES YES 12.44/4.27 YES 21.95/9.15
Stroeder_15/PastaA8.c 17270915 bf YES YES 9.71/3.28 YES 21.30/9.69
Stroeder_15/PastaA9.c 17270992 bf YES YES 11.53/4.04 YES 22.02/9.63
Stroeder_15/PastaB1.c 17271153 bf YES YES 9.77/3.29 YES 21.34/8.98
Stroeder_15/PastaB11.c 17270916 bf YES YES 46.55/23.45 YES 25.00/10.04
Stroeder_15/PastaB14.c 17270738 bf YES YES 9.88/3.30 YES 24.41/10.13
Stroeder_15/PastaB15.c 17270853 bf YES YES 10.28/3.43 YES 23.45/10.44
Stroeder_15/PastaB16.c 17270658 bf YES YES 15.91/4.90 YES 22.33/15.90
Stroeder_15/PastaB17.c 17270562 bf YES YES 14.04/4.62 YES 22.16/9.94
Stroeder_15/PastaB2.c 17271018 bf YES YES 11.09/3.67 YES 22.14/8.96
Stroeder_15/PastaB3.c 17270889 bf YES YES 10.42/3.46 YES 21.47/9.00
Stroeder_15/PastaB4.c 17270693 bf YES YES 5.51/2.15 YES 22.13/12.39
Stroeder_15/PastaB6.c 17270708 bf YES YES 11.03/3.77 YES 21.56/9.73
Stroeder_15/PastaB7.c 17270878 bf YES YES 12.15/4.04 YES 21.13/9.23
Stroeder_15/PastaC1.c 17271078 bf YES YES 21.39/6.65 YES 24.92/11.63
Stroeder_15/PastaC10.c 17271104 bf NO NO 16.37/5.55 NO 19.68/7.94
Stroeder_15/PastaC2.c 17270965 bf YES YES 20.12/6.30 YES 23.99/10.20
Stroeder_15/PastaC3.c 17270949 bf YES YES 19.24/5.90 YES 23.50/9.81
Stroeder_15/PastaC7.c 17270802 bf YES YES 13.80/4.63 YES 33.18/23.58
Stroeder_15/PastaC9.c 17270906 bf YES YES 28.99/8.70 YES 23.95/11.96
Stroeder_15/Piecewise_true-termination.c 17270899 bf YES YES 33.79/10.04 YES 26.51/11.44
Stroeder_15/PlusSwap.c 17270621 bf YES YES 21.65/7.76 YES 24.43/12.32
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 17270839 bf YES YES 18.01/5.75 YES 24.65/10.86
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 17270923 bf YES YES 57.57/16.78 YES 64.35/39.16
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 17270689 bf YES YES 8.96/3.01 YES 23.02/10.07
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 17270936 bf YES YES 20.78/6.36 YES 24.19/15.85
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 17270761 bf YES YES 30.41/8.80 YES 22.78/10.15
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 17270669 bf YES YES 152.91/47.61 YES 44.28/27.14
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 17270940 ibf YES YES 31.62/11.15 MAYBE 33.58/15.92
Stroeder_15/Pure2Phase_true-termination.c 17270572 bf YES YES 18.11/6.54 YES 23.46/9.82
Stroeder_15/Pure3Phase_true-termination.c 17271004 ibf YES YES 95.39/33.33 timeout (wallclock)
Stroeder_15/Rotation180_false-termination.c 17270757 bf NO NO 6.75/2.46 NO 19.59/7.99
Stroeder_15/Sequence.c 17270938 bf YES YES 13.31/4.23 YES 23.11/9.80
Stroeder_15/Stockholm_true-termination.c 17270727 bf YES YES 11.84/3.95 YES 22.13/11.81
Stroeder_15/Sunset.c 17270857 bf NO NO 33.02/9.35 NO 35.01/14.62
Stroeder_15/svcomp_a.01.c 17271061 bf YES YES 21.39/6.73 YES 24.01/10.27
Stroeder_15/svcomp_a.04.c 17270593 bf YES YES 12.66/4.19 YES 21.17/9.17
Stroeder_15/svcomp_a.05.c 17270610 bf YES YES 12.38/4.34 YES 20.70/8.95
Stroeder_15/svcomp_a.06.c 17270813 bf YES YES 17.36/5.80 YES 23.84/11.03
Stroeder_15/svcomp_a.07.c 17270784 bf YES YES 17.28/6.30 YES 21.85/9.50
Stroeder_15/svcomp_a.08.c 17270917 bf YES YES 15.04/5.56 YES 22.05/9.81
Stroeder_15/svcomp_a.09_assume.c 17270635 bf YES YES 10.23/3.40 YES 23.10/10.27
Stroeder_15/svcomp_a.10.c 17271139 bf YES YES 47.91/24.47 YES 27.84/11.46
Stroeder_15/svcomp_b.01.c 17270876 bf YES YES 12.68/4.25 YES 21.72/10.00
Stroeder_15/svcomp_b.02.c 17270685 bf YES YES 13.89/4.63 YES 21.73/9.25
Stroeder_15/svcomp_b.03-no-inv_assume.c 17270912 bf YES YES 10.11/3.44 YES 22.41/9.14
Stroeder_15/svcomp_b.03_assume.c 17270742 bf YES YES 11.45/3.73 YES 20.86/9.65
Stroeder_15/svcomp_b.04.c 17271008 bf YES YES 5.68/2.15 YES 22.90/10.65
Stroeder_15/svcomp_b.05.c 17270903 bf YES YES 31.79/22.47 YES 22.52/9.89
Stroeder_15/svcomp_b.06.c 17271033 bf YES YES 15.12/5.15 YES 21.87/9.57
Stroeder_15/svcomp_b.07.c 17271131 bf YES YES 16.73/5.52 YES 22.38/9.68
Stroeder_15/svcomp_b.09-no-inv_assume.c 17270642 bf YES YES 18.32/5.83 YES 25.56/15.68
Stroeder_15/svcomp_b.09_assume.c 17271076 bf YES YES 17.35/5.59 YES 21.32/8.89
Stroeder_15/svcomp_b.10.c 17270772 bf YES YES 22.33/7.40 YES 25.41/10.78
Stroeder_15/svcomp_b.11.c 17270818 bf YES YES 48.00/23.54 YES 25.16/11.46
Stroeder_15/svcomp_b.12.c 17270619 bf YES YES 19.82/7.16 YES 24.62/10.13
Stroeder_15/svcomp_b.13.c 17270582 bf YES YES 25.39/7.80 YES 24.85/10.79
Stroeder_15/svcomp_b.14.c 17270969 bf YES YES 13.37/4.39 YES 27.18/15.20
Stroeder_15/svcomp_b.15.c 17270947 bf YES YES 14.84/4.91 YES 22.65/9.76
Stroeder_15/svcomp_b.16.c 17271063 bf YES YES 21.96/6.87 YES 23.26/9.78
Stroeder_15/svcomp_b.17.c 17271084 bf YES YES 24.53/7.55 YES 24.55/14.95
Stroeder_15/svcomp_b.18.c 17270663 bf YES YES 10.23/3.39 YES 24.54/12.98
Stroeder_15/svcomp_c.01-no-inv.c 17270957 bf YES YES 26.11/8.04 YES 25.42/12.51
Stroeder_15/svcomp_c.01_assume.c 17270633 bf YES YES 23.78/7.71 YES 22.90/9.91
Stroeder_15/svcomp_c.02.c 17270786 bf YES YES 23.50/7.74 YES 24.16/10.11
Stroeder_15/svcomp_c.03.c 17270815 bf YES YES 26.71/8.25 YES 23.25/10.11
Stroeder_15/svcomp_c.07.c 17270941 bf YES YES 17.97/5.94 YES 35.12/22.24
Stroeder_15/svcomp_c.08.c 17270740 bf YES YES 23.69/8.52 YES 23.28/10.78
Stroeder_15/svcomp_easySum.c 17270953 bf YES YES 21.44/7.26 YES 21.54/8.89
Stroeder_15/svcomp_ex1.c 17271133 bf YES YES 10.24/3.52 YES 21.74/9.31
Stroeder_15/svcomp_ex2.c 17271010 ibf YES YES 76.23/26.21 MAYBE 43.36/22.33
Stroeder_15/svcomp_ex3a.c 17271020 ibf YES YES 13.26/4.27 MAYBE 37.40/18.84
Stroeder_15/svcomp_ex3b.c 17271155 ibf YES YES 13.94/5.29 MAYBE 39.08/21.83
Stroeder_15/svcomp_fermat.c 17271055 bf YES YES 109.89/34.13 YES 33.58/16.16
Stroeder_15/svcomp_flag.c 17270540 bf YES YES 15.36/5.66 YES 26.30/11.00
Stroeder_15/svcomp_java_AG313.c 17270536 bf YES YES 22.65/6.89 YES 23.33/9.72
Stroeder_15/svcomp_java_Break.c 17270665 bf YES YES 10.34/3.48 YES 20.72/10.40
Stroeder_15/svcomp_java_Continue1.c 17270702 bf YES YES 15.38/4.97 YES 24.76/9.82
Stroeder_15/svcomp_java_Nested.c 17270625 bf YES YES 26.97/8.46 YES 26.76/13.29
Stroeder_15/svcomp_java_Sequence.c 17270778 bf YES YES 14.20/4.62 YES 23.36/9.74
Stroeder_15/Swingers.c 17270800 ibf NO NO 7.19/2.92 MAYBE 33.82/15.34
Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 17270763 ibf YES timeout (wallclock) YES 116.77/68.97
Stroeder_15/Thun_true-termination.c 17271045 bf YES YES 13.85/4.31 YES 22.19/11.72
Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 17270872 bf YES YES 15.44/4.98 YES 26.32/11.86
Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 17270716 bf YES YES 14.64/4.75 YES 29.70/12.29
Stroeder_15/TrueDiv.c 17271014 bf NO NO 7.26/2.57 NO 19.88/11.85
Stroeder_15/TwoFloatInterv.c 17271087 bf NO NO 10.45/3.54 NO 20.96/8.08
Stroeder_15/UpAndDown.c 17270745 ibf NO NO 365.24/94.60 timeout (wallclock)
Stroeder_15/UpAndDownIneq.c 17271006 ibf NO NO 66.09/19.76 timeout (wallclock)
Stroeder_15/Urban-WST2013-Fig1_false-termination.c 17270574 bf NO NO 7.51/3.01 NO 24.43/10.78
Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 17270601 ibf YES YES 17.14/5.33 timeout (wallclock)
Stroeder_15/Urban-WST2013-Fig2_true-termination.c 17271039 bf YES YES 17.04/5.21 YES 26.46/10.95
Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 17270864 bf YES YES 121.83/33.51 YES 28.79/13.92
Stroeder_15/Velroyen_false-termination.c 17271047 bf NO NO 8.56/2.96 NO 21.69/9.12
Stroeder_15/Waldkirch_true-termination.c 17270560 bf YES YES 4.68/1.84 YES 21.08/8.74
Stroeder_15/WhileDecr.c 17270998 bf YES YES 8.82/2.96 YES 20.93/11.81
Stroeder_15/WhileFalse_true-termination.c 17270755 bf YES YES 4.28/1.79 YES 18.72/8.32
Stroeder_15/WhileIncr.c 17270782 bf NO NO 6.52/2.36 NO 20.21/10.25
Stroeder_15/WhileIncrPart.c 17270929 bf NO NO 7.91/3.16 NO 21.72/10.00
Stroeder_15/WhileNested.c 17271056 bf NO NO 9.59/3.36 NO 23.52/10.04
Stroeder_15/WhileNestedOffset.c 17271069 bf NO NO 9.74/3.35 NO 23.35/9.76
Stroeder_15/WhilePart.c 17271024 bf NO NO 7.21/2.57 NO 21.92/8.79
Stroeder_15/WhileSingle.c 17271129 bf NO NO 7.73/2.70 NO 23.49/9.27
Stroeder_15/WhileTrue.c 17270613 bf NO NO 6.26/2.27 NO 20.28/8.51
Stroeder_15/WhileTrue_false-termination.c 17270790 bf NO NO 4.59/1.86 NO 19.85/11.15
Hensel_22/asc_ll_search_last.c 17269681 if YES YES 21.99/7.00 timeout (wallclock) YES
Hensel_22/cyclic_ll_search_last.c 17269671 uf MAYBE MAYBE 49.21/19.73 timeout (wallclock) MAYBE
Hensel_22/desc_ll_search-ptrdiff_existing.c 17269690 if YES YES 36.73/11.96 MAYBE 17.43/6.98 YES
Hensel_22/desc_ll_search_existing.c 17269683 if YES YES 35.18/12.40 timeout (wallclock) YES
Hensel_22/desc_ll_search_last.c 17269677 if YES YES 29.58/10.43 timeout (wallclock) YES
Hensel_22/desc_ll_search_mod.c 17269675 if YES YES 35.50/11.45 timeout (wallclock) YES
Hensel_22/desc_ll_with_offset_search.c 17269692 if YES YES 31.19/9.98 timeout (wallclock) YES
Hensel_22/nondet_ll_delete.c 17269694 if YES YES 91.67/37.52 timeout (wallclock) YES
Hensel_22/nondet_ll_init.c 17269667 f YES YES 24.71/8.09 YES 27.61/10.89 YES
Hensel_22/nondet_ll_init_rec.c 17269673 if YES YES 16.86/5.51 timeout (wallclock) YES
Hensel_22/nondet_ll_insert.c 17269679 if YES YES 39.84/15.06 timeout (wallclock) YES
Hensel_22/nondet_ll_search_last_n.c 17269669 if YES YES 35.83/11.46 timeout (wallclock) YES
Hensel_22/nondet_ll_search_last_zero.c 17269688 if YES YES 35.50/11.55 timeout (wallclock) YES
Hensel_22/nondet_ll_search_zero.c 17269700 if YES YES 30.68/9.81 timeout (wallclock) YES
Hensel_22/nondet_ll_skip.c 17269696 if YES YES 32.93/10.56 timeout (wallclock) YES
Hensel_22/nondet_ll_traverse-ptrdiff.c 17269685 if YES YES 30.69/9.85 MAYBE 18.11/6.98 YES
Hensel_22/nondet_ll_traverse.c 17269698 if YES YES 27.97/9.87 timeout (wallclock) YES
Hensel_22/nondet_ll_traverse_rec.c 17269686 if YES YES 24.83/7.82 timeout (wallclock) YES
AProVE_memory_unsafe/svcomp_add_last_unsafe.c 17269729 uf MAYBE MAYBE 6.23/2.30 MAYBE 22.27/8.74 MAYBE
AProVE_memory_unsafe/svcomp_bubblesort_unsafe.c 17269727 uf MAYBE MAYBE 7.21/2.61 MAYBE 20.55/8.17 MAYBE
AProVE_memory_unsafe/svcomp_bubble_sort_unsafe.c 17269719 uf MAYBE MAYBE 6.87/2.50 MAYBE 22.85/10.75 MAYBE
AProVE_memory_unsafe/svcomp_count_down_unsafe.c 17269737 uf MAYBE MAYBE 7.13/2.70 MAYBE 21.72/10.01 MAYBE
AProVE_memory_unsafe/svcomp_cstrcat_unsafe.c 17269715 uf MAYBE MAYBE 5.44/2.08 MAYBE 19.82/7.99 MAYBE
AProVE_memory_unsafe/svcomp_cstrchr_unsafe.c 17269725 uf MAYBE MAYBE 5.44/2.27 MAYBE 22.65/9.03 MAYBE
AProVE_memory_unsafe/svcomp_cstrcpy_unsafe.c 17269721 uf MAYBE MAYBE 5.96/2.23 MAYBE 20.78/10.94 MAYBE
AProVE_memory_unsafe/svcomp_cstrlen_unsafe.c 17269711 uf MAYBE MAYBE 5.44/2.28 MAYBE 22.58/9.03 MAYBE
AProVE_memory_unsafe/svcomp_cstrncat_unsafe.c 17269745 uf MAYBE MAYBE 6.37/2.35 MAYBE 18.95/8.34 MAYBE
AProVE_memory_unsafe/svcomp_cstrncpy_unsafe.c 17269751 uf MAYBE MAYBE 7.48/2.73 MAYBE 20.74/8.14 MAYBE
AProVE_memory_unsafe/svcomp_cstrpbrk_unsafe.c 17269747 uf MAYBE MAYBE 6.37/2.31 MAYBE 23.59/9.52 MAYBE
AProVE_memory_unsafe/svcomp_delete_alloca_unsafe.c 17269723 uf MAYBE MAYBE 5.77/2.18 MAYBE 21.12/8.29 MAYBE
AProVE_memory_unsafe/svcomp_delete_unsafe.c 17269704 uf MAYBE MAYBE 5.27/2.01 MAYBE 19.24/7.88 MAYBE
AProVE_memory_unsafe/svcomp_diff_usafe.c 17269755 uf MAYBE MAYBE 10.89/3.89 MAYBE 19.89/8.18 MAYBE
AProVE_memory_unsafe/svcomp_insertionsort_unsafe.c 17269713 uf MAYBE MAYBE 6.43/2.36 MAYBE 19.27/8.63 MAYBE
AProVE_memory_unsafe/svcomp_insertion_sort_unsafe.c 17269735 uf MAYBE MAYBE 6.54/2.35 MAYBE 20.25/7.99 MAYBE
AProVE_memory_unsafe/svcomp_java_BubbleSort_unsafe.c 17269741 uf MAYBE MAYBE 6.58/2.45 MAYBE 19.56/9.06 MAYBE
AProVE_memory_unsafe/svcomp_knapsack_alloca_unsafe.c 17269717 uf MAYBE MAYBE 22.19/8.46 MAYBE 23.27/9.05 MAYBE
AProVE_memory_unsafe/svcomp_knapsack_unsafe.c 17269743 uf MAYBE MAYBE 10.73/3.84 MAYBE 20.14/8.64 MAYBE
AProVE_memory_unsafe/svcomp_lis_unsafe.c 17269753 uf MAYBE MAYBE 6.82/2.52 MAYBE 20.59/10.69 MAYBE
AProVE_memory_unsafe/svcomp_mult_array_unsafe.c 17269739 uf MAYBE MAYBE 7.84/2.86 MAYBE 28.42/14.50 MAYBE
AProVE_memory_unsafe/svcomp_reverse_array_alloca_unsafe.c 17269733 uf MAYBE MAYBE 14.37/4.90 MAYBE 33.70/12.21 MAYBE
AProVE_memory_unsafe/svcomp_reverse_array_unsafe.c 17269731 uf MAYBE MAYBE 9.16/3.25 MAYBE 23.52/9.27 MAYBE
AProVE_memory_unsafe/svcomp_selectionsort_unsafe.c 17269709 uf MAYBE MAYBE 6.97/2.58 MAYBE 19.82/8.01 MAYBE
AProVE_memory_unsafe/svcomp_selection_sort_unsafe.c 17269707 uf MAYBE MAYBE 6.70/2.46 MAYBE 21.20/8.20 MAYBE
AProVE_memory_unsafe/svcomp_stroeder1_unsafe.c 17269749 uf MAYBE MAYBE 6.42/2.33 MAYBE 19.96/7.94 MAYBE
AProVE_memory_unsafe/svcomp_stroeder2_unsafe.c 17269705 uf MAYBE MAYBE 6.44/2.71 MAYBE 20.67/8.04 MAYBE
AProVE_memory_alloca/svcomp_a.01-alloca.c 17269832 if YES YES 38.08/12.66 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_a.04-alloca.c 17269970 f YES YES 19.99/6.45 YES 39.49/16.06 YES
AProVE_memory_alloca/svcomp_a.05-alloca.c 17269887 f YES YES 21.86/7.32 YES 39.25/15.34 YES
AProVE_memory_alloca/svcomp_a.06-alloca.c 17269867 f YES YES 37.29/12.16 YES 63.60/29.26 YES
AProVE_memory_alloca/svcomp_a.07-alloca.c 17269790 f YES YES 33.33/13.46 YES 68.17/35.29 YES
AProVE_memory_alloca/svcomp_a.08-alloca.c 17269788 f YES YES 22.65/7.44 YES 42.71/17.15 YES
AProVE_memory_alloca/svcomp_a.09_assume-alloca.c 17269919 f YES YES 16.82/5.39 YES 42.27/16.10 YES
AProVE_memory_alloca/svcomp_a.10-alloca.c 17269770 if YES timeout (wallclock) YES 142.86/95.44 YES
AProVE_memory_alloca/svcomp_add_last_alloca.c 17269865 uf MAYBE MAYBE 10.52/3.70 MAYBE 24.47/9.90 MAYBE
AProVE_memory_alloca/svcomp_array01_alloca.c 17269976 if YES YES 86.58/38.78 MAYBE 22.33/9.15 YES
AProVE_memory_alloca/svcomp_array02_alloca.c 17269794 if YES YES 260.21/158.99 MAYBE 25.10/9.58 YES
AProVE_memory_alloca/svcomp_array03_alloca.c 17269863 if YES YES 236.26/125.97 MAYBE 24.79/9.54 YES
AProVE_memory_alloca/svcomp_Avery-2006FLOPS-Tabel1_true-alloca.c 17269802 f YES YES 45.18/18.91 YES 62.37/26.62 YES
AProVE_memory_alloca/svcomp_aviad_true-alloca.c 17270007 if YES YES 71.79/25.14 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_b.01-alloca.c 17269911 f YES YES 20.86/6.86 YES 40.38/16.11 YES
AProVE_memory_alloca/svcomp_b.02-alloca.c 17269830 f YES YES 23.97/7.90 YES 46.39/17.97 YES
AProVE_memory_alloca/svcomp_b.03-no-inv_assume-alloca.c 17269845 f YES YES 16.48/5.29 YES 34.93/13.07 YES
AProVE_memory_alloca/svcomp_b.03_assume-alloca.c 17269929 f YES YES 16.17/5.22 YES 34.77/13.43 YES
AProVE_memory_alloca/svcomp_b.04-alloca.c 17269792 f YES YES 8.05/2.88 YES 54.98/26.40 YES
AProVE_memory_alloca/svcomp_b.05-alloca.c 17269869 f YES YES 15.80/5.13 YES 33.97/13.09 YES
AProVE_memory_alloca/svcomp_b.06-alloca.c 17269885 f YES YES 28.54/9.27 YES 60.89/36.77 YES
AProVE_memory_alloca/svcomp_b.07-alloca.c 17269968 f YES YES 32.08/12.42 YES 59.06/24.76 YES
AProVE_memory_alloca/svcomp_b.09-no-inv_assume-alloca.c 17269835 f YES YES 34.48/12.81 YES 128.02/69.95 YES
AProVE_memory_alloca/svcomp_b.09_assume-alloca.c 17269782 f YES YES 36.18/12.81 YES 80.22/34.76 YES
AProVE_memory_alloca/svcomp_b.10-alloca.c 17270009 f YES YES 47.57/16.62 YES 82.89/44.35 YES
AProVE_memory_alloca/svcomp_b.11-alloca.c 17269913 if YES timeout (wallclock) YES 124.88/78.70 YES
AProVE_memory_alloca/svcomp_b.12-alloca.c 17269839 f YES YES 36.61/12.07 YES 78.67/40.55 YES
AProVE_memory_alloca/svcomp_b.13-alloca.c 17269772 f YES YES 46.93/19.02 YES 114.17/57.10 YES
AProVE_memory_alloca/svcomp_b.14-alloca.c 17269784 f YES YES 22.53/7.55 YES 83.29/46.94 YES
AProVE_memory_alloca/svcomp_b.15-alloca.c 17269855 f YES YES 27.73/9.14 YES 89.93/47.86 YES
AProVE_memory_alloca/svcomp_b.16-alloca.c 17269875 f YES YES 38.48/12.73 YES 57.16/25.98 YES
AProVE_memory_alloca/svcomp_b.17-alloca.c 17269954 if YES YES 47.83/20.09 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_b.18-alloca.c 17269956 f YES YES 16.77/5.44 YES 50.25/20.38 YES
AProVE_memory_alloca/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-alloca.c 17269915 f YES YES 24.92/7.73 YES 61.70/27.02 YES
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c 17269945 if NO MAYBE 65.95/22.88 NO 36.51/13.76 NO
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-alloca.c 17269966 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-alloca.c 17269834 if NO MAYBE 65.02/18.66 NO 27.96/10.72 NO
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-alloca.c 17269899 f YES YES 32.33/9.92 YES 326.95/263.33 YES
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-alloca.c 17269879 f YES YES 14.44/4.92 YES 33.66/13.12 YES
AProVE_memory_alloca/svcomp_bubblesort_alloca.c 17269905 if YES MAYBE 160.90/120.11 MAYBE 25.02/9.40 YES
AProVE_memory_alloca/svcomp_c.01-no-inv-alloca.c 17269796 if YES YES 41.83/13.34 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_c.01_assume-alloca.c 17269774 f YES YES 29.49/9.18 YES 39.97/18.22 YES
AProVE_memory_alloca/svcomp_c.02-alloca.c 17269883 if YES YES 49.74/17.91 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_c.03-alloca.c 17269972 f YES YES 49.85/22.10 YES 108.89/63.52 YES
AProVE_memory_alloca/svcomp_c.07-alloca.c 17269758 f YES YES 45.22/22.28 YES 300.04/239.54 YES
AProVE_memory_alloca/svcomp_c.08-alloca.c 17269760 f YES YES 40.98/14.43 YES 307.56/256.14 YES
AProVE_memory_alloca/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-alloca.c 17269768 f YES YES 16.14/5.13 YES 68.24/36.12 YES
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-alloca.c 17269786 f YES YES 25.46/7.45 YES 44.39/20.34 YES
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-alloca.c 17269806 f YES YES 31.52/9.52 YES 75.90/37.84 YES
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-alloca.c 17269935 if YES YES 121.54/34.59 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_count_down_alloca.c 17269889 if YES YES 175.68/94.74 MAYBE 22.60/8.85 YES
AProVE_memory_alloca/svcomp_cstrcat_alloca.c 17269871 uf MAYBE MAYBE 15.12/5.17 MAYBE 26.24/9.99 MAYBE
AProVE_memory_alloca/svcomp_cstrchr_true_alloca.c 17269808 if YES YES 18.81/6.09 MAYBE 23.01/9.01 YES
AProVE_memory_alloca/svcomp_cstrcmp_true_alloca.c 17269857 if YES YES 32.55/10.86 MAYBE 25.27/9.62 YES
AProVE_memory_alloca/svcomp_cstrcpy_alloca.c 17269826 if YES YES 144.63/116.55 MAYBE 24.29/11.97 YES
AProVE_memory_alloca/svcomp_cstrcspn_true_alloca.c 17269828 if YES YES 123.91/49.93 MAYBE 23.94/10.00 YES
AProVE_memory_alloca/svcomp_cstrlen_true_alloca.c 17269986 if YES YES 17.13/5.59 MAYBE 21.98/8.76 YES
AProVE_memory_alloca/svcomp_cstrncat_alloca.c 17269798 uf MAYBE MAYBE 14.46/4.97 MAYBE 24.96/9.53 MAYBE
AProVE_memory_alloca/svcomp_cstrncmp_true_alloca.c 17269778 if YES YES 48.61/17.84 MAYBE 25.55/9.75 YES
AProVE_memory_alloca/svcomp_cstrncpy_alloca.c 17269764 if YES YES 87.59/48.50 MAYBE 24.29/9.88 YES
AProVE_memory_alloca/svcomp_cstrpbrk_true_alloca.c 17269909 if YES YES 82.92/36.24 MAYBE 25.77/12.06 YES
AProVE_memory_alloca/svcomp_cstrspn_true_alloca.c 17269979 if YES YES 90.21/37.07 MAYBE 22.47/9.19 YES
AProVE_memory_alloca/svcomp_diff_alloca.c 17269853 if YES MAYBE 102.55/59.13 MAYBE 26.20/13.72 YES
AProVE_memory_alloca/svcomp_easySum-alloca.c 17269996 f YES YES 95.74/67.83 YES 43.07/17.38 YES
AProVE_memory_alloca/svcomp_ex1-alloca.c 17269873 f YES YES 16.58/5.40 YES 40.27/15.97 YES
AProVE_memory_alloca/svcomp_ex2-alloca.c 17269859 uf MAYBE timeout (wallclock) MAYBE 138.34/98.21 MAYBE
AProVE_memory_alloca/svcomp_ex3a-alloca.c 17269766 if YES YES 18.89/6.08 MAYBE 63.00/36.63 YES
AProVE_memory_alloca/svcomp_ex3b-alloca.c 17270003 if YES YES 24.49/8.17 MAYBE 79.10/47.43 YES
AProVE_memory_alloca/svcomp_fermat-alloca.c 17270001 if YES YES 155.17/64.82 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_flag-alloca.c 17269907 f YES YES 28.74/9.39 YES 61.93/27.08 YES
AProVE_memory_alloca/svcomp_gcd1_true-alloca.c 17269939 f YES YES 106.59/36.05 YES 62.40/27.93 YES
AProVE_memory_alloca/svcomp_genady_true-alloca.c 17269917 f YES YES 36.67/15.02 YES 35.43/13.78 YES
AProVE_memory_alloca/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-alloca.c 17269820 f YES YES 21.75/6.93 YES 279.63/210.97 YES
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-alloca.c 17269903 if YES YES 12.71/4.40 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-alloca.c 17269901 f NO NO 180.92/73.84 NO 50.91/18.22 NO
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-alloca.c 17269952 f YES YES 22.76/6.77 YES 26.75/10.80 YES
AProVE_memory_alloca/svcomp_insertionsort_alloca.c 17269814 if YES YES 153.38/105.01 MAYBE 23.88/14.55 YES
AProVE_memory_alloca/svcomp_java_AG313-alloca.c 17269822 f YES YES 37.58/11.49 YES 43.15/16.85 YES
AProVE_memory_alloca/svcomp_java_Break-alloca.c 17269837 f YES YES 13.77/4.63 YES 34.27/15.54 YES
AProVE_memory_alloca/svcomp_java_BubbleSort_alloca.c 17269992 if YES MAYBE 175.28/131.88 MAYBE 22.01/8.64 YES
AProVE_memory_alloca/svcomp_java_Continue1-alloca.c 17270010 f YES YES 20.87/6.75 YES 105.24/67.53 YES
AProVE_memory_alloca/svcomp_java_LogBuiltIn-alloca.c 17269877 f YES YES 15.42/5.28 YES 34.66/15.49 YES
AProVE_memory_alloca/svcomp_java_Nested-alloca.c 17269891 if YES YES 40.65/15.08 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_java_Sequence-alloca.c 17269893 if YES YES 20.87/6.82 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-alloca.c 17269762 if YES timeout (wallclock) YES 59.09/27.47 YES
AProVE_memory_alloca/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-alloca.c 17269947 if YES YES 73.91/25.94 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_lis_alloca.c 17269964 if YES MAYBE 135.06/89.96 MAYBE 28.06/10.24 YES
AProVE_memory_alloca/svcomp_Masse_true-alloca.c 17269804 uf MAYBE timeout (wallclock) MAYBE 41.56/20.77 MAYBE
AProVE_memory_alloca/svcomp_min_rf_true-alloca.c 17269982 if YES YES 142.59/67.67 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_mult_array_alloca.c 17269990 if YES MAYBE 9.36/3.35 MAYBE 28.43/12.50 YES
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig7_true-alloca.c 17269962 f YES YES 72.04/39.28 YES 92.85/46.94 YES
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig8_true-alloca.c 17269984 f YES YES 62.80/29.85 YES 141.77/91.05 YES
AProVE_memory_alloca/svcomp_openbsd_cbzero_alloca.c 17269937 if YES YES 24.99/8.14 MAYBE 22.89/13.91 YES
AProVE_memory_alloca/svcomp_openbsd_cmemchr_alloca.c 17269881 f YES YES 35.18/11.48 YES 45.29/18.02 YES
AProVE_memory_alloca/svcomp_openbsd_cmemrchr_alloca.c 17269931 uf MAYBE MAYBE 27.57/9.28 MAYBE 28.03/10.79 MAYBE
AProVE_memory_alloca/svcomp_openbsd_cmemset_alloca.c 17269861 f YES YES 29.62/9.57 YES 62.37/29.26 YES
AProVE_memory_alloca/svcomp_openbsd_cstpcpy_alloca.c 17269958 if YES YES 148.65/115.58 MAYBE 24.47/9.61 YES
AProVE_memory_alloca/svcomp_openbsd_cstpncpy_alloca.c 17269841 if YES YES 106.60/62.77 MAYBE 26.07/11.32 YES
AProVE_memory_alloca/svcomp_openbsd_cstrcat_alloca.c 17269941 uf MAYBE MAYBE 14.55/5.05 MAYBE 26.43/9.84 MAYBE
AProVE_memory_alloca/svcomp_openbsd_cstrcmp_alloca.c 17269851 if YES YES 35.99/11.84 MAYBE 25.31/10.26 YES
AProVE_memory_alloca/svcomp_openbsd_cstrcpy_alloca.c 17269995 if YES YES 140.80/112.12 MAYBE 23.92/10.15 YES
AProVE_memory_alloca/svcomp_openbsd_cstrcspn_alloca.c 17269999 uf MAYBE timeout (wallclock) MAYBE 24.25/9.25 MAYBE
AProVE_memory_alloca/svcomp_openbsd_cstrlcpy_alloca.c 17269847 if YES YES 66.52/28.07 MAYBE 24.91/9.77 YES
AProVE_memory_alloca/svcomp_openbsd_cstrlen_alloca.c 17269925 if YES YES 15.61/5.21 MAYBE 23.48/8.83 YES
AProVE_memory_alloca/svcomp_openbsd_cstrncat_alloca.c 17269849 uf MAYBE MAYBE 14.94/5.52 MAYBE 22.58/11.28 MAYBE
AProVE_memory_alloca/svcomp_openbsd_cstrncmp_alloca.c 17269943 if YES YES 45.87/16.78 MAYBE 23.74/10.03 YES
AProVE_memory_alloca/svcomp_openbsd_cstrncpy_alloca.c 17269818 if YES YES 74.66/38.98 MAYBE 24.22/14.12 YES
AProVE_memory_alloca/svcomp_openbsd_cstrnlen_alloca.c 17269757 if YES YES 25.16/8.22 MAYBE 17.28/6.95 YES
AProVE_memory_alloca/svcomp_openbsd_cstrpbrk_alloca.c 17269824 if YES YES 62.87/25.87 MAYBE 25.75/10.30 YES
AProVE_memory_alloca/svcomp_openbsd_cstrspn_alloca.c 17269843 if YES YES 736.30/249.93 MAYBE 23.59/12.02 YES
AProVE_memory_alloca/svcomp_openbsd_cstrstr_alloca.c 17269988 if YES YES 299.95/130.17 MAYBE 26.85/9.94 YES
AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c 17269812 if NO NO 6.74/2.49 MAYBE 77.05/54.23 NO
AProVE_memory_alloca/svcomp_selectionsort_alloca.c 17269780 if YES MAYBE 298.84/241.47 MAYBE 23.32/9.10 YES
AProVE_memory_alloca/svcomp_stroeder1_alloca.c 17269810 if YES YES 38.38/13.45 MAYBE 19.87/7.93 YES
AProVE_memory_alloca/svcomp_stroeder2_alloca.c 17269921 if YES YES 99.98/43.15 MAYBE 24.04/9.46 YES
AProVE_memory_alloca/svcomp_strreplace_alloca.c 17270004 if YES YES 61.02/21.22 MAYBE 23.73/9.03 YES
AProVE_memory_alloca/svcomp_subseq_alloca.c 17269897 if YES YES 59.46/23.28 MAYBE 25.11/9.70 YES
AProVE_memory_alloca/svcomp_substring_alloca.c 17269776 if YES YES 84.53/37.24 MAYBE 20.83/8.57 YES
AProVE_memory_alloca/svcomp_TelAviv-Amir-Minimum_true-alloca.c 17269933 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
AProVE_memory_alloca/svcomp_Toulouse-BranchesToLoop_true-alloca.c 17269927 f YES YES 18.50/5.89 YES 61.67/31.32 YES
AProVE_memory_alloca/svcomp_Toulouse-MultiBranchesToLoop_true-alloca.c 17269960 f YES YES 19.71/6.25 YES 139.58/78.76 YES
AProVE_memory_alloca/svcomp_twisted-alloca.c 17269923 f YES YES 10.41/3.70 YES 84.90/41.01 YES
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-alloca.c 17269895 f NO NO 6.99/2.48 NO 22.37/9.07 NO
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2-modified1000_true-alloca.c 17269816 if YES YES 17.98/6.57 timeout (wallclock) YES
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2_true-alloca.c 17269974 f YES YES 17.32/5.33 YES 62.75/31.41 YES
AProVE_memory_alloca/svcomp_Urban_true-alloca.c 17269950 f YES YES 110.46/31.75 YES 66.70/33.88 YES
AProVE_memory_alloca/svcomp_Velroyen_false-unreach-label-termination-alloca.c 17269800 f NO NO 10.42/3.57 NO 33.89/13.26 NO
SV-COMP_Termination_Category/aaron2_true-termination.c 17270159 f YES YES 44.24/12.92 YES 21.16/12.64 YES
SV-COMP_Termination_Category/aaron3_true-termination.c 17270041 if YES timeout (wallclock) YES 24.94/10.93 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 17270043 if YES MAYBE 16.68/5.64 YES 32.42/19.12 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 17270098 f YES YES 88.90/36.27 YES 28.22/12.18 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 17270084 f YES YES 20.54/6.27 YES 22.56/12.14 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 17270051 if YES MAYBE 17.92/6.56 YES 31.59/14.04 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 17270153 f YES YES 145.33/58.50 YES 29.80/13.31 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 17270082 if YES timeout (wallclock) YES 48.74/23.15 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 17270177 f YES YES 10.21/3.92 YES 19.98/8.53 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 17270086 f YES YES 62.57/23.94 YES 39.39/23.91 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 17270129 f YES YES 31.53/9.46 YES 21.25/8.87 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 17270056 if YES timeout (wallclock) YES 28.18/19.16 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 17270022 f YES YES 16.39/5.36 YES 25.10/14.06 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 17270203 f YES YES 25.72/8.00 YES 24.51/10.56 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 17270155 f YES YES 18.93/5.87 YES 22.38/9.29 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 17270040 f YES YES 13.65/4.52 YES 25.68/15.76 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 17270140 f YES YES 21.88/6.56 YES 24.59/10.48 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 17270045 f YES YES 16.60/6.05 YES 22.52/9.52 YES
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 17270125 if YES timeout (wallclock) YES 25.79/10.72 YES
SV-COMP_Termination_Category/Avery-FLOPS2006-Table1_true-termination.c 17270120 f YES YES 25.55/8.23 YES 23.30/10.10 YES
SV-COMP_Termination_Category/aviad_true-termination.c 17270038 f YES YES 49.67/14.41 YES 23.56/9.34 YES
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 17270100 if NO MAYBE 55.76/15.58 NO 20.66/8.23 NO
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 17270104 f YES YES 68.06/18.61 YES 27.28/12.82 YES
SV-COMP_Termination_Category/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 17270161 if YES timeout (wallclock) YES 41.26/25.21 YES
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 17270106 uf MAYBE timeout (wallclock) MAYBE 36.45/21.58 MAYBE
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 17270142 f YES YES 52.53/14.89 YES 27.19/12.29 YES
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 17270183 f YES YES 86.72/27.43 YES 57.21/32.43 YES
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 17270123 if YES timeout (wallclock) YES 21.79/9.71 YES
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 17270148 f YES YES 30.22/9.20 YES 21.59/8.98 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 17270047 f YES YES 11.07/3.59 YES 22.16/9.83 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 17270186 f YES YES 5.54/2.04 YES 21.14/8.99 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 17270207 f YES YES 9.60/3.16 YES 22.98/14.39 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 17270032 f YES YES 8.73/2.99 YES 19.80/8.69 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 17270064 f YES YES 16.06/4.95 YES 21.17/8.93 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 17270090 f NO NO 33.31/9.44 NO 21.09/8.69 NO
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c 17270094 f NO NO 24.48/9.15 NO 20.01/8.21 NO
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 17270112 f YES YES 10.45/3.46 YES 23.86/15.32 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 17270036 f YES YES 17.18/5.21 YES 21.13/8.96 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 17270020 f YES YES 11.03/3.67 YES 21.18/8.70 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 17270136 f YES YES 17.38/5.30 YES 20.75/8.73 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 17270146 f YES YES 9.39/3.22 YES 21.36/8.76 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 17270171 f NO NO 16.10/4.96 NO 21.33/8.70 NO
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 17270072 f YES YES 10.63/3.59 YES 21.89/9.00 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 17270034 f YES YES 10.13/3.39 YES 22.10/9.08 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 17270027 f YES YES 9.67/3.23 YES 21.22/9.29 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 17270062 f YES YES 19.16/5.91 YES 21.83/12.57 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 17270096 f YES YES 20.56/6.45 YES 21.53/9.21 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 17270119 f YES YES 20.44/6.47 YES 21.55/8.99 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 17270078 f YES YES 16.79/5.28 YES 20.71/8.93 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 17270108 f YES YES 11.37/3.75 YES 22.89/10.46 YES
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 17270070 f YES YES 21.27/6.61 YES 24.58/11.19 YES
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 17270068 f YES YES 28.28/8.31 YES 24.90/16.83 YES
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 17270175 f YES YES 32.03/11.23 YES 28.47/15.43 YES
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 17270092 f YES YES 121.77/33.45 YES 27.51/11.49 YES
SV-COMP_Termination_Category/gcd1_true-termination.c 17270169 f YES YES 85.62/24.30 YES 24.62/15.04 YES
SV-COMP_Termination_Category/genady_true-termination.c 17270163 f YES YES 17.36/5.71 YES 22.41/11.33 YES
SV-COMP_Termination_Category/GopanReps-CAV2006-Fig1a_true-termination.c.c 17270138 f YES YES 14.86/4.68 YES 23.31/10.21 YES
SV-COMP_Termination_Category/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 17270205 if YES timeout (wallclock) YES 29.07/12.32 YES
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c 17270110 f YES YES 95.44/36.88 YES 68.50/45.88 YES
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c 17270026 f NO NO 151.35/52.81 NO 21.14/10.13 NO
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c 17270173 f YES YES 18.76/5.58 YES 21.47/8.69 YES
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c 17270114 if YES YES 18.43/5.65 MAYBE 31.73/13.69 YES
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c 17270145 if YES YES 9.35/3.15 MAYBE 32.67/14.48 YES
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 17270030 f YES YES 16.36/6.65 YES 22.29/8.95 YES
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c 17270213 if YES YES 21.78/7.15 MAYBE 21.46/8.38 YES
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 17270060 f YES YES 14.24/4.51 YES 20.62/9.19 YES
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 17270131 f YES YES 19.15/5.73 YES 29.05/13.80 YES
SV-COMP_Termination_Category/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c 17270211 f NO NO 438.72/112.38 NO 26.74/10.57 NO
SV-COMP_Termination_Category/joey_false-termination.c 17270199 if NO timeout (wallclock) NO 51.32/28.64 NO
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 17270208 f YES YES 23.08/6.85 YES 20.96/11.38 YES
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c 17270024 if YES timeout (wallclock) YES 40.71/20.19 YES
SV-COMP_Termination_Category/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 17270151 f YES YES 62.01/20.32 YES 32.55/14.51 YES
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c 17270201 f YES YES 23.38/7.54 YES 27.97/17.03 YES
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c 17270053 f YES YES 22.00/7.29 YES 29.55/14.10 YES
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c 17270132 if YES YES 37.99/13.43 timeout (wallclock) YES
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c 17270102 f YES YES 26.19/8.28 YES 59.52/35.84 YES
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c 17270088 f YES YES 21.44/6.44 YES 65.87/42.10 YES
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c 17270157 f YES YES 27.97/8.96 YES 29.34/15.27 YES
SV-COMP_Termination_Category/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 17270116 f YES YES 14.69/4.63 YES 21.70/9.29 YES
SV-COMP_Termination_Category/LeikeHeizmann-WST2014-Ex9_true-termination.c 17270195 f YES YES 7.81/3.14 YES 21.00/9.76 YES
SV-COMP_Termination_Category/LICENSE.txt 17270193 uf MAYBE MAYBE 0.48/0.32 MAYBE 11.35/4.48 MAYBE
SV-COMP_Termination_Category/Masse-VMCAI2014-Fig1b_true-termination.c 17270190 uf MAYBE timeout (wallclock) MAYBE 31.01/14.11 MAYBE
SV-COMP_Termination_Category/min_rf_true-termination.c 17270080 f YES YES 124.42/58.92 YES 68.66/48.58 YES
SV-COMP_Termination_Category/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c 17270076 f YES YES 58.00/16.89 YES 74.13/51.77 YES
SV-COMP_Termination_Category/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 17270049 f YES YES 30.19/10.64 YES 24.74/11.15 YES
SV-COMP_Termination_Category/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 17270134 f YES YES 34.26/10.36 YES 36.45/21.43 YES
SV-COMP_Termination_Category/README.txt 17270179 uf MAYBE MAYBE 0.47/0.30 MAYBE 11.20/4.13 MAYBE
SV-COMP_Termination_Category/svcomp_cstrcmp_true-termination.c 17270127 if YES YES 15.32/5.66 MAYBE 23.46/9.43 YES
SV-COMP_Termination_Category/svcomp_cstrcspn_true-termination.c 17270058 if YES YES 62.56/18.48 MAYBE 24.77/9.50 YES
SV-COMP_Termination_Category/svcomp_cstrlen_true-termination.c 17270074 if YES YES 9.88/3.31 MAYBE 23.60/12.02 YES
SV-COMP_Termination_Category/svcomp_cstrncmp_true-termination.c 17270066 if YES YES 18.47/5.99 MAYBE 23.47/9.32 YES
SV-COMP_Termination_Category/svcomp_cstrpbrk_true-termination.c 17270165 if YES YES 41.45/12.55 MAYBE 24.30/10.16 YES
SV-COMP_Termination_Category/svcomp_cstrspn_true-termination.c 17270197 if YES YES 53.64/28.84 MAYBE 21.15/13.69 YES
SV-COMP_Termination_Category/svcomp_strchr_true-termination.c 17270167 if YES YES 10.83/3.61 MAYBE 22.44/8.90 YES
SV-COMP_Termination_Category/TelAviv-Amir-Minimum_true-termination.c 17270188 if YES timeout (wallclock) YES 47.91/25.06 YES
SV-COMP_Termination_Category/Toulouse-BranchesToLoop_true-termination.c 17270185 f YES YES 16.99/5.31 YES 26.39/13.64 YES
SV-COMP_Termination_Category/Toulouse-MultiBranchesToLoop_true-termination.c 17270017 f YES YES 15.33/4.91 YES 29.53/15.24 YES
SV-COMP_Termination_Category/UrbanMine-ESOP2014-Fig3_true-termination.c 17270181 f YES YES 84.37/23.78 YES 28.59/13.16 YES
Di_Stefano_20/boids_true-termination.c 17270228 uf MAYBE MAYBE 17.57/8.54 MAYBE 17.62/8.24 MAYBE
Di_Stefano_20/flock-noarray_true-termination.c 17270230 uf MAYBE timeout (wallclock) timeout (wallclock) MAYBE
Di_Stefano_20/flock_true-termination.c 17270232 uf MAYBE MAYBE 15.02/6.10 timeout (wallclock) MAYBE
Di_Stefano_20/formation-noarray_true-termination.c 17270223 uf MAYBE MAYBE 559.01/234.70 timeout (wallclock) MAYBE
Di_Stefano_20/formation_true-termination.c 17270221 uf MAYBE MAYBE 62.45/33.96 timeout (wallclock) MAYBE
Di_Stefano_20/majority-noarray_true-termination.c 17270225 if YES MAYBE 43.82/16.07 YES 179.78/123.21 YES
Di_Stefano_20/majority_true-termination.c 17270219 uf MAYBE MAYBE 49.53/23.63 timeout (wallclock) MAYBE
AProVE_numeric/Avg_true.c 17270364 f YES YES 34.36/10.78 YES 36.97/16.65 YES
AProVE_numeric/Binomial_true.c 17270334 if YES MAYBE 17.49/6.39 timeout (wallclock) YES
AProVE_numeric/Et1_true.c 17270282 f YES YES 29.17/9.08 YES 24.82/10.05 YES
AProVE_numeric/Et2_true.c 17270345 f YES YES 25.18/7.54 YES 43.07/24.68 YES
AProVE_numeric/Et3_true.c 17270265 f YES YES 27.99/8.45 YES 25.22/11.11 YES
AProVE_numeric/Et4_true.c 17270331 f YES YES 62.57/21.53 YES 29.26/11.62 YES
AProVE_numeric/ex2.c 17270238 f YES YES 14.18/4.63 YES 26.94/13.26 YES
AProVE_numeric/ex3.c 17270284 if YES YES 20.64/6.42 timeout (wallclock) YES
AProVE_numeric/LeUserDefRec_true.c 17270333 f YES YES 16.34/5.36 YES 22.99/9.18 YES
AProVE_numeric/LogRecursive_true.c 17270258 uf MAYBE timeout (wallclock) MAYBE 45.11/26.88 MAYBE
AProVE_numeric/Parts_true.c 17270311 uf MAYBE MAYBE 124.77/53.37 timeout (wallclock) MAYBE
AProVE_numeric/rec_counter1.c 17270302 f YES YES 23.37/7.28 YES 25.73/11.15 YES
AProVE_numeric/rec_counter3.c 17270270 f YES YES 22.95/7.16 YES 26.17/12.07 YES
AProVE_numeric/rec_strlen.c 17270341 if YES YES 22.90/7.49 MAYBE 22.25/8.75 YES
AProVE_numeric/svcomp_a.01.c 17270312 f YES YES 23.06/7.17 YES 22.93/9.72 YES
AProVE_numeric/svcomp_a.04.c 17270338 f YES YES 12.23/4.09 YES 20.65/9.16 YES
AProVE_numeric/svcomp_a.05.c 17270316 f YES YES 12.74/4.30 YES 21.57/9.52 YES
AProVE_numeric/svcomp_a.06.c 17270353 f YES YES 16.63/5.47 YES 23.22/10.62 YES
AProVE_numeric/svcomp_a.07.c 17270376 f YES YES 16.26/5.31 YES 21.44/9.05 YES
AProVE_numeric/svcomp_a.08.c 17270267 f YES YES 14.36/4.77 YES 22.01/13.08 YES
AProVE_numeric/svcomp_a.09_assume.c 17270362 f YES YES 11.40/3.73 YES 21.73/8.86 YES
AProVE_numeric/svcomp_a.10.c 17270300 if YES timeout (wallclock) YES 25.76/12.59 YES
AProVE_numeric/svcomp_Ackermann01_true-unreach-call_modified_modified.c 17270240 if YES YES 49.04/20.84 timeout (wallclock) YES
AProVE_numeric/svcomp_Addition01_true-unreach-call_true-termination_modified.c 17270246 f YES YES 16.06/5.21 YES 34.91/19.84 YES
AProVE_numeric/svcomp_b.01.c 17270358 f YES YES 13.12/4.40 YES 20.75/8.85 YES
AProVE_numeric/svcomp_b.02.c 17270322 f YES YES 14.87/4.89 YES 21.05/8.97 YES
AProVE_numeric/svcomp_b.03-no-inv_assume.c 17270343 f YES YES 12.22/3.94 YES 21.49/13.42 YES
AProVE_numeric/svcomp_b.03_assume.c 17270326 f YES YES 11.57/3.82 YES 21.97/8.82 YES
AProVE_numeric/svcomp_b.04.c 17270257 f YES YES 5.66/2.12 YES 23.81/11.59 YES
AProVE_numeric/svcomp_b.05.c 17270274 if YES timeout (wallclock) YES 20.21/8.67 YES
AProVE_numeric/svcomp_b.06.c 17270308 f YES YES 15.03/4.94 YES 20.76/8.68 YES
AProVE_numeric/svcomp_b.07.c 17270295 f YES YES 16.43/5.42 YES 22.07/9.22 YES
AProVE_numeric/svcomp_b.09-no-inv_assume.c 17270306 f YES YES 20.03/6.38 YES 25.46/11.25 YES
AProVE_numeric/svcomp_b.09_assume.c 17270272 f YES YES 21.15/7.57 YES 26.04/14.86 YES
AProVE_numeric/svcomp_b.10.c 17270372 f YES YES 26.54/8.40 YES 23.79/9.65 YES
AProVE_numeric/svcomp_b.11.c 17270355 if YES timeout (wallclock) YES 25.86/13.34 YES
AProVE_numeric/svcomp_b.12.c 17270318 f YES YES 21.09/6.56 YES 23.75/10.40 YES
AProVE_numeric/svcomp_b.13.c 17270337 f YES YES 22.33/6.98 YES 23.48/14.81 YES
AProVE_numeric/svcomp_b.14.c 17270242 f YES YES 12.45/4.18 YES 22.23/8.93 YES
AProVE_numeric/svcomp_b.15.c 17270280 f YES YES 14.19/4.75 YES 25.89/14.75 YES
AProVE_numeric/svcomp_b.16.c 17270314 f YES YES 20.98/7.55 YES 22.11/16.07 YES
AProVE_numeric/svcomp_b.17.c 17270288 f YES YES 24.04/7.53 YES 23.14/9.83 YES
AProVE_numeric/svcomp_b.18.c 17270324 f YES YES 13.39/4.22 YES 23.56/9.98 YES
AProVE_numeric/svcomp_c.01-no-inv.c 17270299 f YES YES 26.05/9.42 YES 23.21/10.15 YES
AProVE_numeric/svcomp_c.01_assume.c 17270360 f YES YES 21.19/6.52 YES 21.65/9.27 YES
AProVE_numeric/svcomp_c.02.c 17270374 f YES YES 25.34/7.92 YES 23.36/9.88 YES
AProVE_numeric/svcomp_c.03.c 17270351 f YES YES 25.13/7.80 YES 26.86/15.91 YES
AProVE_numeric/svcomp_c.07.c 17270278 f YES YES 18.15/5.97 YES 28.27/16.55 YES
AProVE_numeric/svcomp_c.08.c 17270366 f YES YES 25.29/7.90 YES 22.46/10.60 YES
AProVE_numeric/svcomp_easySum.c 17270248 f YES YES 23.50/7.77 YES 20.98/8.96 YES
AProVE_numeric/svcomp_EvenOdd01_true-unreach-call_true-termination_modified.c 17270244 f YES YES 18.11/5.89 YES 39.03/15.55 YES
AProVE_numeric/svcomp_ex1.c 17270297 f YES YES 10.39/3.57 YES 20.67/9.14 YES
AProVE_numeric/svcomp_ex2.c 17270254 uf MAYBE timeout (wallclock) MAYBE 39.82/20.01 MAYBE
AProVE_numeric/svcomp_ex3a.c 17270250 if YES YES 13.70/4.40 MAYBE 34.36/16.49 YES
AProVE_numeric/svcomp_ex3b.c 17270293 if YES YES 13.58/4.48 MAYBE 35.40/19.81 YES
AProVE_numeric/svcomp_fermat.c 17270378 f YES YES 110.74/37.12 YES 30.08/19.00 YES
AProVE_numeric/svcomp_Fibonacci01_true-unreach-call_modified.c 17270349 if YES YES 32.64/10.22 timeout (wallclock) YES
AProVE_numeric/svcomp_flag.c 17270329 f YES YES 14.88/4.91 YES 26.55/11.83 YES
AProVE_numeric/svcomp_gcd01_true-unreach-call_true-termination_modified.c 17270286 f YES YES 21.88/6.78 YES 33.80/13.74 YES
AProVE_numeric/svcomp_java_AG313.c 17270261 f YES YES 23.47/7.20 YES 23.29/9.73 YES
AProVE_numeric/svcomp_java_Break.c 17270276 f YES YES 9.33/3.22 YES 20.86/8.96 YES
AProVE_numeric/svcomp_java_Continue1.c 17270320 f YES YES 15.92/5.10 YES 22.84/9.09 YES
AProVE_numeric/svcomp_java_LogBuiltIn.c 17270263 f YES YES 11.10/3.74 YES 21.35/9.43 YES
AProVE_numeric/svcomp_java_Nested.c 17270356 f YES YES 26.76/8.41 YES 26.06/11.06 YES
AProVE_numeric/svcomp_java_Sequence.c 17270368 f YES YES 15.27/5.61 YES 21.92/9.95 YES
AProVE_numeric/svcomp_MultCommutative_true-unreach-call_true-termination_modified.c 17270252 f YES YES 30.72/9.18 YES 32.46/14.53 YES
AProVE_numeric/svcomp_recHanoi02_true-unreach-call_true-termination_modified.c 17270304 f YES YES 13.99/4.61 YES 26.01/11.46 YES
AProVE_numeric/svcomp_twisted.c 17270347 f YES YES 90.39/35.06 YES 23.72/10.10 YES
AProVE_numeric/TerminatorRec02_true.c 17270370 f YES YES 16.00/5.24 YES 21.46/14.12 YES
AProVE_numeric/TwoWay_true.c 17270290 f YES YES 19.51/6.51 YES 23.59/9.75 YES
Ultimate/4BitCounterPointer_true-termination.c 17270454 f YES YES 8.94/3.12 YES 183.85/128.62 YES
Ultimate/Arrays01-EquivalentConstantIndices_true-termination.c 17270404 f YES YES 7.42/3.02 YES 24.50/9.79 YES
Ultimate/Arrays02-EquivalentConstantIndices_false-termination.c 17270432 if NO MAYBE 11.97/4.08 NO 21.91/10.23 NO
Ultimate/Arrays03-ValueRestictsIndex_true-termination.c 17270426 if YES YES 12.81/4.14 MAYBE 45.47/22.92 YES
Ultimate/Bangalore_true-termination.c 17270438 f YES YES 10.46/3.49 YES 21.64/9.01 YES
Ultimate/Cairo_true-termination.c 17270450 f YES YES 8.99/3.03 YES 24.15/11.00 YES
Ultimate/Collatz_unknown-termination.c 17270444 uf MAYBE timeout (wallclock) MAYBE 38.92/18.85 MAYBE
Ultimate/Division_false-termination.c 17270416 f NO NO 13.42/4.36 NO 20.42/8.01 NO
Ultimate/Gothenburg_true-termination.c 17270424 f YES YES 27.54/8.77 YES 30.24/13.68 YES
Ultimate/LexIndexValue-Array_true-termination.c 17270446 uf MAYBE MAYBE 13.67/4.78 timeout (wallclock) MAYBE
Ultimate/LexIndexValue-Pointer_true-termination.c 17270419 uf MAYBE MAYBE 5.31/2.05 timeout (wallclock) MAYBE
Ultimate/LICENSE.txt 17270394 uf MAYBE MAYBE 0.49/0.30 MAYBE 11.16/4.21 MAYBE
Ultimate/Lobnya-Boolean-Reordered_true-termination.c 17270436 f YES YES 10.74/3.65 YES 24.79/15.05 YES
Ultimate/Madrid_false-termination.c 17270402 f NO NO 5.17/1.97 NO 19.72/8.14 NO
Ultimate/Mysore_true-termination.c 17270392 f YES YES 13.26/4.39 YES 21.22/8.73 YES
Ultimate/NonTermination2_false-termination.c 17270422 f NO NO 13.53/4.17 NO 20.51/8.58 NO
Ultimate/NonTermination3_false-termination.c 17270398 uf MAYBE MAYBE 6.07/2.22 MAYBE 22.41/8.73 MAYBE
Ultimate/NonTerminationSimple2_false-termination.c 17270388 f NO NO 6.29/2.30 NO 20.54/8.45 NO
Ultimate/NonTerminationSimple3_false-termination.c 17270428 f NO NO 12.41/4.04 NO 20.49/7.91 NO
Ultimate/NonTerminationSimple4_false-termination.c 17270431 f NO NO 8.62/2.96 NO 19.99/8.46 NO
Ultimate/NonTerminationSimple5_false-termination.c 17270386 f NO NO 24.40/7.06 NO 21.02/8.46 NO
Ultimate/NonTerminationSimple6_false-termination.c 17270406 f NO NO 6.39/2.35 NO 20.42/8.27 NO
Ultimate/NonTerminationSimple7_false-termination.c 17270456 f NO NO 6.17/2.28 NO 19.06/8.04 NO
Ultimate/NonTerminationSimple8_false-termination.c 17270410 if NO timeout (wallclock) NO 20.25/8.53 NO
Ultimate/NonTerminationSimple9_false-termination.c 17270448 f NO NO 11.30/3.83 NO 18.52/7.76 NO
Ultimate/Nyala-2lex_true-termination.c 17270452 f YES YES 25.08/7.25 YES 22.37/12.19 YES
Ultimate/Parallel_true-termination.c 17270396 f YES YES 16.32/5.08 YES 23.59/9.41 YES
Ultimate/Pure3Phase_true-termination.c 17270400 if YES timeout (wallclock) YES 32.21/13.32 YES
Ultimate/README.txt 17270434 uf MAYBE MAYBE 0.46/0.29 MAYBE 11.32/4.11 MAYBE
Ultimate/RecursiveMultiplication_true-termination.c 17270412 f YES YES 21.16/6.78 YES 29.70/16.19 YES
Ultimate/RecursiveNonterminating_false-termination.c 17270414 f NO NO 17.62/5.69 NO 20.42/8.17 NO
Ultimate/Rotation180_false-termination.c 17270390 f NO NO 6.82/2.49 NO 20.00/8.15 NO
Ultimate/Stockholm_true-termination.c 17270408 f YES YES 12.31/4.60 YES 21.67/9.36 YES
Ultimate/SyntaxSupportPointer01_true-termination.c 17270420 f YES YES 7.80/2.69 YES 27.78/11.15 YES
Ultimate/WhileFalse_true-termination.c 17270442 f YES YES 4.49/1.82 YES 19.18/7.71 YES
Ultimate/WhileTrue_false-termination.c 17270440 f NO NO 4.68/1.90 NO 18.71/7.70 NO
Ton_Chanh_15/2Nested_false-termination.c 17270523 bf NO NO 25.68/7.36 NO 22.34/9.25
Ton_Chanh_15/Ackermann_false-termination.c 17270495 if NO MAYBE 61.46/25.46 NO 25.33/15.18 NO
Ton_Chanh_15/Ackermann_true-termination.c 17270478 if YES YES 43.54/16.35 timeout (wallclock) YES
Ton_Chanh_15/Bangalore_false-termination.c 17270521 bf NO NO 6.65/2.45 NO 19.12/8.01
Ton_Chanh_15/Bangalore_v2_false-termination.c 17270485 bf NO NO 12.83/4.21 NO 21.00/9.37
Ton_Chanh_15/Bangalore_v3_false-termination.c 17270525 bf NO NO 11.82/4.20 NO 19.08/8.02
Ton_Chanh_15/Bangalore_v4_true-termination.c 17270505 bf YES YES 5.52/2.09 YES 31.37/14.17
Ton_Chanh_15/Benghazi_nondet_true-termination.c 17270470 bf YES YES 19.85/6.00 YES 27.72/13.91
Ton_Chanh_15/Binary_Search_true-termination.c 17270509 if NO MAYBE 41.14/14.95 NO 22.51/8.56 NO
Ton_Chanh_15/Cairo_nondet_false-termination.c 17270507 bf NO NO 14.93/5.78 NO 21.25/8.70
Ton_Chanh_15/Cairo_step2_false-termination.c 17270511 bf NO NO 13.96/4.22 NO 24.48/10.93
Ton_Chanh_15/Copenhagen_disj_true-termination.c 17270468 bf YES YES 17.17/5.37 YES 34.28/17.47
Ton_Chanh_15/Gothenburg_v2_true-termination.c 17270483 ibf YES timeout (wallclock) YES 28.70/18.08
Ton_Chanh_15/Hanoi_2vars_false-termination.c 17270513 bf NO NO 25.50/7.35 NO 21.01/8.80
Ton_Chanh_15/Hanoi_3vars_false-termination.c 17270493 bf NO NO 30.75/8.83 NO 21.75/8.99
Ton_Chanh_15/Hanoi_plus_false-termination.c 17270519 ibf NO NO 36.61/10.19 MAYBE 40.04/20.01
Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 17270480 bf YES YES 19.49/6.10 YES 31.07/13.61
Ton_Chanh_15/McCarthy91_Recursion_true-termination.c 17270487 if YES MAYBE 21.69/6.79 YES 70.13/37.19 YES
Ton_Chanh_15/MutualRecursion_1a_false-termination.c 17270464 if NO MAYBE 20.07/6.41 NO 26.30/10.69 NO
Ton_Chanh_15/MutualRecursion_1b_true-termination.c 17270466 if YES YES 18.91/6.94 timeout (wallclock) YES
Ton_Chanh_15/Mysore_false-termination.c 17270501 bf NO NO 33.52/24.54 NO 21.69/9.28
Ton_Chanh_15/NestedRecursion_1a_false-termination.c 17270462 if NO MAYBE 26.19/8.76 NO 24.44/10.42 NO
Ton_Chanh_15/NestedRecursion_1b_true-termination.c 17270503 if YES MAYBE 28.76/9.39 YES 41.29/18.36 YES
Ton_Chanh_15/NestedRecursion_1c_true-termination.c 17270491 if YES YES 13.64/4.47 timeout (wallclock) YES
Ton_Chanh_15/NestedRecursion_1d_true-termination.c 17270489 f YES YES 21.64/6.67 YES 33.07/13.17 YES
Ton_Chanh_15/NestedRecursion_2a_false-termination.c 17270515 if NO MAYBE 46.11/18.71 NO 21.61/8.85 NO
Ton_Chanh_15/NestedRecursion_2b_false-termination.c 17270499 if NO MAYBE 14.76/5.12 NO 36.98/25.06 NO
Ton_Chanh_15/NestedRecursion_2c_true-termination.c 17270472 if YES YES 18.47/5.84 timeout (wallclock) YES
Ton_Chanh_15/Singapore_plus_false-termination.c 17270474 bf NO NO 41.34/25.40 NO 21.10/8.75
Ton_Chanh_15/Singapore_true-termination.c 17270476 ibf YES timeout (wallclock) YES 23.75/9.91
Ton_Chanh_15/Singapore_v1_false-termination.c 17270497 ibf NO timeout (wallclock) NO 21.02/9.23
Ton_Chanh_15/Singapore_v2_false-termination.c 17270517 ibf NO timeout (wallclock) NO 20.38/8.74
712.00 632.00 562.00