Size-Change/MCNP (AProVE) vs. Cooperating-T2

Example overview

Ex. name Size-Change/MCNP (AProVE) Cooperating-T2
Result Time Result Time
all/1.t2 UNKNOWN 5.80 NONTERMINATING 1.30
all/1394-fail.t2 TIMEOUT 300.00 NONTERMINATING 1.67
all/1394-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.74
all/1394complete-fail.t2 TIMEOUT 300.00 NONTERMINATING 1.58
all/1394complete-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.69
all/2.t2 UNKNOWN 6.82 NONTERMINATING 1.22
all/232.t2 TERMINATING 3.65 TERMINATING 0.80
all/241.t2 TERMINATING 3.70 TERMINATING 0.78
all/3.t2 UNKNOWN 2.14 NONTERMINATING 1.00
all/5.t2 UNKNOWN 19.72 TERMINATING 0.50
all/6.t2 UNKNOWN 2.50 NONTERMINATING 1.01
all/7.t2 UNKNOWN 2.61 NONTERMINATING 1.02
all/Loop.t2 UNKNOWN 126.47 TERMINATING 0.49
all/a.10.c.t2 UNKNOWN 12.32 TERMINATION UNKNOWN 25.28
all/acqrel-fail.t2 UNKNOWN 5.38 NONTERMINATING 1.20
all/afagp-fail.t2 TIMEOUT 300.00 NONTERMINATING 6.06
all/afagx1.t2 UNKNOWN 4.38 NONTERMINATING 1.06
all/agafp.t2 TIMEOUT 300.00 NONTERMINATING 2.62
all/apchild-accepted-fail.t2 TIMEOUT 300.00 NONTERMINATING 2.97
all/apchild-accepted.t2 TIMEOUT 300.00 NONTERMINATING 2.96
all/apchild-live.t2 TIMEOUT 300.00 NONTERMINATING 3.90
all/apchildlive-succeed.t2 TIMEOUT 300.00 NONTERMINATING 2.70
all/array.t2 TERMINATING 1.08 TERMINATING 0.51
all/array1.t2 TERMINATING 1.09 TERMINATING 0.51
all/array2.t2 TERMINATING 2.23 TERMINATING 0.78
all/array3.t2 TERMINATING 2.87 TERMINATING 0.79
all/array_free.t2 TERMINATING 2.16 TERMINATING 0.81
all/array_init.t2 TERMINATING 2.16 TERMINATING 0.78
all/array_init_assign.t2 TERMINATING 2.41 TERMINATING 0.78
all/ase_example.t2 TERMINATING 6.03 TERMINATING 0.81
all/bf10.t2 TERMINATING 22.28 TERMINATING 0.90
all/bf11.t2 TERMINATING 22.63 TERMINATING 0.91
all/bf12.t2 TERMINATING 22.60 TERMINATING 0.89
all/bf13.t2 TERMINATING 22.44 TERMINATING 0.90
all/bf14.t2 TERMINATING 21.93 TERMINATING 0.89
all/bf15.t2 TERMINATING 22.67 TERMINATING 0.90
all/bf16.t2 TERMINATING 22.49 TERMINATING 0.89
all/bf17.t2 TERMINATING 22.77 TERMINATING 0.89
all/bf18.t2 TERMINATING 22.62 TERMINATING 0.89
all/bf19.t2 TERMINATING 22.64 TERMINATING 0.89
all/bf20.t2 TERMINATING 22.28 TERMINATING 0.89
all/bf5.t2 TERMINATING 19.94 TERMINATING 0.90
all/bf6.t2 TERMINATING 22.63 TERMINATING 0.89
all/bf7.t2 TERMINATING 22.63 TERMINATING 0.91
all/bf8.t2 TERMINATING 22.45 TERMINATING 0.89
all/bf9.t2 TERMINATING 22.60 TERMINATING 0.91
all/bio.t2 TIMEOUT 300.00 TIMEOUT 300.00
all/bitcount16.t2 TERMINATING 3.64 TERMINATING 0.82
all/bitcount32.t2 TERMINATING 3.67 TERMINATING 0.80
all/broydn.c.i.broydn.pl.t2.fixed.t2 UNKNOWN 33.10 TERMINATING 32.44
all/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2 TIMEOUT 300.00 TERMINATING 36.43
all/broydn.t2 TIMEOUT 300.00 TERMINATING 30.52
all/brp.t2 TIMEOUT 300.00 TERMINATING 0.49
all/brp_withassume.t2 TIMEOUT 300.00 TERMINATING 26.58
all/bs.t2 UNKNOWN 27.50 NONTERMINATING 1.25
all/bsort100.t2 TERMINATING 17.30 TERMINATING 0.94
all/bubbleSort.t2 UNKNOWN 9.44 TERMINATING 0.86
all/bubblesort_inner_loop.t2 TERMINATING 2.55 TERMINATING 0.81
all/buggyNonTermLoop.t2 UNKNOWN 125.54 TERMINATING 0.51
all/byron-1.t2 UNKNOWN 7.01 TERMINATING 0.78
all/byron-2.t2 TERMINATING 5.72 TERMINATING 0.81
all/byron-3.t2 UNKNOWN 4.55 TERMINATING 1.17
all/byron-4.t2 UNKNOWN 4.79 TERMINATING 1.48
all/cfg.t2 UNKNOWN 4.40 NONTERMINATING 1.06
all/cnt.t2 TERMINATING 11.10 TERMINATING 0.94
all/collatz.t2 UNKNOWN 2.73 Error: No result 1.41
all/complex_guard.t2 TERMINATING 3.27 TERMINATING 0.78
all/constants.t2 UNKNOWN 4.27 TERMINATING 0.81
all/consts1.t2 UNKNOWN 1.32 TERMINATING 1.27
all/consts1nt.t2 UNKNOWN 1.37 NONTERMINATING 1.07
all/consts2.t2 TERMINATING 1.71 TERMINATING 0.77
all/consts2nt.t2 UNKNOWN 2.70 NONTERMINATING 1.04
all/consts3.t2 TERMINATING 1.97 TERMINATING 0.77
all/consts3nt.t2 UNKNOWN 3.18 NONTERMINATING 1.04
all/consts4.t2 TERMINATING 3.19 TERMINATING 0.78
all/consts4nt.t2 UNKNOWN 2.68 NONTERMINATING 1.04
all/consts5.t2 UNKNOWN 5.90 TERMINATING 0.89
all/consts5nt.t2 UNKNOWN 5.84 NONTERMINATING 1.06
all/cover.t2 TIMEOUT 300.00 Error: No result 61.50
all/crc.t2 TERMINATING 119.17 TERMINATING 1.03
all/create.t2 TERMINATING 41.53 TERMINATING 0.79
all/create_seg.t2 TERMINATING 51.97 TERMINATING 0.80
all/create_via_tmps.t2 TIMEOUT 300.00 TERMINATING 0.85
all/ctl.t2 UNKNOWN 13.75 NONTERMINATING 1.05
all/curious.t2 UNKNOWN 3.27 NONTERMINATING 1.06
all/curious2.t2 TERMINATING 1.03 TERMINATING 0.55
all/curious4.t2 TIMEOUT 300.00 NONTERMINATING 6.58
all/d.t2 UNKNOWN 4.34 NONTERMINATING 1.05
all/db.t2 TERMINATING 1.16 TERMINATING 0.75
all/db2.t2 TIMEOUT 300.00 TIMEOUT 300.00
all/db3.t2 TIMEOUT 300.00 TIMEOUT 300.00
all/dead.neg-st88b-succeed.t2 UNKNOWN 44.56 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 9.15 TERMINATING 15.72
all/disj_nightmare_abi.t2 TERMINATING 2.68 TERMINATING 2.62
all/dropbuf-live.t2 TERMINATING 1.36 TERMINATING 0.53
all/dropbuf.t2 UNKNOWN 122.91 NONTERMINATING 1.43
all/dsa_test.t2 TERMINATING 1.09 TERMINATING 0.51
all/dsa_test1.t2 TERMINATING 1.13 TERMINATING 0.51
all/dsa_test10.t2 TERMINATING 3.39 TERMINATING 0.80
all/dsa_test11.t2 TERMINATING 1.15 TERMINATING 0.52
all/dsa_test12.t2 TERMINATING 1.14 TERMINATING 0.52
all/dsa_test13.t2 TERMINATING 1.10 TERMINATING 0.53
all/dsa_test14.t2 TERMINATING 1.08 TERMINATING 0.49
all/dsa_test15.t2 TERMINATING 3.42 TERMINATING 0.79
all/dsa_test2.t2 TERMINATING 1.08 TERMINATING 0.49
all/dsa_test4.t2 TERMINATING 1.10 TERMINATING 0.51
all/dsa_test5.t2 TERMINATING 1.14 TERMINATING 0.52
all/dsa_test6.t2 TERMINATING 2.19 TERMINATING 0.78
all/dsa_test7.t2 TERMINATING 1.07 TERMINATING 0.49
all/dsa_test8.t2 TERMINATING 1.12 TERMINATING 0.51
all/dsa_test9.t2 TERMINATING 1.18 TERMINATING 0.51
all/dummy.t2 UNKNOWN 3.48 NONTERMINATING 1.04
all/e-1394complete-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.56
all/e-acqrel-fail.t2 UNKNOWN 4.56 NONTERMINATING 1.11
all/e-acqrel-succeed.t2 UNKNOWN 5.60 NONTERMINATING 1.12
all/e-pgarch-fail.t2 UNKNOWN 54.00 NONTERMINATING 1.08
all/e-pgarch-succeed.t2 UNKNOWN 69.30 NONTERMINATING 1.09
all/e-popl07-fail.t2 UNKNOWN 90.34 NONTERMINATING 1.15
all/edn.t2 TERMINATING 110.41 TERMINATING 1.16
all/efegp.t2 TIMEOUT 300.00 NONTERMINATING 6.85
all/elmhes.c.i.elmhes.pl.t2.fixed.t2 TERMINATING 55.05 TERMINATING 1.92
all/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 55.31 TERMINATING 1.92
all/elmhes.t2 TERMINATING 55.15 TERMINATING 1.54
all/eric.t2 UNKNOWN 28.01 TERMINATION UNKNOWN 14.08
all/eric1.t2 UNKNOWN 14.85 Error: No result 90.99
all/eric2.t2 TIMEOUT 300.00 TIMEOUT 299.89
all/eric3.t2 UNKNOWN 9.18 NONTERMINATING 1.20
all/ex1.t2 UNKNOWN 4.66 NONTERMINATING 1.08
all/ex10.t2 UNKNOWN 13.86 NONTERMINATING 1.18
all/ex11.t2 UNKNOWN 42.07 TERMINATION UNKNOWN 11.49
all/ex12.t2 TERMINATING 1.99 TERMINATING 0.78
all/ex13.t2 TERMINATING 1.16 TERMINATING 0.53
all/ex14.t2 TERMINATING 2.02 TERMINATING 0.78
all/ex15.t2 TERMINATING 1.60 TERMINATING 0.53
all/ex16.t2 UNKNOWN 41.41 NONTERMINATING 1.20
all/ex17.t2 UNKNOWN 46.60 TERMINATING 1.06
all/ex18.t2 UNKNOWN 12.13 TERMINATING 0.95
all/ex19.t2 UNKNOWN 11.55 NONTERMINATING 1.09
all/ex2.t2 UNKNOWN 4.30 NONTERMINATING 1.06
all/ex20.t2 TERMINATING 7.70 TERMINATING 0.79
all/ex21.t2 TERMINATING 4.26 TERMINATING 0.79
all/ex22.t2 TIMEOUT 300.00 TERMINATING 0.89
all/ex23.t2 TERMINATING 2.93 TERMINATING 0.80
all/ex26.t2 TERMINATING 4.28 TERMINATING 0.82
all/ex27.t2 TIMEOUT 300.00 TERMINATING 0.99
all/ex29.t2 TERMINATING 68.59 TERMINATING 0.59
all/ex3.t2 TERMINATING 5.90 TERMINATING 0.78
all/ex30.t2 TERMINATING 5.62 TERMINATING 0.79
all/ex31.t2 UNKNOWN 11.94 NONTERMINATING 1.05
all/ex32.t2 TERMINATING 4.15 TERMINATING 0.83
all/ex33.t2 TERMINATING 5.66 TERMINATING 0.57
all/ex34.t2 TERMINATING 18.43 TERMINATING 0.57
all/ex36.t2 TIMEOUT 300.00 NONTERMINATING 6.49
all/ex37.t2 TERMINATING 1.09 TERMINATING 0.51
all/ex4.t2 TERMINATING 7.25 TERMINATING 0.84
all/ex40.t2 UNKNOWN 9.97 NONTERMINATING 1.06
all/ex6.t2 TERMINATING 1.15 TERMINATING 0.55
all/ex7.t2 TERMINATING 3.46 TERMINATING 0.78
all/ex8.t2 UNKNOWN 19.98 NONTERMINATING 1.19
all/ex9.t2 UNKNOWN 31.26 NONTERMINATING 1.16
all/example.t2 TERMINATING 3.76 TERMINATING 0.79
all/fake-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.54
all/fast_poll.t2 TIMEOUT 300.00 NONTERMINATING 2.50
all/fdct.t2 TERMINATING 12.87 TERMINATING 0.85
all/fermat.t2 TERMINATING 13.63 TERMINATING 0.81
all/fibcall.t2 TERMINATING 4.07 TERMINATING 0.78
all/fir.t2 TERMINATING 18.02 TERMINATING 0.91
all/firewire.t2 TIMEOUT 300.00 TERMINATING 6.84
all/flipflop.t2 UNKNOWN 3.22 NONTERMINATING 1.09
all/fourn.c.i.fourn.pl.t2.fixed.t2 UNKNOWN 150.53 NONTERMINATING 2.74
all/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2 TIMEOUT 300.00 NONTERMINATING 2.79
all/fourn.t2 TIMEOUT 300.00 NONTERMINATING 2.76
all/fuhs-inflasso.t2 TERMINATING 4.15 TERMINATING 0.81
all/fun1.t2 UNKNOWN 124.65 NONTERMINATING 9.85
all/fun10.t2 TIMEOUT 300.00 NONTERMINATING 1.77
all/fun10b.t2 TIMEOUT 300.00 NONTERMINATING 1.72
all/fun11.t2 UNKNOWN 5.11 NONTERMINATING 1.12
all/fun1b.t2 UNKNOWN 129.20 NONTERMINATING 9.59
all/fun2.t2 UNKNOWN 126.13 TERMINATING 7.85
all/fun2b.t2 TIMEOUT 300.00 TERMINATING 6.35
all/fun3.t2 UNKNOWN 123.04 TERMINATING 8.41
all/fun4-alt.t2 UNKNOWN 18.71 TERMINATING 4.99
all/fun4.t2 UNKNOWN 3.10 TERMINATING 13.18
all/fun5.t2 UNKNOWN 31.76 Error: No result 16.03
all/fun6.t2 UNKNOWN 123.91 NONTERMINATING 1.67
all/fun7.t2 UNKNOWN 83.33 NONTERMINATING 1.16
all/fun8.t2 UNKNOWN 24.04 TERMINATING 0.85
all/fun9.t2 UNKNOWN 94.48 NONTERMINATING 2.01
all/graycode.t2 TERMINATING 106.42 TERMINATING 1.10
all/heidy1.t2 UNKNOWN 2.51 NONTERMINATING 1.02
all/heidy10.t2 TERMINATING 3.84 TERMINATING 0.79
all/heidy2.t2 UNKNOWN 11.68 NONTERMINATING 1.04
all/heidy3.t2 UNKNOWN 3.68 NONTERMINATING 1.06
all/heidy5.t2 TERMINATING 2.95 TERMINATING 0.77
all/heidy6.t2 UNKNOWN 4.75 NONTERMINATING 1.09
all/heidy7-simple.t2 UNKNOWN 3.93 NONTERMINATING 1.08
all/heidy7.t2 UNKNOWN 8.63 NONTERMINATING 1.08
all/heidy8.t2 UNKNOWN 8.83 NONTERMINATING 1.09
all/heidy9.t2 TERMINATING 2.08 TERMINATING 0.77
all/hongyi1.t2 TIMEOUT 300.00 TERMINATING 15.25
all/hqr.c.i.hqr.pl.t2.fixed.t2 UNKNOWN 1.76 TIMEOUT 299.98
all/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2 UNKNOWN 1.78 TIMEOUT 299.98
all/hqr.t2 UNKNOWN 1.76 TIMEOUT 299.98
all/huh.t2 TERMINATING 26.44 TERMINATING 0.81
all/iecs.t2 UNKNOWN 5.29 TERMINATING 0.76
all/insertsort.t2 UNKNOWN 5.04 NONTERMINATING 1.09
all/intSqRoot.t2 UNKNOWN 13.10 NONTERMINATING 1.05
all/invgen.t2 UNKNOWN 4.12 TERMINATING 0.77
all/jacobi.c.i.jacobi.pl.t2.fixed.t2 UNKNOWN 178.17 TERMINATING 17.50
all/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 232.74 TERMINATING 17.45
all/jacobi.t2 TERMINATING 234.62 TERMINATING 10.15
all/janne_complex.t2 UNKNOWN 76.06 Error: No result 59.63
all/jfdctint.t2 TERMINATING 15.17 TERMINATING 0.82
all/loop3.t2 TIMEOUT 300.00 TERMINATING 71.19
all/loop_on_input.t2 UNKNOWN 7.65 TERMINATING 0.78
all/ludcmp.c.i.ludcmp.pl.t2.fixed.t2 TIMEOUT 300.00 TERMINATING 3.62
all/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 94.94 TERMINATING 3.61
all/ludcmp.t2 TERMINATING 93.89 TERMINATING 3.30
all/magic.t2 TIMEOUT 300.00 TERMINATING 1.49
all/matmul.t2 TERMINATING 7.73 TERMINATING 0.90
all/matmult.t2 TERMINATING 12.80 TERMINATING 0.95
all/matrixsqrt.t2 TERMINATING 14.26 TERMINATING 0.89
all/mc91.t2 UNKNOWN 15.83 TERMINATING 0.80
all/mc91test.t2 UNKNOWN 85.14 TERMINATING 0.85
all/minmax.t2 TERMINATING 15.55 TERMINATING 0.59
all/n-1.t2 UNKNOWN 1.96 NONTERMINATING 1.08
all/n-10.t2 UNKNOWN 5.76 NONTERMINATING 1.07
all/n-12.t2 UNKNOWN 3.34 NONTERMINATING 1.07
all/n-12a.t2 UNKNOWN 2.81 NONTERMINATING 1.01
all/n-13.t2 UNKNOWN 3.45 NONTERMINATING 1.03
all/n-14.t2 UNKNOWN 2.21 NONTERMINATING 1.07
all/n-15.t2 UNKNOWN 4.77 NONTERMINATING 1.07
all/n-15a.t2 UNKNOWN 2.23 NONTERMINATING 1.06
all/n-16.t2 UNKNOWN 4.73 NONTERMINATING 1.07
all/n-16a.t2 UNKNOWN 3.15 NONTERMINATING 1.03
all/n-17.t2 UNKNOWN 3.84 NONTERMINATING 1.07
all/n-18.t2 UNKNOWN 4.11 NONTERMINATING 1.04
all/n-18a.t2 UNKNOWN 3.17 NONTERMINATING 1.03
all/n-1c.t2 UNKNOWN 5.01 NONTERMINATING 1.07
all/n-1d.t2 UNKNOWN 4.60 NONTERMINATING 1.08
all/n-20.t2 UNKNOWN 7.85 NONTERMINATING 1.06
all/n-21.t2 UNKNOWN 13.86 NONTERMINATING 1.08
all/n-3.t2 UNKNOWN 4.48 NONTERMINATING 1.08
all/n-32.t2 UNKNOWN 13.25 NONTERMINATING 1.04
all/n-33.t2 UNKNOWN 98.18 NONTERMINATING 1.08
all/n-36.t2 TIMEOUT 300.00 NONTERMINATING 1.16
all/n-37.t2 UNKNOWN 10.75 NONTERMINATING 1.04
all/n-3a.t2 TIMEOUT 300.00 NONTERMINATING 1.10
all/n-4.t2 UNKNOWN 12.46 NONTERMINATING 1.21
all/n-40.t2 TIMEOUT 300.00 NONTERMINATING 1.20
all/n-46.t2 UNKNOWN 9.47 NONTERMINATING 1.05
all/n-48.t2 UNKNOWN 5.17 NONTERMINATING 1.05
all/n-5.t2 UNKNOWN 32.82 NONTERMINATING 1.29
all/n-6.t2 UNKNOWN 5.76 NONTERMINATING 1.06
all/n-6a.t2 UNKNOWN 4.54 NONTERMINATING 1.10
all/n-7.t2 UNKNOWN 8.35 NONTERMINATING 1.11
all/n-8.t2 UNKNOWN 4.79 NONTERMINATING 1.06
all/n-8a.t2 UNKNOWN 4.12 NONTERMINATING 1.03
all/n-9.t2 UNKNOWN 4.32 NONTERMINATING 1.06
all/n_firewire_instrumented-PP.t2 UNKNOWN 271.08 TERMINATING 60.17
all/nakata.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/nakata_withassume.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/ndes.t2 TIMEOUT 300.00 TERMINATING 10.89
all/neg-1394complete-fail.t2 TIMEOUT 300.00 NONTERMINATING 1.66
all/neg-1394complete-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.56
all/neg-e-1394complete-fail.t2 TIMEOUT 300.00 NONTERMINATING 1.54
all/neg-e-1394complete-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.54
all/neg-e-acqrel-fail.t2 UNKNOWN 6.70 NONTERMINATING 1.11
all/neg-e-acqrel-succeed.t2 UNKNOWN 5.59 NONTERMINATING 1.10
all/neg-e-pgarch-fail.t2 UNKNOWN 32.75 NONTERMINATING 1.06
all/neg-e-pgarch-succeed.t2 UNKNOWN 29.48 NONTERMINATING 1.06
all/neg-e-popl07-succeed.t2 UNKNOWN 75.93 NONTERMINATING 1.16
all/neg-pgarch-succeed.t2 UNKNOWN 53.22 NONTERMINATING 1.10
all/neg-popl07-fail.t2 UNKNOWN 118.85 NONTERMINATING 1.11
all/neg-popl07-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.12
all/neg-smagilla-fail.t2 UNKNOWN 8.96 Error: No result 1.26
all/neg-smagilla-succeed.t2 UNKNOWN 10.21 NONTERMINATING 1.24
all/nested.t2 UNKNOWN 9.21 TERMINATING 0.79
all/nested2.t2 UNKNOWN 8.57 TERMINATING 0.80
all/new_ex.t2 TERMINATING 12.34 TERMINATING 7.58
all/non_term.t2 UNKNOWN 4.45 NONTERMINATING 1.04
all/ns.t2 TERMINATING 20.53 TERMINATING 1.00
all/oct_vs_subpoly.t2 UNKNOWN 3.20 NONTERMINATING 1.02
all/p-1.t2 UNKNOWN 4.61 NONTERMINATING 1.07
all/p-10.t2 UNKNOWN 5.22 NONTERMINATING 1.05
all/p-12.t2 TERMINATING 1.90 TERMINATING 0.77
all/p-13.t2 TERMINATING 1.56 TERMINATING 0.56
all/p-14.t2 TERMINATING 2.36 TERMINATING 0.76
all/p-15.t2 TERMINATING 2.15 TERMINATING 0.76
all/p-16.t2 TERMINATING 2.14 TERMINATING 0.76
all/p-18.t2 TERMINATING 2.17 TERMINATING 0.77
all/p-19.t2 UNKNOWN 4.79 NONTERMINATING 1.04
all/p-19a.t2 UNKNOWN 5.42 NONTERMINATING 1.05
all/p-1a.t2 UNKNOWN 5.25 NONTERMINATING 1.06
all/p-1b.t2 TERMINATING 2.50 TERMINATING 0.77
all/p-1c.t2 UNKNOWN 5.43 NONTERMINATING 1.14
all/p-1d.t2 TERMINATING 4.01 TERMINATING 0.95
all/p-20.t2 UNKNOWN 9.38 NONTERMINATING 1.09
all/p-21.t2 TERMINATING 7.03 TERMINATING 0.82
all/p-22.t2 TERMINATING 2.70 TERMINATING 0.77
all/p-3.t2 TIMEOUT 300.00 TERMINATING 0.79
all/p-32.t2 UNKNOWN 8.33 NONTERMINATING 1.05
all/p-33.t2 UNKNOWN 39.31 NONTERMINATING 1.06
all/p-34.t2 UNKNOWN 44.84 NONTERMINATING 1.12
all/p-36.t2 TIMEOUT 300.00 NONTERMINATING 1.14
all/p-37.t2 UNKNOWN 4.07 TERMINATING 0.79
all/p-4.t2 TERMINATING 3.57 TERMINATING 0.78
all/p-40.t2 TERMINATING 3.51 TERMINATING 0.80
all/p-41.t2 TERMINATING 1.08 TERMINATING 0.52
all/p-42.t2 TERMINATING 3.81 TERMINATING 0.79
all/p-43-terminate.t2 TERMINATING 161.82 TERMINATING 11.06
all/p-43.t2 UNKNOWN 5.28 TERMINATING 3.87
all/p-44.t2 UNKNOWN 3.83 TERMINATING 0.77
all/p-45.t2 TERMINATING 5.21 TERMINATING 0.78
all/p-46.t2 TIMEOUT 300.00 NONTERMINATING 1.29
all/p-49.t2 TERMINATING 2.67 TERMINATING 0.77
all/p-5.t2 UNKNOWN 34.20 NONTERMINATING 1.29
all/p-52.t2 UNKNOWN 5.39 NONTERMINATING 1.04
all/p-53.t2 TERMINATING 1.51 TERMINATING 0.57
all/p-55.t2 TIMEOUT 300.00 TERMINATING 0.81
all/p-56.t2 UNKNOWN 4.31 TERMINATING 0.78
all/p-58.t2 UNKNOWN 4.31 TERMINATING 0.81
all/p-6.t2 TERMINATING 4.03 TERMINATING 0.80
all/p-60.t2 TERMINATING 3.05 TERMINATING 0.78
all/p-61.t2 TERMINATING 4.92 TERMINATING 0.78
all/p-63.t2 UNKNOWN 5.20 TERMINATING 1.09
all/p-7.t2 TERMINATING 4.78 TERMINATING 0.78
all/p-7b.t2 UNKNOWN 9.37 TERMINATING 0.77
all/p-8.t2 UNKNOWN 4.38 NONTERMINATING 1.04
all/p-9.t2 UNKNOWN 4.42 NONTERMINATING 1.04
all/pearl-necklace.t2 TERMINATING 4.43 TERMINATING 0.80
all/pentagon.t2 UNKNOWN 85.23 Error: No result 184.52
all/pgarch.t2 TIMEOUT 300.00 NONTERMINATING 2.91
all/pldi.t2 TERMINATING 6.88 TERMINATING 0.84
all/polling.bug.t2 TIMEOUT 300.00 NONTERMINATING 1.74
all/polling.t2 TIMEOUT 300.00 NONTERMINATING 1.57
all/polyrank1.t2 UNKNOWN 4.11 TERMINATING 1.13
all/polyrank2.t2 UNKNOWN 5.25 TERMINATING 1.16
all/polyrank3.t2 UNKNOWN 10.46 TERMINATING 1.39
all/polyrank4.t2 UNKNOWN 7.37 TERMINATING 1.56
all/polyrank5.t2 UNKNOWN 13.48 TERMINATING 1.91
all/polyrank6.t2 UNKNOWN 8.58 TERMINATING 1.18
all/polyrank7.t2 UNKNOWN 6.21 NONTERMINATING 1.04
all/popl07-fail.t2 UNKNOWN 103.87 NONTERMINATING 1.12
all/popl07-succeed.t2 UNKNOWN 99.02 NONTERMINATING 1.12
all/print.t2 TIMEOUT 300.00 TERMINATING 0.94
all/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2 TERMINATING 50.48 TERMINATING 3.39
all/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 50.49 TERMINATING 3.35
all/qrdcmp.t2 TERMINATING 50.72 TERMINATING 2.73
all/queens.t2 TERMINATING 104.87 TERMINATING 1.49
all/queue_1.t2 TERMINATING 4.40 TERMINATING 0.92
all/queue_10.t2 TERMINATING 5.41 TERMINATING 0.96
all/queue_100.t2 TERMINATING 5.53 TERMINATING 0.95
all/queue_1000.t2 TERMINATING 5.47 TERMINATING 0.97
all/randomwalk.t2 UNKNOWN 89.22 TERMINATING 9.61
all/randomwalk_withassume.t2 UNKNOWN 89.69 TERMINATING 17.55
all/refine_disj_problem.t2 UNKNOWN 1.36 NONTERMINATING 1.17
all/rev_nt2.t2 UNKNOWN 3.29 NONTERMINATING 1.36
all/rev_nt3.t2 UNKNOWN 20.55 NONTERMINATING 1.27
all/rev_nt4.t2 TERMINATING 1.55 TERMINATING 0.56
all/reverse.t2 TIMEOUT 300.00 TERMINATING 0.96
all/reverse_div4.t2 UNKNOWN 17.04 NONTERMINATING 1.47
all/reverse_seg_cyclic.t2 TIMEOUT 300.00 TERMINATING 0.88
all/rewrite.t2 UNKNOWN 2.30 NONTERMINATING 1.03
all/rlft3.c.i.rlft3.pl.t2.fixed.t2 UNKNOWN 148.05 NONTERMINATING 3.78
all/rlft3.t2 UNKNOWN 69.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 UNKNOWN 30.30 TERMINATING 0.94
all/sas2.t2 TIMEOUT 300.00 TERMINATION UNKNOWN 72.14
all/select.t2 UNKNOWN 89.66 NONTERMINATING 2.29
all/selectSort.t2 TERMINATING 6.87 TERMINATING 0.89
all/send-more-money.t2 TIMEOUT 300.00 TERMINATING 0.84
all/seq.t2 TERMINATING 1.74 TERMINATING 0.77
all/seq2.t2 TERMINATING 2.18 TERMINATING 0.79
all/sequential_swap.t2 TERMINATING 3.12 TERMINATING 0.56
all/simple.t2 UNKNOWN 2.51 NONTERMINATING 1.04
all/simpleWhile.t2 TERMINATING 7.94 TERMINATING 0.81
all/simple_array_inversion.t2 TERMINATING 1.81 TERMINATING 0.77
all/simple_control_on_input.t2 TERMINATING 2.43 TERMINATING 0.78
all/simple_double_free.t2 TERMINATING 1.07 TERMINATING 0.51
all/simple_fail.t2 TERMINATING 1.09 TERMINATING 0.53
all/simple_pre.t2 TERMINATING 1.12 TERMINATING 0.53
all/simple_pre1.t2 TERMINATING 1.20 TERMINATING 0.53
all/simple_pre2.t2 TERMINATING 1.23 TERMINATING 0.53
all/simple_pre3.t2 TERMINATING 1.94 TERMINATING 0.57
all/simple_swap_call.t2 TERMINATING 1.84 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 UNKNOWN 5.61 NONTERMINATING 1.10
all/slayer-n2.t2 UNKNOWN 5.63 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 8.70 Error: No result 1.28
all/smagillb-succeed.t2 UNKNOWN 10.93 NONTERMINATING 1.14
all/smagillc-fail.t2 UNKNOWN 11.63 NONTERMINATING 1.14
all/smagillc-succeed.t2 UNKNOWN 10.29 NONTERMINATING 1.29
all/sort.t2 TERMINATING 84.21 TERMINATING 1.17
all/spctrm.c.i.spctrm.pl.t2.fixed.t2 TIMEOUT 300.00 TERMINATING 16.24
all/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.t2 TIMEOUT 300.00 TERMINATING 16.26
all/spctrm.t2 TIMEOUT 300.00 TERMINATING 9.60
all/spiral.t2 UNKNOWN 2.09 Error: No result 18.51
all/st88.bug.t2 UNKNOWN 33.24 NONTERMINATING 1.97
all/st88.t2 UNKNOWN 4.94 NONTERMINATING 1.86
all/statemate.t2 TIMEOUT 300.00 Error: No result 119.11
all/stored.t2 UNKNOWN 25.24 NONTERMINATING 1.07
all/streamserver-succeed.t2 TIMEOUT 300.00 NONTERMINATING 3.27
all/streamserver.bug.t2 TIMEOUT 300.00 NONTERMINATING 2.48
all/subpoly_crash.t2 TIMEOUT 300.00 NONTERMINATING 1.03
all/sudoku.t2 TIMEOUT 300.00 TERMINATING 3.07
all/sumit.t2 UNKNOWN 45.68 TERMINATION UNKNOWN 14.85
all/svdcmp.c.i.svdcmp.pl.t2.fixed.t2 UNKNOWN 1.77 TERMINATING 53.14
all/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2 UNKNOWN 1.75 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 152.60 TIMEOUT 299.98
all/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/tqli.t2 TIMEOUT 300.00 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 5.72 TERMINATING 0.85
all/two_arrays1.t2 TERMINATING 7.04 TERMINATING 0.90
all/two_arrays2.t2 TERMINATING 9.26 TERMINATING 0.88
all/two_arrays6.t2 TERMINATING 11.28 TERMINATING 0.88
all/ud.t2 UNKNOWN 145.75 TERMINATING 1.38
all/vmcai_bytes.t2 TERMINATING 1.10 TERMINATING 0.52
all/vmcai_struct.t2 TERMINATING 1.10 TERMINATING 0.51
all/w1.t2 UNKNOWN 4.45 NONTERMINATING 1.02
all/w2_nt.t2 UNKNOWN 3.14 NONTERMINATING 1.28
all/walk.t2 UNKNOWN 23.57 NONTERMINATING 1.15
all/wrong_loop.t2 UNKNOWN 22.72 NONTERMINATING 2.40
all/wtf.t2 UNKNOWN 127.65 TERMINATING 8.44
all/zeroconf.t2 TIMEOUT 300.00 Error: No result 161.99
all/zeroconf_withassume.t2 TIMEOUT 300.00 TIMEOUT 299.98

Aggregate numbers

Size-Change/MCNP (AProVE) Cooperating-T2
Number TERM 156 245
Avg. time TERM 17.50 3.42
Number NONTERM 0 174
Avg. time NONTERM 0.00 1.68
Avg. time total 82.81 13.77