Termination Competition 2019: Complexity: C Integer33013

Job info CSV
AProVE c_complexity CoFloCo 2018 C
benchmark UPLOWTIME UPLOWTIME
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_3vars_false-termination.c 5162481 ∞ +0 1 +0 6.91/6.70 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/2Nested_false-termination.c 5162482 ∞ +0 1 +0 4.05/3.22 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_nondet_false-termination.c 5162483 ∞ +0 1 +0 2.85/2.19 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_false-termination.c 5162484 ∞ +0 1 +0 3.77/2.70 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_plus_false-termination.c 5162485 ∞ +0 1 +0 3.82/2.89 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v2_false-termination.c 5162486 ∞ +0 1 +0 7.67/2.91 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 5162487 n2 +2 1 +0 2.50/1.50 ∞ +0 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_step2_false-termination.c 5162488 ∞ +0 1 +0 2.60/1.65 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Copenhagen_disj_true-termination.c 5162489 ∞ +0 1 +0 2.71/2.65 ∞ +0 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Gothenburg_v2_true-termination.c 5162490 ∞ +0 1 +0 4.47/3.43 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_2vars_false-termination.c 5162491 ∞ +0 1 +0 4.19/3.17 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Mysore_false-termination.c 5162492 ∞ +0 1 +0 5.75/4.78 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Benghazi_nondet_true-termination.c 5162493 ∞ +0 1 +0 4.75/3.60 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v1_false-termination.c 5162494 ∞ +0 1 +0 3.88/2.91 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v3_false-termination.c 5162495 ∞ +0 1 +0 7.27/2.72 ∞ +0 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v2_false-termination.c 5162496 ∞ +0 1 +0 3.68/2.57 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_plus_false-termination.c 5162497 ∞ +0 1 +0 5.79/4.79 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_true-termination.c 5162498 ∞ +0 1 +0 4.45/4.94 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v4_true-termination.c 5162499 1 +2 1 +0 2.34/1.38 1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/examples_from_literature/C4B_examples/knuth_morris_pratt.c 5162426 n1 +2 1 +0 3.97/2.66 n1 +2 1 +0 0.44/0.52
Flores-Montoya_2017/examples_from_literature/C4B_examples/t15.c 5162427 n1 +2 1 +0 2.60/1.68 n1 +2 1 +0 0.21/0.29
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_4.c 5162428 n1 +2 1 +0 2.47/1.45 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_multiple.c 5162429 n1 +2 1 +0 2.56/1.50 n1 +2 1 +0 0.20/0.28
Flores-Montoya_2017/examples_from_literature/C4B_examples/t19.c 5162430 n1 +2 1 +0 2.37/4.17 n1 +2 1 +0 0.18/0.30
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_single.c 5162431 n1 +2 1 +0 2.82/1.74 n1 +2 1 +0 0.27/0.35
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex1.c 5162432 n2 +2 1 +0 3.83/2.96 n2 +2 1 +0 0.30/0.37
Flores-Montoya_2017/examples_from_literature/C4B_examples/t30.c 5162433 ∞ +0 1 +0 3.47/2.51 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/examples_from_literature/C4B_examples/t20.c 5162434 n1 +2 1 +0 2.29/1.34 n1 +2 1 +0 0.18/0.26
Flores-Montoya_2017/examples_from_literature/C4B_examples/t13.c 5162435 n2 +1 1 +0 3.27/2.21 n1 +2 1 +0 0.24/0.32
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single.c 5162436 n1 +2 1 +0 2.29/1.39 n1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/examples_from_literature/C4B_examples/t10.c 5162437 n1 +2 1 +0 2.54/1.65 n1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single_2.c 5162438 n1 +2 1 +0 2.32/1.36 n1 +2 1 +0 0.24/0.31
Flores-Montoya_2017/examples_from_literature/C4B_examples/t62.c 5162439 n1 +2 1 +0 5.10/3.79 n1 +2 1 +0 0.55/0.63
Flores-Montoya_2017/examples_from_literature/C4B_examples/t08.c 5162440 n1 +2 1 +0 2.41/1.35 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_multiple.c 5162441 n1 +2 1 +0 3.22/2.11 n1 +2 1 +0 0.37/0.61
Flores-Montoya_2017/examples_from_literature/C4B_examples/t28.c 5162442 n1 +2 1 +0 2.50/1.62 n1 +2 1 +0 0.26/0.34
Flores-Montoya_2017/examples_from_literature/C4B_examples/t07.c 5162443 n1 +2 1 +0 2.54/1.52 n1 +2 1 +0 0.22/0.29
Flores-Montoya_2017/examples_from_literature/C4B_examples/t27.c 5162444 n1 +2 1 +0 2.69/1.78 n1 +2 1 +0 0.25/0.32
Flores-Montoya_2017/examples_from_literature/C4B_examples/gcd.c 5162445 n1 +2 1 +0 2.54/1.85 n1 +2 1 +0 0.24/0.32
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_2.c 5162446 n1 +2 1 +0 2.64/1.88 n1 +2 1 +0 0.22/0.29
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_2.c 5162447 n1 +2 1 +0 2.58/1.52 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_5.c 5162448 n2 +1 1 +0 3.13/2.97 n1 +2 1 +0 0.25/0.32
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig1.c 5162449 n2 +1 1 +0 2.63/1.55 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_1.c 5162450 n1 +2 1 +0 2.45/1.52 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/examples_from_literature/C4B_examples/t11.c 5162451 n1 +2 1 +0 2.66/1.54 n1 +2 1 +0 0.20/0.28
Flores-Montoya_2017/examples_from_literature/C4B_examples/t47.c 5162452 n1 +2 1 +0 2.32/1.32 n1 +2 1 +0 0.15/0.22
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex3.c 5162453 n1 +2 1 +0 2.76/1.84 n1 +2 1 +0 0.23/0.31
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex4.c 5162454 n1 +2 1 +0 2.31/1.34 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_sequential_single.c 5162455 n1 +2 1 +0 2.69/1.67 n1 +2 1 +0 0.21/0.29
Flores-Montoya_2017/examples_from_literature/C4B_examples/t16.c 5162456 n2 +1 1 +0 2.69/1.79 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex5.c 5162470 n2 +2 1 +0 2.32/1.40 n2 +2 1 +0 0.19/0.27
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex7.c 5162471 n2 +2 1 +0 2.46/1.87 n2 +2 1 +0 0.19/0.27
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex4.c 5162472 n2 +2 1 +0 2.51/1.42 n2 +2 1 +0 0.24/0.31
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex1.c 5162473 n2 +2 1 +0 2.28/1.36 n2 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex2.c 5162474 n2 +2 1 +0 2.19/1.43 n2 +2 1 +0 0.18/0.26
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex1.c 5162475 n1 +2 1 +0 2.09/1.30 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex6.c 5162476 n4 +1 1 +0 2.58/1.63 n3 +2 1 +0 0.51/0.58
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex3.c 5162477 n6 +1 1 +0 2.58/1.68 n4 +2 1 +0 0.40/0.47
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex2.c 5162478 n2 +2 1 +0 2.42/1.38 n2 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex3.c 5162479 n2 +2 1 +0 2.29/1.34 n2 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex4.c 5162480 n2 +2 1 +0 2.42/1.45 n2 +2 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/Bangalore_true-termination.c 5162500 n1 +2 1 +0 4.41/1.51 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 5162501 ∞ +0 1 +0 21.80/20.30 ∞ +0 1 +0 0.69/0.76
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.02.c 5162502 n1 +2 1 +0 2.35/1.27 n1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/LogMult.c 5162503 ∞ +0 1 +0 0.53/0.51 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex03.c 5162504 ∞ +0 1 +0 2.59/1.71 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/Mysore_true-termination.c 5162505 n1 +2 1 +0 2.31/1.45 n1 +2 1 +0 0.15/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex07.c 5162506 ∞ +0 1 +0 2.23/1.46 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.05.c 5162507 n1 +2 1 +0 2.87/1.76 n1 +2 1 +0 0.17/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination1_false-termination.c 5162508 ∞ +0 1 +0 3.37/2.26 ∞ +0 1 +0 0.12/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/easy2_true-termination.c 5162509 n1 +2 1 +0 2.28/1.32 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/ConvLower.c 5162510 ∞ +0 1 +0 2.73/1.68 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB3.c 5162511 n1 +2 1 +0 2.39/1.44 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 5162512 ∞ +0 1 +0 2.69/1.84 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 5162513 ∞ +0 1 +0 2.84/2.00 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 5162514 n1 +2 1 +0 2.42/1.39 n1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 5162515 ∞ +0 1 +0 5.80/5.94 ∞ +0 1 +0 0.22/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 5162516 n2 +1 1 +0 2.33/1.33 n1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 5162517 ∞ +0 1 +0 15.26/13.90 ∞ +0 1 +0 4.79/4.85
Flores-Montoya_2017/Adapted_from_Stroeder_15/Factorial.c 5162518 ∞ +0 1 +0 2.47/1.56 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus.c 5162519 n1 +2 1 +0 2.31/1.35 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 5162520 ∞ +0 1 +0 3.49/2.65 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 5162521 n3 +1 1 +0 2.53/1.56 n2 +2 1 +0 0.36/0.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.05.c 5162522 n1 +2 1 +0 2.18/1.29 n1 +2 1 +0 0.13/0.84
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 5162523 ∞ +0 1 +0 2.81/1.86 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 5162524 ∞ +0 1 +0 0.57/0.46 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex04.c 5162525 ∞ +0 1 +0 2.11/1.25 ∞ +0 1 +0 0.10/0.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 5162526 1 +2 1 +0 2.38/1.44 1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 5162527 n1 +2 1 +0 2.34/1.49 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplxStruc.c 5162528 ∞ +0 1 +0 5.19/4.08 ∞ +0 1 +0 0.27/0.33
Flores-Montoya_2017/Adapted_from_Stroeder_15/Fibonacci.c 5162529 ∞ +0 1 +0 2.60/1.62 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 5162530 n1 +2 1 +0 2.55/1.72 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNestedOffset.c 5162531 ∞ +0 1 +0 3.36/2.37 ∞ +0 1 +0 0.17/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB16.c 5162532 n1 +2 1 +0 2.44/1.37 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple5_false-termination.c 5162533 ∞ +0 1 +0 3.58/2.54 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 5162534 n1 +2 1 +0 2.18/1.67 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD4.c 5162535 ∞ +0 1 +0 2.36/1.41 n1 +2 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 5162536 n2 +2 1 +0 2.30/1.36 n2 +2 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 5162537 ∞ +0 1 +0 4.90/7.93 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB14.c 5162538 n1 +2 1 +0 2.34/1.46 n1 +2 1 +0 0.21/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 5162539 ∞ +0 1 +0 21.78/20.35 ∞ +0 1 +0 9.35/4.76
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 5162540 n1 +2 1 +0 2.38/1.50 n1 +2 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB1.c 5162541 n1 +2 1 +0 2.16/1.31 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC7.c 5162542 n1 +2 1 +0 2.41/1.53 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.04.c 5162543 1 +2 1 +0 2.23/1.31 1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDown.c 5162544 ∞ +0 1 +0 4.29/3.27 ∞ +0 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/McCarthyIterative.c 5162545 n2 +2 1 +0 2.42/1.49 ∞ +0 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/MenloPark_true-termination.c 5162546 ∞ +0 1 +0 3.34/2.34 n1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Lcm.c 5162547 ∞ +0 1 +0 2.77/1.91 ∞ +0 1 +0 0.17/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.08.c 5162548 n1 +2 1 +0 2.16/1.29 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 5162549 ∞ +0 1 +0 14.85/13.50 ∞ +0 1 +0 0.31/0.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 5162550 n1 +2 1 +0 2.30/1.40 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_01.c 5162551 ∞ +0 1 +0 2.29/1.35 ∞ +0 1 +0 0.12/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 5162552 ∞ +0 1 +0 4.32/3.24 ∞ +0 1 +0 0.17/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination4_false-termination.c 5162553 ∞ +0 1 +0 2.76/1.99 ∞ +0 1 +0 0.11/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.07.c 5162554 n1 +2 1 +0 2.30/1.40 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 5162555 ∞ +0 1 +0 14.28/6.10 ∞ +0 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 5162556 n3 +1 1 +0 3.42/2.40 n2 +2 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Continue1.c 5162557 1 +2 1 +0 2.23/1.25 1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 5162558 ∞ +0 1 +0 3.99/3.03 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternKonv.c 5162559 ∞ +0 1 +0 3.96/2.96 ∞ +0 1 +0 0.38/0.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 5162560 ∞ +0 1 +0 4.11/3.21 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDownIneq.c 5162561 ∞ +0 1 +0 4.08/3.03 ∞ +0 1 +0 0.22/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Nested.c 5162562 1 +2 1 +0 2.26/1.39 1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 5162563 ∞ +0 1 +0 19.93/18.65 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_flag.c 5162564 n1 +2 1 +0 2.40/1.35 n1 +2 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01-no-inv.c 5162565 n2 +2 1 +0 2.47/1.48 n2 +2 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_13.c 5162566 ∞ +0 1 +0 3.09/2.05 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Nyala-2lex_true-termination.c 5162567 ∞ +0 1 +0 7.51/7.28 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 5162568 ∞ +0 1 +0 3.45/2.41 ∞ +0 1 +0 0.22/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNested.c 5162569 ∞ +0 1 +0 3.46/2.34 ∞ +0 1 +0 0.17/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.09_assume.c 5162570 n1 +2 1 +0 2.39/1.30 n1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/min_rf_true-termination.c 5162571 n1 +2 1 +0 5.06/3.83 ∞ +0 1 +0 3.72/3.80
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC9.c 5162572 ∞ +0 1 +0 6.80/5.59 ∞ +0 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Middle.c 5162573 ∞ +0 1 +0 2.70/1.66 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 5162574 ∞ +0 1 +0 6.21/5.18 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.16.c 5162575 n1 +2 1 +0 2.24/1.34 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 5162576 ∞ +0 1 +0 2.81/1.89 n1 +2 1 +0 0.26/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple6_false-termination.c 5162577 ∞ +0 1 +0 2.75/1.80 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorIntervSim.c 5162578 ∞ +0 1 +0 2.94/1.98 ∞ +0 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 5162579 ∞ +0 1 +0 3.74/2.62 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/Overflow.c 5162580 n1 +2 1 +0 2.11/1.27 n1 +2 1 +0 0.13/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 5162581 ∞ +0 1 +0 3.20/2.13 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_21.c 5162582 ∞ +0 1 +0 2.26/1.33 ∞ +0 1 +0 0.11/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA5.c 5162583 n1 +2 1 +0 2.24/1.27 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple4_false-termination.c 5162584 ∞ +0 1 +0 2.20/1.36 ∞ +0 1 +0 0.13/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_AG313.c 5162585 n1 +2 1 +0 2.38/1.35 n1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 5162586 ∞ +0 1 +0 2.97/1.93 ∞ +0 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple8_false-termination.c 5162587 ∞ +0 1 +0 21.67/20.28 ∞ +0 1 +0 0.22/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09_assume.c 5162588 n2 +1 1 +0 2.29/1.38 n1 +2 1 +0 0.17/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron3_true-termination.c 5162589 ∞ +0 1 +0 10.21/9.11 ∞ +0 1 +0 0.27/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/easy1_true-termination.c 5162590 1 +2 1 +0 2.37/1.34 1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/NarrowKonv.c 5162591 ∞ +0 1 +0 3.18/3.10 ∞ +0 1 +0 0.22/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB15.c 5162592 n1 +2 1 +0 2.34/1.75 n1 +2 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv2.c 5162593 ∞ +0 1 +0 3.07/2.15 ∞ +0 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 5162594 ∞ +0 1 +0 4.04/3.13 ∞ +0 1 +0 0.23/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip.c 5162595 ∞ +0 1 +0 2.53/1.61 ∞ +0 1 +0 0.30/0.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 5162596 n1 +2 1 +0 2.32/1.46 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 5162597 n1 +2 1 +0 2.69/1.79 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA4.c 5162598 n1 +2 1 +0 2.04/1.39 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex06.c 5162599 ∞ +0 1 +0 2.60/1.69 ∞ +0 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 5162600 n1 +2 1 +0 2.21/1.52 n1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA1.c 5162601 n2 +2 1 +0 2.32/1.34 n2 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple3_false-termination.c 5162602 ∞ +0 1 +0 3.51/2.54 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC2.c 5162603 n2 +2 1 +0 2.30/1.77 n2 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 5162604 ∞ +0 1 +0 3.45/2.42 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.11.c 5162605 n1 +2 1 +0 2.44/1.48 n1 +2 1 +0 0.25/0.32
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01_assume.c 5162606 n2 +2 1 +0 2.52/2.78 n2 +2 1 +0 0.23/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.13.c 5162607 n1 +2 1 +0 3.04/2.12 n1 +2 1 +0 0.22/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.03.c 5162608 n1 +2 1 +0 2.46/1.44 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Madrid_false-termination.c 5162609 ∞ +0 1 +0 2.21/1.24 ∞ +0 1 +0 0.10/0.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_12.c 5162610 ∞ +0 1 +0 2.75/1.77 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Rotation180_false-termination.c 5162611 ∞ +0 1 +0 2.22/1.24 ∞ +0 1 +0 0.10/0.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/Choose.c 5162612 ∞ +0 1 +0 2.86/1.83 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 5162613 ∞ +0 1 +0 3.34/2.51 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC1.c 5162614 n2 +2 1 +0 2.45/1.48 n2 +2 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 5162615 ∞ +0 1 +0 4.91/7.25 n2 +2 1 +0 0.34/0.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB2.c 5162616 n1 +2 1 +0 2.15/1.39 n1 +2 1 +0 0.13/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 5162617 ∞ +0 1 +0 2.79/1.91 ∞ +0 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusBuiltIn.c 5162618 1 +2 1 +0 2.28/1.40 1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.10.c 5162619 n2 +1 1 +0 2.38/1.42 n1 +2 1 +0 0.17/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/Sunset.c 5162620 ∞ +0 1 +0 2.89/1.94 ∞ +0 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 5162621 n2 +2 1 +0 2.52/1.77 n2 +2 1 +0 0.21/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDiv.c 5162622 ∞ +0 1 +0 2.78/2.22 ∞ +0 1 +0 0.25/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.17.c 5162623 n1 +2 1 +0 2.48/1.38 n1 +2 1 +0 0.22/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 5162624 ∞ +0 1 +0 4.29/3.41 ∞ +0 1 +0 0.13/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB6.c 5162625 n1 +2 1 +0 2.34/1.28 n1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 5162626 ∞ +0 1 +0 4.54/3.46 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex1.c 5162627 n1 +2 1 +0 2.22/1.21 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_24.c 5162628 ∞ +0 1 +0 2.45/1.74 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC3.c 5162629 n1 +2 1 +0 2.43/1.55 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 5162630 ∞ +0 1 +0 4.47/3.37 ∞ +0 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex08.c 5162631 ∞ +0 1 +0 4.29/3.15 ∞ +0 1 +0 0.28/0.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 5162632 1 +2 1 +0 3.48/3.23 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/Et4.c 5162633 ∞ +0 1 +0 4.21/3.19 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 5162634 ∞ +0 1 +0 7.99/7.86 ∞ +0 1 +0 0.32/0.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue.c 5162635 ∞ +0 1 +0 2.15/1.22 ∞ +0 1 +0 0.10/0.08
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination2_false-termination.c 5162636 ∞ +0 1 +0 3.34/2.25 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 5162637 ∞ +0 1 +0 2.72/1.81 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/Velroyen_false-termination.c 5162638 ∞ +0 1 +0 3.11/2.00 ∞ +0 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.15.c 5162639 n1 +2 1 +0 2.44/1.46 n1 +2 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv3.c 5162640 ∞ +0 1 +0 2.76/1.91 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 5162641 n2 +2 1 +0 2.49/1.50 n2 +2 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/collatz.c 5162642 ∞ +0 1 +0 5.09/4.02 ∞ +0 1 +0 0.27/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 5162643 n2 +2 1 +0 3.26/2.33 n2 +2 1 +0 0.50/0.58
Flores-Montoya_2017/Adapted_from_Stroeder_15/Waldkirch_true-termination.c 5162644 1 +2 1 +0 2.29/1.32 1 +2 1 +0 0.11/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusUserDefined.c 5162645 n1 +2 1 +0 4.59/3.44 n1 +2 1 +0 0.51/0.58
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 5162646 ∞ +0 1 +0 6.07/5.00 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 5162647 n1 +2 1 +0 2.54/1.57 n1 +2 1 +0 0.17/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 5162648 n1 +2 1 +0 2.46/1.42 n1 +2 1 +0 0.17/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/Narrowing.c 5162649 ∞ +0 1 +0 7.41/5.14 ∞ +0 1 +0 0.79/0.85
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileFalse_true-termination.c 5162650 1 +2 1 +0 2.21/1.21 1 +2 1 +0 0.09/0.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 5162651 ∞ +0 1 +0 3.86/2.96 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 5162652 ∞ +0 1 +0 3.95/2.83 ∞ +0 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 5162653 n2 +2 1 +0 2.67/1.64 n2 +2 1 +0 0.27/0.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/4NestedWith3Variables_true-termination.c 5162654 ∞ +0 1 +0 297.86/296.14 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 5162655 n1 +2 1 +0 2.55/1.47 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 5162656 n1 +2 1 +0 3.36/2.37 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus2.c 5162657 n1 +2 1 +0 2.74/1.74 n1 +2 1 +0 0.22/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/Et1.c 5162658 ∞ +0 1 +0 4.86/3.92 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 5162659 n1 +2 1 +0 2.57/1.57 n1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 5162660 n2 +2 1 +0 2.47/1.60 n2 +2 1 +0 0.22/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhilePart.c 5162661 ∞ +0 1 +0 2.58/1.52 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 5162662 n1 +2 1 +0 2.68/1.63 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 5162663 ∞ +0 1 +0 2.89/1.85 ∞ +0 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA9.c 5162664 n1 +2 1 +0 2.50/1.55 n1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD.c 5162665 ∞ +0 1 +0 4.98/3.97 ∞ +0 1 +0 0.38/0.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 5162666 n2 +1 1 +0 2.32/1.41 n1 +2 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Swingers.c 5162667 ∞ +0 1 +0 2.44/1.45 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.06.c 5162668 n1 +2 1 +0 2.22/1.36 n1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 5162669 n1 +2 1 +0 2.64/1.79 n1 +2 1 +0 0.77/0.84
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 5162670 n1 +2 1 +0 2.28/1.34 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_00.c 5162671 ∞ +0 1 +0 2.24/1.37 ∞ +0 1 +0 0.11/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 5162672 n1 +2 1 +0 2.81/1.88 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 5162673 ∞ +0 1 +0 2.55/1.65 ∞ +0 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusMin.c 5162674 n1 +2 1 +0 2.41/1.33 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_10.c 5162675 ∞ +0 1 +0 3.14/2.82 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/IntPath.c 5162676 1 +2 1 +0 2.37/1.34 1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.06.c 5162677 n1 +2 1 +0 2.34/1.33 n1 +2 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.02.c 5162678 n2 +2 1 +0 2.45/1.31 n2 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 5162679 ∞ +0 1 +0 2.88/1.82 ∞ +0 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB7.c 5162680 n1 +2 1 +0 2.29/1.31 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 5162681 n1 +2 1 +0 2.27/1.34 n1 +2 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie2.c 5162682 ∞ +0 1 +0 2.19/1.31 ∞ +0 1 +0 0.10/0.08
Flores-Montoya_2017/Adapted_from_Stroeder_15/LogAG.c 5162683 n1 +2 1 +0 2.21/1.41 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie1.c 5162684 ∞ +0 1 +0 2.70/1.79 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/Copenhagen_true-termination.c 5162685 n1 +2 1 +0 2.24/1.29 n1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Parallel_true-termination.c 5162686 n1 +2 1 +0 2.70/1.75 n1 +2 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncr.c 5162687 ∞ +0 1 +0 2.72/1.78 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 5162688 n1 +2 1 +0 2.17/1.32 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex2.c 5162689 ∞ +0 1 +0 5.50/4.48 ∞ +0 1 +0 0.32/0.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChooseLife.c 5162690 ∞ +0 1 +0 2.74/1.80 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD3.c 5162691 n1 +2 1 +0 3.21/1.96 n1 +2 1 +0 0.28/0.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex05.c 5162692 ∞ +0 1 +0 2.22/1.27 ∞ +0 1 +0 0.10/0.08
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_04.c 5162693 ∞ +0 1 +0 6.95/5.55 ∞ +0 1 +0 0.54/0.60
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 5162694 n1 +2 1 +0 2.45/1.56 n1 +2 1 +0 0.23/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_22.c 5162695 ∞ +0 1 +0 2.67/1.65 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 5162696 ∞ +0 1 +0 7.30/7.71 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC10.c 5162697 ∞ +0 1 +0 4.18/3.35 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Thun_true-termination.c 5162698 ∞ +0 1 +0 5.03/4.04 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 5162699 n1 +2 1 +0 5.94/5.02 n1 +2 1 +0 0.38/0.45
Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 5162700 ∞ +0 1 +0 3.74/2.80 ∞ +0 1 +0 0.54/0.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/2Nested_true-termination.c 5162701 ∞ +0 1 +0 4.05/3.05 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 5162702 ∞ +0 1 +0 46.59/44.73 ∞ +0 1 +0 0.66/0.73
Flores-Montoya_2017/Adapted_from_Stroeder_15/Log.c 5162703 n1 +2 1 +0 2.27/1.30 n1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Sequence.c 5162704 1 +2 1 +0 2.30/2.52 1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 5162705 n1 +2 1 +0 2.73/1.91 n1 +2 1 +0 0.21/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB11.c 5162706 n1 +2 1 +0 2.46/1.40 n1 +2 1 +0 0.24/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.18.c 5162707 n1 +2 1 +0 2.42/1.50 n1 +2 1 +0 0.24/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_03.c 5162708 ∞ +0 1 +0 2.60/1.63 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 5162709 n2 +2 1 +0 2.43/1.45 n2 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/DivWithoutMinus.c 5162710 ∞ +0 1 +0 3.59/2.65 ∞ +0 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 5162711 n1 +2 1 +0 2.55/1.61 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 5162712 ∞ +0 1 +0 7.10/5.98 n1 +2 1 +0 0.37/0.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 5162713 ∞ +0 1 +0 4.03/3.09 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex02.c 5162714 ∞ +0 1 +0 2.71/1.68 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 5162715 1 +2 1 +0 2.49/1.70 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple7_false-termination.c 5162716 ∞ +0 1 +0 3.79/2.75 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.07.c 5162717 n1 +2 1 +0 2.31/1.35 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 5162718 ∞ +0 1 +0 5.24/4.13 ∞ +0 1 +0 0.14/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA7.c 5162719 n1 +2 1 +0 2.40/1.39 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Benghazi_true-termination.c 5162720 n1 +2 1 +0 2.40/1.47 n1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 5162721 ∞ +0 1 +0 3.41/2.58 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/DoubleNeg.c 5162722 ∞ +0 1 +0 2.97/2.01 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03-no-inv_assume.c 5162723 n1 +2 1 +0 2.36/1.41 n1 +2 1 +0 0.14/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Sequence.c 5162724 1 +2 1 +0 2.30/1.48 1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure2Phase_true-termination.c 5162725 ∞ +0 1 +0 5.91/4.83 ∞ +0 1 +0 0.20/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/Loop.c 5162726 ∞ +0 1 +0 2.36/1.37 ∞ +0 1 +0 0.11/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 5162727 ∞ +0 1 +0 4.27/4.02 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 5162728 1 +2 1 +0 5.89/4.53 1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09-no-inv_assume.c 5162729 ∞ +0 1 +0 3.39/2.50 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 5162730 1 +2 1 +0 5.88/4.51 1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/gcd1_true-termination.c 5162731 n2 +1 1 +0 2.79/1.70 n1 +2 1 +0 0.31/0.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03_assume.c 5162732 n1 +2 1 +0 2.34/1.38 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 5162733 n3 +1 1 +0 2.54/1.57 n2 +2 1 +0 0.21/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig1_false-termination.c 5162734 ∞ +0 1 +0 2.77/1.55 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorInterv.c 5162735 ∞ +0 1 +0 3.45/2.42 ∞ +0 1 +0 0.27/0.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.01.c 5162736 n1 +2 1 +0 2.16/1.34 n1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 5162737 n1 +2 1 +0 2.25/1.18 n1 +2 1 +0 0.12/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Piecewise_true-termination.c 5162738 ∞ +0 1 +0 7.79/6.67 ∞ +0 1 +0 0.20/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB17.c 5162739 n1 +2 1 +0 2.34/1.36 n1 +2 1 +0 0.22/0.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/Cairo_true-termination.c 5162740 n1 +2 1 +0 2.49/1.42 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 5162741 1 +2 1 +0 2.68/1.74 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 5162742 n1 +2 1 +0 10.41/12.44 n1 +2 1 +0 0.40/0.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB4.c 5162743 1 +2 1 +0 2.18/1.34 1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 5162744 ∞ +0 1 +0 4.70/3.57 n1 +2 1 +0 0.36/0.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.04.c 5162745 n1 +2 1 +0 2.19/1.33 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/Even.c 5162746 ∞ +0 1 +0 2.69/1.62 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 5162747 n1 +2 1 +0 2.33/1.31 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.14.c 5162748 n1 +2 1 +0 2.34/1.48 n1 +2 1 +0 0.21/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 5162749 ∞ +0 1 +0 14.96/13.89 ∞ +0 1 +0 0.27/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/PlusSwap.c 5162750 ∞ +0 1 +0 3.62/2.53 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 5162751 n1 +2 1 +0 2.79/1.76 n1 +2 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Gauss.c 5162752 ∞ +0 1 +0 5.11/1.48 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3a.c 5162753 ∞ +0 1 +0 0.53/0.44 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileSingle.c 5162754 ∞ +0 1 +0 2.63/1.77 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA8.c 5162755 n1 +2 1 +0 2.21/1.34 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue_false-termination.c 5162756 ∞ +0 1 +0 1.93/1.21 ∞ +0 1 +0 0.10/0.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 5162757 1 +2 1 +0 2.70/1.69 1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/Stockholm_true-termination.c 5162758 n1 +2 1 +0 2.36/2.24 n1 +2 1 +0 0.16/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 5162759 ∞ +0 1 +0 35.91/34.34 ∞ +0 1 +0 0.26/0.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 5162760 n1 +2 1 +0 2.40/1.29 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 5162761 n1 +2 1 +0 2.25/1.24 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 5162762 ∞ +0 1 +0 4.62/3.54 ∞ +0 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA10.c 5162763 n2 +1 1 +0 2.27/1.45 n1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex01.c 5162764 ∞ +0 1 +0 2.75/2.63 ∞ +0 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWide.c 5162765 ∞ +0 1 +0 3.24/2.10 ∞ +0 1 +0 0.33/0.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 5162766 n1 +2 1 +0 2.67/1.54 n1 +2 1 +0 0.15/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Nested.c 5162767 1 +2 1 +0 2.38/1.33 1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron2_true-termination.c 5162768 n1 +2 1 +0 3.26/2.12 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.12.c 5162769 n1 +2 1 +0 3.06/1.96 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv.c 5162770 ∞ +0 1 +0 0.53/0.81 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 5162771 n1 +2 1 +0 2.23/1.36 n1 +2 1 +0 0.20/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD2.c 5162772 ∞ +0 1 +0 4.41/3.40 ∞ +0 1 +0 0.28/0.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.08.c 5162773 n2 +2 1 +0 2.36/1.39 n2 +2 1 +0 0.18/0.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 5162774 ∞ +0 1 +0 3.56/2.57 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 5162775 n2 +2 1 +0 2.39/1.46 n2 +2 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple9_false-termination.c 5162776 ∞ +0 1 +0 2.82/1.88 ∞ +0 1 +0 0.13/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip2.c 5162777 ∞ +0 1 +0 3.26/2.18 timeout (wallclock)
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 5162778 ∞ +0 1 +0 4.95/3.89 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 5162779 ∞ +0 1 +0 11.77/10.61 n2 +2 1 +0 0.54/0.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/Et2.c 5162780 ∞ +0 1 +0 3.46/2.39 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 5162781 ∞ +0 1 +0 5.10/4.24 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/TrueDiv.c 5162782 ∞ +0 1 +0 2.55/1.59 ∞ +0 1 +0 0.12/0.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 5162783 n1 +2 1 +0 2.27/1.36 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/Cousot.c 5162784 ∞ +0 1 +0 3.63/2.52 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWidening.c 5162785 ∞ +0 1 +0 4.40/3.24 ∞ +0 1 +0 143.66/143.72
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Break.c 5162786 1 +2 1 +0 2.19/1.28 1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 5162787 n2 +2 1 +0 2.30/1.58 n2 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/TwoFloatInterv.c 5162788 ∞ +0 1 +0 3.56/2.55 ∞ +0 1 +0 0.23/0.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 5162789 n1 +2 1 +0 2.33/1.46 n1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/Gothenburg_true-termination.c 5162790 n2 +1 1 +0 2.84/1.75 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_fermat.c 5162791 ∞ +0 1 +0 0.79/0.55 ∞ +0 1 +0 0.28/0.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 5162792 ∞ +0 1 +0 2.76/1.66 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 5162793 ∞ +0 1 +0 4.93/3.89 ∞ +0 1 +0 0.20/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 5162794 n1 +2 1 +0 2.45/1.33 n1 +2 1 +0 0.20/0.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3b.c 5162795 ∞ +0 1 +0 0.54/0.43 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 5162796 n1 +2 1 +0 3.74/4.23 n1 +2 1 +0 0.32/0.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 5162797 ∞ +0 1 +0 14.29/13.11 ∞ +0 1 +0 0.22/0.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_02.c 5162798 ∞ +0 1 +0 2.36/1.47 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/genady_true-termination.c 5162799 1 +2 1 +0 2.18/1.26 1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 5162800 n1 +2 1 +0 2.58/1.76 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncrPart.c 5162801 ∞ +0 1 +0 2.51/1.45 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure3Phase_true-termination.c 5162802 ∞ +0 1 +0 5.52/4.48 ∞ +0 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.10.c 5162803 n1 +2 1 +0 2.55/1.58 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_23.c 5162804 ∞ +0 1 +0 2.23/1.41 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 5162805 ∞ +0 1 +0 4.13/3.24 ∞ +0 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 5162806 ∞ +0 1 +0 7.31/6.25 ∞ +0 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_easySum.c 5162807 n1 +2 1 +0 2.27/1.26 n1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.01.c 5162808 n2 +2 1 +0 2.27/1.32 n2 +2 1 +0 0.17/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileDecr.c 5162809 n1 +2 1 +0 2.28/1.28 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 5162810 n1 +2 1 +0 2.27/1.74 n1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple2_false-termination.c 5162811 ∞ +0 1 +0 2.58/1.72 ∞ +0 1 +0 0.12/0.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA6.c 5162812 n1 +2 1 +0 2.36/1.29 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2_true-termination.c 5162813 n1 +2 1 +0 2.21/1.33 n1 +2 1 +0 0.16/0.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.07.c 5162814 n1 +2 1 +0 2.27/1.29 n1 +2 1 +0 0.18/0.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 5162815 ∞ +0 1 +0 4.87/3.85 ∞ +0 1 +0 0.14/0.21
Flores-Montoya_2017/examples_from_literature/Other/exclusive_phases.c 5162466 n2 +1 1 +0 2.72/1.77 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/examples_from_literature/Other/ex_paper1.c 5162467 n2 +2 1 +0 14.29/12.77 n2 +2 1 +0 0.39/0.46
Flores-Montoya_2017/examples_from_literature/Other/ex_paper3.c 5162468 n2 +2 1 +0 7.00/7.21 n2 +2 1 +0 0.37/0.44
Flores-Montoya_2017/examples_from_literature/Other/ex_paper2.c 5162469 n2 +2 1 +0 2.37/1.32 n2 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex2.c 5162457 n1 +2 1 +0 2.70/1.78 n1 +2 1 +0 0.26/0.34
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex1.c 5162458 n1 +2 1 +0 3.00/1.99 n1 +2 1 +0 0.30/0.38
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex2.c 5162459 ∞ +0 1 +0 51.40/49.54 n1 +2 1 +0 2.43/2.50
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex1.c 5162460 n2 +2 1 +0 6.90/5.55 n2 +2 1 +0 0.98/1.05
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_original.c 5162461 n1 +2 1 +0 4.42/3.15 n1 +2 1 +0 0.56/0.64
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_big.c 5162462 n1 +2 1 +0 7.57/6.10 n1 +2 1 +0 0.75/0.82
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex2.c 5162463 n1 +2 1 +0 3.78/2.71 n1 +2 1 +0 0.33/0.40
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex1.c 5162464 n2 +1 1 +0 3.21/2.28 n1 +2 1 +0 0.25/0.32
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex3.c 5162465 n1 +2 1 +0 2.94/1.86 n1 +2 1 +0 0.21/0.28
Sinn_2016/CPU2006_ParseFile.c 5162332 ∞ +0 1 +0 301.95/297.59 timeout (wallclock)
Sinn_2016/CPU2006_Configure.c 5162333 n1 +2 1 +0 8.34/6.85 n1 +2 1 +0 0.59/0.66
Sinn_2016/CPU2006_local_alloc.c 5162334 n2 +1 1 +0 2.55/1.48 n1 +2 1 +0 0.27/0.34
Sinn_2016/cBench_cf_decode_eol.c 5162335 n2 +1 1 +0 9.91/8.46 n1 +2 1 +0 0.75/0.82
Sinn_2016/CPU2006_load_mems.c 5162336 n3 +1 1 +0 6.98/5.62 n2 +2 1 +0 0.66/0.73
Sinn_2016/cBench_hc_compute.c 5162337 n3 +1 1 +0 5.83/4.96 n2 +2 1 +0 0.40/0.47
Sinn_2016/cBench_cryptRandWriteFile.c 5162338 n1 +2 1 +0 2.66/1.75 n1 +2 1 +0 0.21/0.29
Sinn_2016/cBench_inflated_stored.c 5162339 n2 +1 1 +0 11.51/10.06 n1 +2 1 +0 0.60/0.67
Sinn_2016/cBench_bin_search_StepSize2.c 5162340 ∞ +0 1 +0 27.10/25.77 ∞ +0 1 +0 140.77/140.84
Sinn_2016/cBench_s_SFD_process.c 5162341 n3 +1 1 +0 15.87/14.36 n1 +2 1 +0 0.39/0.46
Sinn_2016/CPU2006_xdr3dfcoord.c 5162342 n2 +1 1 +0 13.80/12.29 n1 +2 1 +0 1.43/1.50
Sinn_2016/cBench_subsetdump.c 5162343 n2 +1 1 +0 5.92/4.33 n1 +2 1 +0 0.39/0.46
Sinn_2016/CPU2006_asctoeg.c 5162344 n2 +2 1 +0 4.34/3.12 n2 +2 1 +0 0.50/0.51
Sinn_2016/cBench_noiseTickSize.c 5162345 n2 +1 1 +0 4.57/3.21 n1 +2 1 +0 0.22/0.29
Sinn_2016/cBench_PackBitsEncode.c 5162346 ∞ +0 1 +0 180.01/177.55 ∞ +0 1 +0 14.25/14.29
Sinn_2016/cBench_render_ht.c 5162347 n1 +2 1 +0 2.67/1.71 n1 +2 1 +0 0.14/0.22
Sinn_2016/cBench_send_tree.c 5162348 n1 +2 1 +0 6.27/4.82 n1 +2 1 +0 0.83/0.90
Sinn_2016/CPU2006_XNU.c 5162349 n1 +2 1 +0 7.54/6.11 n1 +2 1 +0 0.75/0.82
Sinn_2016/cBench_set_color_ht.c 5162350 n2 +2 1 +0 2.84/1.84 n2 +2 1 +0 0.39/0.46
Sinn_2016/CPU2006_ApplyBndRobin.c 5162351 ∞ +0 1 +0 119.64/117.21 n4 +2 1 +0 2.54/2.60
Sinn_2016/cBench_sendMTFValues.c 5162352 n2 +1 1 +0 11.70/10.23 n1 +2 1 +0 2.34/2.41
Sinn_2016/cBench_encode_mcu_AC_refine.c 5162353 n1 +2 1 +0 5.35/4.91 n1 +2 1 +0 0.37/0.44
Sinn_2016/CPU2006_analyse_other.c 5162354 ∞ +0 1 +0 299.15/296.46 n3 +2 1 +0 1.93/1.99
Sinn_2016/cBench_zwritehexstring_at.c 5162355 n1 +2 1 +0 2.66/1.75 n1 +2 1 +0 0.22/0.29
Sinn_2016/CPU2006_Perl_scan_vstring.c 5162356 n2 +2 1 +0 35.58/33.87 n2 +2 1 +0 4.34/4.39
Sinn_2016/CPU2006_SingleLinkCluster.c 5162357 n2 +2 1 +0 7.36/5.95 n2 +2 1 +0 0.99/1.06
Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet2.c 5162358 n1 +2 1 +0 2.37/1.37 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultipleDep.c 5162359 n2 +2 1 +0 2.40/1.34 n2 +2 1 +0 0.23/0.30
Flores-Montoya_2017/examples_from_literature/WTC_V2/nestedLoop.c 5162360 n3 +1 1 +0 50.20/48.35 n2 +2 1 +0 0.57/0.64
Flores-Montoya_2017/examples_from_literature/WTC_V2/heapsort.c 5162361 n1 +2 1 +0 6.03/4.88 n1 +2 1 +0 0.39/0.46
Flores-Montoya_2017/examples_from_literature/WTC_V2/terminate.c 5162362 n1 +2 1 +0 2.40/1.54 n1 +2 1 +0 0.18/0.25
Flores-Montoya_2017/examples_from_literature/WTC_V2/random2d.c 5162363 n1 +2 1 +0 4.73/3.45 n1 +2 1 +0 0.22/0.29
Flores-Montoya_2017/examples_from_literature/WTC_V2/loops.c 5162364 n2 +2 1 +0 2.55/2.29 n2 +2 1 +0 0.21/0.28
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect1.c 5162365 n2 +2 1 +0 3.06/1.93 n2 +2 1 +0 0.30/0.38
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails4.c 5162366 ∞ +0 1 +0 4.38/3.29 ∞ +0 1 +0 0.21/0.28
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi2.c 5162367 n1 +2 1 +0 2.64/1.52 n1 +2 1 +0 0.23/0.30
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi4.c 5162368 n1 +2 1 +0 2.54/1.46 n1 +2 1 +0 0.19/0.27
Flores-Montoya_2017/examples_from_literature/WTC_V2/realselect.c 5162369 n2 +2 1 +0 2.64/1.85 n2 +2 1 +0 0.21/0.28
Flores-Montoya_2017/examples_from_literature/WTC_V2/rank1.c 5162370 n2 +2 1 +0 11.85/10.55 n2 +2 1 +0 0.53/0.61
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle.c 5162371 n1 +2 1 +0 2.24/1.42 n1 +2 1 +0 0.14/0.21
Flores-Montoya_2017/examples_from_literature/WTC_V2/nested_loop.c 5162372 n3 +1 1 +0 12.86/11.41 n2 +2 1 +0 1.40/1.47
Flores-Montoya_2017/examples_from_literature/WTC_V2/rsd.c 5162373 n1 +2 1 +0 2.78/1.82 n1 +2 1 +0 0.36/0.43
Flores-Montoya_2017/examples_from_literature/WTC_V2/exmini.c 5162374 n1 +2 1 +0 2.45/1.42 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/examples_from_literature/WTC_V2/easy1.c 5162375 1 +2 1 +0 2.33/1.31 1 +2 1 +0 0.18/0.26
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultipleDep.c 5162376 n2 +2 1 +0 2.48/1.58 n2 +2 1 +0 0.23/0.30
Flores-Montoya_2017/examples_from_literature/WTC_V2/rank3.c 5162377 ∞ +0 1 +0 20.81/19.31 ∞ +0 1 +0 3.68/3.75
Flores-Montoya_2017/examples_from_literature/WTC_V2/cousot9.c 5162378 n2 +2 1 +0 2.59/1.48 n2 +2 1 +0 0.19/0.27
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails3.c 5162379 ∞ +0 1 +0 3.26/2.26 ∞ +0 1 +0 0.25/0.32
Flores-Montoya_2017/examples_from_literature/WTC_V2/insertsort.c 5162380 n2 +2 1 +0 3.33/2.16 n2 +2 1 +0 0.24/0.31
Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step1.c 5162381 n2 +2 1 +0 3.77/2.58 n2 +2 1 +0 0.25/0.32
Flores-Montoya_2017/examples_from_literature/WTC_V2/realshellsort.c 5162382 n3 +2 1 +0 4.77/3.47 n3 +2 1 +0 0.49/0.56
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails1.c 5162383 ∞ +0 1 +0 4.24/3.18 ∞ +0 1 +0 0.14/0.22
Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron2.c 5162384 n1 +2 1 +0 3.09/2.13 n1 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/WTC_V2/terminatorbubble.c 5162385 n2 +2 1 +0 3.74/2.42 n2 +2 1 +0 0.47/0.55
Flores-Montoya_2017/examples_from_literature/WTC_V2/random1d.c 5162386 n1 +2 1 +0 2.66/1.54 n1 +2 1 +0 0.14/0.22
Flores-Montoya_2017/examples_from_literature/WTC_V2/wise.c 5162387 n1 +2 1 +0 2.31/1.63 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle2.c 5162388 n1 +2 1 +0 4.97/3.92 n1 +2 1 +0 0.28/0.35
Flores-Montoya_2017/examples_from_literature/WTC_V2/catmouse.c 5162389 ∞ +0 1 +0 2.69/1.57 ∞ +0 1 +0 0.17/0.24
Flores-Montoya_2017/examples_from_literature/WTC_V2/ndecr.c 5162390 n1 +2 1 +0 2.24/1.33 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/examples_from_literature/WTC_V2/serpent.c 5162391 ∞ +0 1 +0 12.24/10.87 timeout (wallclock)
Flores-Montoya_2017/examples_from_literature/WTC_V2/ax.c 5162392 n2 +2 1 +0 2.26/1.33 n2 +2 1 +0 0.20/0.28
Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step2.c 5162393 n2 +2 1 +0 7.78/9.63 n2 +2 1 +0 0.68/0.75
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultiple.c 5162394 n1 +2 1 +0 2.43/1.48 n1 +2 1 +0 0.21/0.28
Flores-Montoya_2017/examples_from_literature/WTC_V2/easy2.c 5162395 n1 +2 1 +0 2.17/1.81 n1 +2 1 +0 0.12/0.20
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipma91.c 5162396 n1 +2 1 +0 4.52/3.36 n1 +2 1 +0 0.27/0.34
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort.c 5162397 ∞ +0 1 +0 36.45/34.43 n2 +2 1 +0 3.78/3.84
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis2.c 5162398 n1 +2 1 +0 2.46/1.59 n1 +2 1 +0 0.17/0.25
Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1c.c 5162399 ∞ +0 1 +0 19.79/18.29 ∞ +0 1 +0 0.43/0.50
Flores-Montoya_2017/examples_from_literature/WTC_V2/gcd.c 5162400 ∞ +0 1 +0 2.81/2.59 n1 +2 1 +0 0.26/0.34
Flores-Montoya_2017/examples_from_literature/WTC_V2/alain.c 5162401 n3 +1 1 +0 3.49/2.24 n2 +2 1 +0 0.39/0.46
Flores-Montoya_2017/examples_from_literature/WTC_V2/unperfect.c 5162402 n2 +2 1 +0 6.09/2.08 n2 +2 1 +0 0.34/0.41
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi3.c 5162403 n2 +2 1 +0 2.57/1.59 n2 +2 1 +0 0.27/0.35
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmabubble.c 5162404 n2 +2 1 +0 2.62/1.69 n2 +2 1 +0 0.19/0.26
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultiple.c 5162405 n1 +2 1 +0 3.26/2.16 n1 +2 1 +0 0.37/0.44
Flores-Montoya_2017/examples_from_literature/WTC_V2/realbubble.c 5162406 n2 +2 1 +0 4.55/3.19 n2 +2 1 +0 0.29/0.36
Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort.c 5162407 ∞ +0 1 +0 105.67/103.35 ∞ +0 1 +0 0.74/0.80
Flores-Montoya_2017/examples_from_literature/WTC_V2/while2.c 5162408 n2 +2 1 +0 2.44/1.36 n2 +2 1 +0 0.17/0.25
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis1.c 5162409 n1 +2 1 +0 2.43/1.53 n1 +2 1 +0 0.20/0.27
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails2.c 5162410 ∞ +0 1 +0 2.56/1.56 ∞ +0 1 +0 0.15/0.23
Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron3.c 5162411 ∞ +0 1 +0 6.81/5.79 ∞ +0 1 +0 0.22/0.29
Flores-Montoya_2017/examples_from_literature/WTC_V2/relation1.c 5162412 1 +2 1 +0 2.25/1.22 1 +2 1 +0 0.10/0.07
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect.c 5162413 n2 +2 1 +0 2.94/2.43 n2 +2 1 +0 0.30/0.37
Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet0.c 5162414 n1 +2 1 +0 3.05/1.99 n1 +2 1 +0 0.29/0.37
Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1b.c 5162415 ∞ +0 1 +0 14.51/13.04 ∞ +0 1 +0 4.77/4.84
Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron12.c 5162416 ∞ +0 1 +0 0.58/0.53 ∞ +0 1 +0 0.17/0.24
Flores-Montoya_2017/examples_from_literature/WTC_V2/complex.c 5162417 n1 +2 1 +0 2.64/1.74 n1 +2 1 +0 0.77/0.84
Flores-Montoya_2017/examples_from_literature/WTC_V2/nd_loop.c 5162418 1 +2 1 +0 2.56/1.75 1 +2 1 +0 0.13/0.21
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort2.c 5162419 ∞ +0 1 +0 258.05/255.23 n2 +2 1 +0 18.82/18.87
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect2.c 5162420 n2 +2 1 +0 3.07/2.06 n2 +2 1 +0 0.34/0.42
Flores-Montoya_2017/examples_from_literature/WTC_V2/rank2.c 5162421 n1 +2 1 +0 3.17/2.33 n1 +2 1 +0 0.27/0.34
Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1a.c 5162422 ∞ +0 1 +0 18.41/16.96 ∞ +0 1 +0 0.69/0.76
Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet1.c 5162423 n1 +2 1 +0 3.00/2.10 n1 +2 1 +0 0.32/0.39
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfectg.c 5162424 n2 +2 1 +0 3.22/2.04 n2 +2 1 +0 0.34/0.42
Flores-Montoya_2017/examples_from_literature/WTC_V2/real2.c 5162425 ∞ +0 1 +0 8.80/7.46 ∞ +0 1 +0 0.28/0.36
529 576