Termination Competition 2018: Complexity: C Integer30055

Job info CSV
CoFloCo 2018 C AProVE c_complexity
benchmark UPLOWTIME UPLOWTIME
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Other/exclusive_phases.c 5162466 n1 +2 1 +0 0.18/0.26 n2 +1 1 +0 2.57/1.59
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Other/ex_paper1.c 5162467 n2 +2 1 +0 0.39/0.46 n2 +2 1 +0 13.91/12.72
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Other/ex_paper3.c 5162468 n2 +2 1 +0 0.36/0.43 n2 +2 1 +0 6.82/5.48
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Other/ex_paper2.c 5162469 n2 +2 1 +0 0.18/0.34 n2 +2 1 +0 2.20/1.23
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex2.c 5162457 n1 +2 1 +0 0.26/0.34 n1 +2 1 +0 2.75/1.61
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex1.c 5162458 n1 +2 1 +0 0.30/0.38 n1 +2 1 +0 3.05/1.93
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex2.c 5162459 n1 +2 1 +0 2.44/2.50 ∞ +0 1 +0 48.76/46.89
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex1.c 5162460 n2 +2 1 +0 0.97/1.04 n2 +2 1 +0 6.73/5.32
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_original.c 5162461 n1 +2 1 +0 0.55/0.63 n1 +2 1 +0 4.42/3.08
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_big.c 5162462 n1 +2 1 +0 0.74/0.82 n1 +2 1 +0 7.32/5.84
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex2.c 5162463 n1 +2 1 +0 0.31/0.39 n1 +2 1 +0 3.55/2.52
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex1.c 5162464 n1 +2 1 +0 0.24/0.34 n2 +1 1 +0 3.32/2.16
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex3.c 5162465 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.67/1.79
Complexity_C_Integer/Sinn_2016/CPU2006_ParseFile.c 5162332 StarExec error ∞ +0 1 +0 302.77/297.60
Complexity_C_Integer/Sinn_2016/CPU2006_Configure.c 5162333 n1 +2 1 +0 0.58/0.66 n1 +2 1 +0 8.19/6.64
Complexity_C_Integer/Sinn_2016/CPU2006_local_alloc.c 5162334 n1 +2 1 +0 0.27/0.35 n2 +1 1 +0 2.39/1.34
Complexity_C_Integer/Sinn_2016/cBench_cf_decode_eol.c 5162335 n1 +2 1 +0 0.75/0.82 n2 +1 1 +0 9.68/8.11
Complexity_C_Integer/Sinn_2016/CPU2006_load_mems.c 5162336 n2 +2 1 +0 0.64/0.72 n3 +1 1 +0 6.81/5.38
Complexity_C_Integer/Sinn_2016/cBench_hc_compute.c 5162337 n2 +2 1 +0 0.39/0.47 n3 +1 1 +0 5.54/4.20
Complexity_C_Integer/Sinn_2016/cBench_cryptRandWriteFile.c 5162338 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.64/1.62
Complexity_C_Integer/Sinn_2016/cBench_inflated_stored.c 5162339 n1 +2 1 +0 0.59/0.67 n2 +1 1 +0 11.34/9.89
Complexity_C_Integer/Sinn_2016/cBench_bin_search_StepSize2.c 5162340 ∞ +0 1 +0 142.59/142.66 ∞ +0 1 +0 25.29/25.06
Complexity_C_Integer/Sinn_2016/cBench_s_SFD_process.c 5162341 n1 +2 1 +0 0.38/0.46 n3 +1 1 +0 15.53/13.82
Complexity_C_Integer/Sinn_2016/CPU2006_xdr3dfcoord.c 5162342 n1 +2 1 +0 1.42/1.50 n2 +1 1 +0 13.13/11.63
Complexity_C_Integer/Sinn_2016/cBench_subsetdump.c 5162343 n1 +2 1 +0 0.38/0.46 n2 +1 1 +0 5.57/4.19
Complexity_C_Integer/Sinn_2016/CPU2006_asctoeg.c 5162344 n2 +2 1 +0 0.44/0.51 n2 +2 1 +0 4.22/3.01
Complexity_C_Integer/Sinn_2016/cBench_noiseTickSize.c 5162345 n1 +2 1 +0 0.21/0.29 n2 +1 1 +0 4.53/3.12
Complexity_C_Integer/Sinn_2016/cBench_PackBitsEncode.c 5162346 ∞ +0 1 +0 14.18/14.23 ∞ +0 1 +0 179.94/177.36
Complexity_C_Integer/Sinn_2016/cBench_render_ht.c 5162347 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.73/1.63
Complexity_C_Integer/Sinn_2016/cBench_send_tree.c 5162348 n1 +2 1 +0 0.82/0.90 n1 +2 1 +0 6.08/4.63
Complexity_C_Integer/Sinn_2016/CPU2006_XNU.c 5162349 n1 +2 1 +0 0.74/0.82 n1 +2 1 +0 7.42/5.97
Complexity_C_Integer/Sinn_2016/cBench_set_color_ht.c 5162350 n2 +2 1 +0 0.39/0.47 n2 +2 1 +0 3.10/1.83
Complexity_C_Integer/Sinn_2016/CPU2006_ApplyBndRobin.c 5162351 n4 +2 1 +0 2.54/2.60 ∞ +0 1 +0 114.79/112.27
Complexity_C_Integer/Sinn_2016/cBench_sendMTFValues.c 5162352 n1 +2 1 +0 2.34/2.41 n2 +1 1 +0 11.62/9.83
Complexity_C_Integer/Sinn_2016/cBench_encode_mcu_AC_refine.c 5162353 n1 +2 1 +0 0.36/0.44 n1 +2 1 +0 5.26/3.83
Complexity_C_Integer/Sinn_2016/CPU2006_analyse_other.c 5162354 n3 +2 1 +0 1.92/1.99 ∞ +0 1 +0 299.16/296.37
Complexity_C_Integer/Sinn_2016/cBench_zwritehexstring_at.c 5162355 n1 +2 1 +0 0.21/0.29 n1 +2 1 +0 2.71/1.66
Complexity_C_Integer/Sinn_2016/CPU2006_Perl_scan_vstring.c 5162356 n2 +2 1 +0 4.34/4.39 n2 +2 1 +0 35.45/33.46
Complexity_C_Integer/Sinn_2016/CPU2006_SingleLinkCluster.c 5162357 n2 +2 1 +0 0.98/1.05 n2 +2 1 +0 7.11/5.73
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet2.c 5162358 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.35/1.30
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultipleDep.c 5162359 n2 +2 1 +0 0.22/0.30 n2 +2 1 +0 2.22/1.26
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/nestedLoop.c 5162360 n2 +2 1 +0 0.56/0.64 n3 +1 1 +0 48.64/46.86
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/heapsort.c 5162361 n1 +2 1 +0 0.39/0.46 n1 +2 1 +0 5.64/4.16
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/terminate.c 5162362 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.23/1.22
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/random2d.c 5162363 n1 +2 1 +0 0.21/0.30 n1 +2 1 +0 4.73/3.24
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/loops.c 5162364 n2 +2 1 +0 0.20/0.28 n2 +2 1 +0 2.64/1.53
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect1.c 5162365 n2 +2 1 +0 0.30/0.38 n2 +2 1 +0 3.09/1.92
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails4.c 5162366 ∞ +0 1 +0 0.20/0.28 ∞ +0 1 +0 4.19/3.13
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi2.c 5162367 n1 +2 1 +0 0.22/0.30 n1 +2 1 +0 2.52/1.43
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi4.c 5162368 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.50/1.45
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/realselect.c 5162369 n2 +2 1 +0 0.20/0.28 n2 +2 1 +0 2.63/1.58
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/rank1.c 5162370 n2 +2 1 +0 0.52/0.60 n2 +2 1 +0 11.41/10.15
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle.c 5162371 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.28/1.35
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/nested_loop.c 5162372 n2 +2 1 +0 1.39/1.47 n3 +1 1 +0 12.66/11.08
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/rsd.c 5162373 n1 +2 1 +0 0.35/0.46 n1 +2 1 +0 2.99/2.46
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/exmini.c 5162374 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.29/1.35
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/easy1.c 5162375 1 +2 1 +0 0.17/0.25 1 +2 1 +0 2.32/1.30
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultipleDep.c 5162376 n2 +2 1 +0 0.22/0.30 n2 +2 1 +0 2.38/1.40
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/rank3.c 5162377 ∞ +0 1 +0 3.67/3.75 ∞ +0 1 +0 21.17/20.67
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/cousot9.c 5162378 n2 +2 1 +0 0.18/0.27 n2 +2 1 +0 2.51/2.13
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails3.c 5162379 ∞ +0 1 +0 0.24/0.32 ∞ +0 1 +0 3.16/2.14
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/insertsort.c 5162380 n2 +2 1 +0 0.23/0.31 n2 +2 1 +0 3.03/2.06
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step1.c 5162381 n2 +2 1 +0 0.24/0.32 n2 +2 1 +0 3.64/2.50
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/realshellsort.c 5162382 n3 +2 1 +0 0.48/0.56 n3 +2 1 +0 4.67/3.32
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails1.c 5162383 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 4.17/3.03
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron2.c 5162384 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.94/1.92
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/terminatorbubble.c 5162385 n2 +2 1 +0 0.47/0.54 n2 +2 1 +0 3.64/2.31
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/random1d.c 5162386 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.56/1.51
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/wise.c 5162387 n1 +2 1 +0 0.18/0.26 n1 +2 1 +0 2.49/1.47
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle2.c 5162388 n1 +2 1 +0 0.27/0.35 n1 +2 1 +0 4.88/3.79
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/catmouse.c 5162389 ∞ +0 1 +0 0.16/0.25 ∞ +0 1 +0 2.61/1.62
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/ndecr.c 5162390 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.11/1.18
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/serpent.c 5162391 StarExec error ∞ +0 1 +0 11.87/10.45
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/ax.c 5162392 n2 +2 1 +0 0.20/0.28 n2 +2 1 +0 2.43/1.33
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step2.c 5162393 n2 +2 1 +0 0.67/0.75 n2 +2 1 +0 7.41/6.00
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultiple.c 5162394 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.39/1.40
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/easy2.c 5162395 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.08/1.25
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/sipma91.c 5162396 n1 +2 1 +0 0.26/0.37 n1 +2 1 +0 4.44/3.35
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort.c 5162397 n2 +2 1 +0 3.77/3.84 ∞ +0 1 +0 34.86/32.63
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis2.c 5162398 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.42/1.39
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1c.c 5162399 ∞ +0 1 +0 0.42/0.50 ∞ +0 1 +0 19.28/17.66
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/gcd.c 5162400 n1 +2 1 +0 0.26/0.36 ∞ +0 1 +0 3.06/1.92
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/alain.c 5162401 n2 +2 1 +0 0.38/0.46 n3 +1 1 +0 3.48/2.12
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/unperfect.c 5162402 n2 +2 1 +0 0.33/0.42 n2 +2 1 +0 3.13/1.95
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi3.c 5162403 n2 +2 1 +0 0.26/0.35 n2 +2 1 +0 2.56/1.54
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmabubble.c 5162404 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.63/1.92
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultiple.c 5162405 n1 +2 1 +0 0.36/0.44 n1 +2 1 +0 3.18/2.00
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/realbubble.c 5162406 n2 +2 1 +0 0.28/0.36 n2 +2 1 +0 4.36/3.17
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort.c 5162407 ∞ +0 1 +0 0.73/0.80 ∞ +0 1 +0 102.20/99.85
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/while2.c 5162408 n2 +2 1 +0 0.17/0.25 n2 +2 1 +0 2.34/1.24
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis1.c 5162409 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.46/1.43
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails2.c 5162410 ∞ +0 1 +0 0.15/0.24 ∞ +0 1 +0 2.50/1.43
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron3.c 5162411 ∞ +0 1 +0 0.21/0.29 ∞ +0 1 +0 6.92/5.49
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/relation1.c 5162412 1 +2 1 +0 0.09/0.07 1 +2 1 +0 2.13/1.13
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect.c 5162413 n2 +2 1 +0 0.29/0.45 n2 +2 1 +0 2.84/1.84
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet0.c 5162414 n1 +2 1 +0 0.29/0.37 n1 +2 1 +0 2.82/1.88
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1b.c 5162415 ∞ +0 1 +0 4.77/4.85 ∞ +0 1 +0 13.91/12.47
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron12.c 5162416 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 0.56/0.38
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/complex.c 5162417 n1 +2 1 +0 0.75/0.83 n1 +2 1 +0 2.72/1.63
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/nd_loop.c 5162418 1 +2 1 +0 0.12/0.21 1 +2 1 +0 2.50/1.51
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort2.c 5162419 n2 +2 1 +0 18.83/18.88 ∞ +0 1 +0 250.90/247.97
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect2.c 5162420 n2 +2 1 +0 0.34/0.41 n2 +2 1 +0 3.24/2.02
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/rank2.c 5162421 n1 +2 1 +0 0.26/0.34 n1 +2 1 +0 3.13/2.17
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1a.c 5162422 ∞ +0 1 +0 0.68/0.76 ∞ +0 1 +0 17.89/21.57
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet1.c 5162423 n1 +2 1 +0 0.31/0.39 n1 +2 1 +0 3.11/1.97
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/perfectg.c 5162424 n2 +2 1 +0 0.33/0.41 n2 +2 1 +0 3.00/1.92
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/WTC_V2/real2.c 5162425 ∞ +0 1 +0 0.27/0.35 ∞ +0 1 +0 8.27/7.08
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_3vars_false-termination.c 5162481 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 6.61/5.54
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/2Nested_false-termination.c 5162482 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.89/2.85
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_nondet_false-termination.c 5162483 ∞ +0 1 +0 0.15/0.23 ∞ +0 1 +0 2.92/1.76
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_false-termination.c 5162484 ∞ +0 1 +0 0.13/0.25 ∞ +0 1 +0 3.68/2.63
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_plus_false-termination.c 5162485 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.83/2.82
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v2_false-termination.c 5162486 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 3.64/2.65
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 5162487 ∞ +0 1 +0 0.15/0.23 n2 +2 1 +0 2.48/1.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_step2_false-termination.c 5162488 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.55/1.48
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Copenhagen_disj_true-termination.c 5162489 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.76/1.63
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Gothenburg_v2_true-termination.c 5162490 n1 +2 1 +0 0.18/0.26 ∞ +0 1 +0 4.47/3.36
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_2vars_false-termination.c 5162491 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 4.10/3.03
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Mysore_false-termination.c 5162492 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 5.73/4.63
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Benghazi_nondet_true-termination.c 5162493 ∞ +0 1 +0 0.14/0.26 ∞ +0 1 +0 4.52/3.45
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v1_false-termination.c 5162494 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.89/2.76
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v3_false-termination.c 5162495 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 3.55/2.54
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v2_false-termination.c 5162496 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 3.56/2.54
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_plus_false-termination.c 5162497 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 5.82/4.68
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_true-termination.c 5162498 ∞ +0 1 +0 0.15/0.23 ∞ +0 1 +0 4.51/3.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v4_true-termination.c 5162499 1 +2 1 +0 0.13/0.24 1 +2 1 +0 2.29/1.29
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/knuth_morris_pratt.c 5162426 StarExec error n1 +2 1 +0 3.86/2.56
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t15.c 5162427 n1 +2 1 +0 0.21/0.29 n1 +2 1 +0 2.54/1.52
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_4.c 5162428 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.42/1.35
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_multiple.c 5162429 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.39/1.37
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t19.c 5162430 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.41/1.28
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_single.c 5162431 n1 +2 1 +0 0.27/0.35 n1 +2 1 +0 2.85/1.70
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex1.c 5162432 n2 +2 1 +0 0.29/0.37 n2 +2 1 +0 4.00/2.78
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t30.c 5162433 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 3.56/2.40
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t20.c 5162434 n1 +2 1 +0 0.18/0.26 n1 +2 1 +0 2.26/1.27
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t13.c 5162435 n1 +2 1 +0 0.24/0.32 n2 +1 1 +0 3.30/2.12
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single.c 5162436 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.28/1.30
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t10.c 5162437 n1 +2 1 +0 0.15/0.23 n1 +2 1 +0 2.58/1.62
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single_2.c 5162438 n1 +2 1 +0 0.23/0.31 n1 +2 1 +0 2.29/1.31
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t62.c 5162439 n1 +2 1 +0 0.55/0.63 n1 +2 1 +0 5.15/3.70
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t08.c 5162440 n1 +2 1 +0 0.18/0.26 n1 +2 1 +0 2.47/1.34
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_multiple.c 5162441 n1 +2 1 +0 0.36/0.44 n1 +2 1 +0 3.30/2.02
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t28.c 5162442 n1 +2 1 +0 0.26/0.34 n1 +2 1 +0 2.44/1.46
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t07.c 5162443 n1 +2 1 +0 0.21/0.29 n1 +2 1 +0 2.53/1.37
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t27.c 5162444 n1 +2 1 +0 0.24/0.32 n1 +2 1 +0 2.53/1.54
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/gcd.c 5162445 n1 +2 1 +0 0.24/0.34 n1 +2 1 +0 2.47/1.46
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_2.c 5162446 n1 +2 1 +0 0.21/0.29 n1 +2 1 +0 2.44/1.41
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_2.c 5162447 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.53/1.44
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_5.c 5162448 n1 +2 1 +0 0.24/0.32 n2 +1 1 +0 3.09/2.02
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig1.c 5162449 n1 +2 1 +0 0.18/0.32 n2 +1 1 +0 2.67/1.59
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_1.c 5162450 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.42/1.44
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t11.c 5162451 n1 +2 1 +0 0.19/0.35 n1 +2 1 +0 2.55/1.49
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t47.c 5162452 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.25/1.23
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex3.c 5162453 n1 +2 1 +0 0.23/0.31 n1 +2 1 +0 2.67/1.72
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex4.c 5162454 n1 +2 1 +0 0.18/0.27 n1 +2 1 +0 2.39/1.31
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_sequential_single.c 5162455 n1 +2 1 +0 0.20/0.29 n1 +2 1 +0 2.82/1.68
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/C4B_examples/t16.c 5162456 n1 +2 1 +0 0.19/0.28 n2 +1 1 +0 2.74/1.76
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex5.c 5162470 n2 +2 1 +0 0.18/0.27 n2 +2 1 +0 2.28/1.22
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex7.c 5162471 n2 +2 1 +0 0.19/0.86 n2 +2 1 +0 2.45/1.33
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex4.c 5162472 n2 +2 1 +0 0.23/3.42 n2 +2 1 +0 2.57/1.37
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex1.c 5162473 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.40/1.28
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex2.c 5162474 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.32/1.24
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex1.c 5162475 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.26/1.24
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex6.c 5162476 n3 +2 1 +0 0.50/0.62 n4 +1 1 +0 2.47/1.50
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex3.c 5162477 n4 +2 1 +0 0.39/1.23 n6 +1 1 +0 2.46/1.47
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex2.c 5162478 n2 +2 1 +0 0.18/0.27 n2 +2 1 +0 2.09/1.26
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/jama_ex3.c 5162479 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.40/1.26
Complexity_C_Integer/Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex4.c 5162480 n2 +2 1 +0 0.22/0.33 n2 +2 1 +0 2.36/1.27
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Bangalore_true-termination.c 5162500 n1 +2 1 +0 0.13/0.22 n1 +2 1 +0 2.48/1.36
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 5162501 ∞ +0 1 +0 0.69/0.77 ∞ +0 1 +0 20.90/19.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.02.c 5162502 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.31/1.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LogMult.c 5162503 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 0.51/0.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex03.c 5162504 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 2.52/1.56
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Mysore_true-termination.c 5162505 n1 +2 1 +0 0.14/0.23 n1 +2 1 +0 2.50/1.36
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex07.c 5162506 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 2.23/1.27
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.05.c 5162507 n1 +2 1 +0 0.16/0.24 n1 +2 1 +0 2.79/1.63
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination1_false-termination.c 5162508 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 3.25/2.24
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/easy2_true-termination.c 5162509 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.15/1.19
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ConvLower.c 5162510 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 2.55/1.57
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB3.c 5162511 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.27/3.32
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 5162512 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 2.73/1.88
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 5162513 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 2.80/1.82
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 5162514 n1 +2 1 +0 0.15/0.27 n1 +2 1 +0 2.25/1.26
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 5162515 ∞ +0 1 +0 0.20/0.29 ∞ +0 1 +0 5.78/4.45
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 5162516 n1 +2 1 +0 0.16/0.24 n2 +1 1 +0 2.28/1.28
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 5162517 ∞ +0 1 +0 4.77/4.84 ∞ +0 1 +0 14.94/13.47
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Factorial.c 5162518 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.44/1.45
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus.c 5162519 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.32/1.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 5162520 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 3.63/2.47
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 5162521 n2 +2 1 +0 0.35/0.44 n3 +1 1 +0 2.60/1.48
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.05.c 5162522 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.06/1.18
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 5162523 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 2.82/1.72
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 5162524 ∞ +0 1 +0 0.17/0.28 ∞ +0 1 +0 0.57/0.46
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex04.c 5162525 ∞ +0 1 +0 0.08/0.08 ∞ +0 1 +0 2.10/1.16
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 5162526 1 +2 1 +0 0.16/0.25 1 +2 1 +0 2.47/1.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 5162527 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.32/1.37
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplxStruc.c 5162528 ∞ +0 1 +0 0.26/0.39 ∞ +0 1 +0 5.33/4.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Fibonacci.c 5162529 ∞ +0 1 +0 0.15/0.26 ∞ +0 1 +0 2.77/1.61
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 5162530 n1 +2 1 +0 0.18/0.28 n1 +2 1 +0 2.59/1.65
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNestedOffset.c 5162531 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 3.25/2.23
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB16.c 5162532 n1 +2 1 +0 0.19/0.32 n1 +2 1 +0 2.24/1.33
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple5_false-termination.c 5162533 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 3.58/3.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 5162534 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.33/1.34
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD4.c 5162535 n1 +2 1 +0 0.22/0.32 ∞ +0 1 +0 2.29/1.33
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 5162536 n2 +2 1 +0 0.22/0.30 n2 +2 1 +0 2.27/1.32
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 5162537 ∞ +0 1 +0 0.13/0.26 ∞ +0 1 +0 4.72/3.70
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB14.c 5162538 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.28/1.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 5162539 ∞ +0 1 +0 4.66/4.74 ∞ +0 1 +0 21.63/20.19
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 5162540 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.45/1.43
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB1.c 5162541 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.35/1.26
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC7.c 5162542 n1 +2 1 +0 0.16/0.24 n1 +2 1 +0 2.39/1.23
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.04.c 5162543 1 +2 1 +0 0.12/0.20 1 +2 1 +0 2.14/1.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDown.c 5162544 ∞ +0 1 +0 0.23/0.31 ∞ +0 1 +0 4.47/3.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/McCarthyIterative.c 5162545 ∞ +0 1 +0 0.15/0.23 n2 +2 1 +0 2.44/1.42
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/MenloPark_true-termination.c 5162546 n1 +2 1 +0 0.15/0.24 ∞ +0 1 +0 3.31/2.28
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Lcm.c 5162547 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 2.76/1.76
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.08.c 5162548 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.15/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 5162549 ∞ +0 1 +0 0.30/0.38 ∞ +0 1 +0 14.46/12.86
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 5162550 n1 +2 1 +0 0.16/0.25 n1 +2 1 +0 2.27/1.29
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_01.c 5162551 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 2.11/1.24
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 5162552 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 4.20/4.76
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination4_false-termination.c 5162553 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 2.90/1.80
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.07.c 5162554 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.19/2.23
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 5162555 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 6.90/5.81
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 5162556 n2 +2 1 +0 0.23/0.31 n3 +1 1 +0 3.22/2.74
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Continue1.c 5162557 1 +2 1 +0 0.13/0.22 1 +2 1 +0 2.21/1.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 5162558 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 3.86/2.84
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternKonv.c 5162559 ∞ +0 1 +0 0.38/0.46 ∞ +0 1 +0 3.97/2.81
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 5162560 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.25/3.12
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDownIneq.c 5162561 ∞ +0 1 +0 0.21/0.29 ∞ +0 1 +0 3.92/3.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Nested.c 5162562 1 +2 1 +0 0.15/0.23 1 +2 1 +0 2.37/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 5162563 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 10.25/9.02
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_flag.c 5162564 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.23/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01-no-inv.c 5162565 n2 +2 1 +0 0.19/0.27 n2 +2 1 +0 2.51/1.40
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_13.c 5162566 ∞ +0 1 +0 0.15/0.23 ∞ +0 1 +0 3.07/1.92
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Nyala-2lex_true-termination.c 5162567 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 7.18/7.18
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 5162568 ∞ +0 1 +0 0.21/0.30 ∞ +0 1 +0 3.41/2.38
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNested.c 5162569 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 3.26/2.18
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.09_assume.c 5162570 n1 +2 1 +0 0.15/0.23 n1 +2 1 +0 2.39/1.23
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/min_rf_true-termination.c 5162571 ∞ +0 1 +0 3.69/3.77 n1 +2 1 +0 4.87/3.63
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC9.c 5162572 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 6.68/5.43
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Middle.c 5162573 ∞ +0 1 +0 0.16/0.25 ∞ +0 1 +0 2.47/1.55
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 5162574 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 6.26/5.04
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.16.c 5162575 n1 +2 1 +0 0.18/0.27 n1 +2 1 +0 2.31/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 5162576 n1 +2 1 +0 0.26/0.34 ∞ +0 1 +0 2.83/1.87
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple6_false-termination.c 5162577 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 2.59/1.71
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorIntervSim.c 5162578 ∞ +0 1 +0 0.19/0.27 ∞ +0 1 +0 2.92/1.87
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 5162579 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.50/2.52
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Overflow.c 5162580 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.09/1.16
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 5162581 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.08/2.05
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_21.c 5162582 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 2.33/1.28
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA5.c 5162583 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.29/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple4_false-termination.c 5162584 ∞ +0 1 +0 0.12/0.20 ∞ +0 1 +0 2.39/1.98
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_AG313.c 5162585 n1 +2 1 +0 0.15/0.23 n1 +2 1 +0 2.38/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 5162586 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 2.87/1.72
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple8_false-termination.c 5162587 ∞ +0 1 +0 0.21/0.29 ∞ +0 1 +0 20.08/18.45
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09_assume.c 5162588 StarExec error n2 +2 1 +0 2.22/1.29
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron3_true-termination.c 5162589 ∞ +0 1 +0 0.27/0.34 ∞ +0 1 +0 9.84/9.56
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/easy1_true-termination.c 5162590 1 +2 1 +0 0.18/0.26 1 +2 1 +0 2.29/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NarrowKonv.c 5162591 ∞ +0 1 +0 0.22/0.30 ∞ +0 1 +0 3.33/2.14
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB15.c 5162592 n1 +2 1 +0 0.22/0.31 n1 +2 1 +0 2.54/1.39
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv2.c 5162593 ∞ +0 1 +0 0.18/0.26 ∞ +0 1 +0 3.05/1.98
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 5162594 ∞ +0 1 +0 0.22/0.92 ∞ +0 1 +0 3.99/2.90
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip.c 5162595 ∞ +0 1 +0 0.30/0.38 ∞ +0 1 +0 2.57/1.55
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 5162596 ∞ +0 1 +0 0.14/0.22 n1 +2 1 +0 2.41/1.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 5162597 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.60/1.64
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA4.c 5162598 n1 +2 1 +0 0.12/0.21 n1 +2 1 +0 2.12/1.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex06.c 5162599 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 2.60/1.58
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 5162600 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.15/1.48
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA1.c 5162601 n2 +2 1 +0 0.17/0.25 n2 +2 1 +0 2.38/1.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple3_false-termination.c 5162602 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.42/2.72
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC2.c 5162603 n2 +2 1 +0 0.17/0.29 n2 +2 1 +0 2.29/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 5162604 StarExec error ∞ +0 1 +0 3.34/2.33
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.11.c 5162605 n1 +2 1 +0 0.25/0.32 n1 +2 1 +0 2.54/1.34
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01_assume.c 5162606 n2 +2 1 +0 0.22/0.30 n2 +2 1 +0 2.43/1.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.13.c 5162607 StarExec error n1 +2 1 +0 2.94/1.96
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.03.c 5162608 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.52/1.39
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Madrid_false-termination.c 5162609 ∞ +0 1 +0 0.09/0.08 ∞ +0 1 +0 2.09/1.18
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_12.c 5162610 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.68/1.74
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Rotation180_false-termination.c 5162611 ∞ +0 1 +0 0.09/0.07 ∞ +0 1 +0 2.07/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Choose.c 5162612 StarExec error ∞ +0 1 +0 2.72/1.67
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 5162613 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 3.54/2.40
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC1.c 5162614 n2 +2 1 +0 0.19/0.27 n2 +2 1 +0 2.56/1.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 5162615 n2 +2 1 +0 0.33/0.41 ∞ +0 1 +0 4.85/3.59
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB2.c 5162616 n1 +2 1 +0 0.13/0.22 n1 +2 1 +0 2.25/1.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 5162617 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 2.79/1.78
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusBuiltIn.c 5162618 1 +2 1 +0 0.12/0.20 1 +2 1 +0 2.16/1.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.10.c 5162619 n1 +2 1 +0 0.16/0.24 n2 +1 1 +0 2.45/1.34
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Sunset.c 5162620 ∞ +0 1 +0 0.17/0.26 ∞ +0 1 +0 2.99/1.88
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 5162621 n2 +2 1 +0 0.20/0.28 n2 +2 1 +0 2.61/1.48
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDiv.c 5162622 ∞ +0 1 +0 0.24/0.33 ∞ +0 1 +0 2.80/1.87
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.17.c 5162623 n1 +2 1 +0 0.21/0.30 n1 +2 1 +0 2.35/1.33
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 5162624 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 4.43/3.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB6.c 5162625 n1 +2 1 +0 0.15/0.23 n1 +2 1 +0 2.08/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 5162626 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.28/3.28
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex1.c 5162627 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.29/1.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_24.c 5162628 ∞ +0 1 +0 0.11/0.20 ∞ +0 1 +0 2.47/1.48
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC3.c 5162629 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.42/1.42
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 5162630 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 4.24/3.24
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex08.c 5162631 ∞ +0 1 +0 0.28/0.37 ∞ +0 1 +0 4.12/3.11
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 5162632 ∞ +0 1 +0 0.15/0.24 1 +2 1 +0 3.23/2.19
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Et4.c 5162633 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 4.00/2.99
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 5162634 ∞ +0 1 +0 0.31/0.39 ∞ +0 1 +0 7.96/6.68
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue.c 5162635 ∞ +0 1 +0 0.09/0.08 ∞ +0 1 +0 2.10/1.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination2_false-termination.c 5162636 ∞ +0 1 +0 0.14/0.23 ∞ +0 1 +0 3.15/2.18
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 5162637 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 2.65/1.64
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Velroyen_false-termination.c 5162638 ∞ +0 1 +0 0.19/0.27 ∞ +0 1 +0 2.98/1.95
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.15.c 5162639 n1 +2 1 +0 0.22/0.30 n1 +2 1 +0 2.32/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv3.c 5162640 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 2.88/1.76
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 5162641 n2 +2 1 +0 0.19/0.27 n2 +2 1 +0 2.63/1.47
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/collatz.c 5162642 ∞ +0 1 +0 0.26/0.34 ∞ +0 1 +0 5.14/3.90
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 5162643 n2 +2 1 +0 0.49/0.57 StarExec error
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Waldkirch_true-termination.c 5162644 StarExec error 1 +2 1 +0 2.21/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusUserDefined.c 5162645 n1 +2 1 +0 0.50/0.58 n1 +2 1 +0 4.34/3.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 5162646 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 5.65/4.68
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 5162647 n1 +2 1 +0 0.16/0.24 n1 +2 1 +0 2.49/1.46
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 5162648 n1 +2 1 +0 0.16/0.24 n1 +2 1 +0 2.44/1.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Narrowing.c 5162649 ∞ +0 1 +0 0.78/0.85 ∞ +0 1 +0 7.64/5.12
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileFalse_true-termination.c 5162650 1 +2 1 +0 0.08/0.09 1 +2 1 +0 2.20/1.34
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 5162651 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.90/2.93
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 5162652 ∞ +0 1 +0 0.19/0.29 ∞ +0 1 +0 4.03/2.80
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 5162653 n2 +2 1 +0 0.27/0.36 n2 +2 1 +0 2.67/1.57
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/4NestedWith3Variables_true-termination.c 5162654 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 297.83/296.06
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 5162655 n1 +2 1 +0 0.19/0.30 n1 +2 1 +0 2.47/1.51
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 5162656 n1 +2 1 +0 0.17/2.57 n1 +2 1 +0 3.49/2.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus2.c 5162657 n1 +2 1 +0 0.22/0.30 n1 +2 1 +0 2.71/1.66
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Et1.c 5162658 ∞ +0 1 +0 0.13/2.98 ∞ +0 1 +0 4.75/3.82
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 5162659 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.52/1.67
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 5162660 n2 +2 1 +0 0.21/0.32 n2 +2 1 +0 2.51/1.49
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhilePart.c 5162661 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.44/1.86
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 5162662 n1 +2 1 +0 0.14/0.25 n1 +2 1 +0 2.58/1.60
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 5162663 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 2.65/1.79
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA9.c 5162664 n1 +2 1 +0 0.14/0.23 n1 +2 1 +0 2.61/1.46
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD.c 5162665 ∞ +0 1 +0 0.37/0.53 ∞ +0 1 +0 4.97/3.93
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 5162666 n1 +2 1 +0 0.14/0.22 n2 +1 1 +0 2.25/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Swingers.c 5162667 ∞ +0 1 +0 0.12/0.20 ∞ +0 1 +0 2.54/1.53
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.06.c 5162668 n1 +2 1 +0 0.15/0.26 n1 +2 1 +0 2.19/1.38
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 5162669 n1 +2 1 +0 0.76/0.87 n1 +2 1 +0 2.69/1.79
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 5162670 n1 +2 1 +0 0.17/0.26 n1 +2 1 +0 2.30/1.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_00.c 5162671 ∞ +0 1 +0 0.10/0.20 ∞ +0 1 +0 2.32/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 5162672 n1 +2 1 +0 0.16/0.27 n1 +2 1 +0 2.81/1.87
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 5162673 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.70/1.61
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusMin.c 5162674 n1 +2 1 +0 0.18/0.29 n1 +2 1 +0 2.39/1.29
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_10.c 5162675 ∞ +0 1 +0 0.11/0.20 ∞ +0 1 +0 3.16/2.19
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/IntPath.c 5162676 1 +2 1 +0 0.13/0.21 1 +2 1 +0 2.22/1.28
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.06.c 5162677 n1 +2 1 +0 0.14/0.30 n1 +2 1 +0 2.33/1.45
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.02.c 5162678 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.29/1.34
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 5162679 ∞ +0 1 +0 0.18/0.26 ∞ +0 1 +0 2.77/1.93
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB7.c 5162680 n1 +2 1 +0 0.16/0.25 n1 +2 1 +0 2.26/1.40
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 5162681 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.26/1.42
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie2.c 5162682 ∞ +0 1 +0 0.09/0.12 ∞ +0 1 +0 2.09/1.33
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LogAG.c 5162683 n1 +2 1 +0 0.18/0.29 n1 +2 1 +0 2.24/1.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie1.c 5162684 ∞ +0 1 +0 0.11/0.23 ∞ +0 1 +0 2.79/1.72
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Copenhagen_true-termination.c 5162685 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.30/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Parallel_true-termination.c 5162686 n1 +2 1 +0 0.18/0.26 n1 +2 1 +0 2.70/1.90
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncr.c 5162687 ∞ +0 1 +0 0.11/0.20 ∞ +0 1 +0 2.89/1.78
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 5162688 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.25/1.24
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex2.c 5162689 ∞ +0 1 +0 0.31/0.39 ∞ +0 1 +0 5.42/4.39
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChooseLife.c 5162690 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 2.70/1.68
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD3.c 5162691 n1 +2 1 +0 0.27/0.37 n1 +2 1 +0 3.09/1.90
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex05.c 5162692 ∞ +0 1 +0 0.09/0.29 ∞ +0 1 +0 2.22/1.46
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_04.c 5162693 ∞ +0 1 +0 0.53/0.64 ∞ +0 1 +0 6.83/5.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 5162694 n1 +2 1 +0 0.22/0.30 n1 +2 1 +0 2.50/1.70
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_22.c 5162695 ∞ +0 1 +0 0.12/0.25 ∞ +0 1 +0 2.52/1.63
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 5162696 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 6.83/5.80
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC10.c 5162697 ∞ +0 1 +0 0.13/0.31 ∞ +0 1 +0 4.20/3.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Thun_true-termination.c 5162698 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.94/3.90
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 5162699 n1 +2 1 +0 0.37/0.44 n1 +2 1 +0 5.72/4.50
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 5162700 ∞ +0 1 +0 0.54/0.61 ∞ +0 1 +0 4.02/2.71
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/2Nested_true-termination.c 5162701 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.06/3.07
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 5162702 ∞ +0 1 +0 0.66/0.73 ∞ +0 1 +0 44.73/42.95
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Log.c 5162703 n1 +2 1 +0 0.14/0.23 n1 +2 1 +0 2.40/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Sequence.c 5162704 1 +2 1 +0 0.15/0.25 1 +2 1 +0 2.35/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 5162705 n1 +2 1 +0 0.21/0.30 n1 +2 1 +0 2.73/1.76
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB11.c 5162706 n1 +2 1 +0 0.24/0.32 n1 +2 1 +0 2.47/2.72
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.18.c 5162707 n1 +2 1 +0 0.23/0.31 n1 +2 1 +0 2.62/1.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_03.c 5162708 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 2.56/1.58
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 5162709 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.47/1.60
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/DivWithoutMinus.c 5162710 ∞ +0 1 +0 0.23/0.31 ∞ +0 1 +0 3.58/2.69
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 5162711 n1 +2 1 +0 0.14/0.24 n1 +2 1 +0 2.62/1.83
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 5162712 n1 +2 1 +0 0.36/0.53 ∞ +0 1 +0 6.98/6.11
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 5162713 ∞ +0 1 +0 0.13/0.25 ∞ +0 1 +0 4.20/3.16
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex02.c 5162714 ∞ +0 1 +0 0.16/0.25 ∞ +0 1 +0 2.73/1.86
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 5162715 ∞ +0 1 +0 0.12/0.21 1 +2 1 +0 2.72/1.80
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple7_false-termination.c 5162716 ∞ +0 1 +0 0.13/0.25 ∞ +0 1 +0 3.82/2.87
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.07.c 5162717 n1 +2 1 +0 0.17/0.27 n1 +2 1 +0 2.31/1.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 5162718 ∞ +0 1 +0 0.13/0.26 ∞ +0 1 +0 5.12/4.28
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA7.c 5162719 n1 +2 1 +0 0.17/3.52 n1 +2 1 +0 2.21/1.37
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Benghazi_true-termination.c 5162720 n1 +2 1 +0 0.15/0.25 n1 +2 1 +0 2.45/1.58
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 5162721 ∞ +0 1 +0 0.13/0.36 ∞ +0 1 +0 3.67/2.59
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/DoubleNeg.c 5162722 ∞ +0 1 +0 0.12/0.23 ∞ +0 1 +0 3.14/2.16
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03-no-inv_assume.c 5162723 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.46/1.46
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Sequence.c 5162724 1 +2 1 +0 0.15/0.27 1 +2 1 +0 2.22/1.38
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure2Phase_true-termination.c 5162725 ∞ +0 1 +0 0.19/0.30 ∞ +0 1 +0 5.79/4.81
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Loop.c 5162726 ∞ +0 1 +0 0.11/0.24 ∞ +0 1 +0 2.26/1.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 5162727 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 4.24/3.21
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 5162728 1 +2 1 +0 0.19/0.28 1 +2 1 +0 5.53/4.65
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09-no-inv_assume.c 5162729 n1 +2 1 +0 0.19/0.34 ∞ +0 1 +0 3.36/2.38
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 5162730 1 +2 1 +0 0.19/0.32 1 +2 1 +0 5.59/4.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/gcd1_true-termination.c 5162731 n1 +2 1 +0 0.30/0.42 n2 +1 1 +0 2.63/1.73
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03_assume.c 5162732 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.41/1.27
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 5162733 n2 +2 1 +0 0.20/0.29 n3 +1 1 +0 2.38/1.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig1_false-termination.c 5162734 StarExec error ∞ +0 1 +0 2.51/1.47
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorInterv.c 5162735 ∞ +0 1 +0 0.27/0.42 ∞ +0 1 +0 3.43/2.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.01.c 5162736 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.16/1.20
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 5162737 n1 +2 1 +0 0.11/0.20 n1 +2 1 +0 2.14/1.17
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Piecewise_true-termination.c 5162738 ∞ +0 1 +0 0.19/0.27 ∞ +0 1 +0 7.73/6.39
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB17.c 5162739 n1 +2 1 +0 0.21/0.29 n1 +2 1 +0 2.41/1.29
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Cairo_true-termination.c 5162740 n1 +2 1 +0 0.12/0.21 n1 +2 1 +0 2.35/1.77
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 5162741 ∞ +0 1 +0 0.12/0.20 1 +2 1 +0 2.63/1.61
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 5162742 n1 +2 1 +0 0.39/0.47 n1 +2 1 +0 10.08/8.59
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB4.c 5162743 1 +2 1 +0 0.11/0.20 1 +2 1 +0 2.28/1.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 5162744 n1 +2 1 +0 0.35/0.43 ∞ +0 1 +0 4.56/3.43
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.04.c 5162745 n1 +2 1 +0 0.12/0.21 n1 +2 1 +0 2.15/1.18
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Even.c 5162746 ∞ +0 1 +0 0.15/0.23 ∞ +0 1 +0 2.52/1.49
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 5162747 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.28/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.14.c 5162748 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.34/1.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 5162749 ∞ +0 1 +0 0.26/0.34 ∞ +0 1 +0 14.87/13.54
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PlusSwap.c 5162750 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 3.55/2.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 5162751 StarExec error n1 +2 1 +0 2.61/1.58
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Gauss.c 5162752 ∞ +0 1 +0 0.14/0.26 ∞ +0 1 +0 2.44/1.43
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3a.c 5162753 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 0.54/0.38
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileSingle.c 5162754 ∞ +0 1 +0 0.16/0.25 ∞ +0 1 +0 2.68/1.60
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA8.c 5162755 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.34/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue_false-termination.c 5162756 ∞ +0 1 +0 0.09/0.08 ∞ +0 1 +0 2.30/1.23
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 5162757 1 +2 1 +0 0.15/0.23 StarExec error
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Stockholm_true-termination.c 5162758 StarExec error n1 +2 1 +0 2.44/1.41
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 5162759 ∞ +0 1 +0 0.26/0.36 ∞ +0 1 +0 34.86/33.14
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 5162760 StarExec error StarExec error
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 5162761 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.05/1.16
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 5162762 ∞ +0 1 +0 0.14/0.23 ∞ +0 1 +0 4.44/3.39
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA10.c 5162763 n1 +2 1 +0 0.16/0.24 n2 +1 1 +0 2.37/1.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex01.c 5162764 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 2.82/1.72
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWide.c 5162765 ∞ +0 1 +0 0.33/0.41 ∞ +0 1 +0 3.08/1.98
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 5162766 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.51/1.49
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Nested.c 5162767 1 +2 1 +0 0.16/0.25 1 +2 1 +0 2.35/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron2_true-termination.c 5162768 n1 +2 1 +0 0.18/0.27 n1 +2 1 +0 3.18/2.03
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.12.c 5162769 n1 +2 1 +0 0.18/0.26 n1 +2 1 +0 2.98/1.89
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv.c 5162770 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 0.50/0.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 5162771 n1 +2 1 +0 0.19/0.28 n1 +2 1 +0 2.26/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD2.c 5162772 ∞ +0 1 +0 0.28/0.36 ∞ +0 1 +0 4.57/3.33
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.08.c 5162773 n2 +2 1 +0 0.18/0.26 n2 +2 1 +0 2.31/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 5162774 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.46/3.26
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 5162775 n2 +2 1 +0 0.17/0.25 n2 +2 1 +0 2.36/1.24
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple9_false-termination.c 5162776 ∞ +0 1 +0 0.12/0.20 StarExec error
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip2.c 5162777 StarExec error ∞ +0 1 +0 3.10/2.01
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 5162778 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.80/3.73
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 5162779 n2 +2 1 +0 0.53/0.61 ∞ +0 1 +0 11.36/9.92
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Et2.c 5162780 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.39/2.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 5162781 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 5.14/4.12
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/TrueDiv.c 5162782 ∞ +0 1 +0 0.11/0.19 ∞ +0 1 +0 2.60/1.53
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 5162783 StarExec error n1 +2 1 +0 2.39/1.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Cousot.c 5162784 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 3.48/2.53
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWidening.c 5162785 ∞ +0 1 +0 144.44/144.50 ∞ +0 1 +0 4.35/3.12
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Break.c 5162786 1 +2 1 +0 0.11/0.20 1 +2 1 +0 2.08/1.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 5162787 n2 +2 1 +0 0.19/0.27 n2 +2 1 +0 2.33/1.30
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/TwoFloatInterv.c 5162788 ∞ +0 1 +0 0.23/0.31 ∞ +0 1 +0 3.73/2.49
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 5162789 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.18/1.31
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Gothenburg_true-termination.c 5162790 n1 +2 1 +0 0.19/0.27 n2 +1 1 +0 2.74/1.73
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_fermat.c 5162791 ∞ +0 1 +0 0.27/0.34 ∞ +0 1 +0 0.78/0.44
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 5162792 StarExec error ∞ +0 1 +0 2.61/1.64
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 5162793 StarExec error ∞ +0 1 +0 4.96/3.75
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 5162794 n1 +2 1 +0 0.20/0.28 n1 +2 1 +0 2.32/1.32
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3b.c 5162795 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 0.52/0.36
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 5162796 n1 +2 1 +0 0.31/0.39 n1 +2 1 +0 3.54/2.35
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 5162797 ∞ +0 1 +0 0.21/0.29 ∞ +0 1 +0 14.25/12.77
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_02.c 5162798 ∞ +0 1 +0 0.13/0.22 ∞ +0 1 +0 2.36/1.37
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/genady_true-termination.c 5162799 1 +2 1 +0 0.13/0.21 1 +2 1 +0 2.17/1.37
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 5162800 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.50/1.50
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncrPart.c 5162801 ∞ +0 1 +0 0.14/0.22 ∞ +0 1 +0 2.51/1.47
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure3Phase_true-termination.c 5162802 ∞ +0 1 +0 0.16/0.24 ∞ +0 1 +0 5.29/4.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.10.c 5162803 n1 +2 1 +0 0.19/0.27 n1 +2 1 +0 2.44/1.42
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_23.c 5162804 ∞ +0 1 +0 0.12/0.20 ∞ +0 1 +0 2.33/1.34
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 5162805 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.21/3.13
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 5162806 ∞ +0 1 +0 0.17/0.25 ∞ +0 1 +0 7.30/6.06
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_easySum.c 5162807 n1 +2 1 +0 0.13/0.21 n1 +2 1 +0 2.22/1.19
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.01.c 5162808 n2 +2 1 +0 0.17/0.26 n2 +2 1 +0 2.26/1.24
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileDecr.c 5162809 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 2.25/1.16
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 5162810 n1 +2 1 +0 0.15/0.24 n1 +2 1 +0 2.31/3.97
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple2_false-termination.c 5162811 ∞ +0 1 +0 0.11/0.20 ∞ +0 1 +0 2.62/1.62
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA6.c 5162812 n1 +2 1 +0 0.14/0.22 n1 +2 1 +0 2.38/1.25
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2_true-termination.c 5162813 n1 +2 1 +0 0.15/0.23 n1 +2 1 +0 2.15/1.22
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.07.c 5162814 n1 +2 1 +0 0.17/0.25 n1 +2 1 +0 2.34/1.23
Complexity_C_Integer/Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 5162815 ∞ +0 1 +0 0.13/0.21 ∞ +0 1 +0 4.90/3.87
560 524