AProVE vs. Cooperating-T2

Example overview

Ex. name AProVE Cooperating-T2
Result Time Result Time
all/1.t2 UNKNOWN 1.18 NONTERMINATING 1.30
all/1394-fail.t2 UNKNOWN 3.32 NONTERMINATING 1.67
all/1394-succeed.t2 UNKNOWN 3.21 NONTERMINATING 1.74
all/1394complete-fail.t2 UNKNOWN 2.49 NONTERMINATING 1.58
all/1394complete-succeed.t2 UNKNOWN 2.31 NONTERMINATING 1.69
all/2.t2 UNKNOWN 1.47 NONTERMINATING 1.22
all/232.t2 TERMINATING 1.14 TERMINATING 0.80
all/241.t2 TERMINATING 1.74 TERMINATING 0.78
all/3.t2 UNKNOWN 1.11 NONTERMINATING 1.00
all/5.t2 UNKNOWN 1.59 TERMINATING 0.50
all/6.t2 UNKNOWN 1.09 NONTERMINATING 1.01
all/7.t2 UNKNOWN 1.12 NONTERMINATING 1.02
all/Loop.t2 TERMINATING 2.01 TERMINATING 0.49
all/a.10.c.t2 TERMINATING 1.26 TERMINATION UNKNOWN 25.28
all/acqrel-fail.t2 UNKNOWN 1.22 NONTERMINATING 1.20
all/afagp-fail.t2 TIMEOUT 300.00 NONTERMINATING 6.06
all/afagx1.t2 UNKNOWN 1.20 NONTERMINATING 1.06
all/agafp.t2 Gatherer/tool failure 300.00 NONTERMINATING 2.62
all/apchild-accepted-fail.t2 UNKNOWN 3.13 NONTERMINATING 2.97
all/apchild-accepted.t2 UNKNOWN 3.16 NONTERMINATING 2.96
all/apchild-live.t2 UNKNOWN 3.64 NONTERMINATING 3.90
all/apchildlive-succeed.t2 UNKNOWN 3.60 NONTERMINATING 2.70
all/array.t2 TERMINATING 1.05 TERMINATING 0.51
all/array1.t2 TERMINATING 1.06 TERMINATING 0.51
all/array2.t2 TERMINATING 1.13 TERMINATING 0.78
all/array3.t2 TERMINATING 1.17 TERMINATING 0.79
all/array_free.t2 TERMINATING 1.16 TERMINATING 0.81
all/array_init.t2 TERMINATING 1.17 TERMINATING 0.78
all/array_init_assign.t2 TERMINATING 1.18 TERMINATING 0.78
all/ase_example.t2 TERMINATING 1.22 TERMINATING 0.81
all/bf10.t2 TERMINATING 1.51 TERMINATING 0.90
all/bf11.t2 TERMINATING 1.57 TERMINATING 0.91
all/bf12.t2 TERMINATING 1.42 TERMINATING 0.89
all/bf13.t2 TERMINATING 1.51 TERMINATING 0.90
all/bf14.t2 TERMINATING 1.49 TERMINATING 0.89
all/bf15.t2 TERMINATING 1.43 TERMINATING 0.90
all/bf16.t2 TERMINATING 1.57 TERMINATING 0.89
all/bf17.t2 TERMINATING 1.56 TERMINATING 0.89
all/bf18.t2 TERMINATING 1.53 TERMINATING 0.89
all/bf19.t2 TERMINATING 1.45 TERMINATING 0.89
all/bf20.t2 TERMINATING 1.58 TERMINATING 0.89
all/bf5.t2 TERMINATING 1.39 TERMINATING 0.90
all/bf6.t2 TERMINATING 1.44 TERMINATING 0.89
all/bf7.t2 TERMINATING 1.50 TERMINATING 0.91
all/bf8.t2 TERMINATING 1.40 TERMINATING 0.89
all/bf9.t2 TERMINATING 1.46 TERMINATING 0.91
all/bio.t2 Gatherer/tool failure 300.00 TIMEOUT 300.00
all/bitcount16.t2 TERMINATING 1.30 TERMINATING 0.82
all/bitcount32.t2 TERMINATING 1.17 TERMINATING 0.80
all/broydn.c.i.broydn.pl.t2.fixed.t2 TERMINATING 4.06 TERMINATING 32.44
all/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 4.10 TERMINATING 36.43
all/broydn.t2 TERMINATING 4.09 TERMINATING 30.52
all/brp.t2 Gatherer/tool failure 300.00 TERMINATING 0.49
all/brp_withassume.t2 TERMINATING 7.25 TERMINATING 26.58
all/bs.t2 UNKNOWN 1.25 NONTERMINATING 1.25
all/bsort100.t2 TERMINATING 1.36 TERMINATING 0.94
all/bubbleSort.t2 TERMINATING 1.42 TERMINATING 0.86
all/bubblesort_inner_loop.t2 TERMINATING 1.20 TERMINATING 0.81
all/buggyNonTermLoop.t2 UNKNOWN 1.97 TERMINATING 0.51
all/byron-1.t2 TIMEOUT 300.00 TERMINATING 0.78
all/byron-2.t2 TERMINATING 1.18 TERMINATING 0.81
all/byron-3.t2 TIMEOUT 300.00 TERMINATING 1.17
all/byron-4.t2 UNKNOWN 1.19 TERMINATING 1.48
all/cfg.t2 UNKNOWN 1.14 NONTERMINATING 1.06
all/cnt.t2 TERMINATING 1.42 TERMINATING 0.94
all/collatz.t2 UNKNOWN 1.21 Error: No result 1.41
all/complex_guard.t2 TERMINATING 1.14 TERMINATING 0.78
all/constants.t2 TERMINATING 1.23 TERMINATING 0.81
all/consts1.t2 UNKNOWN 1.14 TERMINATING 1.27
all/consts1nt.t2 UNKNOWN 1.13 NONTERMINATING 1.07
all/consts2.t2 TERMINATING 1.17 TERMINATING 0.77
all/consts2nt.t2 UNKNOWN 1.15 NONTERMINATING 1.04
all/consts3.t2 TERMINATING 1.09 TERMINATING 0.77
all/consts3nt.t2 UNKNOWN 1.13 NONTERMINATING 1.04
all/consts4.t2 TERMINATING 1.09 TERMINATING 0.78
all/consts4nt.t2 UNKNOWN 1.10 NONTERMINATING 1.04
all/consts5.t2 TERMINATING 1.08 TERMINATING 0.89
all/consts5nt.t2 UNKNOWN 1.16 NONTERMINATING 1.06
all/cover.t2 TERMINATING 122.33 Error: No result 61.50
all/crc.t2 TERMINATING 2.00 TERMINATING 1.03
all/create.t2 TERMINATING 1.17 TERMINATING 0.79
all/create_seg.t2 TERMINATING 1.20 TERMINATING 0.80
all/create_via_tmps.t2 TIMEOUT 300.00 TERMINATING 0.85
all/ctl.t2 UNKNOWN 1.44 NONTERMINATING 1.05
all/curious.t2 UNKNOWN 1.15 NONTERMINATING 1.06
all/curious2.t2 TERMINATING 1.05 TERMINATING 0.55
all/curious4.t2 UNKNOWN 3.96 NONTERMINATING 6.58
all/d.t2 UNKNOWN 1.16 NONTERMINATING 1.05
all/db.t2 TERMINATING 1.06 TERMINATING 0.75
all/db2.t2 UNKNOWN 13.09 TIMEOUT 300.00
all/db3.t2 UNKNOWN 12.97 TIMEOUT 300.00
all/dead.neg-st88b-succeed.t2 UNKNOWN 1.31 NONTERMINATING 1.46
all/destroy.t2 TIMEOUT 300.00 TERMINATING 0.84
all/destroy_seg.t2 TIMEOUT 300.00 TERMINATING 0.86
all/destroy_seg_leak.t2 TIMEOUT 300.00 NONTERMINATING 1.56
all/disj_nightmare.t2 UNKNOWN 1.22 TERMINATING 15.72
all/disj_nightmare_abi.t2 TERMINATING 1.08 TERMINATING 2.62
all/dropbuf-live.t2 TERMINATING 1.05 TERMINATING 0.53
all/dropbuf.t2 UNKNOWN 2.10 NONTERMINATING 1.43
all/dsa_test.t2 TERMINATING 1.06 TERMINATING 0.51
all/dsa_test1.t2 TERMINATING 1.06 TERMINATING 0.51
all/dsa_test10.t2 TERMINATING 1.19 TERMINATING 0.80
all/dsa_test11.t2 TERMINATING 1.07 TERMINATING 0.52
all/dsa_test12.t2 TERMINATING 1.05 TERMINATING 0.52
all/dsa_test13.t2 TERMINATING 1.05 TERMINATING 0.53
all/dsa_test14.t2 TERMINATING 1.05 TERMINATING 0.49
all/dsa_test15.t2 TERMINATING 1.18 TERMINATING 0.79
all/dsa_test2.t2 TERMINATING 1.04 TERMINATING 0.49
all/dsa_test4.t2 TERMINATING 1.06 TERMINATING 0.51
all/dsa_test5.t2 TERMINATING 1.06 TERMINATING 0.52
all/dsa_test6.t2 TERMINATING 1.14 TERMINATING 0.78
all/dsa_test7.t2 TERMINATING 1.04 TERMINATING 0.49
all/dsa_test8.t2 TERMINATING 1.04 TERMINATING 0.51
all/dsa_test9.t2 TERMINATING 1.06 TERMINATING 0.51
all/dummy.t2 UNKNOWN 1.16 NONTERMINATING 1.04
all/e-1394complete-succeed.t2 UNKNOWN 2.50 NONTERMINATING 1.56
all/e-acqrel-fail.t2 UNKNOWN 1.22 NONTERMINATING 1.11
all/e-acqrel-succeed.t2 UNKNOWN 1.25 NONTERMINATING 1.12
all/e-pgarch-fail.t2 UNKNOWN 1.27 NONTERMINATING 1.08
all/e-pgarch-succeed.t2 UNKNOWN 1.33 NONTERMINATING 1.09
all/e-popl07-fail.t2 UNKNOWN 1.53 NONTERMINATING 1.15
all/edn.t2 TERMINATING 2.67 TERMINATING 1.16
all/efegp.t2 UNKNOWN 2.76 NONTERMINATING 6.85
all/elmhes.c.i.elmhes.pl.t2.fixed.t2 TERMINATING 1.83 TERMINATING 1.92
all/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 1.75 TERMINATING 1.92
all/elmhes.t2 TERMINATING 1.64 TERMINATING 1.54
all/eric.t2 UNKNOWN 1.22 TERMINATION UNKNOWN 14.08
all/eric1.t2 TIMEOUT 300.00 Error: No result 90.99
all/eric2.t2 Gatherer/tool failure 300.00 TIMEOUT 299.89
all/eric3.t2 Gatherer/tool failure 300.00 NONTERMINATING 1.20
all/ex1.t2 UNKNOWN 1.17 NONTERMINATING 1.08
all/ex10.t2 UNKNOWN 1.28 NONTERMINATING 1.18
all/ex11.t2 UNKNOWN 1.24 TERMINATION UNKNOWN 11.49
all/ex12.t2 TERMINATING 1.13 TERMINATING 0.78
all/ex13.t2 TERMINATING 1.05 TERMINATING 0.53
all/ex14.t2 TERMINATING 1.13 TERMINATING 0.78
all/ex15.t2 TERMINATING 1.06 TERMINATING 0.53
all/ex16.t2 UNKNOWN 1.34 NONTERMINATING 1.20
all/ex17.t2 TERMINATING 1.31 TERMINATING 1.06
all/ex18.t2 UNKNOWN 1.27 TERMINATING 0.95
all/ex19.t2 UNKNOWN 1.22 NONTERMINATING 1.09
all/ex2.t2 Gatherer/tool failure 300.00 NONTERMINATING 1.06
all/ex20.t2 TERMINATING 1.22 TERMINATING 0.79
all/ex21.t2 TERMINATING 1.16 TERMINATING 0.79
all/ex22.t2 TERMINATING 1.95 TERMINATING 0.89
all/ex23.t2 TERMINATING 1.12 TERMINATING 0.80
all/ex26.t2 TERMINATING 1.18 TERMINATING 0.82
all/ex27.t2 TERMINATING 2.35 TERMINATING 0.99
all/ex29.t2 TERMINATING 1.29 TERMINATING 0.59
all/ex3.t2 TERMINATING 1.20 TERMINATING 0.78
all/ex30.t2 TERMINATING 1.20 TERMINATING 0.79
all/ex31.t2 UNKNOWN 1.16 NONTERMINATING 1.05
all/ex32.t2 TERMINATING 1.21 TERMINATING 0.83
all/ex33.t2 TERMINATING 1.08 TERMINATING 0.57
all/ex34.t2 TERMINATING 1.24 TERMINATING 0.57
all/ex36.t2 UNKNOWN 4.75 NONTERMINATING 6.49
all/ex37.t2 TERMINATING 1.05 TERMINATING 0.51
all/ex4.t2 TERMINATING 1.27 TERMINATING 0.84
all/ex40.t2 UNKNOWN 1.20 NONTERMINATING 1.06
all/ex6.t2 TERMINATING 1.05 TERMINATING 0.55
all/ex7.t2 TERMINATING 1.16 TERMINATING 0.78
all/ex8.t2 UNKNOWN 1.30 NONTERMINATING 1.19
all/ex9.t2 UNKNOWN 1.43 NONTERMINATING 1.16
all/example.t2 TERMINATING 1.16 TERMINATING 0.79
all/fake-succeed.t2 UNKNOWN 4.94 NONTERMINATING 1.54
all/fast_poll.t2 UNKNOWN 2.83 NONTERMINATING 2.50
all/fdct.t2 TERMINATING 1.57 TERMINATING 0.85
all/fermat.t2 TERMINATING 1.30 TERMINATING 0.81
all/fibcall.t2 TERMINATING 1.21 TERMINATING 0.78
all/fir.t2 TERMINATING 1.35 TERMINATING 0.91
all/firewire.t2 Gatherer/tool failure 300.00 TERMINATING 6.84
all/flipflop.t2 UNKNOWN 1.13 NONTERMINATING 1.09
all/fourn.c.i.fourn.pl.t2.fixed.t2 UNKNOWN 150.21 NONTERMINATING 2.74
all/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2 UNKNOWN 2.03 NONTERMINATING 2.79
all/fourn.t2 UNKNOWN 2.14 NONTERMINATING 2.76
all/fuhs-inflasso.t2 TERMINATING 1.17 TERMINATING 0.81
all/fun1.t2 UNKNOWN 1.93 NONTERMINATING 9.85
all/fun10.t2 UNKNOWN 2.79 NONTERMINATING 1.77
all/fun10b.t2 UNKNOWN 2.56 NONTERMINATING 1.72
all/fun11.t2 UNKNOWN 1.18 NONTERMINATING 1.12
all/fun1b.t2 UNKNOWN 1.93 NONTERMINATING 9.59
all/fun2.t2 TERMINATING 2.09 TERMINATING 7.85
all/fun2b.t2 TIMEOUT 300.00 TERMINATING 6.35
all/fun3.t2 TERMINATING 2.02 TERMINATING 8.41
all/fun4-alt.t2 TERMINATING 1.18 TERMINATING 4.99
all/fun4.t2 UNKNOWN 1.30 TERMINATING 13.18
all/fun5.t2 UNKNOWN 1.62 Error: No result 16.03
all/fun6.t2 UNKNOWN 1.79 NONTERMINATING 1.67
all/fun7.t2 UNKNOWN 1.54 NONTERMINATING 1.16
all/fun8.t2 TERMINATING 1.41 TERMINATING 0.85
all/fun9.t2 UNKNOWN 1.62 NONTERMINATING 2.01
all/graycode.t2 TERMINATING 1.93 TERMINATING 1.10
all/heidy1.t2 UNKNOWN 1.13 NONTERMINATING 1.02
all/heidy10.t2 TERMINATING 1.17 TERMINATING 0.79
all/heidy2.t2 UNKNOWN 1.16 NONTERMINATING 1.04
all/heidy3.t2 UNKNOWN 1.16 NONTERMINATING 1.06
all/heidy5.t2 TERMINATING 1.13 TERMINATING 0.77
all/heidy6.t2 UNKNOWN 1.23 NONTERMINATING 1.09
all/heidy7-simple.t2 UNKNOWN 1.18 NONTERMINATING 1.08
all/heidy7.t2 UNKNOWN 1.22 NONTERMINATING 1.08
all/heidy8.t2 UNKNOWN 1.21 NONTERMINATING 1.09
all/heidy9.t2 TERMINATING 1.13 TERMINATING 0.77
all/hongyi1.t2 TERMINATING 7.86 TERMINATING 15.25
all/hqr.c.i.hqr.pl.t2.fixed.t2 UNKNOWN 1.79 TIMEOUT 299.98
all/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2 UNKNOWN 2.51 TIMEOUT 299.98
all/hqr.t2 UNKNOWN 1.81 TIMEOUT 299.98
all/huh.t2 TERMINATING 1.30 TERMINATING 0.81
all/iecs.t2 TIMEOUT 300.00 TERMINATING 0.76
all/insertsort.t2 UNKNOWN 1.18 NONTERMINATING 1.09
all/intSqRoot.t2 UNKNOWN 1.25 NONTERMINATING 1.05
all/invgen.t2 TERMINATING 1.17 TERMINATING 0.77
all/jacobi.c.i.jacobi.pl.t2.fixed.t2 UNKNOWN 151.54 TERMINATING 17.50
all/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 4.87 TERMINATING 17.45
all/jacobi.t2 TERMINATING 4.84 TERMINATING 10.15
all/janne_complex.t2 TIMEOUT 300.00 Error: No result 59.63
all/jfdctint.t2 TERMINATING 1.54 TERMINATING 0.82
all/loop3.t2 UNKNOWN 5.86 TERMINATING 71.19
all/loop_on_input.t2 TERMINATING 1.15 TERMINATING 0.78
all/ludcmp.c.i.ludcmp.pl.t2.fixed.t2 TERMINATING 2.39 TERMINATING 3.62
all/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 2.37 TERMINATING 3.61
all/ludcmp.t2 TERMINATING 2.49 TERMINATING 3.30
all/magic.t2 TERMINATING 2.82 TERMINATING 1.49
all/matmul.t2 TERMINATING 1.41 TERMINATING 0.90
all/matmult.t2 TERMINATING 1.45 TERMINATING 0.95
all/matrixsqrt.t2 TERMINATING 1.61 TERMINATING 0.89
all/mc91.t2 TERMINATING 1.23 TERMINATING 0.80
all/mc91test.t2 TERMINATING 1.36 TERMINATING 0.85
all/minmax.t2 TERMINATING 1.21 TERMINATING 0.59
all/n-1.t2 UNKNOWN 1.14 NONTERMINATING 1.08
all/n-10.t2 UNKNOWN 1.18 NONTERMINATING 1.07
all/n-12.t2 UNKNOWN 1.19 NONTERMINATING 1.07
all/n-12a.t2 UNKNOWN 1.14 NONTERMINATING 1.01
all/n-13.t2 UNKNOWN 1.14 NONTERMINATING 1.03
all/n-14.t2 UNKNOWN 1.17 NONTERMINATING 1.07
all/n-15.t2 UNKNOWN 1.19 NONTERMINATING 1.07
all/n-15a.t2 UNKNOWN 1.18 NONTERMINATING 1.06
all/n-16.t2 UNKNOWN 1.23 NONTERMINATING 1.07
all/n-16a.t2 UNKNOWN 1.15 NONTERMINATING 1.03
all/n-17.t2 UNKNOWN 1.19 NONTERMINATING 1.07
all/n-18.t2 UNKNOWN 1.15 NONTERMINATING 1.04
all/n-18a.t2 UNKNOWN 1.14 NONTERMINATING 1.03
all/n-1c.t2 UNKNOWN 1.16 NONTERMINATING 1.07
all/n-1d.t2 UNKNOWN 1.19 NONTERMINATING 1.08
all/n-20.t2 UNKNOWN 1.15 NONTERMINATING 1.06
all/n-21.t2 UNKNOWN 1.21 NONTERMINATING 1.08
all/n-3.t2 UNKNOWN 1.27 NONTERMINATING 1.08
all/n-32.t2 UNKNOWN 1.17 NONTERMINATING 1.04
all/n-33.t2 UNKNOWN 1.47 NONTERMINATING 1.08
all/n-36.t2 TIMEOUT 300.00 NONTERMINATING 1.16
all/n-37.t2 UNKNOWN 1.17 NONTERMINATING 1.04
all/n-3a.t2 TIMEOUT 300.00 NONTERMINATING 1.10
all/n-4.t2 UNKNOWN 1.48 NONTERMINATING 1.21
all/n-40.t2 TIMEOUT 300.00 NONTERMINATING 1.20
all/n-46.t2 UNKNOWN 1.19 NONTERMINATING 1.05
all/n-48.t2 UNKNOWN 1.17 NONTERMINATING 1.05
all/n-5.t2 UNKNOWN 1.35 NONTERMINATING 1.29
all/n-6.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/n-6a.t2 UNKNOWN 1.20 NONTERMINATING 1.10
all/n-7.t2 UNKNOWN 1.20 NONTERMINATING 1.11
all/n-8.t2 UNKNOWN 1.18 NONTERMINATING 1.06
all/n-8a.t2 UNKNOWN 1.13 NONTERMINATING 1.03
all/n-9.t2 UNKNOWN 1.16 NONTERMINATING 1.06
all/n_firewire_instrumented-PP.t2 Gatherer/tool failure 300.00 TERMINATING 60.17
all/nakata.t2 UNKNOWN 2.41 TIMEOUT 299.98
all/nakata_withassume.t2 UNKNOWN 2.22 TIMEOUT 299.98
all/ndes.t2 TERMINATING 4.61 TERMINATING 10.89
all/neg-1394complete-fail.t2 UNKNOWN 2.38 NONTERMINATING 1.66
all/neg-1394complete-succeed.t2 UNKNOWN 2.38 NONTERMINATING 1.56
all/neg-e-1394complete-fail.t2 UNKNOWN 2.41 NONTERMINATING 1.54
all/neg-e-1394complete-succeed.t2 UNKNOWN 2.47 NONTERMINATING 1.54
all/neg-e-acqrel-fail.t2 UNKNOWN 1.29 NONTERMINATING 1.11
all/neg-e-acqrel-succeed.t2 UNKNOWN 1.24 NONTERMINATING 1.10
all/neg-e-pgarch-fail.t2 UNKNOWN 1.28 NONTERMINATING 1.06
all/neg-e-pgarch-succeed.t2 UNKNOWN 1.33 NONTERMINATING 1.06
all/neg-e-popl07-succeed.t2 UNKNOWN 1.48 NONTERMINATING 1.16
all/neg-pgarch-succeed.t2 UNKNOWN 1.39 NONTERMINATING 1.10
all/neg-popl07-fail.t2 UNKNOWN 1.46 NONTERMINATING 1.11
all/neg-popl07-succeed.t2 UNKNOWN 1.51 NONTERMINATING 1.12
all/neg-smagilla-fail.t2 UNKNOWN 1.27 Error: No result 1.26
all/neg-smagilla-succeed.t2 UNKNOWN 1.28 NONTERMINATING 1.24
all/nested.t2 UNKNOWN 1.22 TERMINATING 0.79
all/nested2.t2 TERMINATING 1.20 TERMINATING 0.80
all/new_ex.t2 TIMEOUT 300.00 TERMINATING 7.58
all/non_term.t2 UNKNOWN 1.15 NONTERMINATING 1.04
all/ns.t2 TERMINATING 1.53 TERMINATING 1.00
all/oct_vs_subpoly.t2 UNKNOWN 1.15 NONTERMINATING 1.02
all/p-1.t2 UNKNOWN 1.15 NONTERMINATING 1.07
all/p-10.t2 UNKNOWN 1.15 NONTERMINATING 1.05
all/p-12.t2 TERMINATING 1.15 TERMINATING 0.77
all/p-13.t2 TERMINATING 1.06 TERMINATING 0.56
all/p-14.t2 TERMINATING 1.13 TERMINATING 0.76
all/p-15.t2 TERMINATING 1.12 TERMINATING 0.76
all/p-16.t2 TERMINATING 1.12 TERMINATING 0.76
all/p-18.t2 TERMINATING 1.13 TERMINATING 0.77
all/p-19.t2 UNKNOWN 1.14 NONTERMINATING 1.04
all/p-19a.t2 UNKNOWN 1.16 NONTERMINATING 1.05
all/p-1a.t2 UNKNOWN 1.15 NONTERMINATING 1.06
all/p-1b.t2 TERMINATING 1.15 TERMINATING 0.77
all/p-1c.t2 UNKNOWN 1.14 NONTERMINATING 1.14
all/p-1d.t2 TERMINATING 1.16 TERMINATING 0.95
all/p-20.t2 UNKNOWN 1.16 NONTERMINATING 1.09
all/p-21.t2 TERMINATING 1.30 TERMINATING 0.82
all/p-22.t2 TERMINATING 1.15 TERMINATING 0.77
all/p-3.t2 TIMEOUT 300.00 TERMINATING 0.79
all/p-32.t2 UNKNOWN 1.15 NONTERMINATING 1.05
all/p-33.t2 UNKNOWN 1.34 NONTERMINATING 1.06
all/p-34.t2 UNKNOWN 1.38 NONTERMINATING 1.12
all/p-36.t2 TIMEOUT 300.00 NONTERMINATING 1.14
all/p-37.t2 TERMINATING 1.21 TERMINATING 0.79
all/p-4.t2 TERMINATING 1.24 TERMINATING 0.78
all/p-40.t2 TERMINATING 1.13 TERMINATING 0.80
all/p-41.t2 TERMINATING 1.06 TERMINATING 0.52
all/p-42.t2 TERMINATING 1.22 TERMINATING 0.79
all/p-43-terminate.t2 TIMEOUT 300.00 TERMINATING 11.06
all/p-43.t2 TIMEOUT 300.00 TERMINATING 3.87
all/p-44.t2 TERMINATING 1.59 TERMINATING 0.77
all/p-45.t2 TERMINATING 1.54 TERMINATING 0.78
all/p-46.t2 TIMEOUT 300.00 NONTERMINATING 1.29
all/p-49.t2 TERMINATING 1.17 TERMINATING 0.77
all/p-5.t2 UNKNOWN 1.40 NONTERMINATING 1.29
all/p-52.t2 UNKNOWN 1.17 NONTERMINATING 1.04
all/p-53.t2 TERMINATING 1.08 TERMINATING 0.57
all/p-55.t2 TIMEOUT 300.00 TERMINATING 0.81
all/p-56.t2 TERMINATING 1.15 TERMINATING 0.78
all/p-58.t2 TERMINATING 1.14 TERMINATING 0.81
all/p-6.t2 TERMINATING 1.15 TERMINATING 0.80
all/p-60.t2 TERMINATING 1.21 TERMINATING 0.78
all/p-61.t2 TERMINATING 1.26 TERMINATING 0.78
all/p-63.t2 UNKNOWN 1.17 TERMINATING 1.09
all/p-7.t2 TERMINATING 1.16 TERMINATING 0.78
all/p-7b.t2 TERMINATING 1.16 TERMINATING 0.77
all/p-8.t2 UNKNOWN 1.17 NONTERMINATING 1.04
all/p-9.t2 UNKNOWN 1.14 NONTERMINATING 1.04
all/pearl-necklace.t2 TERMINATING 1.28 TERMINATING 0.80
all/pentagon.t2 UNKNOWN 1.54 Error: No result 184.52
all/pgarch.t2 UNKNOWN 9.29 NONTERMINATING 2.91
all/pldi.t2 TERMINATING 1.36 TERMINATING 0.84
all/polling.bug.t2 UNKNOWN 2.77 NONTERMINATING 1.74
all/polling.t2 UNKNOWN 2.38 NONTERMINATING 1.57
all/polyrank1.t2 TIMEOUT 300.00 TERMINATING 1.13
all/polyrank2.t2 TIMEOUT 300.00 TERMINATING 1.16
all/polyrank3.t2 TIMEOUT 300.00 TERMINATING 1.39
all/polyrank4.t2 TIMEOUT 300.00 TERMINATING 1.56
all/polyrank5.t2 TIMEOUT 300.00 TERMINATING 1.91
all/polyrank6.t2 TERMINATING 1.37 TERMINATING 1.18
all/polyrank7.t2 UNKNOWN 1.16 NONTERMINATING 1.04
all/popl07-fail.t2 UNKNOWN 1.41 NONTERMINATING 1.12
all/popl07-succeed.t2 UNKNOWN 1.48 NONTERMINATING 1.12
all/print.t2 TIMEOUT 300.00 TERMINATING 0.94
all/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2 TERMINATING 2.30 TERMINATING 3.39
all/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 2.13 TERMINATING 3.35
all/qrdcmp.t2 TERMINATING 1.96 TERMINATING 2.73
all/queens.t2 TERMINATING 3.41 TERMINATING 1.49
all/queue_1.t2 TERMINATING 1.35 TERMINATING 0.92
all/queue_10.t2 TERMINATING 1.37 TERMINATING 0.96
all/queue_100.t2 TERMINATING 1.34 TERMINATING 0.95
all/queue_1000.t2 TERMINATING 1.37 TERMINATING 0.97
all/randomwalk.t2 TIMEOUT 300.00 TERMINATING 9.61
all/randomwalk_withassume.t2 TERMINATING 1.52 TERMINATING 17.55
all/refine_disj_problem.t2 UNKNOWN 1.17 NONTERMINATING 1.17
all/rev_nt2.t2 UNKNOWN 1.31 NONTERMINATING 1.36
all/rev_nt3.t2 UNKNOWN 1.46 NONTERMINATING 1.27
all/rev_nt4.t2 TERMINATING 1.07 TERMINATING 0.56
all/reverse.t2 TIMEOUT 300.00 TERMINATING 0.96
all/reverse_div4.t2 UNKNOWN 1.46 NONTERMINATING 1.47
all/reverse_seg_cyclic.t2 TIMEOUT 300.00 TERMINATING 0.88
all/rewrite.t2 UNKNOWN 1.14 NONTERMINATING 1.03
all/rlft3.c.i.rlft3.pl.t2.fixed.t2 UNKNOWN 153.28 NONTERMINATING 3.78
all/rlft3.t2 UNKNOWN 1.91 NONTERMINATING 3.43
all/s1-saved.t2 TIMEOUT 300.00 TERMINATING 0.93
all/s3-work.t2 TIMEOUT 300.00 TERMINATING 2.30
all/sas1.t2 TERMINATING 1.34 TERMINATING 0.94
all/sas2.t2 UNKNOWN 2.18 TERMINATION UNKNOWN 72.14
all/select.t2 UNKNOWN 5.79 NONTERMINATING 2.29
all/selectSort.t2 TERMINATING 1.45 TERMINATING 0.89
all/send-more-money.t2 TERMINATING 3.30 TERMINATING 0.84
all/seq.t2 TERMINATING 1.11 TERMINATING 0.77
all/seq2.t2 TERMINATING 1.11 TERMINATING 0.79
all/sequential_swap.t2 TERMINATING 1.09 TERMINATING 0.56
all/simple.t2 UNKNOWN 1.15 NONTERMINATING 1.04
all/simpleWhile.t2 TERMINATING 1.24 TERMINATING 0.81
all/simple_array_inversion.t2 TERMINATING 1.15 TERMINATING 0.77
all/simple_control_on_input.t2 TERMINATING 1.14 TERMINATING 0.78
all/simple_double_free.t2 TERMINATING 1.06 TERMINATING 0.51
all/simple_fail.t2 TERMINATING 1.07 TERMINATING 0.53
all/simple_pre.t2 TERMINATING 1.06 TERMINATING 0.53
all/simple_pre1.t2 TERMINATING 1.05 TERMINATING 0.53
all/simple_pre2.t2 TERMINATING 1.23 TERMINATING 0.53
all/simple_pre3.t2 TERMINATING 1.08 TERMINATING 0.57
all/simple_swap_call.t2 TERMINATING 1.09 TERMINATING 0.56
all/slayer-1-filtered.t2 TIMEOUT 300.00 TERMINATING 0.85
all/slayer-1-rf.t2 TIMEOUT 300.00 TERMINATING 0.84
all/slayer-2-filtered.t2 TIMEOUT 300.00 TERMINATING 0.78
all/slayer-3-filtered.t2 TIMEOUT 300.00 NONTERMINATING 2.12
all/slayer-3-new.t2 TIMEOUT 300.00 NONTERMINATING 11.54
all/slayer-3.t2 TIMEOUT 300.00 NONTERMINATING 10.71
all/slayer-4-filtered.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/slayer-n1-filtered.t2 TIMEOUT 300.00 NONTERMINATING 1.25
all/slayer-n1.t2 TIMEOUT 300.00 NONTERMINATING 1.39
all/slayer-n2-filtered.t2 Gatherer/tool failure 300.00 NONTERMINATING 1.10
all/slayer-n2.t2 Gatherer/tool failure 300.00 NONTERMINATING 1.18
all/slayer-n3-filtered.t2 TIMEOUT 300.00 TERMINATING 1.03
all/slayer-n5-filtered.t2 TIMEOUT 300.00 NONTERMINATING 1.44
all/smagilla-succeed.t2 UNKNOWN 1.29 Error: No result 1.28
all/smagillb-succeed.t2 UNKNOWN 1.25 NONTERMINATING 1.14
all/smagillc-fail.t2 UNKNOWN 1.29 NONTERMINATING 1.14
all/smagillc-succeed.t2 UNKNOWN 1.25 NONTERMINATING 1.29
all/sort.t2 TERMINATING 2.00 TERMINATING 1.17
all/spctrm.c.i.spctrm.pl.t2.fixed.t2 TERMINATING 3.34 TERMINATING 16.24
all/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 3.27 TERMINATING 16.26
all/spctrm.t2 TERMINATING 3.29 TERMINATING 9.60
all/spiral.t2 Gatherer/tool failure 300.00 Error: No result 18.51
all/st88.bug.t2 UNKNOWN 2.03 NONTERMINATING 1.97
all/st88.t2 UNKNOWN 1.32 NONTERMINATING 1.86
all/statemate.t2 Gatherer/tool failure 300.00 Error: No result 119.11
all/stored.t2 UNKNOWN 1.90 NONTERMINATING 1.07
all/streamserver-succeed.t2 UNKNOWN 2.17 NONTERMINATING 3.27
all/streamserver.bug.t2 UNKNOWN 2.99 NONTERMINATING 2.48
all/subpoly_crash.t2 TIMEOUT 300.00 NONTERMINATING 1.03
all/sudoku.t2 TERMINATING 5.20 TERMINATING 3.07
all/sumit.t2 UNKNOWN 1.31 TERMINATION UNKNOWN 14.85
all/svdcmp.c.i.svdcmp.pl.t2.fixed.t2 UNKNOWN 1.74 TERMINATING 53.14
all/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2 UNKNOWN 1.71 TERMINATING 52.90
all/svdcmp.t2 UNKNOWN 1.72 TERMINATING 38.99
all/toeplz.c.i.toeplz.pl.t2.fixed.t2 Gatherer/tool failure 300.00 TERMINATING 1.41
all/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.t2 Gatherer/tool failure 300.00 TERMINATING 1.42
all/toeplz.t2 Gatherer/tool failure 300.00 TERMINATING 1.53
all/tqli.c.i.tqli.pl.t2.fixed.t2 UNKNOWN 151.36 TIMEOUT 299.98
all/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2 UNKNOWN 21.74 TIMEOUT 299.98
all/tqli.t2 UNKNOWN 21.27 TIMEOUT 299.98
all/traverse.t2 TIMEOUT 300.00 TERMINATING 0.92
all/traverse2.t2 TIMEOUT 300.00 TERMINATING 0.97
all/traverse_seg.t2 TIMEOUT 300.00 TERMINATING 0.92
all/traverse_seg2.t2 TIMEOUT 300.00 TERMINATING 0.90
all/traverse_twice.t2 TIMEOUT 300.00 TERMINATING 1.09
all/two_arrays.t2 TERMINATING 1.39 TERMINATING 0.85
all/two_arrays1.t2 TERMINATING 1.46 TERMINATING 0.90
all/two_arrays2.t2 TERMINATING 1.49 TERMINATING 0.88
all/two_arrays6.t2 TERMINATING 1.51 TERMINATING 0.88
all/ud.t2 TERMINATING 2.57 TERMINATING 1.38
all/vmcai_bytes.t2 TERMINATING 1.05 TERMINATING 0.52
all/vmcai_struct.t2 TERMINATING 1.05 TERMINATING 0.51
all/w1.t2 UNKNOWN 1.17 NONTERMINATING 1.02
all/w2_nt.t2 UNKNOWN 1.26 NONTERMINATING 1.28
all/walk.t2 TIMEOUT 300.00 NONTERMINATING 1.15
all/wrong_loop.t2 UNKNOWN 1.24 NONTERMINATING 2.40
all/wtf.t2 TERMINATING 2.02 TERMINATING 8.44
all/zeroconf.t2 TERMINATING 3.75 Error: No result 161.99
all/zeroconf_withassume.t2 TERMINATING 3.64 TIMEOUT 299.98

Aggregate numbers

AProVE Cooperating-T2
Number TERM 197 245
Avg. time TERM 2.21 3.42
Number NONTERM 0 174
Avg. time NONTERM 0.00 1.68
Avg. time total 47.23 13.77