KITTeL vs. Cooperating-T2

Example overview

Ex. name KITTeL Cooperating-T2
Result Time Result Time
all/1.t2 TIMEOUT 300.00 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 MAYBE 59.41 NONTERMINATING 1.69
all/2.t2 TIMEOUT 300.00 NONTERMINATING 1.22
all/232.t2 TERMINATING 0.05 TERMINATING 0.80
all/241.t2 TERMINATING 0.05 TERMINATING 0.78
all/3.t2 MAYBE 0.04 NONTERMINATING 1.00
all/5.t2 TIMEOUT 300.00 TERMINATING 0.50
all/6.t2 MAYBE 0.05 NONTERMINATING 1.01
all/7.t2 TIMEOUT 300.00 NONTERMINATING 1.02
all/Loop.t2 MEMOUT 220.28 TERMINATING 0.49
all/a.10.c.t2 TERMINATING 0.35 TERMINATION UNKNOWN 25.28
all/acqrel-fail.t2 TIMEOUT 300.00 NONTERMINATING 1.20
all/afagp-fail.t2 TIMEOUT 300.00 NONTERMINATING 6.06
all/afagx1.t2 TIMEOUT 300.00 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 0.01 TERMINATING 0.51
all/array1.t2 TERMINATING 0.02 TERMINATING 0.51
all/array2.t2 TERMINATING 0.06 TERMINATING 0.78
all/array3.t2 TERMINATING 0.13 TERMINATING 0.79
all/array_free.t2 TERMINATING 0.07 TERMINATING 0.81
all/array_init.t2 TERMINATING 0.06 TERMINATING 0.78
all/array_init_assign.t2 TERMINATING 0.11 TERMINATING 0.78
all/ase_example.t2 TERMINATING 0.26 TERMINATING 0.81
all/bf10.t2 TERMINATING 0.71 TERMINATING 0.90
all/bf11.t2 TERMINATING 0.74 TERMINATING 0.91
all/bf12.t2 TERMINATING 0.77 TERMINATING 0.89
all/bf13.t2 TERMINATING 0.81 TERMINATING 0.90
all/bf14.t2 TERMINATING 0.84 TERMINATING 0.89
all/bf15.t2 TERMINATING 0.87 TERMINATING 0.90
all/bf16.t2 TERMINATING 0.90 TERMINATING 0.89
all/bf17.t2 TERMINATING 0.93 TERMINATING 0.89
all/bf18.t2 TERMINATING 0.96 TERMINATING 0.89
all/bf19.t2 TERMINATING 1.00 TERMINATING 0.89
all/bf20.t2 TERMINATING 1.04 TERMINATING 0.89
all/bf5.t2 TERMINATING 0.59 TERMINATING 0.90
all/bf6.t2 TERMINATING 0.59 TERMINATING 0.89
all/bf7.t2 TERMINATING 0.62 TERMINATING 0.91
all/bf8.t2 TERMINATING 0.67 TERMINATING 0.89
all/bf9.t2 TERMINATING 0.69 TERMINATING 0.91
all/bio.t2 TIMEOUT 300.00 TIMEOUT 300.00
all/bitcount16.t2 TERMINATING 0.19 TERMINATING 0.82
all/bitcount32.t2 TERMINATING 0.20 TERMINATING 0.80
all/broydn.c.i.broydn.pl.t2.fixed.t2 TERMINATING 26.07 TERMINATING 32.44
all/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 23.43 TERMINATING 36.43
all/broydn.t2 TERMINATING 23.70 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 MEMOUT 291.67 NONTERMINATING 1.25
all/bsort100.t2 TERMINATING 0.35 TERMINATING 0.94
all/bubbleSort.t2 TERMINATING 0.35 TERMINATING 0.86
all/bubblesort_inner_loop.t2 TERMINATING 0.14 TERMINATING 0.81
all/buggyNonTermLoop.t2 MEMOUT 221.23 TERMINATING 0.51
all/byron-1.t2 TERMINATING 0.25 TERMINATING 0.78
all/byron-2.t2 TERMINATING 0.09 TERMINATING 0.81
all/byron-3.t2 TERMINATING 0.06 TERMINATING 1.17
all/byron-4.t2 TIMEOUT 300.00 TERMINATING 1.48
all/cfg.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/cnt.t2 TERMINATING 0.57 TERMINATING 0.94
all/collatz.t2 MEMOUT 265.23 Error: No result 1.41
all/complex_guard.t2 TERMINATING 0.10 TERMINATING 0.78
all/constants.t2 TERMINATING 0.10 TERMINATING 0.81
all/consts1.t2 TIMEOUT 300.00 TERMINATING 1.27
all/consts1nt.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/consts2.t2 TERMINATING 0.01 TERMINATING 0.77
all/consts2nt.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/consts3.t2 TERMINATING 0.02 TERMINATING 0.77
all/consts3nt.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/consts4.t2 TERMINATING 0.01 TERMINATING 0.78
all/consts4nt.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/consts5.t2 TIMEOUT 300.00 TERMINATING 0.89
all/consts5nt.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/cover.t2 TERMINATING 84.31 Error: No result 61.50
all/crc.t2 TERMINATING 4.86 TERMINATING 1.03
all/create.t2 TERMINATING 5.51 TERMINATING 0.79
all/create_seg.t2 TERMINATING 5.96 TERMINATING 0.80
all/create_via_tmps.t2 TIMEOUT 300.00 TERMINATING 0.85
all/ctl.t2 MAYBE 0.27 NONTERMINATING 1.05
all/curious.t2 MAYBE 0.03 NONTERMINATING 1.06
all/curious2.t2 TERMINATING 0.02 TERMINATING 0.55
all/curious4.t2 TIMEOUT 300.00 NONTERMINATING 6.58
all/d.t2 TIMEOUT 300.00 NONTERMINATING 1.05
all/db.t2 TERMINATING 0.04 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 MAYBE 0.21 NONTERMINATING 1.46
all/destroy.t2 TIMEOUT 300.00 TERMINATING 0.84
all/destroy_seg.t2 MEMOUT 246.96 TERMINATING 0.86
all/destroy_seg_leak.t2 MEMOUT 247.20 NONTERMINATING 1.56
all/disj_nightmare.t2 MAYBE 0.08 TERMINATING 15.72
all/disj_nightmare_abi.t2 TERMINATING 0.02 TERMINATING 2.62
all/dropbuf-live.t2 TERMINATING 0.03 TERMINATING 0.53
all/dropbuf.t2 TIMEOUT 300.00 NONTERMINATING 1.43
all/dsa_test.t2 TERMINATING 0.05 TERMINATING 0.51
all/dsa_test1.t2 TERMINATING 0.06 TERMINATING 0.51
all/dsa_test10.t2 TERMINATING 0.22 TERMINATING 0.80
all/dsa_test11.t2 TERMINATING 0.09 TERMINATING 0.52
all/dsa_test12.t2 TERMINATING 0.05 TERMINATING 0.52
all/dsa_test13.t2 TERMINATING 0.03 TERMINATING 0.53
all/dsa_test14.t2 TERMINATING 0.04 TERMINATING 0.49
all/dsa_test15.t2 TERMINATING 0.16 TERMINATING 0.79
all/dsa_test2.t2 TERMINATING 0.04 TERMINATING 0.49
all/dsa_test4.t2 TERMINATING 0.05 TERMINATING 0.51
all/dsa_test5.t2 TERMINATING 0.05 TERMINATING 0.52
all/dsa_test6.t2 TERMINATING 0.08 TERMINATING 0.78
all/dsa_test7.t2 TERMINATING 0.04 TERMINATING 0.49
all/dsa_test8.t2 TERMINATING 0.05 TERMINATING 0.51
all/dsa_test9.t2 TERMINATING 0.11 TERMINATING 0.51
all/dummy.t2 MEMOUT 146.26 NONTERMINATING 1.04
all/e-1394complete-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.56
all/e-acqrel-fail.t2 MAYBE 0.20 NONTERMINATING 1.11
all/e-acqrel-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.12
all/e-pgarch-fail.t2 MAYBE 0.76 NONTERMINATING 1.08
all/e-pgarch-succeed.t2 MAYBE 0.44 NONTERMINATING 1.09
all/e-popl07-fail.t2 MAYBE 0.98 NONTERMINATING 1.15
all/edn.t2 TERMINATING 154.82 TERMINATING 1.16
all/efegp.t2 TIMEOUT 300.00 NONTERMINATING 6.85
all/elmhes.c.i.elmhes.pl.t2.fixed.t2 TERMINATING 0.78 TERMINATING 1.92
all/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 0.78 TERMINATING 1.92
all/elmhes.t2 TERMINATING 0.71 TERMINATING 1.54
all/eric.t2 MAYBE 0.42 TERMINATION UNKNOWN 14.08
all/eric1.t2 TERMINATING 0.10 Error: No result 90.99
all/eric2.t2 TIMEOUT 300.00 TIMEOUT 299.89
all/eric3.t2 TIMEOUT 300.00 NONTERMINATING 1.20
all/ex1.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/ex10.t2 TIMEOUT 300.00 NONTERMINATING 1.18
all/ex11.t2 TIMEOUT 300.00 TERMINATION UNKNOWN 11.49
all/ex12.t2 TERMINATING 0.05 TERMINATING 0.78
all/ex13.t2 TERMINATING 0.02 TERMINATING 0.53
all/ex14.t2 TERMINATING 0.05 TERMINATING 0.78
all/ex15.t2 TERMINATING 0.14 TERMINATING 0.53
all/ex16.t2 TIMEOUT 300.00 NONTERMINATING 1.20
all/ex17.t2 TIMEOUT 300.00 TERMINATING 1.06
all/ex18.t2 TIMEOUT 300.00 TERMINATING 0.95
all/ex19.t2 TIMEOUT 300.00 NONTERMINATING 1.09
all/ex2.t2 MEMOUT 101.38 NONTERMINATING 1.06
all/ex20.t2 TERMINATING 0.15 TERMINATING 0.79
all/ex21.t2 TERMINATING 0.20 TERMINATING 0.79
all/ex22.t2 TERMINATING 6.66 TERMINATING 0.89
all/ex23.t2 TERMINATING 0.08 TERMINATING 0.80
all/ex26.t2 TERMINATING 0.26 TERMINATING 0.82
all/ex27.t2 TERMINATING 14.61 TERMINATING 0.99
all/ex29.t2 TERMINATING 0.52 TERMINATING 0.59
all/ex3.t2 TERMINATING 0.10 TERMINATING 0.78
all/ex30.t2 TERMINATING 0.23 TERMINATING 0.79
all/ex31.t2 MEMOUT 236.34 NONTERMINATING 1.05
all/ex32.t2 TERMINATING 0.24 TERMINATING 0.83
all/ex33.t2 TERMINATING 0.10 TERMINATING 0.57
all/ex34.t2 TERMINATING 3.23 TERMINATING 0.57
all/ex36.t2 TIMEOUT 300.00 NONTERMINATING 6.49
all/ex37.t2 TERMINATING 0.04 TERMINATING 0.51
all/ex4.t2 TERMINATING 0.24 TERMINATING 0.84
all/ex40.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/ex6.t2 TERMINATING 0.04 TERMINATING 0.55
all/ex7.t2 TERMINATING 0.11 TERMINATING 0.78
all/ex8.t2 MAYBE 0.51 NONTERMINATING 1.19
all/ex9.t2 TIMEOUT 300.00 NONTERMINATING 1.16
all/example.t2 TERMINATING 0.03 TERMINATING 0.79
all/fake-succeed.t2 TIMEOUT 300.00 NONTERMINATING 1.54
all/fast_poll.t2 MAYBE 5.29 NONTERMINATING 2.50
all/fdct.t2 TERMINATING 2.27 TERMINATING 0.85
all/fermat.t2 TERMINATING 0.47 TERMINATING 0.81
all/fibcall.t2 TERMINATING 0.13 TERMINATING 0.78
all/fir.t2 TERMINATING 0.25 TERMINATING 0.91
all/firewire.t2 TIMEOUT 300.00 TERMINATING 6.84
all/flipflop.t2 MAYBE 0.02 NONTERMINATING 1.09
all/fourn.c.i.fourn.pl.t2.fixed.t2 MEMOUT 0.01 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 0.05 TERMINATING 0.81
all/fun1.t2 MEMOUT 229.18 NONTERMINATING 9.85
all/fun10.t2 TIMEOUT 300.00 NONTERMINATING 1.77
all/fun10b.t2 TIMEOUT 300.00 NONTERMINATING 1.72
all/fun11.t2 TIMEOUT 300.00 NONTERMINATING 1.12
all/fun1b.t2 MEMOUT 244.98 NONTERMINATING 9.59
all/fun2.t2 MEMOUT 216.81 TERMINATING 7.85
all/fun2b.t2 MEMOUT 175.95 TERMINATING 6.35
all/fun3.t2 MEMOUT 267.26 TERMINATING 8.41
all/fun4-alt.t2 TERMINATING 0.29 TERMINATING 4.99
all/fun4.t2 MAYBE 0.32 TERMINATING 13.18
all/fun5.t2 MAYBE 4.20 Error: No result 16.03
all/fun6.t2 TIMEOUT 300.00 NONTERMINATING 1.67
all/fun7.t2 MEMOUT 241.35 NONTERMINATING 1.16
all/fun8.t2 TERMINATING 0.52 TERMINATING 0.85
all/fun9.t2 MEMOUT 108.04 NONTERMINATING 2.01
all/graycode.t2 TERMINATING 1.54 TERMINATING 1.10
all/heidy1.t2 TIMEOUT 300.00 NONTERMINATING 1.02
all/heidy10.t2 TERMINATING 0.04 TERMINATING 0.79
all/heidy2.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/heidy3.t2 MAYBE 0.04 NONTERMINATING 1.06
all/heidy5.t2 TERMINATING 0.03 TERMINATING 0.77
all/heidy6.t2 MAYBE 0.06 NONTERMINATING 1.09
all/heidy7-simple.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/heidy7.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/heidy8.t2 TIMEOUT 300.00 NONTERMINATING 1.09
all/heidy9.t2 TERMINATING 0.03 TERMINATING 0.77
all/hongyi1.t2 TERMINATING 252.44 TERMINATING 15.25
all/hqr.c.i.hqr.pl.t2.fixed.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/hqr.t2 TIMEOUT 300.00 TIMEOUT 299.98
all/huh.t2 TERMINATING 0.14 TERMINATING 0.81
all/iecs.t2 TERMINATING 0.03 TERMINATING 0.76
all/insertsort.t2 TIMEOUT 300.00 NONTERMINATING 1.09
all/intSqRoot.t2 MEMOUT 0.02 NONTERMINATING 1.05
all/invgen.t2 TERMINATING 0.02 TERMINATING 0.77
all/jacobi.c.i.jacobi.pl.t2.fixed.t2 TERMINATING 8.39 TERMINATING 17.50
all/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 8.48 TERMINATING 17.45
all/jacobi.t2 TERMINATING 8.34 TERMINATING 10.15
all/janne_complex.t2 TIMEOUT 300.00 Error: No result 59.63
all/jfdctint.t2 TERMINATING 1.74 TERMINATING 0.82
all/loop3.t2 MEMOUT 214.63 TERMINATING 71.19
all/loop_on_input.t2 TERMINATING 0.08 TERMINATING 0.78
all/ludcmp.c.i.ludcmp.pl.t2.fixed.t2 MEMOUT 0.04 TERMINATING 3.62
all/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 1.81 TERMINATING 3.61
all/ludcmp.t2 TERMINATING 1.98 TERMINATING 3.30
all/magic.t2 TERMINATING 5.78 TERMINATING 1.49
all/matmul.t2 TERMINATING 0.26 TERMINATING 0.90
all/matmult.t2 TERMINATING 0.90 TERMINATING 0.95
all/matrixsqrt.t2 TERMINATING 0.55 TERMINATING 0.89
all/mc91.t2 TERMINATING 0.03 TERMINATING 0.80
all/mc91test.t2 TERMINATING 0.11 TERMINATING 0.85
all/minmax.t2 TERMINATING 0.80 TERMINATING 0.59
all/n-1.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/n-10.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-12.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-12a.t2 MAYBE 0.05 NONTERMINATING 1.01
all/n-13.t2 TIMEOUT 300.00 NONTERMINATING 1.03
all/n-14.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-15.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-15a.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/n-16.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-16a.t2 MEMOUT 226.93 NONTERMINATING 1.03
all/n-17.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-18.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/n-18a.t2 MEMOUT 231.61 NONTERMINATING 1.03
all/n-1c.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/n-1d.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/n-20.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/n-21.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/n-3.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/n-32.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/n-33.t2 TIMEOUT 300.00 NONTERMINATING 1.08
all/n-36.t2 TIMEOUT 300.00 NONTERMINATING 1.16
all/n-37.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/n-3a.t2 TIMEOUT 300.00 NONTERMINATING 1.10
all/n-4.t2 TIMEOUT 300.00 NONTERMINATING 1.21
all/n-40.t2 TIMEOUT 300.00 NONTERMINATING 1.20
all/n-46.t2 TIMEOUT 300.00 NONTERMINATING 1.05
all/n-48.t2 MEMOUT 164.28 NONTERMINATING 1.05
all/n-5.t2 TIMEOUT 300.00 NONTERMINATING 1.29
all/n-6.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/n-6a.t2 TIMEOUT 300.00 NONTERMINATING 1.10
all/n-7.t2 TIMEOUT 300.00 NONTERMINATING 1.11
all/n-8.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/n-8a.t2 TIMEOUT 300.00 NONTERMINATING 1.03
all/n-9.t2 MEMOUT 228.68 NONTERMINATING 1.06
all/n_firewire_instrumented-PP.t2 MEMOUT 165.59 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 MAYBE 56.27 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 TIMEOUT 300.00 NONTERMINATING 1.11
all/neg-e-acqrel-succeed.t2 MAYBE 0.22 NONTERMINATING 1.10
all/neg-e-pgarch-fail.t2 MAYBE 0.37 NONTERMINATING 1.06
all/neg-e-pgarch-succeed.t2 MAYBE 0.32 NONTERMINATING 1.06
all/neg-e-popl07-succeed.t2 MAYBE 0.83 NONTERMINATING 1.16
all/neg-pgarch-succeed.t2 MAYBE 0.45 NONTERMINATING 1.10
all/neg-popl07-fail.t2 MAYBE 0.83 NONTERMINATING 1.11
all/neg-popl07-succeed.t2 MAYBE 0.95 NONTERMINATING 1.12
all/neg-smagilla-fail.t2 MAYBE 0.18 Error: No result 1.26
all/neg-smagilla-succeed.t2 MAYBE 0.20 NONTERMINATING 1.24
all/nested.t2 TIMEOUT 300.00 TERMINATING 0.79
all/nested2.t2 TERMINATING 0.10 TERMINATING 0.80
all/new_ex.t2 TERMINATING 0.65 TERMINATING 7.58
all/non_term.t2 MEMOUT 143.20 NONTERMINATING 1.04
all/ns.t2 TERMINATING 0.28 TERMINATING 1.00
all/oct_vs_subpoly.t2 TIMEOUT 300.00 NONTERMINATING 1.02
all/p-1.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/p-10.t2 TIMEOUT 300.00 NONTERMINATING 1.05
all/p-12.t2 TERMINATING 0.03 TERMINATING 0.77
all/p-13.t2 TERMINATING 0.02 TERMINATING 0.56
all/p-14.t2 TERMINATING 0.03 TERMINATING 0.76
all/p-15.t2 TERMINATING 0.03 TERMINATING 0.76
all/p-16.t2 TERMINATING 0.03 TERMINATING 0.76
all/p-18.t2 TERMINATING 0.03 TERMINATING 0.77
all/p-19.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/p-19a.t2 TIMEOUT 300.00 NONTERMINATING 1.05
all/p-1a.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/p-1b.t2 TERMINATING 0.03 TERMINATING 0.77
all/p-1c.t2 TIMEOUT 300.00 NONTERMINATING 1.14
all/p-1d.t2 TERMINATING 0.04 TERMINATING 0.95
all/p-20.t2 TIMEOUT 300.00 NONTERMINATING 1.09
all/p-21.t2 TERMINATING 0.04 TERMINATING 0.82
all/p-22.t2 TERMINATING 0.06 TERMINATING 0.77
all/p-3.t2 TERMINATING 0.05 TERMINATING 0.79
all/p-32.t2 TIMEOUT 300.00 NONTERMINATING 1.05
all/p-33.t2 TIMEOUT 300.00 NONTERMINATING 1.06
all/p-34.t2 TIMEOUT 300.00 NONTERMINATING 1.12
all/p-36.t2 TIMEOUT 300.00 NONTERMINATING 1.14
all/p-37.t2 TERMINATING 0.10 TERMINATING 0.79
all/p-4.t2 TERMINATING 0.03 TERMINATING 0.78
all/p-40.t2 TERMINATING 0.04 TERMINATING 0.80
all/p-41.t2 TERMINATING 0.02 TERMINATING 0.52
all/p-42.t2 TERMINATING 0.04 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 0.05 TERMINATING 0.77
all/p-45.t2 TERMINATING 0.09 TERMINATING 0.78
all/p-46.t2 MEMOUT 155.08 NONTERMINATING 1.29
all/p-49.t2 TIMEOUT 300.00 TERMINATING 0.77
all/p-5.t2 TIMEOUT 300.00 NONTERMINATING 1.29
all/p-52.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/p-53.t2 TERMINATING 0.04 TERMINATING 0.57
all/p-55.t2 TERMINATING 0.04 TERMINATING 0.81
all/p-56.t2 TERMINATING 0.03 TERMINATING 0.78
all/p-58.t2 TIMEOUT 300.00 TERMINATING 0.81
all/p-6.t2 TERMINATING 0.05 TERMINATING 0.80
all/p-60.t2 TERMINATING 0.04 TERMINATING 0.78
all/p-61.t2 TERMINATING 0.03 TERMINATING 0.78
all/p-63.t2 MEMOUT 156.89 TERMINATING 1.09
all/p-7.t2 TERMINATING 0.05 TERMINATING 0.78
all/p-7b.t2 TERMINATING 0.04 TERMINATING 0.77
all/p-8.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/p-9.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/pearl-necklace.t2 TERMINATING 0.08 TERMINATING 0.80
all/pentagon.t2 TIMEOUT 300.00 Error: No result 184.52
all/pgarch.t2 TIMEOUT 300.00 NONTERMINATING 2.91
all/pldi.t2 TERMINATING 0.15 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 TERMINATING 0.05 TERMINATING 1.13
all/polyrank2.t2 MEMOUT 170.59 TERMINATING 1.16
all/polyrank3.t2 TIMEOUT 300.00 TERMINATING 1.39
all/polyrank4.t2 MEMOUT 78.24 TERMINATING 1.56
all/polyrank5.t2 MEMOUT 122.71 TERMINATING 1.91
all/polyrank6.t2 TERMINATING 0.08 TERMINATING 1.18
all/polyrank7.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/popl07-fail.t2 MAYBE 0.66 NONTERMINATING 1.12
all/popl07-succeed.t2 MAYBE 0.71 NONTERMINATING 1.12
all/print.t2 TIMEOUT 300.00 TERMINATING 0.94
all/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2 TERMINATING 1.44 TERMINATING 3.39
all/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 1.44 TERMINATING 3.35
all/qrdcmp.t2 TERMINATING 1.41 TERMINATING 2.73
all/queens.t2 TERMINATING 0.93 TERMINATING 1.49
all/queue_1.t2 TERMINATING 0.29 TERMINATING 0.92
all/queue_10.t2 TERMINATING 0.29 TERMINATING 0.96
all/queue_100.t2 TERMINATING 0.29 TERMINATING 0.95
all/queue_1000.t2 TERMINATING 0.29 TERMINATING 0.97
all/randomwalk.t2 TIMEOUT 300.00 TERMINATING 9.61
all/randomwalk_withassume.t2 TERMINATING 2.14 TERMINATING 17.55
all/refine_disj_problem.t2 MEMOUT 146.71 NONTERMINATING 1.17
all/rev_nt2.t2 MAYBE 0.41 NONTERMINATING 1.36
all/rev_nt3.t2 MAYBE 0.56 NONTERMINATING 1.27
all/rev_nt4.t2 TERMINATING 0.02 TERMINATING 0.56
all/reverse.t2 MEMOUT 245.02 TERMINATING 0.96
all/reverse_div4.t2 MEMOUT 247.97 NONTERMINATING 1.47
all/reverse_seg_cyclic.t2 MEMOUT 247.70 TERMINATING 0.88
all/rewrite.t2 MEMOUT 126.79 NONTERMINATING 1.03
all/rlft3.c.i.rlft3.pl.t2.fixed.t2 MEMOUT 0.02 NONTERMINATING 3.78
all/rlft3.t2 Error 300.00 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 0.42 TERMINATING 0.94
all/sas2.t2 TIMEOUT 300.00 TERMINATION UNKNOWN 72.14
all/select.t2 TIMEOUT 300.00 NONTERMINATING 2.29
all/selectSort.t2 TERMINATING 0.21 TERMINATING 0.89
all/send-more-money.t2 TERMINATING 6.72 TERMINATING 0.84
all/seq.t2 TERMINATING 0.02 TERMINATING 0.77
all/seq2.t2 TERMINATING 0.03 TERMINATING 0.79
all/sequential_swap.t2 TERMINATING 0.12 TERMINATING 0.56
all/simple.t2 TIMEOUT 300.00 NONTERMINATING 1.04
all/simpleWhile.t2 TERMINATING 0.15 TERMINATING 0.81
all/simple_array_inversion.t2 TERMINATING 0.08 TERMINATING 0.77
all/simple_control_on_input.t2 TERMINATING 0.07 TERMINATING 0.78
all/simple_double_free.t2 TERMINATING 0.03 TERMINATING 0.51
all/simple_fail.t2 TERMINATING 0.02 TERMINATING 0.53
all/simple_pre.t2 TERMINATING 0.03 TERMINATING 0.53
all/simple_pre1.t2 TERMINATING 0.03 TERMINATING 0.53
all/simple_pre2.t2 TERMINATING 0.04 TERMINATING 0.53
all/simple_pre3.t2 TERMINATING 0.09 TERMINATING 0.57
all/simple_swap_call.t2 TERMINATING 0.07 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 TERMINATING 0.05 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 MEMOUT 129.93 NONTERMINATING 1.10
all/slayer-n2.t2 MEMOUT 130.18 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 MAYBE 0.17 Error: No result 1.28
all/smagillb-succeed.t2 MAYBE 0.24 NONTERMINATING 1.14
all/smagillc-fail.t2 MAYBE 0.21 NONTERMINATING 1.14
all/smagillc-succeed.t2 MAYBE 0.19 NONTERMINATING 1.29
all/sort.t2 TERMINATING 1.28 TERMINATING 1.17
all/spctrm.c.i.spctrm.pl.t2.fixed.t2 TERMINATING 6.72 TERMINATING 16.24
all/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 6.71 TERMINATING 16.26
all/spctrm.t2 TERMINATING 6.79 TERMINATING 9.60
all/spiral.t2 TERMINATING 0.13 Error: No result 18.51
all/st88.bug.t2 MAYBE 0.19 NONTERMINATING 1.97
all/st88.t2 MAYBE 0.20 NONTERMINATING 1.86
all/statemate.t2 TIMEOUT 300.00 Error: No result 119.11
all/stored.t2 TIMEOUT 300.00 NONTERMINATING 1.07
all/streamserver-succeed.t2 TIMEOUT 300.00 NONTERMINATING 3.27
all/streamserver.bug.t2 MAYBE 2.17 NONTERMINATING 2.48
all/subpoly_crash.t2 TIMEOUT 300.00 NONTERMINATING 1.03
all/sudoku.t2 MEMOUT 0.03 TERMINATING 3.07
all/sumit.t2 TIMEOUT 300.00 TERMINATION UNKNOWN 14.85
all/svdcmp.c.i.svdcmp.pl.t2.fixed.t2 MEMOUT 0.10 TERMINATING 53.14
all/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2 TERMINATING 95.90 TERMINATING 52.90
all/svdcmp.t2 TERMINATING 96.35 TERMINATING 38.99
all/toeplz.c.i.toeplz.pl.t2.fixed.t2 MEMOUT 0.02 TERMINATING 1.41
all/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.t2 MEMOUT 300.00 TERMINATING 1.42
all/toeplz.t2 MEMOUT 0.01 TERMINATING 1.53
all/tqli.c.i.tqli.pl.t2.fixed.t2 TIMEOUT 300.00 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 MEMOUT 253.40 TERMINATING 0.97
all/traverse_seg.t2 MEMOUT 240.99 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 0.63 TERMINATING 0.85
all/two_arrays1.t2 TERMINATING 1.13 TERMINATING 0.90
all/two_arrays2.t2 TERMINATING 0.82 TERMINATING 0.88
all/two_arrays6.t2 TERMINATING 1.14 TERMINATING 0.88
all/ud.t2 TERMINATING 1.37 TERMINATING 1.38
all/vmcai_bytes.t2 TERMINATING 0.04 TERMINATING 0.52
all/vmcai_struct.t2 TERMINATING 0.06 TERMINATING 0.51
all/w1.t2 TIMEOUT 300.00 NONTERMINATING 1.02
all/w2_nt.t2 MAYBE 0.28 NONTERMINATING 1.28
all/walk.t2 Error 300.00 NONTERMINATING 1.15
all/wrong_loop.t2 TIMEOUT 300.00 NONTERMINATING 2.40
all/wtf.t2 MEMOUT 215.67 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

KITTeL Cooperating-T2
Number TERM 196 245
Avg. time TERM 4.65 3.42
Number NONTERM 0 174
Avg. time NONTERM 0.00 1.68
Avg. time total 129.30 13.77