Termination Competition 2018: Integer Transition Systems30050

benchmark Ctrl VeryMax-termCOMP17 irankfinder v1
From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 StarExec error MAYBE 269.19/206.17 StarExec error
From_T2/refine_disj_problem.t2.smt2 MAYBE 2.30/2.17 NO 6.98/4.64 MAYBE 0.94/0.94
From_T2/e-pgarch-succeed.t2.smt2 MAYBE 40.74/38.23 NO 0.11/0.08 MAYBE 10.13/10.13
From_T2/ex8.t2.smt2 MAYBE 6.15/5.78 NO 3.15/1.09 MAYBE 2.35/2.35
From_T2/ex15.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.61/0.61
From_T2/fake-succeed.t2.smt2 StarExec error NO 2.56/2.49 StarExec error
From_T2/rev_nt2.t2_fixed.smt2 MAYBE 297.47/281.55 NO 9.16/6.52 MAYBE 239.80/239.83
From_T2/java_DivWithoutMinus.c.t2.smt2 YES 106.05/100.50 YES 2.14/0.83 MAYBE 44.33/44.33
From_T2/ex36.t2_fixed.smt2 StarExec error StarExec error StarExec error
From_T2/insertsort.t2_fixed.smt2 MAYBE 4.09/3.84 NO 18.78/12.60 MAYBE 1.00/1.04
From_T2/create_via_tmps.t2.smt2 StarExec error YES 0.15/0.16 timeout (wallclock)
From_T2/polyrank4.t2.smt2 MAYBE 3.11/2.93 YES 28.01/10.57 MAYBE 0.83/0.84
From_T2/n-8.t2_fixed.smt2 MAYBE 30.29/29.17 MAYBE 0.04/0.04 MAYBE 8.51/8.51
From_T2/simple_pre2.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.53/0.53
From_T2/ex33.t2.smt2 YES 0.14/0.13 YES 0.02/0.02 YES 1.12/1.12
From_T2/consts3nt.t2.smt2 MAYBE 0.79/0.75 NO 37.87/16.85 MAYBE 0.64/0.64
From_T2/array4.t2.smt2 YES 2.89/2.73 YES 0.02/0.03 YES 0.79/0.79
From_T2/java_Double2.c.t2.smt2 YES 13.04/12.40 YES 0.04/0.05 YES 2.18/2.18
From_T2/two_arrays1.t2.smt2 YES 110.32/104.21 YES 0.06/0.06 YES 5.58/5.58
From_T2/ex27.t2.smt2 StarExec error YES 0.36/0.36 YES 148.27/148.29
From_T2/small12.t2.smt2 YES 0.96/0.92 YES 0.02/0.02 YES 0.59/0.59
From_T2/pgarch.t2.smt2 StarExec error MAYBE 137.59/54.35 StarExec error
From_T2/bf12.t2.smt2 YES 123.03/116.58 YES 0.06/0.06 YES 7.99/7.99
From_T2/bf6.t2.smt2 YES 134.87/127.71 YES 0.06/0.06 YES 5.55/5.58
From_T2/e-pgarch-succeed.t2_fixed.smt2 MAYBE 37.19/34.88 NO 0.11/0.08 MAYBE 9.18/9.25
From_T2/slayer-3.t2.smt2 StarExec error StarExec error StarExec error
From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 StarExec error YES 0.44/0.45 YES 141.90/141.91
From_T2/constants.t2_fixed.smt2 YES 8.87/8.38 YES 0.02/0.03 YES 2.12/2.13
From_T2/bakerybug.t2.smt2 MAYBE 140.71/132.67 NO 328.87/150.18 MAYBE 54.86/54.87
From_T2/s1-saved.t2_fixed.smt2 StarExec error YES 0.84/0.84 StarExec error
From_T2/traverse_twice.t2_fixed.smt2 StarExec error YES 1.50/1.51 StarExec error
From_T2/small34.t2.smt2 YES 0.12/0.12 YES 0.02/0.02 YES 0.51/0.52
From_T2/s1-striped.t2.smt2 StarExec error MAYBE 610.87/163.77 StarExec error
From_T2/p-56.t2_fixed.smt2 YES 8.54/8.05 YES 0.02/0.03 YES 1.05/1.09
From_T2/small18.t2.smt2 MAYBE 0.51/0.62 MAYBE 35.71/11.91 MAYBE 0.59/0.59
From_T2/consts1nt.t2.smt2 MAYBE 1.49/1.41 NO 37.13/16.64 MAYBE 0.87/0.88
From_T2/ex20.t2.smt2 YES 5.71/5.39 YES 0.02/0.03 YES 1.66/1.67
From_T2/mc91test.t2_fixed.smt2 MAYBE 30.75/29.00 YES 0.67/0.69 YES 1.30/1.30
From_T2/two_arrays6.t2.smt2 YES 95.28/90.59 YES 0.06/0.06 YES 5.56/5.56
From_T2/st88b-fail.t2.smt2 MAYBE 11.09/10.45 NO 20.11/8.84 MAYBE 4.10/4.13
From_T2/smagillc-fail.t2.smt2 MAYBE 4.39/4.12 NO 22.57/6.25 MAYBE 1.81/1.95
From_T2/ex21.t2.smt2 YES 13.07/12.28 YES 0.02/0.03 StarExec error
From_T2/1394complete-fail.t2_fixed.smt2 StarExec error NO 54.98/15.60 StarExec error
From_T2/simple_pre1.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.53/0.53
From_T2/fun2.t2.smt2 StarExec error YES 6.09/6.14 YES 86.93/86.94
From_T2/p-7.t2.smt2 YES 8.05/8.08 YES 0.02/0.02 YES 1.23/1.23
From_T2/consts5.t2.smt2 MAYBE 6.27/6.25 NO 26.93/9.71 MAYBE 1.16/1.17
From_T2/armc-difficult_defect.t2.smt2 MAYBE 1.55/1.47 YES 0.07/0.04 YES 0.58/0.59
From_T2/n-16a.t2.smt2 MAYBE 1.61/1.53 NO 6.42/4.50 MAYBE 0.73/0.73
From_T2/huh.t2_fixed.smt2 YES 143.99/136.08 YES 0.05/0.06 YES 10.59/10.59
From_T2/p-15.t2.smt2 YES 0.30/0.29 YES 0.02/0.02 YES 0.64/0.64
From_T2/bf10.t2_fixed.smt2 YES 92.01/86.68 YES 0.06/0.06 YES 7.99/7.99
From_T2/neg-e-popl07-succeed.t2_fixed.smt2 MAYBE 75.29/70.75 NO 0.92/0.50 MAYBE 20.92/20.92
From_T2/stored.t2.smt2 MAYBE 5.13/4.90 NO 0.09/0.06 MAYBE 2.08/2.08
From_T2/loop3.t2.smt2 timeout (wallclock) YES 1.54/1.54 YES 72.41/72.41
From_T2/n-33.t2.smt2 MAYBE 24.29/22.91 MAYBE 42.43/14.54 MAYBE 6.81/6.81
From_T2/array_free2.t2.smt2 YES 0.44/0.42 YES 0.02/0.03 YES 0.76/0.76
From_T2/consts1nt.t2_fixed.smt2 MAYBE 0.89/0.84 NO 23.88/13.62 MAYBE 0.59/0.59
From_T2/p-1b.t2.smt2 YES 1.50/1.43 YES 0.02/0.02 YES 0.70/0.70
From_T2/s1.t2_fixed.smt2 StarExec error MAYBE 579.39/165.52 StarExec error
From_T2/small29.t2.smt2 MAYBE 1.01/0.95 NO 5.32/4.18 MAYBE 0.57/0.58
From_T2/p-1c.t2.smt2 MAYBE 13.81/13.01 MAYBE 0.04/0.04 MAYBE 1.80/1.80
From_T2/byron-2.t2.smt2 YES 31.85/30.20 YES 0.03/0.03 YES 2.63/2.63
From_T2/java_Diff.c.t2.smt2 StarExec error YES 0.54/0.54 StarExec error
From_T2/p-43.t2_fixed.smt2 MAYBE 10.27/10.01 YES 2.33/0.92 MAYBE 2.85/2.85
From_T2/bitcount32.t2_fixed.smt2 YES 43.09/41.17 YES 0.02/0.03 YES 5.39/5.39
From_T2/reverse_seg_cyclic.t2_fixed.smt2 StarExec error YES 1.11/1.13 StarExec error
From_T2/compress.t2.smt2 StarExec error NO 168.48/56.81 StarExec error
From_T2/nakata_withassume.t2.smt2 timeout (wallclock) YES 3.91/3.91 StarExec error
From_T2/ex18.t2_fixed.smt2 MAYBE 15.86/14.95 YES 0.03/0.04 MAYBE 2.36/2.38
From_T2/e-1394complete-fail.t2.smt2 StarExec error NO 55.17/15.56 StarExec error
From_T2/queue_10.t2.smt2 YES 23.14/21.81 YES 0.07/0.07 YES 3.42/3.42
From_T2/fun7.t2.smt2 StarExec error MAYBE 48.28/19.74 StarExec error
From_T2/p-5.t2.smt2 MAYBE 285.81/269.31 NO 80.24/24.25 MAYBE 40.92/40.92
From_T2/java_FibRecursive.c.t2.smt2 YES 3.54/3.33 YES 0.05/0.05 YES 1.58/1.58
From_T2/queens.t2.smt2 StarExec error YES 7.90/3.74 StarExec error
From_T2/armc-difficult_foo3.t2.smt2 StarExec error YES 7.04/7.04 StarExec error
From_T2/simple_test.t2.smt2 YES 4.52/4.26 YES 0.03/0.03 YES 0.97/0.97
From_T2/heidy7.t2.smt2 MAYBE 2.24/2.11 NO 3.17/1.09 MAYBE 0.94/0.94
From_T2/destroy_seg.t2.smt2 StarExec error YES 0.20/0.20 StarExec error
From_T2/reverse_div4.t2.smt2 StarExec error NO 11.89/8.62 StarExec error
From_T2/disj_nightmare_abi.t2.smt2 MAYBE 3.34/3.16 YES 0.03/0.03 MAYBE 0.72/0.73
From_T2/consts5nt.t2.smt2 MAYBE 6.16/5.80 NO 26.50/9.59 MAYBE 1.17/1.17
From_T2/mc91.t2.smt2 MAYBE 10.53/9.95 NO 341.63/159.48 MAYBE 1.58/1.58
From_T2/collatz.t2.smt2 MAYBE 10.45/10.17 MAYBE 5.34/4.22 MAYBE 2.25/2.25
From_T2/smagillc-fail.t2_fixed.smt2 MAYBE 4.94/5.09 NO 22.70/6.34 MAYBE 1.86/1.86
From_T2/neg-e-acqrel-fail.t2_fixed.smt2 MAYBE 4.39/4.48 NO 5.35/4.23 MAYBE 1.64/1.68
From_T2/selectSort.t2.smt2 StarExec error StarExec error YES 7.84/7.85
From_T2/ex18.t2.smt2 MAYBE 22.59/21.22 YES 0.03/0.04 MAYBE 3.09/3.09
From_T2/dead.neg-st88b-succeed.t2.smt2 MAYBE 17.90/16.84 NO 37.92/17.45 MAYBE 6.18/6.18
From_T2/ex29.t2.smt2 YES 1.13/1.10 YES 0.04/0.04 YES 8.38/8.38
From_T2/ns.t2.smt2 YES 127.97/120.99 YES 1.90/0.68 StarExec error
From_T2/destroy_seg.t2_fixed.smt2 StarExec error YES 0.34/0.34 StarExec error
From_T2/p-38.t2.smt2 YES 0.33/0.32 YES 0.03/0.03 YES 5.91/5.91
From_T2/simple_test2.t2.smt2 MAYBE 0.88/0.85 NO 0.04/0.04 MAYBE 0.57/0.57
From_T2/bubbleSort.t2.smt2 YES 21.89/20.62 YES 0.06/0.06 YES 2.82/2.82
From_T2/small10.t2.smt2 MAYBE 3.37/3.17 NO 8.26/5.04 MAYBE 0.87/0.87
From_T2/apchild-accepted.t2_fixed.smt2 StarExec error MAYBE 357.89/182.64 StarExec error
From_T2/slayer-n1.t2.smt2 StarExec error NO 14.48/9.24 StarExec error
From_T2/ex23.t2.smt2 YES 3.71/3.48 YES 0.02/0.02 YES 1.08/1.11
From_T2/neg-acqrel-succeed.t2.smt2 MAYBE 3.35/3.16 NO 9.36/4.19 MAYBE 1.36/1.37
From_T2/heidy8.t2_fixed.smt2 MAYBE 5.75/5.63 NO 3.16/1.09 MAYBE 1.57/1.57
From_T2/neg-acqrel-fail.t2.smt2 MAYBE 3.03/2.93 NO 9.33/4.19 MAYBE 1.36/1.38
From_T2/n-20.t2.smt2 MAYBE 21.30/20.14 MAYBE 0.04/0.05 MAYBE 3.13/3.13
From_T2/zlib-crc32-BYFOUR.c.t2.smt2 MAYBE 216.33/206.68 NO 47.61/17.90 MAYBE 30.19/30.19
From_T2/p-37.t2_fixed.smt2 YES 8.77/8.26 YES 0.03/0.03 YES 2.14/2.17
From_T2/bf7.t2.smt2 YES 124.32/117.70 YES 0.06/0.07 YES 9.09/9.09
From_T2/spctrm.t2.smt2 StarExec error YES 11.85/11.86 StarExec error
From_T2/small28.t2.smt2 YES 1.07/1.02 YES 0.02/0.04 YES 0.55/0.55
From_T2/array_init.t2.smt2 YES 0.84/0.80 YES 0.02/0.02 YES 0.77/0.79
From_T2/bf20.t2.smt2 YES 122.12/115.75 YES 0.06/0.07 YES 6.86/6.87
From_T2/byron-4.t2.smt2 MAYBE 27.11/25.58 StarExec error MAYBE 6.58/6.62
From_T2/ex32.t2_fixed.smt2 YES 3.99/3.92 YES 0.02/0.03 YES 1.23/1.26
From_T2/ex29.t2_fixed.smt2 YES 1.17/1.14 YES 0.03/0.04 YES 7.74/7.77
From_T2/n-48.t2.smt2 MAYBE 6.94/6.61 NO 33.61/16.86 MAYBE 1.77/1.77
From_T2/neg-e-1394-succeed.t2.smt2 StarExec error NO 17.81/5.61 StarExec error
From_T2/fun11.t2_fixed.smt2 MAYBE 13.15/12.34 NO 18.81/8.42 MAYBE 4.48/4.50
From_T2/seq.t2.smt2 YES 0.11/0.10 YES 0.02/0.02 YES 0.51/0.52
From_T2/p-4.t2.smt2 YES 6.20/5.89 YES 0.03/0.03 YES 0.71/0.71
From_T2/neg-1394-succeed.t2.smt2 StarExec error NO 17.88/5.70 StarExec error
From_T2/ndes.t2.smt2 StarExec error YES 28.70/19.23 StarExec error
From_T2/p-7.t2_fixed.smt2 YES 8.49/7.98 YES 0.02/0.02 YES 1.07/1.07
From_T2/p-21.t2_fixed.smt2 YES 3.11/3.30 YES 0.02/0.03 YES 0.82/0.82
From_T2/apchild-live.t2_fixed.smt2 StarExec error MAYBE 384.18/157.75 StarExec error
From_T2/traverse2.t2.smt2 StarExec error YES 0.44/0.44 StarExec error
From_T2/p-61.t2_fixed.smt2 YES 2.02/1.91 YES 0.03/0.04 YES 1.01/1.02
From_T2/send-more-money.t2_fixed.smt2 YES 71.81/71.45 YES 0.79/0.79 YES 54.61/54.66
From_T2/agafp.t2_fixed.smt2 StarExec error NO 108.22/55.79 StarExec error
From_T2/232.t2.smt2 YES 2.68/2.54 YES 0.02/0.03 YES 0.63/0.63
From_T2/neg-e-1394complete-fail.t2_fixed.smt2 StarExec error NO 55.19/15.52 StarExec error
From_T2/streamserver.bug.t2_fixed.smt2 MAYBE 78.14/74.21 NO 22.30/9.86 MAYBE 48.84/48.85
From_T2/bf10.t2.smt2 YES 118.19/111.79 YES 0.06/0.07 YES 8.00/8.01
From_T2/sas2.t2.smt2 MAYBE 271.11/255.56 YES 93.98/49.77 MAYBE 200.84/200.86
From_T2/hqr.t2.smt2 StarExec error MAYBE 263.22/159.42 StarExec error
From_T2/bs.t2_fixed.smt2 MAYBE 21.45/20.07 NO 6.05/4.43 MAYBE 5.61/5.62
From_T2/destroy_seg_leak.t2_fixed.smt2 StarExec error StarExec error StarExec error
From_T2/e-1394-succeed.t2.smt2 StarExec error NO 17.77/5.59 StarExec error
From_T2/p-32.t2.smt2 MAYBE 2.95/2.79 NO 5.94/4.47 MAYBE 0.83/0.83
From_T2/queue_1000.t2_fixed.smt2 YES 13.00/12.43 YES 0.06/0.06 YES 4.59/4.59
From_T2/byron-3.t2.smt2 MAYBE 2.40/2.28 YES 0.20/0.09 YES 0.77/0.77
From_T2/send-more-money.t2.smt2 YES 78.56/78.12 YES 0.82/0.82 YES 58.41/58.41
From_T2/bf13.t2.smt2 YES 123.82/117.10 YES 0.06/0.06 YES 7.99/8.01
From_T2/java_LeUserDefRec.c.t2.smt2 YES 7.93/7.77 YES 0.06/0.06 YES 1.68/1.69
From_T2/n-3a.t2_fixed.smt2 MAYBE 45.04/42.31 NO 0.85/0.26 MAYBE 2.65/2.65
From_T2/bf13.t2_fixed.smt2 YES 89.67/85.24 YES 0.06/0.06 YES 8.04/8.04
From_T2/neg-1394-fail.t2.smt2 StarExec error NO 17.79/5.63 StarExec error
From_T2/polyrank3.t2.smt2 MAYBE 2.86/2.69 YES 4.77/1.66 MAYBE 0.84/0.85
From_T2/p-21.t2.smt2 YES 13.28/12.58 YES 0.03/0.03 YES 1.17/1.18
From_T2/neg-e-1394complete-succeed.t2_fixed.smt2 StarExec error NO 55.10/15.63 StarExec error
From_T2/e-popl07-fail.t2_fixed.smt2 MAYBE 89.06/83.80 NO 1.12/0.60 MAYBE 24.85/24.85
From_T2/neg-popl07-fail.t2.smt2 MAYBE 82.63/77.83 NO 0.28/0.17 MAYBE 20.12/20.13
From_T2/apchild-accepted.t2.smt2 StarExec error MAYBE 307.03/160.86 StarExec error
From_T2/fourn.t2.smt2 StarExec error StarExec error StarExec error
From_T2/s2.t2.smt2 YES 5.74/5.40 YES 0.02/0.03 YES 1.02/1.02
From_T2/1394-succeed.t2.smt2 StarExec error NO 17.66/5.56 StarExec error
From_T2/ex33.t2_fixed.smt2 YES 0.13/0.13 YES 0.02/0.02 StarExec error
From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 StarExec error YES 1.22/1.24 YES 186.09/186.11
From_T2/neg-e-st88b-succeed.t2.smt2 MAYBE 1.56/1.49 NO 0.04/0.04 MAYBE 2.04/2.04
From_T2/print.t2_fixed.smt2 StarExec error YES 1.23/1.23 StarExec error
From_T2/small01.t2.smt2 MAYBE 0.73/0.70 NO 44.30/23.80 MAYBE 0.71/0.71
From_T2/wrap.c.t2.smt2 StarExec error YES 0.37/0.37 StarExec error
From_T2/3.t2.smt2 MAYBE 0.18/0.17 NO 0.03/0.03 StarExec error
From_T2/java_Continue1.c.t2.smt2 YES 2.37/2.23 YES 0.03/0.03 YES 1.23/1.23
From_T2/walk.t2.smt2 MAYBE 71.89/68.05 NO 154.36/68.53 MAYBE 19.97/19.98
From_T2/small23.t2.smt2 MAYBE 2.94/2.80 NO 9.46/4.23 MAYBE 1.04/1.04
From_T2/curious2.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.54/0.54
From_T2/wrong_loop.t2_fixed.smt2 MAYBE 3.21/3.01 NO 1.35/0.88 MAYBE 1.05/1.05
From_T2/java_Double3.c.t2.smt2 YES 17.81/16.76 YES 0.05/0.05 YES 3.54/3.54
From_T2/toeplz.t2.smt2 StarExec error YES 4.21/4.21 timeout (wallclock)
From_T2/p-41.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.50/0.50
From_T2/smagillc-succeed.t2.smt2 MAYBE 5.11/4.81 NO 22.36/6.21 MAYBE 1.84/1.85
From_T2/bitcount16.t2.smt2 MAYBE 47.80/45.42 YES 0.03/0.03 YES 2.12/2.12
From_T2/slayer-n3-filtered.t2.smt2 StarExec error YES 0.10/0.10 YES 20.87/20.89
From_T2/ex16.t2.smt2 MAYBE 103.01/96.84 NO 52.39/41.86 MAYBE 34.00/34.00
From_T2/consts3nt.t2_fixed.smt2 MAYBE 0.30/0.29 NO 28.14/10.96 MAYBE 0.52/0.52
From_T2/bf15.t2_fixed.smt2 YES 88.38/83.16 YES 0.06/0.06 YES 8.02/8.02
From_T2/n-9.t2.smt2 MAYBE 40.53/38.27 NO 7.45/4.78 MAYBE 8.37/8.39
From_T2/apchildlive-succeed.t2.smt2 StarExec error MAYBE 102.60/42.09 StarExec error
From_T2/consts4.t2_fixed.smt2 YES 0.10/0.10 YES 0.02/0.02 YES 0.51/0.52
From_T2/w2_nt.t2.smt2 MAYBE 222.00/209.71 NO 10.41/8.34 MAYBE 143.70/143.71
From_T2/fun2.t2_fixed.smt2 MAYBE 245.12/235.38 YES 1.85/1.87 YES 41.27/41.28
From_T2/st88.t2.smt2 MAYBE 12.77/12.03 NO 13.77/5.84 MAYBE 4.64/4.64
From_T2/bf14.t2_fixed.smt2 YES 94.78/89.80 YES 0.06/0.06 YES 7.58/7.59
From_T2/e-1394complete-failA.t2.smt2 StarExec error NO 55.04/15.66 StarExec error
From_T2/fast_poll.t2_fixed.smt2 timeout (wallclock) NO 8.07/6.06 MAYBE 274.23/274.30
From_T2/smagillb-succeed.t2.smt2 MAYBE 6.20/5.84 NO 33.38/8.83 MAYBE 2.14/2.14
From_T2/java_PlusSwap.c.t2.smt2 MAYBE 11.34/10.70 YES 3.56/1.23 YES 1.96/1.96
From_T2/neg-st88b-fail.t2.smt2 MAYBE 18.78/18.45 NO 38.05/16.93 MAYBE 6.10/6.10
From_T2/n_firewire_instrumented-PP.t2.smt2 MAYBE 125.72/119.65 MAYBE 218.90/130.21 StarExec error
From_T2/fun6.t2.smt2 StarExec error NO 49.95/16.69 StarExec error
From_T2/dsa_test13.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.47/0.47
From_T2/apchild-accepted-fail.t2.smt2 StarExec error MAYBE 307.23/160.88 StarExec error
From_T2/dsa_test6.t2.smt2 YES 1.42/1.36 YES 0.02/0.02 YES 0.72/0.72
From_T2/small19.t2.smt2 MAYBE 3.01/2.83 YES 0.02/0.04 YES 0.66/0.67
From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 StarExec error StarExec error StarExec error
From_T2/eric2.t2.smt2 StarExec error MAYBE 50.79/20.63 YES 273.00/273.06
From_T2/n-15a.t2.smt2 MAYBE 9.84/9.27 MAYBE 14.26/6.04 MAYBE 2.88/2.89
From_T2/walk.t2_fixed.smt2 MAYBE 69.52/65.77 NO 152.92/68.30 MAYBE 19.84/19.84
From_T2/matmul.t2.smt2 YES 29.02/27.28 YES 0.30/0.15 StarExec error
From_T2/p-34.t2.smt2 StarExec error MAYBE 0.07/0.07 MAYBE 276.12/276.13
From_T2/n-9.t2_fixed.smt2 MAYBE 41.78/39.95 NO 7.86/4.89 MAYBE 9.26/9.26
From_T2/heidy8.t2.smt2 MAYBE 5.63/5.31 NO 3.19/1.11 MAYBE 1.56/1.56
From_T2/nested2.t2.smt2 YES 22.07/20.88 YES 0.03/0.06 YES 1.76/1.76
From_T2/ex3.t2_fixed.smt2 YES 1.60/1.51 YES 0.02/0.02 YES 0.81/0.81
From_T2/n-6.t2.smt2 MAYBE 10.48/10.36 NO 149.99/58.67 MAYBE 2.49/2.49
From_T2/dsa_test10.t2.smt2 YES 10.53/9.90 YES 0.02/0.03 YES 1.26/1.26
From_T2/simple_control_on_input.t2.smt2 YES 0.86/0.82 YES 0.02/0.02 YES 0.77/0.77
From_T2/neg-1394complete-fail.t2_fixed.smt2 StarExec error NO 370.37/99.96 StarExec error
From_T2/ppblocktermbug.t2.smt2 MAYBE 52.12/52.96 NO 144.88/56.68 MAYBE 10.68/10.68
From_T2/ax_test_3.t2.smt2 MAYBE 0.21/0.20 NO 0.04/0.03 MAYBE 0.56/0.56
From_T2/n-1.t2.smt2 MAYBE 20.50/19.27 NO 5.18/4.16 MAYBE 3.17/3.17
From_T2/p-8.t2.smt2 MAYBE 6.21/5.84 MAYBE 0.03/0.03 StarExec error
From_T2/fun10b.t2_fixed.smt2 StarExec error NO 13.85/6.70 StarExec error
From_T2/flipflop.t2.smt2 MAYBE 0.53/0.52 NO 0.42/0.25 MAYBE 0.53/0.54
From_T2/p-19a.t2.smt2 MAYBE 16.92/15.94 MAYBE 0.04/0.04 MAYBE 2.22/2.23
From_T2/fun9.t2.smt2 MAYBE 73.21/69.01 StarExec error MAYBE 133.61/133.61
From_T2/subpoly_crash.t2.smt2 MAYBE 0.47/0.45 NO 31.92/16.55 MAYBE 0.64/0.64
From_T2/fun6.t2_fixed.smt2 StarExec error MAYBE 81.62/24.76 StarExec error
From_T2/queue_100.t2.smt2 YES 24.67/23.65 YES 0.07/0.07 YES 3.46/3.47
From_T2/n-18.t2.smt2 MAYBE 0.74/0.71 NO 19.14/8.47 MAYBE 0.66/0.67
From_T2/fun1b.t2.smt2 StarExec error NO 141.63/80.75 StarExec error
From_T2/p-5.t2_fixed.smt2 MAYBE 241.81/229.45 NO 68.56/21.14 MAYBE 37.53/37.54
From_T2/n-6a.t2.smt2 MAYBE 13.45/12.62 NO 5.98/4.58 MAYBE 1.38/1.38
From_T2/n-10.t2_fixed.smt2 MAYBE 57.86/54.47 MAYBE 0.05/0.05 MAYBE 19.55/19.89
From_T2/mc91.t2_fixed.smt2 MAYBE 2.51/2.38 YES 0.20/0.20 YES 0.62/0.62
From_T2/2.t2.smt2 MAYBE 79.49/75.02 NO 32.98/12.26 MAYBE 32.19/32.20
From_T2/n-6a.t2_fixed.smt2 MAYBE 12.72/12.32 NO 5.65/4.26 MAYBE 1.36/1.36
From_T2/java_DivMinus1.c.t2.smt2 YES 13.02/12.26 StarExec error YES 2.05/2.05
From_T2/polyrank5.t2.smt2 MAYBE 4.74/4.83 YES 56.58/25.94 MAYBE 1.00/1.02
From_T2/cfg.t2.smt2 MAYBE 4.32/4.10 NO 5.58/4.32 MAYBE 1.15/1.15
From_T2/matmult.t2.smt2 YES 251.48/236.60 YES 0.48/0.23 YES 23.25/23.25
From_T2/spiral.t2_fixed.smt2 MAYBE 22.99/21.59 StarExec error MAYBE 1.31/1.31
From_T2/slayer-4-filtered.t2.smt2 StarExec error MAYBE 479.42/261.50 StarExec error
From_T2/curious4.t2.smt2 StarExec error MAYBE 65.49/28.08 StarExec error
From_T2/disj_nightmare.t2_fixed.smt2 StarExec error YES 23.70/11.91 StarExec error
From_T2/small09.t2.smt2 MAYBE 17.20/16.52 YES 0.07/0.08 YES 2.60/2.60
From_T2/small24.t2.smt2 MAYBE 0.21/0.21 StarExec error MAYBE 0.56/0.56
From_T2/hqr.t2_fixed.smt2 StarExec error MAYBE 277.78/172.16 StarExec error
From_T2/fun4.t2_fixed.smt2 MAYBE 9.18/8.64 YES 10.51/4.82 MAYBE 2.30/2.31
From_T2/n-15a.t2_fixed.smt2 MAYBE 3.08/2.91 MAYBE 10.14/4.37 MAYBE 1.40/1.40
From_T2/ppblock.t2.smt2 MAYBE 12.79/12.01 StarExec error MAYBE 3.30/3.31
From_T2/florian_pldi.t2.smt2 YES 21.72/20.39 YES 0.10/0.11 YES 3.23/3.24
From_T2/neg-e-popl07-fail.t2.smt2 MAYBE 88.57/83.30 NO 0.25/0.17 MAYBE 22.27/22.28
From_T2/p-42.t2.smt2 YES 6.48/6.12 YES 0.02/0.03 YES 0.79/0.80
From_T2/weakness.t2.smt2 MAYBE 2.30/2.17 YES 3.14/1.07 YES 0.65/0.65
From_T2/s3.t2_fixed.smt2 StarExec error StarExec error StarExec error
From_T2/java_FactSum.c.t2.smt2 YES 29.13/27.42 YES 0.06/0.07 YES 3.46/3.47
From_T2/small35.t2.smt2 MAYBE 1.11/1.05 NO 191.08/88.13 MAYBE 0.66/0.66
From_T2/mc91test.t2.smt2 MAYBE 71.63/68.51 NO 353.69/158.49 MAYBE 3.94/3.94
From_T2/bubblesort_inner_loop.t2.smt2 YES 5.10/4.79 YES 0.02/0.02 YES 1.36/1.36
From_T2/ppblockbug.t2.smt2 MAYBE 12.65/11.87 NO 42.06/18.36 MAYBE 3.65/3.65
From_T2/bf19.t2.smt2 StarExec error YES 0.06/0.06 YES 8.02/8.02
From_T2/n-1c.t2_fixed.smt2 MAYBE 38.59/36.49 MAYBE 0.05/0.18 MAYBE 9.70/9.71
From_T2/java_Continue1.c.t2_fixed.smt2 YES 1.73/1.65 YES 0.02/0.03 YES 0.97/1.05
From_T2/n-8a.t2.smt2 MAYBE 6.94/6.53 NO 5.86/4.31 MAYBE 1.22/1.22
From_T2/p-40.t2_fixed.smt2 YES 4.92/5.03 YES 0.02/0.02 YES 1.09/1.09
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 StarExec error MAYBE 275.26/171.98 StarExec error
From_T2/java_Break.c.t2.smt2 YES 2.49/2.35 YES 0.03/0.04 YES 1.22/1.22
From_T2/small13.t2.smt2 MAYBE 1.64/1.55 YES 0.02/0.03 YES 0.60/0.61
From_T2/zlib-adler32.c.t2_fixed.smt2 StarExec error YES 80.14/49.16 YES 78.95/78.97
From_T2/reverse_seg_cyclic.t2.smt2 StarExec error YES 0.32/0.32 StarExec error
From_T2/select.t2_fixed.smt2 timeout (wallclock) NO 32.98/22.45 StarExec error
From_T2/bf8.t2.smt2 YES 123.08/116.59 YES 0.06/0.06 YES 8.82/8.83
From_T2/bf19.t2_fixed.smt2 YES 79.74/75.23 YES 0.06/0.06 YES 8.01/8.01
From_T2/rewrite.t2.smt2 MAYBE 0.60/0.57 NO 0.04/0.04 MAYBE 0.63/0.63
From_T2/polling.bug.t2_fixed.smt2 timeout (wallclock) MAYBE 29.15/16.60 MAYBE 255.62/255.67
From_T2/fake-succeed.t2_fixed.smt2 StarExec error NO 1.71/1.66 StarExec error
From_T2/p-62.t2.smt2 YES 0.02/0.02 YES 0.01/0.02 YES 0.84/0.85
From_T2/fun11.t2.smt2 MAYBE 21.89/20.58 NO 37.37/16.91 MAYBE 5.81/5.82
From_T2/crc.t2_fixed.smt2 StarExec error YES 0.19/0.19 StarExec error
From_T2/db2.t2_fixed.smt2 StarExec error MAYBE 240.82/143.29 StarExec error
From_T2/fibcall.t2_fixed.smt2 YES 11.33/10.64 YES 0.02/0.03 YES 1.19/1.19
From_T2/n-17.t2.smt2 MAYBE 1.23/1.17 NO 33.83/13.47 MAYBE 0.58/0.59
From_T2/bio.t2.smt2 StarExec error NO 215.62/214.97 StarExec error
From_T2/huh.t2.smt2 YES 159.16/150.73 YES 0.05/0.06 YES 12.03/12.04
From_T2/florian.t2.smt2 YES 0.11/0.11 YES 0.02/0.02 YES 0.49/0.50
From_T2/brp_withassume.t2.smt2 StarExec error MAYBE 199.76/158.71 StarExec error
From_T2/apchildlive-succeed.t2_fixed.smt2 StarExec error MAYBE 145.68/67.08 StarExec error
From_T2/consts1.t2.smt2 MAYBE 1.55/1.77 NO 37.10/16.62 MAYBE 0.87/0.99
From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 StarExec error MAYBE 148.59/64.42 StarExec error
From_T2/polling.bug.t2.smt2 timeout (wallclock) MAYBE 27.46/14.98 timeout (wallclock)
From_T2/neg-smagilla-fail.t2.smt2 MAYBE 4.38/4.10 NO 3.30/1.17 MAYBE 1.82/1.82
From_T2/curious.t2.smt2 MAYBE 1.21/1.15 NO 5.63/4.27 MAYBE 0.79/0.79
From_T2/p-44.t2.smt2 YES 0.64/0.61 YES 0.02/0.02 YES 0.80/0.80
From_T2/java_AProVEMath.c.t2.smt2 MAYBE 40.45/38.18 YES 1.55/0.59 YES 7.54/7.87
From_T2/p-43-terminate.t2.smt2 StarExec error YES 5.85/2.85 MAYBE 279.57/279.56
From_T2/fibcall.t2.smt2 YES 13.90/13.41 YES 0.02/0.03 YES 1.35/1.35
From_T2/fun7.t2_fixed.smt2 StarExec error MAYBE 40.92/14.77 StarExec error
From_T2/p-3.t2.smt2 YES 8.73/8.53 YES 0.02/0.03 YES 1.11/1.12
From_T2/java_Duplicate.c.t2.smt2 YES 5.76/5.41 YES 0.04/0.04 YES 1.46/1.46
From_T2/ex21.t2_fixed.smt2 YES 7.40/6.96 YES 0.13/0.14 YES 0.94/0.94
From_T2/e-acqrel-succeed.t2_fixed.smt2 MAYBE 3.07/2.89 NO 5.38/4.24 MAYBE 1.36/1.38
From_T2/ex14.t2.smt2 YES 1.51/1.42 YES 0.02/0.02 YES 0.71/0.71
From_T2/simple_pre.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.52/0.52
From_T2/slayer-n1.t2_fixed.smt2 StarExec error NO 135.72/38.12 StarExec error
From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 StarExec error NO 95.98/37.07 StarExec error
From_T2/nested.t2.smt2 StarExec error YES 0.03/0.04 YES 2.18/2.18
From_T2/neg.t2.smt2 YES 0.01/0.01 YES 0.01/0.01 YES 0.46/0.46
From_T2/loop_on_input.t2_fixed.smt2 YES 1.08/1.02 YES 0.02/0.03 YES 0.57/0.57
From_T2/neg-popl07-succeed.t2_fixed.smt2 MAYBE 93.32/88.32 NO 0.80/0.44 MAYBE 23.59/23.59
From_T2/jfdctint.c.t2_fixed.smt2 YES 16.51/16.62 StarExec error YES 2.64/2.64
From_T2/popl07-fail.t2.smt2 MAYBE 70.80/67.10 StarExec error MAYBE 16.41/16.41
From_T2/fun2b.t2.smt2 StarExec error YES 5.67/5.67 YES 86.73/86.73
From_T2/n-1d.t2.smt2 MAYBE 13.74/12.92 NO 5.41/4.21 MAYBE 1.67/1.68
From_T2/traverse_seg2.t2.smt2 StarExec error YES 0.42/0.43 StarExec error
From_T2/statemate.t2.smt2 StarExec error timeout (wallclock) StarExec error
From_T2/bf12.t2_fixed.smt2 YES 90.74/85.87 YES 0.06/0.06 YES 8.05/8.05
From_T2/p-63.t2.smt2 MAYBE 7.27/6.84 YES 0.05/0.04 YES 1.51/1.51
From_T2/fun1b.t2_fixed.smt2 MAYBE 282.69/271.50 NO 133.56/81.19 StarExec error
From_T2/ex17.t2_fixed.smt2 MAYBE 28.32/26.86 YES 0.02/0.03 YES 3.20/3.20
From_T2/peculiar.t2_fixed.smt2 MAYBE 10.41/9.86 NO 3.47/1.33 MAYBE 3.58/3.58
From_T2/p-60.t2_fixed.smt2 YES 4.63/4.38 YES 0.02/0.02 YES 1.11/1.11
From_T2/edn.t2.smt2 StarExec error StarExec error StarExec error
From_T2/traverse2.t2_fixed.smt2 StarExec error YES 1.23/1.24 StarExec error
From_T2/bf20.t2_fixed.smt2 YES 78.15/74.52 YES 0.06/0.06 YES 7.32/7.32
From_T2/acqrel-succeed2.t2.smt2 MAYBE 5.54/5.63 NO 0.06/0.05 MAYBE 0.95/0.95
From_T2/svdcmp.t2_fixed.smt2 StarExec error YES 29.41/29.43 StarExec error
From_T2/bakery.t2.smt2 MAYBE 136.74/129.20 NO 329.07/150.23 MAYBE 55.39/55.39
From_T2/queue_1.t2.smt2 YES 14.30/13.74 YES 0.05/0.06 YES 2.05/2.05
From_T2/cover.t2_fixed.smt2 StarExec error YES 39.01/39.02 StarExec error
From_T2/p-36.t2.smt2 StarExec error MAYBE 0.07/0.06 MAYBE 27.65/27.66
From_T2/consts2nt.t2.smt2 MAYBE 0.74/0.70 NO 6.26/4.46 MAYBE 0.64/0.65
From_T2/ex34.t2.smt2 YES 0.03/0.03 YES 0.02/0.03 YES 1.79/1.79
From_T2/curious2.t2_fixed.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.50/0.50
From_T2/fun1.t2_fixed.smt2 MAYBE 248.88/238.77 NO 133.88/81.30 StarExec error
From_T2/bf5.t2_fixed.smt2 YES 96.30/91.22 YES 0.05/0.06 YES 6.06/6.07
From_T2/constants.t2.smt2 YES 13.26/12.46 YES 0.03/0.03 YES 2.36/2.36
From_T2/simple_fail.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.47/0.47
From_T2/db2.t2.smt2 StarExec error MAYBE 324.47/149.87 StarExec error
From_T2/neg-smagilla-succeed.t2.smt2 MAYBE 4.61/4.35 NO 22.36/6.19 MAYBE 1.81/1.81
From_T2/ex7.t2_fixed.smt2 YES 3.78/3.59 YES 0.02/0.02 YES 0.82/0.82
From_T2/polyrank6.t2.smt2 MAYBE 3.70/3.48 YES 0.76/0.31 YES 0.64/0.64
From_T2/ex30.t2.smt2 YES 13.78/13.10 YES 0.02/0.03 YES 1.30/1.30
From_T2/heidy5.t2.smt2 YES 0.68/0.65 YES 0.02/0.04 YES 0.70/0.71
From_T2/neg-pgarch-succeed.t2.smt2 MAYBE 33.29/31.46 NO 0.11/0.08 MAYBE 8.64/8.64
From_T2/p-50.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.85/0.85
From_T2/n-3a.t2.smt2 MAYBE 103.94/97.98 NO 0.62/0.20 MAYBE 7.32/7.32
From_T2/armc-difficult_foo2.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.45/0.46
From_T2/n-37.t2.smt2 MAYBE 6.02/5.67 NO 44.39/23.86 MAYBE 1.73/1.75
From_T2/spiral.t2.smt2 StarExec error MAYBE 39.79/12.07 MAYBE 1.81/1.81
From_T2/ex1.t2.smt2 MAYBE 1.06/1.01 NO 64.87/34.01 MAYBE 0.72/0.73
From_T2/test_byron_2.t2.smt2 MAYBE 0.59/0.57 NO 5.22/4.16 MAYBE 0.66/0.67
From_T2/pgarch.t2_fixed.smt2 StarExec error timeout (wallclock) StarExec error
From_T2/e-popl07-succeed.t2.smt2 MAYBE 87.11/81.98 NO 0.26/0.17 MAYBE 22.10/22.11
From_T2/p-33.t2.smt2 MAYBE 6.34/5.97 NO 8.74/5.39 MAYBE 1.85/1.85
From_T2/ex12.t2_fixed.smt2 YES 0.81/0.77 YES 0.02/0.02 YES 0.59/0.60
From_T2/java_Sequence.c.t2.smt2 YES 23.35/22.45 YES 0.06/0.06 YES 3.08/3.10
From_T2/small31.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.48/0.50
From_T2/heidy3.t2.smt2 MAYBE 0.59/0.57 NO 3.13/1.08 MAYBE 0.68/0.68
From_T2/consts1.t2_fixed.smt2 MAYBE 0.98/0.93 YES 2.07/2.07 MAYBE 0.63/0.64
From_T2/bf18.t2.smt2 YES 117.69/110.76 YES 0.06/0.06 YES 8.07/8.07
From_T2/dummy.t2.smt2 MAYBE 1.05/0.99 NO 37.93/16.94 MAYBE 0.58/0.59
From_T2/reverse.t2_fixed.smt2 StarExec error YES 2.07/2.07 StarExec error
From_T2/loop3.t2_fixed.smt2 MAYBE 134.89/136.70 YES 1.18/1.20 YES 17.84/17.84
From_T2/eric1.t2.smt2 MAYBE 3.40/3.19 MAYBE 43.94/16.26 YES 0.81/0.81
From_T2/neg-e-acqrel-fail.t2.smt2 MAYBE 5.09/5.15 NO 5.36/4.23 MAYBE 1.61/1.61
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 StarExec error MAYBE 337.94/202.87 StarExec error
From_T2/ex6.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.55/0.56
From_T2/consts3.t2.smt2 YES 0.74/0.70 YES 0.02/0.02 YES 0.61/0.61
From_T2/fun8.t2_fixed.smt2 StarExec error YES 0.23/0.23 timeout (wallclock)
From_T2/efegp.t2.smt2 timeout (wallclock) NO 9.10/5.75 StarExec error
From_T2/small17.t2.smt2 MAYBE 0.51/0.50 MAYBE 35.90/12.35 MAYBE 0.55/0.55
From_T2/slayer-5-filtered.t2.smt2 StarExec error MAYBE 154.87/63.87 StarExec error
From_T2/e-1394-succeed.t2_fixed.smt2 StarExec error NO 17.69/5.56 StarExec error
From_T2/array_init_assign.t2.smt2 YES 1.70/1.61 YES 0.02/0.02 YES 0.77/0.77
From_T2/ax_test_2.t2.smt2 MAYBE 0.13/0.13 NO 0.03/0.03 MAYBE 0.52/0.52
From_T2/ex16.t2_fixed.smt2 MAYBE 93.75/89.28 NO 52.32/41.85 MAYBE 29.69/29.70
From_T2/slayer-1-filtered.t2.smt2 StarExec error YES 0.17/0.18 YES 27.79/27.81
From_T2/slayer-3-new.t2.smt2 StarExec error StarExec error StarExec error
From_T2/slayer-3-filtered.t2.smt2 StarExec error StarExec error StarExec error
From_T2/p-1a.t2.smt2 MAYBE 13.60/13.17 MAYBE 0.03/0.04 MAYBE 1.78/1.79
From_T2/curious.t2_fixed.smt2 MAYBE 0.64/0.65 NO 5.32/4.21 StarExec error
From_T2/dumper.t2.smt2 StarExec error MAYBE 61.13/25.27 StarExec error
From_T2/ud.t2_fixed.smt2 StarExec error YES 5.07/4.61 StarExec error
From_T2/consts4.t2.smt2 MAYBE 1.49/1.43 NO 6.82/4.60 MAYBE 0.75/0.75
From_T2/dsa_test10.t2_fixed.smt2 YES 7.86/7.42 YES 0.02/0.02 YES 1.04/1.04
From_T2/ctl.t2_fixed.smt2 MAYBE 3.73/3.54 NO 0.05/0.04 MAYBE 3.45/3.45
From_T2/java_Nested.c.t2_fixed.smt2 YES 19.24/18.05 YES 0.04/0.05 StarExec error
From_T2/n-10.t2.smt2 MAYBE 56.26/53.26 NO 6.48/4.51 MAYBE 16.77/16.77
From_T2/slayer-n2-filtered.t2.smt2 MAYBE 5.13/4.82 NO 49.63/25.39 MAYBE 1.30/1.31
From_T2/eric3.t2.smt2 MAYBE 18.97/18.01 NO 23.75/13.50 MAYBE 1.77/1.78
From_T2/small04.t2.smt2 MAYBE 0.46/0.44 NO 64.86/34.10 MAYBE 0.60/0.61
From_T2/241.t2.smt2 YES 2.40/2.27 YES 0.02/0.03 YES 0.62/0.62
From_T2/bf17.t2_fixed.smt2 YES 74.25/70.43 YES 0.06/0.06 YES 8.04/8.04
From_T2/bf11.t2.smt2 YES 120.67/114.18 YES 0.06/0.06 YES 7.95/7.95
From_T2/fun4-alt.t2.smt2 MAYBE 3.92/3.69 YES 10.87/4.90 MAYBE 1.22/1.22
From_T2/sort.t2_fixed.smt2 StarExec error YES 0.31/0.31 timeout (wallclock)
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 StarExec error YES 7.56/7.56 StarExec error
From_T2/p-1.t2.smt2 MAYBE 8.18/7.69 MAYBE 0.03/0.03 MAYBE 1.40/1.40
From_T2/consts4nt.t2_fixed.smt2 MAYBE 0.33/0.32 NO 33.81/13.51 MAYBE 0.53/0.54
From_T2/hand7.t2.smt2 MAYBE 0.61/0.58 NO 33.90/13.48 MAYBE 0.55/0.55
From_T2/dsa_test15.t2_fixed.smt2 YES 3.14/2.95 YES 0.02/0.02 YES 0.80/0.80
From_T2/java_Sequence.c.t2_fixed.smt2 YES 10.20/9.59 YES 0.04/0.05 YES 1.79/1.79
From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2 StarExec error YES 24.01/8.26 StarExec error
From_T2/Prim_5.t2.smt2 StarExec error NO 255.81/154.21 StarExec error
From_T2/slayer-1-rf.t2.smt2 StarExec error YES 0.16/0.17 YES 57.60/57.61
From_T2/p-22.t2.smt2 YES 0.32/0.31 YES 0.02/0.02 YES 0.73/0.73
From_T2/jfdctint.c.t2.smt2 YES 27.88/26.22 YES 0.07/0.07 YES 3.89/3.90
From_T2/consts2.t2_fixed.smt2 YES 0.10/0.10 YES 0.02/0.02 YES 0.51/0.53
From_T2/heidy9.t2.smt2 YES 0.30/0.29 StarExec error StarExec error
From_T2/n-40.t2.smt2 StarExec error NO 134.69/56.96 MAYBE 62.38/62.39
From_T2/5.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.46/0.46
From_T2/destroy_seg_leak.t2.smt2 StarExec error NO 12.10/8.81 StarExec error
From_T2/zeroconf.t2.smt2 StarExec error MAYBE 69.01/49.34 StarExec error
From_T2/dsa_test1.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.51/0.51
From_T2/zlib-crc32.c.t2.smt2 MAYBE 45.52/43.40 NO 10.98/5.91 MAYBE 5.82/5.82
From_T2/dsa_test6.t2_fixed.smt2 YES 0.83/0.83 YES 0.02/0.02 YES 0.61/0.61
From_T2/java_NestedLoop.c.t2.smt2 YES 186.44/175.45 YES 0.17/0.19 YES 29.05/29.06
From_T2/fir.t2.smt2 YES 120.45/113.65 YES 0.08/0.09 YES 23.31/23.32
From_T2/consts2nt.t2_fixed.smt2 MAYBE 0.34/0.33 NO 33.75/13.43 MAYBE 0.53/0.53
From_T2/p-58.t2.smt2 MAYBE 1.83/1.72 YES 0.02/0.02 YES 0.87/0.87
From_T2/neg-1394complete-succeed.t2.smt2 StarExec error NO 55.14/15.70 StarExec error
From_T2/slayer-3.t2_fixed.smt2 StarExec error MAYBE 322.84/185.83 StarExec error
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 StarExec error YES 0.11/0.11 YES 61.12/61.12
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 StarExec error YES 7.58/7.63 StarExec error
From_T2/ex3.t2.smt2 YES 2.66/2.52 YES 0.02/0.02 YES 1.02/1.02
From_T2/s1.t2.smt2 StarExec error MAYBE 609.31/159.51 StarExec error
From_T2/bf16.t2.smt2 YES 159.03/150.97 YES 0.06/0.06 YES 8.06/8.06
From_T2/create_seg.t2.smt2 YES 42.27/40.02 YES 0.06/0.07 YES 4.48/4.50
From_T2/small22.t2.smt2 MAYBE 1.89/1.78 NO 5.34/4.21 MAYBE 1.03/1.14
From_T2/streamserver-succeed.t2.smt2 MAYBE 97.41/92.87 NO 315.47/152.66 MAYBE 57.91/57.91
From_T2/e-smagill-fail.t2.smt2 MAYBE 6.56/6.18 NO 0.06/0.05 MAYBE 2.33/2.34
From_T2/fun5.t2.smt2 MAYBE 105.82/101.19 NO 27.11/17.33 StarExec error
From_T2/fdct.t2.smt2 timeout (wallclock) YES 0.06/0.07 YES 12.57/12.58
From_T2/wtf.t2.smt2 MAYBE 255.10/246.10 YES 1.84/1.84 YES 41.36/41.38
From_T2/n-12.t2.smt2 MAYBE 8.82/8.59 NO 5.35/4.19 MAYBE 1.40/1.40
From_T2/array_free.t2.smt2 YES 1.59/1.50 YES 0.03/0.03 YES 0.88/0.91
From_T2/randomwalk_withassume.t2.smt2 MAYBE 51.14/48.51 YES 0.11/0.12 YES 20.50/20.51
From_T2/p-40.t2.smt2 YES 6.73/6.62 YES 0.02/0.02 YES 1.27/1.28
From_T2/acqrel-fail.t2.smt2 MAYBE 2.06/1.95 NO 9.34/4.19 MAYBE 1.08/1.09
From_T2/p-49.t2.smt2 YES 0.33/0.32 YES 0.02/0.02 YES 0.65/0.65
From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 StarExec error YES 0.92/0.93 StarExec error
From_T2/n-18a.t2.smt2 MAYBE 1.52/1.44 NO 6.62/4.53 MAYBE 0.73/0.74
From_T2/dropbuf.t2.smt2 MAYBE 89.99/85.09 NO 3.73/1.56 MAYBE 34.74/34.75
From_T2/iecs.t2.smt2 MAYBE 0.78/0.74 YES 0.05/0.03 YES 0.55/0.55
From_T2/n-1c.t2.smt2 MAYBE 37.69/35.41 NO 6.52/4.52 MAYBE 8.75/9.11
From_T2/st88b-succeed.t2.smt2 MAYBE 11.98/11.30 NO 20.49/8.98 MAYBE 4.06/4.06
From_T2/neg-e-popl07-succeed.t2.smt2 MAYBE 74.67/70.52 NO 0.93/0.50 MAYBE 20.64/20.64
From_T2/sudoku.t2.smt2 StarExec error YES 19.47/10.58 StarExec error
From_T2/non_term.t2.smt2 MAYBE 0.80/0.77 NO 33.23/16.74 MAYBE 0.64/0.64
From_T2/minmax.t2_fixed.smt2 YES 0.98/0.96 YES 0.03/0.03 YES 5.94/5.94
From_T2/neg-pgarch-succeed.t2_fixed.smt2 MAYBE 29.72/28.14 NO 0.11/0.08 MAYBE 7.73/7.73
From_T2/neg-e-pgarch-fail.t2.smt2 MAYBE 21.49/20.36 NO 0.08/0.06 MAYBE 6.13/6.14
From_T2/jfdctint.t2_fixed.smt2 YES 131.98/124.66 YES 0.04/0.04 YES 6.04/6.04
From_T2/java_EqUserDefRec.c.t2.smt2 YES 7.75/7.97 YES 0.04/0.05 YES 1.80/1.80
From_T2/java_Avg.c.t2.smt2 MAYBE 15.58/14.63 YES 4.18/1.44 MAYBE 3.43/3.44
From_T2/small08.t2.smt2 MAYBE 17.31/16.65 YES 0.07/0.07 YES 2.85/2.87
From_T2/fuhs-inflasso.t2.smt2 YES 6.01/5.66 YES 0.03/0.03 YES 0.70/0.70
From_T2/e-popl07-fail.t2.smt2 MAYBE 88.78/83.75 NO 1.13/0.61 MAYBE 24.84/24.84
From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2 StarExec error MAYBE 266.15/205.66 StarExec error
From_T2/nested2.t2_fixed.smt2 YES 16.23/15.45 YES 4.17/4.18 YES 1.42/1.43
From_T2/p-43-terminate.t2_fixed.smt2 MAYBE 302.88/288.20 YES 7.96/4.32 MAYBE 37.63/37.64
From_T2/7.t2.smt2 MAYBE 1.16/1.10 NO 5.19/4.17 MAYBE 0.72/0.72
From_T2/two_arrays.t2_fixed.smt2 YES 41.53/39.01 YES 0.04/0.04 YES 2.73/2.75
From_T2/polling.t2_fixed.smt2 timeout (wallclock) MAYBE 26.72/15.06 MAYBE 210.14/210.17
From_T2/l1.t2.smt2 MAYBE 1.93/1.82 NO 6.03/4.41 MAYBE 0.71/0.71
From_T2/simple_pre3.t2.smt2 YES 0.18/0.18 YES 0.02/0.02 YES 0.97/0.97
From_T2/java_MinusMin.c.t2.smt2 YES 12.84/12.09 YES 0.05/0.06 YES 2.35/2.35
From_T2/afagx1.t2.smt2 MAYBE 0.57/0.55 NO 0.05/0.04 MAYBE 0.79/0.79
From_T2/polyrank7.t2.smt2 MAYBE 2.25/2.13 NO 28.20/12.65 MAYBE 0.78/0.79
From_T2/neg-pgarch-fail.t2.smt2 MAYBE 34.55/32.49 NO 0.11/0.08 MAYBE 8.16/8.18
From_T2/two_arrays.t2.smt2 YES 52.60/49.52 YES 0.05/0.05 YES 3.43/3.43
From_T2/neg-1394complete-fail.t2.smt2 StarExec error NO 372.69/100.72 StarExec error
From_T2/simpleWhile.t2.smt2 YES 5.21/4.91 YES 0.03/0.03 YES 1.32/1.32
From_T2/e-smagill-succeed.t2.smt2 MAYBE 3.06/2.88 NO 22.36/6.18 MAYBE 1.51/1.51
From_T2/ex9.t2.smt2 MAYBE 9.15/8.63 NO 3.16/1.09 MAYBE 3.32/3.33
From_T2/bf6.t2_fixed.smt2 YES 88.06/83.27 YES 0.05/0.06 YES 6.48/6.48
From_T2/broydn.t2.smt2 StarExec error YES 10.47/10.48 StarExec error
From_T2/java_Recursions.c.t2.smt2 YES 267.64/253.22 YES 23.26/7.97 YES 20.36/20.37
From_T2/small27.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.55/0.55
From_T2/1394complete-succeed.t2.smt2 StarExec error NO 371.14/100.53 StarExec error
From_T2/ex20.t2_fixed.smt2 YES 3.81/3.58 YES 0.02/0.03 YES 1.32/1.33
From_T2/p-20.t2.smt2 MAYBE 15.83/15.28 MAYBE 0.04/0.04 MAYBE 2.59/2.59
From_T2/ex10.t2.smt2 MAYBE 77.26/72.55 NO 18.94/8.43 MAYBE 11.26/11.26
From_T2/firewire.t2.smt2 MAYBE 166.25/157.90 MAYBE 186.30/143.72 StarExec error
From_T2/reverse.t2.smt2 StarExec error YES 0.59/0.59 StarExec error
From_T2/java_TimesPlusUserDef.c.t2.smt2 YES 29.25/27.53 YES 0.07/0.08 YES 3.85/3.85
From_T2/n-38.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.85/0.85
From_T2/ex36.t2.smt2 StarExec error StarExec error StarExec error
From_T2/traverse.t2.smt2 StarExec error YES 0.36/0.36 StarExec error
From_T2/p-38.t2_fixed.smt2 YES 0.46/0.46 YES 0.05/0.05 YES 6.89/6.90
From_T2/elmhes.t2.smt2 timeout (wallclock) YES 1.28/1.28 timeout (wallclock)
From_T2/small26.t2.smt2 YES 1.01/0.96 YES 0.02/0.02 YES 0.55/0.55
From_T2/p-19.t2.smt2 MAYBE 8.35/8.39 MAYBE 0.03/0.03 MAYBE 1.43/1.44
From_T2/consts2.t2.smt2 MAYBE 0.75/0.72 StarExec error MAYBE 0.65/0.65
From_T2/s4.t2_fixed.smt2 StarExec error StarExec error StarExec error
From_T2/p-43.t2.smt2 MAYBE 12.48/11.86 YES 0.65/0.27 MAYBE 2.96/2.97
From_T2/fun1.t2.smt2 StarExec error NO 142.21/80.94 StarExec error
From_T2/small21.t2.smt2 YES 2.64/2.50 YES 0.02/0.03 YES 0.63/0.67
From_T2/n-8.t2.smt2 MAYBE 31.47/29.98 NO 6.35/4.50 MAYBE 7.75/7.75
From_T2/minmax.t2.smt2 YES 0.99/0.96 YES 0.03/0.04 YES 6.57/6.90
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2 StarExec error YES 5.96/5.99 StarExec error
From_T2/e-1394complete-succeed.t2.smt2 StarExec error NO 55.02/15.56 StarExec error
From_T2/java_Hanoi.c.t2.smt2 YES 42.55/40.18 YES 0.09/0.09 YES 5.11/5.11
From_T2/n-4.t2.smt2 MAYBE 134.26/126.89 NO 7.10/4.86 MAYBE 15.92/15.94
From_T2/afagp-fail.t2_fixed.smt2 StarExec error NO 44.37/20.22 StarExec error
From_T2/p-52.t2.smt2 MAYBE 12.80/11.99 MAYBE 0.04/0.03 MAYBE 1.97/1.97
From_T2/p.t2.smt2 StarExec error StarExec error StarExec error
From_T2/matmul.t2_fixed.smt2 YES 18.54/17.49 YES 0.63/0.33 StarExec error
From_T2/magic.t2.smt2 timeout (wallclock) YES 0.92/0.93 StarExec error
From_T2/p-55.t2.smt2 YES 18.73/17.59 YES 0.03/0.03 YES 1.67/1.67
From_T2/n-4.t2_fixed.smt2 MAYBE 80.82/76.00 NO 6.04/4.49 MAYBE 12.82/12.82
From_T2/two_arrays2.t2.smt2 YES 109.18/102.58 YES 0.06/0.08 YES 5.52/5.52
From_T2/ex7.t2.smt2 YES 5.48/5.46 YES 0.02/0.02 YES 0.94/0.94
From_T2/n-6.t2_fixed.smt2 MAYBE 8.27/7.75 NO 75.31/27.16 MAYBE 2.39/2.39
From_T2/bf11.t2_fixed.smt2 YES 89.12/83.53 YES 0.06/0.06 YES 8.02/8.02
From_T2/traverse_seg.t2_fixed.smt2 StarExec error YES 1.23/1.23 StarExec error
From_T2/zeroconf_withassume.t2.smt2 MAYBE 309.32/291.71 YES 4.55/4.56 StarExec error
From_T2/brockschmidt_1.t2.smt2 MAYBE 3.15/2.96 YES 0.12/0.07 MAYBE 0.75/0.75
From_T2/ax_test.t2.smt2 MAYBE 0.13/0.13 NO 0.03/0.03 MAYBE 0.53/0.53
From_T2/fun8.t2.smt2 StarExec error YES 0.08/0.08 timeout (wallclock)
From_T2/cover.t2.smt2 StarExec error StarExec error StarExec error
From_T2/n-32.t2.smt2 MAYBE 2.73/2.57 NO 5.91/4.44 MAYBE 0.82/0.82
From_T2/rev_nt3.t2.smt2 MAYBE 292.48/276.12 NO 10.08/7.01 MAYBE 284.74/284.77
From_T2/ase_example.t2.smt2 YES 21.02/19.89 YES 0.03/0.03 YES 2.01/2.01
From_T2/queue_100.t2_fixed.smt2 YES 12.74/12.68 YES 0.06/0.06 YES 4.59/4.60
From_T2/p-61.t2.smt2 YES 9.69/9.12 YES 0.02/0.03 YES 1.45/1.47
From_T2/ex14.t2_fixed.smt2 YES 0.78/0.74 YES 0.02/0.02 YES 0.59/0.59
From_T2/p-45.t2.smt2 YES 4.39/4.15 YES 0.03/0.03 YES 1.18/1.18
From_T2/1394-fail.t2.smt2 StarExec error NO 17.82/5.65 StarExec error
From_T2/n-46.t2.smt2 MAYBE 1.84/1.74 NO 210.80/107.80 MAYBE 0.98/0.98
From_T2/p-60.t2.smt2 YES 6.21/5.86 YES 0.02/0.03 YES 1.26/1.26
From_T2/heidy1.t2.smt2 MAYBE 0.43/0.41 NO 23.76/13.47 MAYBE 0.64/0.64
From_T2/neg-e-pgarch-succeed.t2.smt2 MAYBE 16.51/15.81 NO 0.08/0.06 MAYBE 4.98/4.98
From_T2/neg-e-1394complete-fail.t2.smt2 StarExec error NO 54.94/15.83 StarExec error
From_T2/vmcai_bytes.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.49/0.49
From_T2/polyrank2.t2.smt2 MAYBE 1.42/1.35 YES 10.30/3.48 YES 0.58/0.58
From_T2/small11.t2.smt2 MAYBE 0.06/0.06 NO 0.04/0.03 MAYBE 0.51/0.52
From_T2/heidy10.t2.smt2 YES 0.84/0.79 YES 0.02/0.03 YES 0.65/0.66
From_T2/whatwhat.t2.smt2 MAYBE 0.77/0.74 YES 0.06/0.04 YES 0.54/0.54
From_T2/bf14.t2.smt2 YES 117.54/110.52 YES 0.06/0.06 YES 8.57/8.58
From_T2/bsort100.t2.smt2 YES 120.97/114.60 YES 0.07/0.07 YES 36.15/36.15
From_T2/smagilla-fail.t2.smt2 MAYBE 3.29/3.17 NO 22.37/6.19 MAYBE 1.52/1.52
From_T2/tqli.t2.smt2 StarExec error MAYBE 81.57/35.45 StarExec error
From_T2/ndes.t2_fixed.smt2 StarExec error YES 26.74/18.47 StarExec error
From_T2/queue_10.t2_fixed.smt2 YES 13.56/12.79 YES 0.06/0.06 YES 4.58/4.59
From_T2/streamserver-succeed.t2_fixed.smt2 MAYBE 89.55/84.60 MAYBE 78.95/44.96 MAYBE 54.59/54.60
From_T2/florian_sas1.t2.smt2 MAYBE 16.18/15.28 YES 0.05/0.06 YES 7.10/7.10
From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2 StarExec error MAYBE 136.17/62.11 StarExec error
From_T2/sort.t2.smt2 StarExec error YES 0.29/0.30 timeout (wallclock)
From_T2/array_init.t2_fixed.smt2 YES 0.37/0.35 YES 0.02/0.02 YES 0.59/0.60
From_T2/small02.t2.smt2 MAYBE 2.89/2.92 NO 18.59/8.33 MAYBE 0.97/0.97
From_T2/efegp.t2_fixed.smt2 StarExec error NO 9.17/5.76 StarExec error
From_T2/n-48.t2_fixed.smt2 MAYBE 6.77/6.36 NO 33.50/16.78 MAYBE 1.79/1.79
From_T2/ex26.t2.smt2 YES 30.60/28.69 YES 0.02/0.03 YES 3.24/3.24
From_T2/p-14.t2.smt2 YES 0.30/0.28 YES 0.02/0.02 YES 0.64/0.64
From_T2/bf17.t2.smt2 YES 119.06/111.79 YES 0.06/0.06 YES 8.05/8.05
From_T2/e-1394complete-succeed.t2_fixed.smt2 StarExec error NO 54.79/15.65 StarExec error
From_T2/dropbuf-live.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.60/0.60
From_T2/small33.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.51/0.51
From_T2/afagp-fail.t2.smt2 StarExec error NO 109.62/50.02 StarExec error
From_T2/s3.t2.smt2 StarExec error StarExec error StarExec error
From_T2/reverse_div4.t2_fixed.smt2 StarExec error NO 16.51/9.91 StarExec error
From_T2/prime.t2_fixed.smt2 MAYBE 243.00/229.76 NO 23.78/13.52 MAYBE 219.61/219.51
From_T2/fermat.t2.smt2 YES 199.45/188.96 YES 0.04/0.04 YES 10.91/10.91
From_T2/rev_nt4.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.71/0.72
From_T2/destroy.t2_fixed.smt2 StarExec error YES 0.28/0.29 YES 35.39/35.39
From_T2/crc.t2.smt2 StarExec error YES 0.19/0.20 StarExec error
From_T2/small15.t2.smt2 MAYBE 2.25/2.13 MAYBE 87.59/35.04 MAYBE 0.72/0.72
From_T2/simple_array_inversion.t2.smt2 YES 0.38/0.37 YES 0.02/0.02 YES 0.59/0.59
From_T2/bsort100.t2_fixed.smt2 YES 68.62/65.05 YES 0.96/0.96 YES 24.56/24.57
From_T2/simple.t2.smt2 MAYBE 0.62/0.59 NO 33.80/13.49 MAYBE 0.56/0.57
From_T2/small06.t2.smt2 YES 2.11/1.99 YES 0.03/0.04 YES 1.04/1.04
From_T2/java_Double1.c.t2.smt2 MAYBE 12.79/12.06 YES 0.38/0.17 MAYBE 2.49/2.49
From_T2/bf9.t2_fixed.smt2 YES 89.71/84.66 YES 0.05/0.06 YES 8.30/8.30
From_T2/tqli.t2_fixed.smt2 StarExec error NO 41.78/18.49 StarExec error
From_T2/simple_control_on_input.t2_fixed.smt2 YES 0.39/0.38 YES 0.02/0.02 YES 0.60/1.03
From_T2/ns.t2_fixed.smt2 YES 70.87/67.40 YES 1.21/0.72 YES 31.16/31.17
From_T2/simple_swap_call.t2.smt2 YES 0.06/0.06 YES 0.01/0.02 YES 0.62/0.63
From_T2/small32.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.55/0.55
From_T2/p-63.t2_fixed.smt2 MAYBE 6.80/6.38 YES 0.05/0.04 YES 1.55/1.55
From_T2/ludcmp.t2.smt2 StarExec error YES 0.79/0.81 YES 95.04/95.05
From_T2/n-21.t2.smt2 MAYBE 9.62/9.08 NO 262.20/117.68 MAYBE 1.65/1.65
From_T2/array2.t2_fixed.smt2 YES 0.77/0.73 YES 0.02/0.02 YES 0.61/0.61
From_T2/disj_nightmare.t2.smt2 timeout (wallclock) NO 50.00/15.67 StarExec error
From_T2/slayer-2-filtered.t2.smt2 YES 5.42/5.15 YES 0.02/0.03 StarExec error
From_T2/svdcmp.t2.smt2 StarExec error YES 33.81/33.83 StarExec error
From_T2/janne_complex.t2_fixed.smt2 MAYBE 61.46/58.29 NO 35.07/18.33 MAYBE 15.33/15.34
From_T2/smagilla-succeed.t2.smt2 MAYBE 3.17/2.98 NO 22.38/6.18 MAYBE 1.52/1.52
From_T2/p-6.t2.smt2 YES 10.51/9.91 YES 0.03/0.03 YES 1.25/1.25
From_T2/n-37.t2_fixed.smt2 MAYBE 6.23/5.86 NO 44.40/23.85 MAYBE 1.76/1.76
From_T2/p-46.t2.smt2 MAYBE 36.04/34.32 NO 5.92/4.43 MAYBE 11.35/11.36
From_T2/consts4nt.t2.smt2 MAYBE 1.50/1.41 NO 6.47/4.51 MAYBE 0.76/0.76
From_T2/db.t2.smt2 YES 0.06/0.06 YES 0.01/0.02 YES 0.65/0.65
From_T2/create_via_tmps.t2_fixed.smt2 StarExec error YES 0.28/0.28 YES 229.45/229.47
From_T2/example.t2.smt2 MAYBE 2.03/1.93 YES 0.02/0.03 YES 0.60/0.60
From_T2/p-13.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.59/0.59
From_T2/dsa_test12.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.50/0.51
From_T2/graycode.t2_fixed.smt2 StarExec error YES 0.52/0.52 YES 166.85/166.87
From_T2/slayer-n1-filtered.t2.smt2 MAYBE 121.22/114.95 NO 10.14/6.11 MAYBE 30.92/30.93
From_T2/s3-work.t2_fixed.smt2 StarExec error YES 14.92/14.93 StarExec error
From_T2/n-36.t2_fixed.smt2 StarExec error MAYBE 0.14/0.12 MAYBE 143.33/143.34
From_T2/s1-striped.t2_fixed.smt2 StarExec error MAYBE 578.47/165.40 StarExec error
From_T2/ex4.t2_fixed.smt2 YES 31.17/29.22 YES 0.03/0.04 YES 3.81/3.83
From_T2/andrey.t2.smt2 YES 0.09/0.09 YES 0.02/0.02 YES 0.52/0.52
From_T2/traverse_seg2.t2_fixed.smt2 StarExec error YES 0.98/0.98 StarExec error
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2 StarExec error MAYBE 317.41/173.84 StarExec error
From_T2/bf18.t2_fixed.smt2 YES 77.61/73.61 YES 0.06/0.06 YES 8.02/8.02
From_T2/eric.t2.smt2 MAYBE 17.08/16.07 MAYBE 10.32/4.62 MAYBE 1.03/1.03
From_T2/cnt.t2_fixed.smt2 timeout (wallclock) YES 0.08/0.09 StarExec error
From_T2/small01.t2_fixed.smt2 MAYBE 0.99/0.94 YES 0.02/0.02 YES 0.55/0.55
From_T2/java_MinusBuiltIn.c.t2.smt2 YES 11.83/11.15 YES 0.04/0.06 YES 1.91/1.92
From_T2/byron-4.t2_fixed.smt2 MAYBE 14.18/13.38 YES 0.04/0.06 YES 1.95/1.97
From_T2/statemate.t2_fixed.smt2 StarExec error timeout (wallclock) StarExec error
From_T2/create.t2.smt2 YES 32.83/30.99 YES 0.05/0.06 YES 3.97/3.97
From_T2/fast_poll.t2.smt2 timeout (wallclock) NO 8.41/6.25 timeout (wallclock)
From_T2/java_AG313.c.t2.smt2 YES 13.43/12.66 YES 0.06/0.06 YES 2.24/2.24
From_T2/p-53.t2.smt2 YES 0.06/0.06 YES 0.01/0.02 YES 0.64/0.64
From_T2/neg-e-pgarch-fail.t2_fixed.smt2 MAYBE 19.33/18.20 NO 0.08/0.06 MAYBE 5.60/5.61
From_T2/st88.bug.t2.smt2 MAYBE 12.37/12.00 NO 19.51/14.20 MAYBE 4.52/4.54
From_T2/ex2.t2.smt2 MAYBE 2.97/2.91 NO 23.77/13.45 MAYBE 1.53/1.53
From_T2/neg-e-acqrel-succeed.t2_fixed.smt2 MAYBE 3.16/2.98 NO 5.17/4.16 MAYBE 1.37/1.37
From_T2/Prim_4.t2.smt2 StarExec error NO 256.40/154.34 StarExec error
From_T2/bitcount32.t2.smt2 MAYBE 47.84/45.08 YES 0.02/0.03 YES 2.13/2.13
From_T2/edn.t2_fixed.smt2 StarExec error YES 4.37/4.38 StarExec error
From_T2/java_Factorial.c.t2.smt2 YES 1.89/1.79 YES 0.03/0.03 YES 0.98/0.98
From_T2/fun10.t2.smt2 StarExec error NO 14.76/7.00 StarExec error
From_T2/java_BubbleSort.c.t2.smt2 YES 76.92/72.54 YES 0.09/0.09 YES 8.85/8.86
From_T2/ex4.t2.smt2 YES 45.49/42.98 YES 0.04/0.04 YES 3.34/3.34
From_T2/compress.t2_fixed.smt2 StarExec error NO 34.04/17.10 StarExec error
From_T2/st88.bug.t2_fixed.smt2 MAYBE 6.58/6.16 NO 9.55/4.25 MAYBE 2.76/2.76
From_T2/bs.t2.smt2 MAYBE 35.71/33.49 NO 7.55/4.94 MAYBE 9.45/9.45
From_T2/dsa_test15.t2.smt2 YES 5.52/5.21 YES 0.02/0.03 YES 1.01/1.01
From_T2/fun4.t2.smt2 MAYBE 11.28/10.65 NO 7.53/5.29 MAYBE 2.30/2.31
From_T2/n-12a.t2.smt2 MAYBE 0.74/0.70 NO 5.20/4.16 MAYBE 0.67/0.67
From_T2/ex11.t2.smt2 MAYBE 4.52/4.69 NO 1.79/1.20 MAYBE 1.22/1.22
From_T2/jacobi.t2.smt2 StarExec error YES 0.11/0.11 YES 28.14/28.15
From_T2/p_armc.t2.smt2 MAYBE 54.93/52.09 MAYBE 45.18/17.28 MAYBE 150.51/150.54
From_T2/ex40.t2.smt2 MAYBE 0.89/0.85 NO 23.81/13.49 MAYBE 0.99/0.99
From_T2/peculiar.t2.smt2 MAYBE 10.25/9.63 NO 3.43/1.31 MAYBE 3.58/3.58
From_T2/d.t2.smt2 MAYBE 4.14/3.88 NO 15.67/6.91 MAYBE 0.83/0.83
From_T2/ex2.t2_fixed.smt2 MAYBE 2.07/1.95 NO 23.83/13.51 MAYBE 1.24/1.26
From_T2/java_Nested.c.t2.smt2 YES 32.36/30.69 YES 0.05/0.05 YES 3.42/3.42
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2 StarExec error YES 0.10/0.11 YES 55.41/55.42
From_T2/slayer-n3-filtered.t2_fixed.smt2 StarExec error YES 0.10/0.10 YES 19.40/19.43
From_T2/slayer-2-filtered.t2_fixed.smt2 YES 3.81/3.62 YES 0.02/0.03 YES 1.05/1.05
From_T2/n-40.t2_fixed.smt2 MAYBE 120.11/113.21 StarExec error MAYBE 5.53/5.54
From_T2/ex32.t2.smt2 YES 5.75/5.42 YES 0.02/0.04 YES 1.59/1.59
From_T2/ex31.t2_fixed.smt2 MAYBE 1.32/1.25 NO 5.38/4.23 MAYBE 0.73/0.74
From_T2/p-37.t2.smt2 StarExec error YES 0.02/0.03 YES 2.22/2.22
From_T2/slayer-n5-filtered.t2.smt2 StarExec error MAYBE 161.42/76.65 StarExec error
From_T2/ex19.t2.smt2 MAYBE 7.87/7.37 NO 41.45/20.81 MAYBE 1.44/1.44
From_T2/fun2b.t2_fixed.smt2 MAYBE 252.48/242.54 YES 1.79/1.80 YES 41.50/41.50
From_T2/zlib-adler32.c.t2.smt2 MAYBE 251.55/237.92 MAYBE 287.04/150.35 MAYBE 67.09/67.05
From_T2/bf16.t2_fixed.smt2 YES 95.27/90.05 YES 0.06/0.06 YES 8.00/8.00
From_T2/java_Ackermann.c.t2.smt2 MAYBE 18.97/17.85 YES 0.07/0.08 StarExec error
From_T2/p-56.t2.smt2 YES 7.47/7.03 YES 0.02/0.02 YES 1.13/1.13
From_T2/ex12.t2.smt2 YES 1.66/1.57 YES 0.02/0.02 YES 0.73/0.74
From_T2/armc-difficult_k.t2.smt2 MAYBE 34.28/33.26 YES 0.39/0.20 YES 1.79/1.80
From_T2/java_DivMinus2.c.t2.smt2 MAYBE 261.89/247.35 YES 0.46/0.30 MAYBE 52.86/52.87
From_T2/pgarch-fail.t2.smt2 StarExec error NO 0.11/0.08 MAYBE 7.34/7.34
From_T2/small14.t2.smt2 MAYBE 35.89/34.03 NO 42.02/18.52 MAYBE 6.10/6.11
From_T2/st88.t2_fixed.smt2 MAYBE 6.76/6.34 NO 9.83/4.47 MAYBE 2.87/2.87
From_T2/n-7.t2.smt2 MAYBE 7.65/7.16 StarExec error MAYBE 1.69/1.71
From_T2/popl07-succeed.t2.smt2 MAYBE 69.12/65.17 StarExec error MAYBE 16.42/16.42
From_T2/fun3.t2.smt2 timeout (wallclock) YES 6.10/6.11 YES 86.88/86.88
From_T2/p-36.t2_fixed.smt2 StarExec error MAYBE 0.07/0.06 MAYBE 20.02/20.03
From_T2/small20.t2.smt2 YES 2.49/2.35 YES 0.02/0.03 YES 0.62/0.62
From_T2/polyrank1.t2.smt2 MAYBE 0.77/0.78 YES 0.21/0.09 YES 0.55/0.56
From_T2/w1.t2.smt2 MAYBE 0.22/0.21 StarExec error MAYBE 0.55/0.55
From_T2/polling.t2.smt2 timeout (wallclock) MAYBE 27.47/15.74 MAYBE 249.14/249.21
From_T2/e-1394-fail.t2.smt2 StarExec error NO 17.68/5.54 StarExec error
From_T2/1394complete-succeed.t2_fixed.smt2 StarExec error NO 373.11/100.79 StarExec error
From_T2/agafp.t2.smt2 StarExec error StarExec error StarExec error
From_T2/neg-popl07-succeed.t2.smt2 MAYBE 88.40/83.54 NO 0.80/0.44 MAYBE 23.54/23.55
From_T2/java_Break.c.t2_fixed.smt2 YES 1.52/1.44 YES 0.02/0.03 YES 0.96/0.96
From_T2/defect.t2.smt2 MAYBE 0.04/0.04 NO 0.03/0.03 MAYBE 0.48/0.49
From_T2/wrong_loop.t2.smt2 MAYBE 10.04/9.44 NO 11.10/4.75 MAYBE 2.32/2.32
From_T2/ctl.t2.smt2 MAYBE 23.99/22.74 NO 0.06/0.06 MAYBE 14.18/14.18
From_T2/neg-e-acqrel-succeed.t2.smt2 MAYBE 3.32/3.12 NO 5.17/4.16 MAYBE 1.35/1.36
From_T2/queue_1000.t2.smt2 YES 22.59/21.20 YES 0.07/0.10 YES 3.49/3.49
From_T2/1.t2.smt2 MAYBE 77.28/73.82 NO 9.81/6.26 MAYBE 27.06/27.06
From_T2/array.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.48/0.48
From_T2/fun10b.t2.smt2 StarExec error NO 13.26/6.59 StarExec error
From_T2/insertsort.t2.smt2 MAYBE 6.75/6.37 NO 10.44/8.34 MAYBE 1.24/1.24
From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2 StarExec error YES 0.10/0.11 YES 55.43/55.44
From_T2/pearl-necklace.t2.smt2 YES 12.24/11.55 YES 0.03/0.03 YES 1.33/1.33
From_T2/array3.t2.smt2 YES 4.70/4.92 YES 0.02/0.03 YES 0.99/0.99
From_T2/randomwalk.t2.smt2 MAYBE 39.66/37.31 NO 84.64/41.41 StarExec error
From_T2/two_arrays1.t2_fixed.smt2 YES 92.09/86.97 YES 0.05/0.05 YES 4.51/4.51
From_T2/java_AProVEMathRecursive.c.t2.smt2 MAYBE 33.90/31.81 YES 1.82/0.71 MAYBE 15.64/15.65
From_T2/s2.t2_fixed.smt2 YES 4.09/3.85 YES 0.02/0.03 YES 0.89/0.89
From_T2/n-3.t2.smt2 MAYBE 6.62/6.23 NO 37.38/16.71 MAYBE 0.90/0.90
From_T2/ex22.t2.smt2 StarExec error YES 0.24/0.24 YES 75.97/75.98
From_T2/n-12.t2_fixed.smt2 MAYBE 6.07/5.73 NO 5.49/4.23 MAYBE 1.24/1.31
From_T2/ex22.t2_fixed.smt2 timeout (wallclock) YES 0.14/0.15 YES 57.98/57.98
From_T2/refine_disj_problem.t2_fixed.smt2 MAYBE 2.06/1.95 NO 37.99/16.95 MAYBE 0.84/0.84
From_T2/prime.t2.smt2 MAYBE 300.61/284.86 NO 23.81/13.54 MAYBE 258.55/258.55
From_T2/cnt.t2.smt2 StarExec error YES 0.07/0.07 StarExec error
From_T2/db3.t2.smt2 StarExec error MAYBE 312.97/143.44 StarExec error
From_T2/neg-1394complete-succeed.t2_fixed.smt2 StarExec error NO 55.34/15.93 StarExec error
From_T2/small07.t2.smt2 MAYBE 12.66/12.14 YES 0.07/0.07 YES 2.24/2.24
From_T2/nakata.t2.smt2 timeout (wallclock) MAYBE 197.78/117.85 StarExec error
From_T2/fun5.t2_fixed.smt2 MAYBE 111.65/105.68 MAYBE 35.66/12.18 StarExec error
From_T2/sequential_swap.t2.smt2 YES 0.06/0.06 YES 0.01/0.02 YES 0.75/0.75
From_T2/n-13.t2.smt2 MAYBE 0.83/0.79 NO 18.67/8.60 MAYBE 0.66/0.67
From_T2/select.t2.smt2 StarExec error NO 16.38/12.27 StarExec error
From_T2/graycode.t2.smt2 StarExec error YES 0.69/0.69 YES 92.09/92.11
From_T2/s3-work.t2.smt2 StarExec error YES 4.23/4.23 StarExec error
From_T2/rev_nt2.t2.smt2 MAYBE 303.80/288.29 NO 10.42/8.33 MAYBE 212.02/212.55
From_T2/neg-e-smagill-succeed.t2.smt2 MAYBE 4.57/4.30 NO 0.05/0.05 MAYBE 2.06/2.07
From_T2/consts5nt.t2_fixed.smt2 MAYBE 1.07/1.01 NO 33.82/13.52 MAYBE 0.58/0.58
From_T2/ex13.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.50/0.50
From_T2/dsa_test8.t2.smt2 YES 0.01/0.02 YES 0.01/0.02 YES 0.51/0.51
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 StarExec error YES 5.93/5.94 StarExec error
From_T2/bf7.t2_fixed.smt2 YES 88.67/83.23 YES 0.06/0.06 YES 8.35/8.36
From_T2/n-1.t2_fixed.smt2 MAYBE 22.44/21.12 NO 5.91/4.34 MAYBE 3.75/3.76
From_T2/heidy6.t2.smt2 MAYBE 1.24/1.18 NO 23.82/13.52 MAYBE 0.93/0.93
From_T2/fdct.t2_fixed.smt2 YES 128.07/121.87 YES 0.04/0.05 YES 4.43/4.45
From_T2/e-acqrel-fail.t2.smt2 MAYBE 2.10/2.00 NO 5.17/4.16 MAYBE 1.09/1.09
From_T2/java_LogBuiltIn.c.t2.smt2 MAYBE 14.36/13.54 YES 0.04/0.05 YES 2.36/2.36
From_T2/ex17.t2.smt2 MAYBE 27.32/25.84 YES 23.90/13.53 YES 3.81/3.81
From_T2/opt-tree.c.t2.smt2 StarExec error YES 36.62/14.27 StarExec error
From_T2/apchild-accepted-fail.t2_fixed.smt2 StarExec error MAYBE 355.67/182.59 StarExec error
From_T2/ex26.t2_fixed.smt2 YES 15.41/14.44 YES 0.13/0.14 YES 2.34/2.35
From_T2/ex27.t2_fixed.smt2 StarExec error YES 0.22/0.22 YES 118.21/118.20
From_T2/bf8.t2_fixed.smt2 YES 91.96/86.57 YES 0.05/0.06 YES 8.33/8.33
From_T2/matrixsqrt.t2.smt2 YES 78.76/74.47 YES 0.25/0.13 YES 6.59/6.59
From_T2/florian_sas2.t2.smt2 timeout (wallclock) MAYBE 277.04/159.31 MAYBE 280.66/280.67
From_T2/ex23.t2_fixed.smt2 YES 1.43/1.35 YES 0.02/0.02 YES 0.76/0.76
From_T2/neg-e-1394complete-succeed.t2.smt2 StarExec error NO 54.86/15.80 StarExec error
From_T2/p-3.t2_fixed.smt2 YES 6.32/5.97 YES 0.02/0.03 YES 0.97/0.97
From_T2/fun10.t2_fixed.smt2 StarExec error NO 13.05/6.58 StarExec error
From_T2/traverse.t2_fixed.smt2 StarExec error StarExec error StarExec error
From_T2/sas07.cex.t2.smt2 StarExec error YES 0.34/0.34 StarExec error
From_T2/heidy2.t2.smt2 MAYBE 1.14/1.08 StarExec error MAYBE 0.69/0.69
From_T2/bf5.t2.smt2 YES 101.30/95.51 YES 0.06/0.06 YES 5.11/5.11
From_T2/florian_sumit.t2.smt2 MAYBE 12.09/11.37 MAYBE 33.34/10.95 MAYBE 3.84/3.84
From_T2/bitcount16.t2_fixed.smt2 YES 38.66/36.34 YES 0.02/0.03 YES 5.37/5.37
From_T2/small16.t2.smt2 MAYBE 1.13/1.07 MAYBE 49.21/16.27 MAYBE 0.62/0.62
From_T2/foo.t2.smt2 StarExec error MAYBE 238.44/184.07 StarExec error
From_T2/slayer-n2.t2.smt2 MAYBE 3.75/3.52 NO 24.16/13.56 MAYBE 1.07/1.07
From_T2/destroy.t2.smt2 StarExec error YES 0.17/0.17 StarExec error
From_T2/n-5.t2.smt2 timeout (wallclock) NO 77.37/23.46 MAYBE 40.87/40.87
From_T2/janne_complex.t2.smt2 MAYBE 85.32/80.43 MAYBE 304.13/150.33 MAYBE 56.53/56.53
From_T2/ase_example.t2_fixed.smt2 YES 15.20/14.27 YES 0.03/0.03 YES 1.68/1.68
From_T2/n-5.t2_fixed.smt2 MAYBE 233.43/220.45 NO 72.55/21.84 MAYBE 38.28/38.29
From_T2/ex31.t2.smt2 MAYBE 2.66/2.52 NO 6.15/4.43 MAYBE 0.95/0.95
From_T2/traverse_twice.t2.smt2 StarExec error YES 0.62/0.66 StarExec error
From_T2/w3_nt.t2.smt2 MAYBE 213.65/200.98 NO 9.42/6.66 MAYBE 130.33/130.34
From_T2/p-12.t2.smt2 YES 0.30/0.29 YES 0.02/0.02 StarExec error
From_T2/jfdctint.t2.smt2 YES 162.78/154.20 YES 0.04/0.04 YES 7.57/7.57
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 StarExec error MAYBE 305.08/185.52 StarExec error
From_T2/e-st88b-fail.t2.smt2 MAYBE 2.46/2.35 NO 0.04/0.04 MAYBE 2.44/2.44
From_T2/qrdcmp.t2.smt2 StarExec error YES 1.38/1.38 StarExec error
From_T2/s4.t2.smt2 StarExec error StarExec error StarExec error
From_T2/consts5.t2_fixed.smt2 MAYBE 1.08/1.02 YES 0.01/0.02 YES 0.55/0.55
From_T2/traverse_seg.t2.smt2 StarExec error YES 0.46/0.47 StarExec error
From_T2/e-pgarch-fail.t2.smt2 MAYBE 32.62/30.67 NO 0.10/0.08 MAYBE 8.26/8.27
From_T2/n-36.t2.smt2 StarExec error MAYBE 0.15/0.12 MAYBE 222.72/222.72
From_T2/p-7b.t2.smt2 YES 4.29/4.03 YES 0.02/0.02 YES 0.81/0.81
From_T2/n-21.t2_fixed.smt2 MAYBE 4.37/4.10 NO 37.68/16.83 StarExec error
From_T2/small03.t2.smt2 MAYBE 0.45/0.43 NO 64.91/34.13 MAYBE 0.60/0.61
From_T2/p-55.t2_fixed.smt2 YES 11.39/11.75 StarExec error StarExec error
From_T2/s1-saved.t2.smt2 StarExec error YES 0.35/0.35 StarExec error
From_T2/byron-2.t2_fixed.smt2 YES 28.29/29.04 YES 0.03/0.03 YES 2.68/2.69
From_T2/streamserver.bug.t2.smt2 MAYBE 91.02/86.72 NO 22.42/10.23 MAYBE 52.62/52.63
From_T2/bf15.t2.smt2 YES 163.17/153.60 YES 0.06/0.06 YES 8.60/8.60
From_T2/apchild-live.t2.smt2 StarExec error MAYBE 60.91/42.33 StarExec error
From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 StarExec error MAYBE 93.87/34.02 StarExec error
From_T2/oct_vs_subpoly.t2.smt2 MAYBE 0.41/0.41 NO 64.89/34.10 MAYBE 0.61/0.61
From_T2/p-1d.t2.smt2 YES 13.62/12.81 YES 0.02/0.03 YES 1.32/1.32
From_T2/p-46.t2_fixed.smt2 MAYBE 30.70/28.91 NO 5.78/4.43 MAYBE 10.99/10.99
From_T2/consts3.t2_fixed.smt2 YES 0.10/0.11 YES 0.02/0.02 YES 0.51/0.52
From_T2/slayer-3-new.t2_fixed.smt2 StarExec error MAYBE 275.67/155.35 StarExec error
From_T2/rev_nt4.t2_fixed.smt2 YES 0.01/0.02 YES 0.02/0.02 YES 0.71/0.72
From_T2/n-1d.t2_fixed.smt2 MAYBE 10.66/10.43 NO 5.43/4.21 MAYBE 1.53/1.53
From_T2/e-acqrel-succeed.t2.smt2 MAYBE 3.10/3.14 NO 5.35/4.23 MAYBE 1.35/1.35
From_T2/small05.t2.smt2 MAYBE 0.46/0.44 NO 31.93/16.57 MAYBE 0.60/0.61
From_T2/n-15.t2.smt2 MAYBE 1.20/1.13 NO 33.87/13.55 MAYBE 0.59/0.60
From_T2/zlib-crc32.c.t2_fixed.smt2 YES 32.39/30.50 YES 0.09/0.10 YES 4.12/4.15
From_T2/intSqRoot.t2.smt2 MAYBE 4.17/3.91 NO 5.94/4.37 MAYBE 1.01/1.02
From_T2/ud.t2.smt2 StarExec error YES 4.82/4.31 StarExec error
From_T2/queens.t2_fixed.smt2 StarExec error StarExec error StarExec error
From_T2/smagillb-succeed.t2_fixed.smt2 MAYBE 6.07/5.71 NO 32.61/8.54 MAYBE 2.14/2.14
From_T2/florian_new_ex.t2.smt2 MAYBE 48.14/45.77 YES 0.68/0.33 MAYBE 35.43/35.45
From_T2/6.t2.smt2 MAYBE 0.22/0.21 NO 0.03/0.03 MAYBE 0.59/0.59
From_T2/complex_guard.t2.smt2 YES 0.56/0.54 YES 0.02/0.03 YES 0.69/0.69
From_T2/collatz.t2_fixed.smt2 MAYBE 7.44/6.99 MAYBE 16.75/6.88 MAYBE 1.19/1.19
From_T2/dsa_test9.t2.smt2 YES 0.01/0.01 YES 0.01/0.02 YES 0.51/0.52
From_T2/db3.t2_fixed.smt2 StarExec error MAYBE 234.30/141.34 StarExec error
From_T2/fir.t2_fixed.smt2 YES 66.71/63.22 YES 0.92/0.92 YES 27.23/27.23
From_T2/pentagon.t2.smt2 MAYBE 44.59/42.70 MAYBE 950.45/242.06 MAYBE 12.51/12.51
From_T2/broydn.t2_fixed.smt2 StarExec error YES 7.03/7.03 StarExec error
From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 StarExec error YES 4.20/4.20 YES 10.55/10.55
From_T2/arith.t2.smt2 YES 1.93/2.06 YES 0.02/0.02 YES 0.93/0.93
From_T2/bf9.t2.smt2 YES 130.09/122.62 YES 0.06/0.07 YES 8.87/8.87
From_T2/p-10.t2.smt2 MAYBE 12.79/12.45 MAYBE 0.03/0.04 MAYBE 1.98/1.98
From_T2/neg-e-pgarch-succeed.t2_fixed.smt2 MAYBE 12.44/11.67 StarExec error MAYBE 4.43/4.44
From_T2/matmult.t2_fixed.smt2 YES 218.71/206.69 YES 0.60/0.67 YES 18.63/18.66
From_T2/byron-1.t2.smt2 MAYBE 2.53/2.46 YES 0.06/0.05 YES 0.82/0.90
From_T2/n-7.t2_fixed.smt2 MAYBE 8.03/7.64 NO 150.43/67.71 MAYBE 1.38/1.40
From_T2/rev_nt3.t2_fixed.smt2 timeout (wallclock) NO 9.78/6.97 MAYBE 286.60/286.61
From_T2/1394complete-fail.t2.smt2 StarExec error NO 55.06/15.71 StarExec error
From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 StarExec error YES 14.67/14.69 StarExec error
From_T2/print.t2.smt2 StarExec error YES 0.51/0.51 StarExec error
From_T2/pgarch-succeed.t2.smt2 MAYBE 30.19/28.63 NO 0.11/0.08 MAYBE 7.27/7.29
From_T2/neg-popl07-fail.t2_fixed.smt2 MAYBE 82.81/83.62 NO 0.28/0.18 MAYBE 20.12/20.12
From_T2/n-14.t2_fixed.smt2 MAYBE 3.61/3.39 NO 5.38/4.25 MAYBE 1.26/1.26
From_T2/loop_on_input.t2.smt2 YES 1.96/1.85 YES 0.02/0.03 YES 0.71/0.71
From_T2/array2.t2.smt2 YES 1.42/1.34 YES 0.02/0.02 YES 0.72/0.72
From_T2/n-14.t2.smt2 MAYBE 9.28/8.74 NO 5.35/4.22 MAYBE 2.05/2.05
From_T2/ppblockterm.t2.smt2 MAYBE 38.43/36.85 NO 146.57/57.35 MAYBE 7.79/7.79
From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 MAYBE 62.60/58.95 NO 183.65/74.84 MAYBE 166.03/166.03
From_T2/jacobi.t2_fixed.smt2 StarExec error YES 0.10/0.11 YES 26.55/26.56
From_T2/rlft3.t2.smt2 StarExec error StarExec error MAYBE 85.67/85.69
From_AProVE_2014/Factorial.jar-obl-8.smt2 YES 0.08/0.07 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 YES 0.44/0.43 YES 0.02/0.02 YES 0.62/0.62
From_AProVE_2014/Fractale1.jar-obl-8.smt2 YES 21.82/20.70 YES 0.54/0.54 YES 18.72/18.72
From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 YES 76.74/73.29 MAYBE 324.13/103.12 YES 39.38/39.39
From_AProVE_2014/AckR.jar-obl-8.smt2 YES 0.53/0.50 YES 0.03/0.03 YES 0.69/0.72
From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 YES 2.20/2.14 YES 0.18/0.19 YES 2.08/2.09
From_AProVE_2014/Overflow.jar-obl-8.smt2 YES 0.25/0.24 YES 0.02/0.02 YES 0.52/0.56
From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2 YES 3.80/3.60 YES 0.09/0.10 YES 1.37/1.40
From_AProVE_2014/sum_rec.jar-obl-8.smt2 MAYBE 0.25/0.24 NO 23.74/13.47 MAYBE 0.55/0.55
From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 YES 0.44/0.42 YES 0.03/0.04 YES 0.81/0.81
From_AProVE_2014/Exc3.jar-obl-8.smt2 YES 0.35/0.33 YES 0.03/0.04 YES 0.55/0.64
From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 MAYBE 11.35/10.70 MAYBE 11.57/8.79 MAYBE 2.04/2.04
From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 YES 2.26/2.21 YES 0.19/0.19 YES 2.20/2.20
From_AProVE_2014/EvenOdd.jar-obl-8.smt2 MAYBE 4.31/4.06 NO 30.15/15.59 MAYBE 0.69/0.69
From_AProVE_2014/Double3.jar-obl-8.smt2 YES 0.08/0.07 YES 0.02/0.02 YES 0.52/0.55
From_AProVE_2014/PastaA9.jar-obl-8.smt2 YES 0.34/0.33 YES 0.02/0.02 YES 0.55/0.55
From_AProVE_2014/PastaA8.jar-obl-8.smt2 YES 0.27/0.26 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 timeout (wallclock) YES 2.67/2.73 YES 147.77/147.79
From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 YES 2.22/2.16 YES 0.19/0.19 YES 2.20/2.22
From_AProVE_2014/NO_22.jar-obl-8.smt2 MAYBE 0.29/0.28 NO 8.17/3.98 MAYBE 0.57/0.57
From_AProVE_2014/BinarySearch.jar-obl-9.smt2 timeout (wallclock) YES 0.91/0.91 StarExec error
From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 MAYBE 0.35/0.34 NO 28.08/12.55 StarExec error
From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 MAYBE 0.28/0.27 NO 18.72/8.37 MAYBE 0.53/0.53
From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2 StarExec error YES 3.55/3.56 StarExec error
From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 YES 0.35/0.33 YES 0.02/0.03 YES 0.53/0.53
From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 MAYBE 1.96/1.86 NO 5.22/4.20 MAYBE 0.75/0.75
From_AProVE_2014/IntRTA.jar-obl-8.smt2 YES 0.54/0.52 YES 0.03/0.03 YES 0.60/0.88
From_AProVE_2014/Test10.jar-obl-9.smt2 YES 1.40/1.39 YES 0.04/0.04 YES 0.78/0.78
From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 YES 0.30/0.29 YES 0.03/0.04 YES 0.65/0.65
From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 MAYBE 0.77/0.73 NO 83.40/40.51 MAYBE 1.28/1.28
From_AProVE_2014/PastaB15.jar-obl-8.smt2 YES 0.47/0.45 YES 0.02/0.03 YES 0.68/0.68
From_AProVE_2014/NO_12.jar-obl-8.smt2 MAYBE 0.55/0.53 NO 56.20/29.19 MAYBE 0.64/0.64
From_AProVE_2014/ex06_rec.jar-obl-8.smt2 MAYBE 0.26/0.26 NO 0.03/0.03 MAYBE 0.52/0.53
From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 MAYBE 6.38/6.42 MAYBE 13.76/8.43 MAYBE 1.47/1.47
From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 YES 14.97/14.35 YES 0.53/0.53 YES 6.92/6.93
From_AProVE_2014/SharingPair.jar-obl-8.smt2 MAYBE 0.49/0.47 NO 8.42/5.01 MAYBE 0.76/0.78
From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 StarExec error MAYBE 19.44/10.66 MAYBE 54.98/54.99
From_AProVE_2014/Break.jar-obl-8.smt2 YES 0.15/0.15 YES 0.02/0.02 YES 0.51/0.51
From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 YES 59.42/56.26 YES 0.25/0.26 StarExec error
From_AProVE_2014/PastaA4.jar-obl-8.smt2 YES 0.26/0.25 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/Gopher.jar-obl-10.smt2 YES 4.06/3.84 YES 0.11/0.11 YES 1.55/1.55
From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 MAYBE 0.80/0.76 MAYBE 37.86/12.67 MAYBE 0.88/0.88
From_AProVE_2014/PastaB7.jar-obl-8.smt2 YES 0.31/0.30 YES 0.02/0.04 YES 0.55/0.55
From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 MAYBE 0.39/0.37 NO 18.95/8.45 MAYBE 0.57/0.57
From_AProVE_2014/RandomHard.jar-obl-10.smt2 MAYBE 152.18/96.72 MAYBE 37.22/19.04 MAYBE 2.18/2.21
From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 YES 263.54/261.28 MAYBE 73.00/36.19 YES 19.12/19.12
From_AProVE_2014/Duplicate.jar-obl-8.smt2 YES 0.27/0.27 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/even_rec.jar-obl-8.smt2 MAYBE 0.35/0.36 NO 18.76/8.40 MAYBE 0.54/0.54
From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 YES 9.89/9.39 YES 0.23/0.23 YES 2.41/2.41
From_AProVE_2014/Exc5.jar-obl-8.smt2 YES 0.34/0.32 YES 0.03/0.03 YES 0.55/0.56
From_AProVE_2014/RetValRec.jar-obl-8.smt2 MAYBE 0.37/0.35 YES 3.21/1.11 MAYBE 0.71/0.71
From_AProVE_2014/Collatz.jar-obl-8.smt2 MAYBE 3.06/2.91 MAYBE 6.00/4.43 MAYBE 0.80/0.81
From_AProVE_2014/NO_13.jar-obl-8.smt2 MAYBE 0.50/0.47 MAYBE 307.63/93.95 MAYBE 0.61/0.61
From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 MAYBE 0.92/0.88 StarExec error MAYBE 1.07/1.07
From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 YES 0.58/0.56 YES 0.03/0.04 YES 0.66/0.67
From_AProVE_2014/Test1.jar-obl-8.smt2 MAYBE 1.57/1.49 YES 13.44/5.00 YES 0.93/0.93
From_AProVE_2014/Et5.jar-obl-8.smt2 YES 1.43/1.38 YES 0.18/0.18 YES 1.19/1.19
From_AProVE_2014/Virtual.jar-obl-9.smt2 MAYBE 0.58/0.59 YES 0.09/0.05 YES 0.63/0.65
From_AProVE_2014/ChooseLife.jar-obl-8.smt2 MAYBE 0.32/0.31 NO 7.12/4.91 MAYBE 0.55/0.55
From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 YES 1.47/1.42 YES 0.13/0.13 YES 1.40/1.41
From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 MAYBE 16.36/15.83 MAYBE 185.42/88.22 MAYBE 19.32/19.33
From_AProVE_2014/Nested.jar-obl-8.smt2 YES 1.79/1.70 YES 0.39/0.40 YES 0.63/0.63
From_AProVE_2014/Et4-rec.jar-obl-8.smt2 MAYBE 0.83/0.80 YES 35.01/10.59 YES 0.85/0.85
From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 MAYBE 0.73/0.70 NO 43.47/14.04 MAYBE 0.70/0.70
From_AProVE_2014/PastaB12.jar-obl-8.smt2 YES 0.24/0.24 YES 0.02/0.03 YES 0.56/0.57
From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 MAYBE 0.42/0.41 NO 9.16/5.24 MAYBE 0.60/0.69
From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2 YES 78.34/74.25 YES 0.57/0.58 YES 14.26/14.48
From_AProVE_2014/Norm.jar-obl-9.smt2 MAYBE 29.74/28.03 MAYBE 50.29/17.10 MAYBE 11.31/11.32
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 MAYBE 3.09/3.37 MAYBE 5.60/4.29 MAYBE 0.81/0.81
From_AProVE_2014/Double.jar-obl-8.smt2 YES 0.50/0.48 YES 0.02/0.03 YES 0.59/0.59
From_AProVE_2014/Matrix.jar-obl-16.smt2 MAYBE 217.07/206.98 MAYBE 213.26/77.55 MAYBE 46.32/46.33
From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 StarExec error YES 3.02/3.02 StarExec error
From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 MAYBE 0.60/0.57 MAYBE 25.23/7.77 MAYBE 0.71/0.71
From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 YES 2.66/2.54 YES 0.12/0.14 YES 1.33/1.33
From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 MAYBE 0.40/0.38 NO 5.32/4.19 MAYBE 0.56/0.56
From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 YES 283.78/280.93 MAYBE 64.40/30.60 YES 29.46/29.46
From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 YES 2.62/2.83 YES 0.12/0.12 YES 1.33/1.35
From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 YES 3.80/3.82 YES 0.07/0.08 YES 1.23/1.23
From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 YES 1.43/1.38 YES 0.13/0.13 YES 1.35/1.35
From_AProVE_2014/Test13Loops.jar-obl-10.smt2 MAYBE 1.20/1.14 NO 135.20/45.47 MAYBE 1.10/1.10
From_AProVE_2014/TwoWay.jar-obl-8.smt2 YES 0.15/0.15 YES 0.02/0.02 YES 0.52/0.54
From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 YES 0.59/0.56 YES 0.03/0.04 YES 0.70/0.70
From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 MAYBE 0.36/0.34 NO 11.72/4.93 MAYBE 0.59/0.59
From_AProVE_2014/Test6.jar-obl-13.smt2 MAYBE 258.88/247.72 MAYBE 113.70/98.54 StarExec error
From_AProVE_2014/Flatten.jar-obl-10.smt2 MAYBE 4.13/3.91 MAYBE 58.55/21.11 MAYBE 1.54/1.55
From_AProVE_2014/TestJulia6.jar-obl-8.smt2 MAYBE 0.06/0.07 NO 0.03/0.03 MAYBE 0.50/0.50
From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 MAYBE 1.04/0.98 NO 51.17/27.37 MAYBE 1.09/1.09
From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 StarExec error MAYBE 92.02/45.13 MAYBE 0.85/0.85
From_AProVE_2014/Et2-rec.jar-obl-8.smt2 MAYBE 0.60/0.58 YES 0.55/0.23 YES 0.77/0.77
From_AProVE_2014/ConvertRec.jar-obl-9.smt2 MAYBE 2.58/2.47 NO 22.98/9.51 MAYBE 1.86/1.86
From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 MAYBE 1.53/1.46 NO 80.12/23.60 MAYBE 1.55/1.55
From_AProVE_2014/Test9.jar-obl-20.smt2 YES 2.78/2.63 YES 0.10/0.10 YES 1.92/1.92
From_AProVE_2014/Exc2.jar-obl-8.smt2 MAYBE 0.26/0.25 NO 1.37/1.04 MAYBE 0.56/0.56
From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 YES 99.68/95.43 MAYBE 300.02/98.00 StarExec error
From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 MAYBE 21.56/20.30 MAYBE 10.00/5.09 MAYBE 8.99/8.99
From_AProVE_2014/AProVEMath.jar-obl-8.smt2 YES 0.96/1.11 YES 0.03/0.03 YES 0.78/0.78
From_AProVE_2014/MainCopy.jar-obl-10.smt2 MAYBE 2.14/2.46 NO 14.26/6.56 MAYBE 1.51/1.52
From_AProVE_2014/Convert.jar-obl-9.smt2 MAYBE 0.91/0.86 NO 5.92/4.38 MAYBE 0.78/0.78
From_AProVE_2014/List.jar-obl-12.smt2 MAYBE 1.18/1.12 NO 48.39/16.73 MAYBE 1.22/1.22
From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 MAYBE 0.35/0.34 NO 21.83/7.26 MAYBE 0.59/0.59
From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 YES 0.45/0.43 YES 0.02/0.02 YES 0.57/0.57
From_AProVE_2014/PastaC1.jar-obl-8.smt2 YES 2.45/2.48 YES 0.03/0.04 YES 0.64/0.64
From_AProVE_2014/PastaA1.jar-obl-8.smt2 YES 1.55/1.47 YES 0.02/0.03 YES 0.63/0.63
From_AProVE_2014/MainFind.jar-obl-10.smt2 MAYBE 2.63/2.50 NO 41.47/13.66 MAYBE 1.97/2.01
From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 YES 0.18/0.18 YES 0.02/0.03 YES 0.57/0.57
From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 YES 24.38/23.67 YES 0.84/0.84 YES 15.37/15.37
From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 MAYBE 0.93/0.88 NO 46.10/22.79 MAYBE 0.81/0.82
From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 MAYBE 32.23/30.24 NO 4.07/1.42 MAYBE 1.26/1.29
From_AProVE_2014/PastaC9.jar-obl-8.smt2 YES 0.44/0.42 YES 0.03/0.04 YES 0.64/0.64
From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 YES 0.95/0.92 YES 0.07/0.07 YES 0.93/0.93
From_AProVE_2014/PastaB11.jar-obl-8.smt2 MAYBE 0.74/0.71 YES 0.42/0.23 YES 0.68/0.68
From_AProVE_2014/Kernel95.jar-obl-9.smt2 YES 3.34/3.18 YES 0.11/0.11 YES 2.09/2.09
From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 MAYBE 0.42/0.40 NO 5.27/4.18 MAYBE 0.56/0.64
From_AProVE_2014/MultiLasso.jar-obl-8.smt2 MAYBE 2.35/2.56 NO 25.60/10.37 MAYBE 0.76/0.79
From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 MAYBE 158.64/150.83 NO 40.71/21.55 MAYBE 13.94/13.95
From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 MAYBE 10.88/10.29 MAYBE 11.55/5.09 MAYBE 1.96/1.96
From_AProVE_2014/Test2.jar-obl-8.smt2 MAYBE 1.52/1.44 YES 8.71/3.05 YES 1.01/1.01
From_AProVE_2014/Iterations.jar-obl-8.smt2 timeout (wallclock) YES 16.60/8.10 YES 15.16/15.16
From_AProVE_2014/PastaB1.jar-obl-8.smt2 YES 0.22/0.21 YES 0.02/0.02 YES 0.53/0.58
From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 MAYBE 0.32/0.58 NO 19.12/8.51 MAYBE 0.57/0.57
From_AProVE_2014/PastaC3.jar-obl-8.smt2 YES 0.81/0.77 YES 0.03/0.03 YES 0.63/0.63
From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 YES 1.52/1.46 YES 0.12/0.13 YES 1.36/1.36
From_AProVE_2014/NO_20.jar-obl-8.smt2 MAYBE 0.06/0.06 NO 0.03/0.03 MAYBE 0.50/0.79
From_AProVE_2014/MinusMin.jar-obl-8.smt2 MAYBE 1.99/1.88 YES 0.08/0.05 YES 0.78/0.86
From_AProVE_2014/sunset_rec.jar-obl-8.smt2 MAYBE 0.57/0.54 StarExec error MAYBE 0.71/0.72
From_AProVE_2014/Test7.jar-obl-11.smt2 MAYBE 1.02/0.97 MAYBE 87.24/34.50 MAYBE 1.23/1.24
From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 YES 161.94/153.94 MAYBE 317.89/103.46 YES 37.68/37.68
From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 MAYBE 3.15/2.97 NO 70.92/41.19 MAYBE 3.29/3.30
From_AProVE_2014/ex07_rec.jar-obl-8.smt2 MAYBE 0.25/0.24 NO 0.03/0.03 MAYBE 0.52/0.52
From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 MAYBE 0.55/0.53 NO 6.08/4.33 MAYBE 0.60/0.60
From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 MAYBE 1.31/1.24 NO 26.22/9.98 MAYBE 0.94/0.94
From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 YES 4.36/4.27 YES 0.34/0.35 YES 3.55/3.55
From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 MAYBE 0.60/0.57 NO 10.90/4.72 MAYBE 0.68/0.68
From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 MAYBE 0.53/0.51 NO 9.44/4.22 MAYBE 0.78/0.78
From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 YES 1.83/1.75 YES 0.08/0.08 YES 1.16/1.16
From_AProVE_2014/BTreeR.jar-obl-9.smt2 YES 2.38/2.26 YES 0.06/0.06 YES 1.32/1.36
From_AProVE_2014/Et5-rec.jar-obl-8.smt2 YES 1.40/1.36 YES 0.07/0.07 YES 1.08/1.08
From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 StarExec error YES 3.23/3.24 YES 261.03/261.04
From_AProVE_2014/Log.jar-obl-8.smt2 MAYBE 1.33/1.26 YES 0.17/0.10 MAYBE 0.65/0.65
From_AProVE_2014/Exc.jar-obl-8.smt2 YES 0.36/0.35 YES 0.07/0.08 YES 0.55/0.55
From_AProVE_2014/Kernel68.jar-obl-9.smt2 YES 33.38/31.91 YES 1.03/1.04 YES 31.64/31.65
From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 YES 1.87/1.81 YES 0.15/0.16 YES 1.69/1.69
From_AProVE_2014/Mod.jar-obl-8.smt2 YES 3.85/3.99 YES 0.06/0.06 MAYBE 1.09/1.09
From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 YES 0.10/0.10 YES 0.02/0.03 YES 0.54/0.54
From_AProVE_2014/Continue1.jar-obl-8.smt2 YES 0.33/0.31 YES 0.03/0.03 YES 0.55/0.58
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 MAYBE 0.37/0.37 NO 18.79/8.40 MAYBE 0.57/0.58
From_AProVE_2014/TriTas.jar-obl-12.smt2 MAYBE 14.21/13.40 NO 66.53/34.75 MAYBE 1.93/1.93
From_AProVE_2014/Power.jar-obl-10.smt2 YES 25.18/24.10 YES 25.12/9.80 YES 5.39/5.39
From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 MAYBE 1.91/1.82 NO 13.81/9.57 MAYBE 1.32/1.32
From_AProVE_2014/BTree.jar-obl-9.smt2 YES 1.60/1.62 YES 0.09/0.09 YES 0.94/0.94
From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 MAYBE 1.48/1.40 NO 84.68/34.68 MAYBE 1.00/1.00
From_AProVE_2014/FactSumList.jar-obl-8.smt2 YES 4.32/4.06 YES 0.08/0.09 YES 0.86/0.86
From_AProVE_2014/DivMinus.jar-obl-8.smt2 YES 0.18/0.19 YES 0.02/0.02 YES 0.56/0.56
From_AProVE_2014/FactSum.jar-obl-9.smt2 YES 0.18/0.18 YES 0.02/0.02 YES 0.60/0.60
From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 MAYBE 0.45/0.42 NO 18.73/8.37 MAYBE 0.58/0.58
From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 MAYBE 0.41/0.40 NO 34.08/12.67 StarExec error
From_AProVE_2014/CountMetaList.jar-obl-9.smt2 MAYBE 1.52/1.45 NO 6.70/4.62 MAYBE 1.01/1.02
From_AProVE_2014/NO_00.jar-obl-8.smt2 MAYBE 0.05/0.05 NO 0.03/0.03 MAYBE 0.50/0.50
From_AProVE_2014/NO_03.jar-obl-8.smt2 MAYBE 0.23/0.22 NO 0.32/0.16 MAYBE 0.55/0.55
From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 YES 1.35/1.29 YES 0.07/0.07 YES 0.71/0.71
From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 YES 2.28/2.22 YES 0.18/0.21 YES 2.21/2.21
From_AProVE_2014/Queen.jar-obl-10.smt2 MAYBE 2.93/2.87 MAYBE 24.11/13.66 MAYBE 1.61/1.62
From_AProVE_2014/Test8.jar-obl-12.smt2 MAYBE 1.10/1.05 YES 0.24/0.12 YES 0.93/0.93
From_AProVE_2014/PastaB3.jar-obl-8.smt2 YES 0.06/0.06 YES 0.02/0.02 YES 0.54/0.54
From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 YES 1.52/1.47 YES 0.12/0.12 YES 1.40/1.40
From_AProVE_2014/PastaC5.jar-obl-8.smt2 YES 0.37/0.36 YES 0.03/0.03 YES 0.59/0.60
From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 MAYBE 0.46/0.44 NO 56.52/25.64 MAYBE 0.58/0.58
From_AProVE_2014/Et6.jar-obl-8.smt2 YES 1.42/1.37 YES 0.30/0.33 YES 1.19/1.19
From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 YES 1.81/1.76 YES 0.15/0.15 YES 1.70/1.70
From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 MAYBE 0.49/0.46 NO 27.02/10.12 MAYBE 0.73/0.73
From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 MAYBE 0.35/0.35 MAYBE 19.34/8.60 MAYBE 0.54/0.55
From_AProVE_2014/PastaB13.jar-obl-8.smt2 YES 3.87/3.63 YES 0.03/0.03 MAYBE 1.12/1.12
From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 MAYBE 0.54/0.51 NO 6.23/4.37 MAYBE 0.61/0.61
From_AProVE_2014/MergeSort.jar-obl-12.smt2 YES 48.96/46.52 YES 0.52/0.52 YES 9.06/9.12
From_AProVE_2014/Kernel93.jar-obl-9.smt2 MAYBE 3.36/3.16 NO 9.86/4.44 MAYBE 1.48/1.49
From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 MAYBE 0.37/0.36 NO 5.37/4.20 MAYBE 0.57/0.57
From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 YES 15.72/14.89 YES 0.16/0.17 YES 2.73/2.73
From_AProVE_2014/LessLeaves.jar-obl-10.smt2 MAYBE 9.91/9.42 NO 70.34/21.30 MAYBE 2.41/2.41
From_AProVE_2014/LogIterative.jar-obl-8.smt2 YES 0.45/0.44 YES 0.02/0.03 YES 0.62/0.62
From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 MAYBE 0.35/0.33 NO 72.55/38.46 MAYBE 0.60/0.60
From_AProVE_2014/Distances.jar-obl-19.smt2 StarExec error MAYBE 76.62/55.63 StarExec error
From_AProVE_2014/Avg.jar-obl-8.smt2 MAYBE 0.55/0.52 YES 0.03/0.03 YES 0.59/0.59
From_AProVE_2014/ListContent.jar-obl-9.smt2 MAYBE 0.40/0.38 NO 5.78/4.35 MAYBE 0.66/0.66
From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 YES 158.35/150.91 MAYBE 321.20/103.46 YES 37.83/37.83
From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 MAYBE 0.85/0.86 YES 0.09/0.09 MAYBE 0.88/0.88
From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 MAYBE 0.41/0.39 NO 28.87/15.61 MAYBE 0.61/0.61
From_AProVE_2014/RSA.jar-obl-17.smt2 StarExec error MAYBE 32.29/15.64 MAYBE 25.14/25.15
From_AProVE_2014/PastaB6.jar-obl-8.smt2 YES 0.11/0.11 YES 0.02/0.02 YES 0.53/0.54
From_AProVE_2014/PartitionList.jar-obl-16.smt2 YES 70.94/67.98 YES 1.43/1.44 StarExec error
From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 YES 0.21/0.21 YES 0.20/0.20 YES 0.56/0.57
From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 YES 1.23/1.18 YES 0.03/0.03 YES 1.01/1.01
From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 YES 0.16/0.16 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/PastaA6.jar-obl-8.smt2 MAYBE 0.45/0.43 YES 0.12/0.05 YES 0.56/0.58
From_AProVE_2014/ListContentTail.jar-obl-10.smt2 YES 2.49/2.37 YES 0.06/0.07 YES 1.05/1.09
From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 MAYBE 0.95/0.90 NO 7.10/4.33 MAYBE 0.60/0.60
From_AProVE_2014/ListInt.jar-obl-12.smt2 MAYBE 3.57/3.40 NO 12.94/6.18 MAYBE 2.20/2.20
From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 MAYBE 0.71/0.68 YES 0.24/0.10 YES 0.71/0.72
From_AProVE_2014/Et4.jar-obl-8.smt2 MAYBE 0.96/0.92 YES 67.15/20.16 YES 0.99/1.00
From_AProVE_2014/Samefringe.jar-obl-10.smt2 MAYBE 2.96/2.84 NO 10.65/5.69 MAYBE 1.88/1.88
From_AProVE_2014/Kernel88.jar-obl-9.smt2 YES 8.79/8.40 YES 0.10/0.10 YES 1.21/1.21
From_AProVE_2014/LogRecursive.jar-obl-8.smt2 YES 1.01/0.96 YES 0.03/0.04 YES 0.92/0.92
From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 MAYBE 0.39/0.37 NO 35.63/19.03 MAYBE 0.62/0.62
From_AProVE_2014/DivTernary2.jar-obl-9.smt2 MAYBE 1.84/1.76 NO 24.05/9.20 MAYBE 12.26/12.27
From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 MAYBE 0.43/0.41 NO 27.13/14.57 MAYBE 0.60/0.60
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 MAYBE 0.35/0.34 NO 28.11/12.56 MAYBE 0.58/0.58
From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 MAYBE 1.98/1.87 NO 5.61/4.29 StarExec error
From_AProVE_2014/MirrorTree.jar-obl-9.smt2 YES 1.92/1.83 YES 0.07/0.08 YES 1.31/1.31
From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 YES 4.33/4.25 YES 0.34/0.35 YES 3.60/3.60
From_AProVE_2014/PastaB5.jar-obl-8.smt2 YES 0.11/0.11 YES 0.02/0.02 YES 0.57/0.57
From_AProVE_2014/MainGet.jar-obl-10.smt2 MAYBE 1.80/1.72 NO 15.52/6.98 MAYBE 1.71/1.72
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 YES 0.71/0.68 YES 0.04/0.04 YES 0.92/0.92
From_AProVE_2014/Et6-rec.jar-obl-8.smt2 YES 1.27/1.26 StarExec error YES 1.07/1.08
From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 MAYBE 0.54/0.55 NO 19.86/8.69 MAYBE 0.63/0.68
From_AProVE_2014/Test3.jar-obl-10.smt2 MAYBE 3.61/3.47 YES 0.57/0.50 YES 8.39/8.39
From_AProVE_2014/Et2.jar-obl-8.smt2 MAYBE 0.79/0.76 YES 1.85/0.68 YES 0.91/0.91
From_AProVE_2014/FlattenTree.jar-obl-9.smt2 MAYBE 2.26/2.15 MAYBE 46.94/15.10 MAYBE 1.93/1.93
From_AProVE_2014/CAppE.jar-obl-9.smt2 YES 0.31/0.29 YES 0.02/0.03 YES 0.64/0.64
From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 MAYBE 1.57/1.83 NO 2.59/1.31 MAYBE 0.97/0.97
From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 YES 1.46/1.41 StarExec error YES 1.39/1.40
From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 YES 0.16/0.16 StarExec error YES 0.61/0.61
From_AProVE_2014/PastaB17.jar-obl-8.smt2 YES 2.93/2.77 YES 0.03/0.03 YES 0.66/0.67
From_AProVE_2014/Exc1.jar-obl-8.smt2 MAYBE 0.25/0.24 NO 0.07/0.05 MAYBE 0.55/0.55
From_AProVE_2014/Sequence.jar-obl-9.smt2 YES 0.34/0.34 YES 0.05/0.05 YES 0.57/0.57
From_AProVE_2014/PastaB18.jar-obl-8.smt2 YES 0.29/0.28 YES 0.02/0.03 YES 0.85/0.86
From_AProVE_2014/GCD2.jar-obl-8.smt2 YES 0.59/0.56 YES 0.04/0.05 YES 0.82/0.82
From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 MAYBE 0.37/0.35 NO 18.75/8.38 MAYBE 0.56/0.58
From_AProVE_2014/Round3.jar-obl-8.smt2 MAYBE 0.98/0.94 MAYBE 37.55/16.87 MAYBE 0.70/0.70
From_AProVE_2014/AppE.jar-obl-9.smt2 StarExec error YES 0.04/0.04 YES 0.80/0.80
From_AProVE_2014/Main.jar-obl-11.smt2 StarExec error MAYBE 131.41/83.60 StarExec error
From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 MAYBE 0.31/0.29 NO 5.29/4.19 MAYBE 0.55/0.55
From_AProVE_2014/Binomial.jar-obl-9.smt2 YES 289.93/278.03 YES 0.66/0.66 YES 24.71/24.71
From_AProVE_2014/NO_11.jar-obl-8.smt2 MAYBE 0.30/0.30 NO 67.99/36.87 MAYBE 0.60/0.60
From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 YES 1.45/1.40 YES 0.12/0.12 YES 1.36/1.36
From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 MAYBE 173.33/172.45 StarExec error StarExec error
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 YES 1.25/1.20 YES 0.03/0.03 YES 1.02/1.02
From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 YES 2.38/2.28 YES 0.08/0.09 YES 1.49/1.50
From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 StarExec error NO 5.34/4.19 MAYBE 0.57/0.57
From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 YES 0.10/0.10 YES 0.02/0.02 YES 0.54/0.54
From_AProVE_2014/Test12.jar-obl-8.smt2 MAYBE 0.83/0.80 YES 0.23/0.13 StarExec error
From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 MAYBE 0.90/0.86 NO 85.31/40.90 MAYBE 1.66/1.66
From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 StarExec error NO 7.63/5.37 MAYBE 0.66/0.66
From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 YES 1.46/1.41 YES 0.12/0.12 YES 1.36/1.36
From_AProVE_2014/ex02_rec.jar-obl-8.smt2 MAYBE 0.37/0.36 NO 11.66/4.91 MAYBE 0.59/0.59
From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 YES 5.26/5.03 YES 0.06/0.06 YES 1.40/1.41
From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 YES 32.64/30.90 YES 0.13/0.13 YES 1.83/1.83
From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 MAYBE 4.53/4.35 MAYBE 55.13/19.90 MAYBE 1.64/1.64
From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 YES 4.34/4.14 YES 0.19/0.19 YES 2.33/2.34
From_AProVE_2014/Test4.jar-obl-10.smt2 timeout (wallclock) MAYBE 63.12/51.77 StarExec error
From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 YES 82.42/79.56 MAYBE 126.21/38.34 YES 32.08/32.08
From_AProVE_2014/PastaB2.jar-obl-8.smt2 YES 0.27/0.26 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/StupidArray.jar-obl-8.smt2 YES 0.04/0.04 YES 0.02/0.03 StarExec error
From_AProVE_2014/cousot_rec.jar-obl-8.smt2 StarExec error NO 435.13/243.94 MAYBE 0.78/0.79
From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 MAYBE 0.39/0.38 NO 5.31/4.18 MAYBE 0.56/0.56
From_AProVE_2014/LogMult.jar-obl-8.smt2 YES 0.36/0.34 MAYBE 5.41/4.23 MAYBE 0.54/0.54
From_AProVE_2014/NO_10.jar-obl-8.smt2 MAYBE 0.26/0.25 NO 65.05/34.13 MAYBE 0.54/0.54
From_AProVE_2014/Recursions.jar-obl-13.smt2 YES 2.56/2.42 YES 0.06/0.07 YES 1.45/1.45
From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 MAYBE 20.32/19.21 NO 52.64/21.39 MAYBE 1.81/1.81
From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 MAYBE 0.32/0.31 NO 19.12/8.51 MAYBE 0.56/0.56
From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2 StarExec error YES 3.15/3.16 YES 261.60/261.66
From_AProVE_2014/LogAG.jar-obl-8.smt2 MAYBE 1.85/1.74 YES 0.14/0.07 YES 0.62/0.62
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 YES 1.10/1.04 YES 0.03/0.04 YES 0.79/0.79
From_AProVE_2014/Loop1.jar-obl-8.smt2 YES 0.36/0.35 YES 0.02/0.03 YES 0.57/0.58
From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 MAYBE 0.06/0.06 NO 0.03/0.03 MAYBE 0.49/0.49
From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 MAYBE 4.51/4.30 MAYBE 70.60/23.99 MAYBE 2.31/2.31
From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 MAYBE 0.42/0.40 NO 14.18/8.49 MAYBE 0.68/0.68
From_AProVE_2014/Et1.jar-obl-8.smt2 MAYBE 0.30/0.29 YES 13.37/6.20 YES 0.54/0.54
From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 MAYBE 0.37/0.66 NO 18.72/8.41 MAYBE 0.60/0.60
From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 YES 0.39/0.37 YES 0.03/0.03 YES 0.63/0.63
From_AProVE_2014/FactSLR.jar-obl-8.smt2 MAYBE 0.54/0.51 YES 0.11/0.06 YES 0.68/0.68
From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 MAYBE 0.54/0.54 NO 25.68/9.43 MAYBE 0.57/0.57
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 MAYBE 80.26/75.81 MAYBE 52.48/28.29 MAYBE 73.20/73.20
From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 YES 0.14/0.14 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/Ackermann.jar-obl-8.smt2 YES 0.42/0.40 YES 0.03/0.03 YES 0.63/0.64
From_AProVE_2014/convLower_rec.jar-obl-8.smt2 MAYBE 0.36/0.34 NO 21.84/7.26 MAYBE 0.59/0.59
From_AProVE_2014/Et1-rec.jar-obl-8.smt2 MAYBE 0.50/0.48 YES 13.41/6.22 YES 0.65/0.65
From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 MAYBE 0.40/0.38 NO 56.04/25.09 MAYBE 0.58/0.58
From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 YES 76.67/73.37 MAYBE 296.53/97.34 YES 38.27/38.27
From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 YES 3.92/3.72 YES 0.11/0.11 YES 1.27/1.27
From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 YES 1.91/1.85 YES 0.15/0.15 YES 1.68/1.69
From_AProVE_2014/GCD.jar-obl-8.smt2 YES 0.63/0.60 YES 0.05/0.05 YES 0.92/0.92
From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 MAYBE 0.46/0.44 NO 25.69/9.41 MAYBE 0.56/0.56
From_AProVE_2014/HanR.jar-obl-8.smt2 YES 0.26/0.25 YES 0.02/0.02 YES 0.63/0.63
From_AProVE_2014/Fibonacci.jar-obl-8.smt2 YES 0.75/0.72 YES 0.02/0.03 YES 0.69/0.70
From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 YES 6.66/6.32 YES 0.15/0.15 YES 1.93/1.93
From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 MAYBE 0.34/0.59 NO 5.66/4.32 MAYBE 0.54/0.54
From_AProVE_2014/ex04_rec.jar-obl-8.smt2 MAYBE 0.29/0.28 NO 65.09/34.16 MAYBE 0.54/0.54
From_AProVE_2014/PastaC7.jar-obl-8.smt2 YES 0.22/0.21 YES 0.02/0.03 YES 0.55/0.55
From_AProVE_2014/Exc4.jar-obl-8.smt2 MAYBE 0.23/0.23 NO 1.09/0.79 MAYBE 0.56/0.57
From_AProVE_2014/NO_21.jar-obl-8.smt2 MAYBE 0.06/0.06 NO 0.03/0.03 MAYBE 0.50/0.51
From_AProVE_2014/Init.jar-obl-8.smt2 MAYBE 0.05/0.05 NO 0.03/0.03 MAYBE 0.50/0.50
From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 YES 156.78/149.43 MAYBE 319.90/103.23 YES 37.83/37.84
From_AProVE_2014/PastaA5.jar-obl-8.smt2 MAYBE 0.38/0.37 YES 0.09/0.05 YES 0.55/0.55
From_AProVE_2014/BubbleSort.jar-obl-8.smt2 YES 7.27/6.87 YES 4.15/4.15 YES 0.77/0.77
From_AProVE_2014/PastaC2.jar-obl-8.smt2 YES 2.22/2.10 YES 0.03/0.04 YES 0.64/0.64
From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 YES 1.89/1.83 YES 0.15/0.15 YES 1.70/1.70
From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 MAYBE 1.28/1.21 YES 0.22/0.10 StarExec error
From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 YES 12.29/11.89 YES 0.77/0.77 YES 10.58/10.59
From_AProVE_2014/FibSLR.jar-obl-8.smt2 MAYBE 0.59/0.57 YES 1.24/0.48 YES 0.74/0.75
From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 YES 8.70/8.34 YES 0.15/0.15 YES 2.07/2.07
From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 MAYBE 0.79/0.75 MAYBE 37.86/12.69 MAYBE 0.81/0.81
From_AProVE_2014/RotateTree.jar-obl-10.smt2 YES 4.32/4.11 YES 0.12/0.12 YES 1.63/1.63
From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 YES 24.35/23.55 YES 0.89/0.91 YES 15.07/15.07
From_AProVE_2014/PastaC10.jar-obl-8.smt2 MAYBE 0.51/0.52 YES 0.14/0.06 YES 0.58/0.59
From_AProVE_2014/Parts.jar-obl-9.smt2 YES 13.10/12.70 YES 0.11/0.12 YES 1.90/1.90
From_AProVE_2014/Nest.jar-obl-8.smt2 YES 0.30/0.30 YES 0.02/0.03 YES 0.63/0.63
From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 MAYBE 0.66/0.62 NO 30.68/15.02 MAYBE 0.69/0.70
From_AProVE_2014/PastaA10.jar-obl-8.smt2 YES 0.48/0.46 YES 0.09/0.05 MAYBE 0.60/0.60
From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 MAYBE 0.80/0.76 NO 6.94/4.63 MAYBE 0.84/0.85
From_AProVE_2014/PastaB4.jar-obl-8.smt2 YES 0.06/0.08 YES 0.02/0.02 YES 0.52/0.53
From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 MAYBE 0.41/0.39 NO 37.58/19.47 MAYBE 0.68/0.68
From_AProVE_2014/CountUpRound.jar-obl-8.smt2 YES 1.71/1.62 YES 0.03/0.03 YES 0.78/0.78
From_AProVE_2014/Count.jar-obl-10.smt2 MAYBE 2.73/2.62 MAYBE 36.39/12.42 MAYBE 1.40/1.41
From_AProVE_2014/Hanoi.jar-obl-8.smt2 YES 0.08/0.08 YES 0.02/0.02 YES 0.51/0.52
From_AProVE_2014/Double2.jar-obl-8.smt2 YES 0.08/0.08 YES 0.02/0.02 YES 0.52/0.53
From_AProVE_2014/CyclicList.jar-obl-9.smt2 YES 0.83/0.79 YES 0.04/0.04 YES 0.82/0.82
From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 MAYBE 1.39/1.32 StarExec error MAYBE 1.11/1.11
From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 MAYBE 0.81/0.77 NO 59.87/23.81 MAYBE 0.93/0.93
From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 MAYBE 0.66/0.70 MAYBE 26.29/8.16 MAYBE 0.71/0.71
From_AProVE_2014/TestJulia7.jar-obl-8.smt2 MAYBE 0.23/0.23 NO 5.45/4.27 MAYBE 0.52/0.52
From_AProVE_2014/NO_24.jar-obl-8.smt2 MAYBE 0.35/0.33 NO 5.57/4.09 MAYBE 0.58/0.58
From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 YES 11.31/11.09 YES 0.27/0.27 YES 2.30/2.30
From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 YES 0.15/0.15 YES 0.02/0.02 YES 0.52/0.52
From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 YES 1.82/1.78 YES 0.15/0.16 YES 1.69/1.69
From_AProVE_2014/Alternate.jar-obl-10.smt2 timeout (wallclock) MAYBE 19.38/10.64 YES 120.45/120.47
From_AProVE_2014/Swingers.jar-obl-8.smt2 MAYBE 0.37/0.36 NO 6.51/5.01 MAYBE 0.55/0.55
From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 MAYBE 2.28/2.17 MAYBE 36.57/12.27 MAYBE 1.29/1.29
From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 YES 0.64/0.61 YES 0.04/0.05 YES 0.82/0.82
From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 timeout (wallclock) MAYBE 34.34/16.94 YES 123.58/123.58
From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 MAYBE 5.22/4.90 NO 21.39/9.34 MAYBE 0.70/0.70
From_AProVE_2014/Sudoku.jar-obl-14.smt2 YES 62.02/58.40 YES 2.21/2.21 YES 52.25/52.26
From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 YES 12.37/11.96 YES 0.79/0.81 YES 10.63/10.63
From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 YES 76.44/74.09 MAYBE 542.02/165.85 YES 32.02/32.02
From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 MAYBE 0.42/0.40 YES 0.21/0.21 YES 0.58/0.58
From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 MAYBE 0.44/0.41 NO 13.18/6.56 MAYBE 0.72/0.72
From_AProVE_2014/Domino.jar-obl-27.smt2 StarExec error MAYBE 43.55/31.32 MAYBE 286.73/286.74
From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 MAYBE 3.87/3.65 MAYBE 9.83/4.56 MAYBE 0.86/0.86
From_AProVE_2014/PastaA7.jar-obl-8.smt2 YES 0.30/0.30 YES 0.02/0.02 YES 0.55/0.55
From_AProVE_2014/flip2_rec.jar-obl-8.smt2 MAYBE 0.88/0.84 MAYBE 36.75/12.43 MAYBE 0.73/0.73
From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 MAYBE 0.38/0.36 NO 31.18/11.90 MAYBE 0.64/0.64
From_AProVE_2014/GCD4.jar-obl-8.smt2 YES 2.25/2.13 YES 0.03/0.03 YES 0.64/0.64
From_AProVE_2014/PlusSwap.jar-obl-8.smt2 MAYBE 0.29/0.28 YES 0.06/0.04 YES 0.53/0.53
From_AProVE_2014/NestedLoop.jar-obl-10.smt2 MAYBE 0.91/0.87 YES 0.31/0.26 YES 1.47/1.47
From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 YES 1.44/1.39 YES 0.12/0.12 YES 1.41/1.41
From_AProVE_2014/Test5.jar-obl-11.smt2 MAYBE 2.98/2.88 YES 2.45/2.40 YES 2.90/2.90
From_AProVE_2014/Count.jar-obl-10-2.smt2 MAYBE 5.95/5.72 MAYBE 34.32/16.93 MAYBE 3.35/3.35
From_AProVE_2014/PastaB16.jar-obl-8.smt2 YES 1.17/1.10 YES 0.02/0.03 YES 0.61/0.61
From_AProVE_2014/NO_05.jar-obl-9.smt2 MAYBE 0.40/0.39 NO 97.17/30.22 MAYBE 0.73/0.73
From_AProVE_2014/DivMinus2.jar-obl-8.smt2 YES 6.30/6.47 YES 0.07/0.07 MAYBE 1.42/1.42
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 YES 10.68/10.07 YES 0.31/0.31 YES 1.90/1.91
From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 MAYBE 0.34/0.33 NO 34.39/18.73 MAYBE 0.57/0.57
From_AProVE_2014/Shuffle.jar-obl-10.smt2 MAYBE 1.01/0.97 MAYBE 38.09/12.64 MAYBE 0.88/0.88
From_AProVE_2014/ex01_rec.jar-obl-8.smt2 MAYBE 0.38/0.36 NO 18.73/8.37 MAYBE 0.54/0.55
From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 YES 24.61/23.18 YES 1.08/1.08 YES 28.91/28.92
From_AProVE_2014/Et3-rec.jar-obl-8.smt2 MAYBE 0.46/0.44 YES 14.47/5.18 YES 0.64/0.64
From_AProVE_2014/NO_23.jar-obl-8.smt2 MAYBE 0.24/0.23 NO 25.92/16.57 MAYBE 0.56/0.58
From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 YES 1.40/1.34 YES 0.08/0.09 YES 1.61/1.62
From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 YES 100.51/95.82 MAYBE 306.86/102.45 YES 39.88/39.88
From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 YES 0.80/0.89 YES 0.03/0.04 YES 0.88/0.89
From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 YES 94.97/90.27 MAYBE 305.64/102.61 YES 40.44/40.45
From_AProVE_2014/GCD5.jar-obl-8.smt2 YES 0.42/0.40 MAYBE 5.39/4.22 MAYBE 0.62/0.63
From_AProVE_2014/PastaB8.jar-obl-8.smt2 YES 1.05/1.00 YES 0.03/0.03 YES 0.71/0.71
From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 MAYBE 0.95/0.90 YES 0.15/0.07 YES 0.67/0.67
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 MAYBE 0.30/0.29 NO 18.79/8.40 MAYBE 0.52/0.53
From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 YES 13.33/12.56 YES 0.25/0.25 YES 2.09/2.09
From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 MAYBE 68.08/67.10 MAYBE 759.38/225.16 MAYBE 133.29/133.31
From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 YES 3.62/3.72 YES 0.08/0.09 YES 3.07/3.07
From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 MAYBE 0.97/0.93 NO 45.72/22.65 MAYBE 0.81/0.81
From_AProVE_2014/Graph.jar-obl-17.smt2 MAYBE 202.31/192.78 MAYBE 113.94/39.85 MAYBE 7.61/7.68
From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 MAYBE 0.94/0.89 YES 0.09/0.09 MAYBE 0.80/0.80
From_AProVE_2014/Carre.jar-obl-9.smt2 YES 12.85/12.19 YES 0.10/0.10 YES 1.33/1.34
From_AProVE_2014/GCD3.jar-obl-8.smt2 YES 2.31/2.56 YES 0.03/0.03 YES 0.65/0.65
From_AProVE_2014/Choose.jar-obl-8.smt2 MAYBE 0.26/0.25 NO 24.10/13.71 MAYBE 0.56/0.56
From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 MAYBE 0.48/0.48 NO 12.51/6.40 MAYBE 0.72/0.72
From_AProVE_2014/NO_04.jar-obl-8.smt2 MAYBE 0.05/0.06 NO 0.04/0.03 MAYBE 0.51/0.51
From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 MAYBE 0.66/0.63 NO 23.97/7.24 MAYBE 0.63/0.63
From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 MAYBE 272.83/260.91 NO 40.23/21.49 MAYBE 27.66/27.66
From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 MAYBE 11.01/10.41 NO 159.92/85.54 MAYBE 2.95/2.95
From_AProVE_2014/DivTernary.jar-obl-10.smt2 MAYBE 112.15/106.46 StarExec error StarExec error
From_AProVE_2014/MainMove.jar-obl-11.smt2 MAYBE 52.28/49.56 NO 9.62/5.48 MAYBE 3.37/3.37
From_AProVE_2014/ex03_rec.jar-obl-8.smt2 MAYBE 0.54/0.51 NO 11.47/4.87 MAYBE 0.63/0.63
From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 YES 0.48/0.46 YES 0.03/0.04 YES 0.75/0.75
From_AProVE_2014/LinkedList.jar-obl-10.smt2 MAYBE 0.65/0.62 NO 24.75/11.71 MAYBE 0.74/0.74
From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 StarExec error YES 4.21/4.21 StarExec error
From_AProVE_2014/flip_rec.jar-obl-8.smt2 MAYBE 0.33/0.32 NO 5.48/4.24 MAYBE 0.55/0.56
From_AProVE_2014/MainDelete.jar-obl-10.smt2 MAYBE 4.59/4.41 NO 108.59/58.87 MAYBE 2.64/2.65
From_AProVE_2014/Diff.jar-obl-8.smt2 YES 11.35/11.21 YES 0.45/0.46 YES 3.95/3.95
From_AProVE_2014/NO_02.jar-obl-8.smt2 MAYBE 0.06/0.06 NO 0.03/0.03 MAYBE 0.50/0.51
From_AProVE_2014/DivMinus.jar-obl-11.smt2 MAYBE 24.20/22.83 MAYBE 163.01/49.25 MAYBE 4.21/4.21
From_AProVE_2014/ex05_rec.jar-obl-8.smt2 MAYBE 0.20/0.19 NO 0.03/0.03 MAYBE 0.53/0.53
From_AProVE_2014/Take.jar-obl-8.smt2 YES 0.59/0.57 YES 0.03/0.03 YES 0.62/0.64
From_AProVE_2014/NO_01.jar-obl-8.smt2 MAYBE 0.05/0.07 NO 0.03/0.03 MAYBE 0.50/0.51
From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 MAYBE 0.52/0.50 NO 18.81/8.40 MAYBE 0.74/0.74
From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 StarExec error YES 2.50/2.51 StarExec error
From_AProVE_2014/Sharing.jar-obl-8.smt2 YES 0.13/0.12 StarExec error StarExec error
From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 YES 194.69/185.89 MAYBE 527.11/161.91 YES 53.30/53.31
From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 MAYBE 0.47/0.45 NO 18.89/8.42 MAYBE 0.73/0.73
From_AProVE_2014/NO_06.jar-obl-8.smt2 MAYBE 0.06/0.06 NO 0.03/0.03 MAYBE 0.51/0.51
From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 MAYBE 0.60/0.57 NO 167.60/72.75 MAYBE 0.72/0.72
From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 YES 1.45/1.40 YES 0.13/0.14 YES 1.38/1.38
From_AProVE_2014/Et3.jar-obl-9.smt2 MAYBE 0.37/0.37 YES 22.78/9.39 YES 0.61/0.61
From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 YES 0.24/0.23 YES 0.02/0.02 YES 0.53/0.53
From_AProVE_2014/ex08_rec.jar-obl-8.smt2 MAYBE 8.53/8.00 NO 54.34/33.75 StarExec error
From_AProVE_2014/PastaB14.jar-obl-8.smt2 YES 0.20/0.19 YES 0.02/0.03 StarExec error
From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 StarExec error YES 3.56/3.57 StarExec error
From_AProVE_2014/PastaC11.jar-obl-8.smt2 YES 0.30/0.28 YES 0.03/0.03 YES 0.63/0.63
From_AProVE_2014/Loop.jar-obl-8.smt2 MAYBE 0.06/0.06 NO 0.03/0.03 MAYBE 0.50/0.51
From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 YES 75.97/72.63 MAYBE 559.68/182.93 YES 32.39/32.54
From_AProVE_2014/RunningPointers.jar-obl-9.smt2 YES 0.36/0.34 YES 0.03/0.03 YES 0.69/0.69
From_AProVE_2014/PastaB10.jar-obl-8.smt2 YES 0.36/0.34 YES 0.04/0.05 YES 0.64/0.65
From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 YES 2.25/2.21 YES 0.18/0.19 YES 2.21/2.21
From_AProVE_2014/AG313.jar-obl-8.smt2 YES 0.15/0.14 YES 0.02/0.02 YES 0.53/0.54
From_AProVE_2014/Test11.jar-obl-8.smt2 MAYBE 2.41/2.30 YES 0.98/0.35 StarExec error
From_AProVE_2014/Continue.jar-obl-8.smt2 MAYBE 0.05/0.06 NO 0.03/0.03 StarExec error
From_AProVE_2014/SortCount.jar-obl-10.smt2 MAYBE 3.46/3.31 YES 4.19/1.60 MAYBE 3.04/3.04
From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 StarExec error StarExec error StarExec error
From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 YES 2.92/2.80 YES 0.15/0.16 YES 1.62/1.62
450 1025 524