| 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 |