Runtime Complexity: TRS Certified

benchmark tct 2018-07-13
scoreloweruppertime
AProVE_09_Inductive/zerolist.xml 0 1 ∞ 20.22/6.79
AProVE_09_Inductive/log.xml 0 1 ∞ 38.26/15.48
AProVE_09_Inductive/maxsort.xml 0 1 ∞ 866.04/296.38
AProVE_09_Inductive/qsortlast.xml 0 1 ∞ 926.54/296.25
AProVE_09_Inductive/qsort.xml 0 1 ∞ 654.65/296.13
AProVE_09_Inductive/qsortmiddle.xml StarExec error
AProVE_09_Inductive/minsort.xml 0 1 ∞ 868.11/297.15
AProVE_09_Inductive/gcd2.xml 0 1 ∞ 47.42/17.56
AProVE_09_Inductive/maxsortcondition.xml 0 1 ∞ 42.75/19.27
AProVE_09_Inductive/div.xml 0 1 ∞ 40.35/14.39
AProVE_09_Inductive/mod.xml 0 1 ∞ 44.33/16.62
AProVE_09_Inductive/divhard.xml 0 1 ∞ 41.64/14.39
AProVE_09_Inductive/gcd.xml 0 1 ∞ 37.17/14.31
AProVE_09_Inductive/gcdhard.xml 0 1 ∞ 42.33/18.24
AProVE_08/log.xml 0 1 ∞ 675.04/296.05
AProVE_08/round_nonterm.xml StarExec error
AProVE_08/parting05_maxsort.xml 0 1 ∞ 868.38/297.99
AProVE_08/parting03_minsort.xml timeout (wallclock)
AProVE_08/parting04_maxsort_h.xml 0 1 ∞ 692.56/296.07
AProVE_08/thiemann40_modified.xml StarExec error
AProVE_08/parting01_reverse.xml 0 1 ∞ 866.89/296.40
AProVE_08/round.xml 0 1 ∞ 1.32/0.03
AProVE_08/id_inc.xml 0 1 ∞ 1.28/0.19
AProVE_08/parting02_doublelist.xml 0 1 ∞ 866.38/296.39
CiME_04/filliatre2.xml 0 1 ∞ 593.01/296.11
CiME_04/tree.xml 0 1 ∞ 993.78/296.34
CiME_04/intersect.xml 0 1 ∞ 56.65/27.93
CiME_04/append-hard.xml 0 1 ∞ 19.73/6.17
CiME_04/ack_prolog.xml 0 1 ∞ 26.54/10.32
CiME_04/ternary-hard.xml 0 1 ∞ 875.90/296.12
CiME_04/filliatre.xml 0 1 ∞ 652.52/236.48
CiME_04/append.xml 1 1 n2 3.89/1.04
CiME_04/fact-hard.xml 0 1 ∞ 65.95/33.52
CiME_04/list-sum-prod-bin-assoc.xml 0 1 ∞ 903.72/296.02
CiME_04/list-sum-prod-assoc-append.xml 0 1 ∞ 46.29/20.31
CiME_04/dpqs.xml 1 1 n1 0.84/0.14
CiME_04/ternary.xml pending submission
CiME_04/filliatre3.xml 0 1 ∞ 195.54/64.72
CiME_04/list-sum-prod.xml 0 1 ∞ 129.18/62.27
CiME_04/lse.xml StarExec error
CiME_04/mucrl1.xml 0 1 ∞ 6.00/1.73
CiME_04/maude2.xml pending submission
CiME_04/log2.xml timeout (wallclock)
CiME_04/append-wrong.xml 0 1 ∞ 19.46/7.12
CiME_04/list-sum-prod-assoc.xml pending submission
CiME_04/list-sum-prod-bin.xml 0 1 ∞ 895.27/296.11
CiME_04/big.xml 0 1 ∞ 905.60/296.10
CiME_04/list-sum-prod-bin-assoc-distr-app.xml pending submission
Beerendonk_07/12.xml 0 1 ∞ 28.83/13.51
Beerendonk_07/10.xml 0 1 ∞ 28.66/9.98
Beerendonk_07/14.xml 0 1 ∞ 27.83/8.76
Beerendonk_07/13.xml 0 1 ∞ 25.93/8.48
Beerendonk_07/3.xml 0 1 ∞ 28.66/11.14
Beerendonk_07/20.xml 0 1 ∞ 737.12/296.12
Beerendonk_07/7.xml StarExec error
Beerendonk_07/1.xml 0 1 ∞ 17.39/6.11
Beerendonk_07/17.xml 0 1 ∞ 793.53/296.02
Beerendonk_07/23.xml 0 1 ∞ 25.93/8.97
Beerendonk_07/19.xml StarExec error
Beerendonk_07/16.xml 0 1 ∞ 858.39/296.44
Beerendonk_07/5.xml pending submission
Beerendonk_07/11.xml StarExec error
Beerendonk_07/2.xml 0 1 ∞ 19.74/7.36
Beerendonk_07/8.xml timeout (wallclock)
Beerendonk_07/18.xml pending submission
Beerendonk_07/6.xml pending submission
Beerendonk_07/21.xml 0 1 ∞ 672.98/296.14
Beerendonk_07/9.xml pending submission
Beerendonk_07/4.xml 0 1 ∞ 13.90/4.70
Beerendonk_07/24.xml 0 1 ∞ 693.42/296.02
Beerendonk_07/15.xml pending submission
Beerendonk_07/22.xml 0 1 ∞ 20.59/7.12
AProVE_04/Liveness_WRS.xml 1 1 n1 0.40/0.11
AProVE_04/IJCAR_1.xml 0 1 ∞ 68.30/53.43
AProVE_04/IJCAR_18.xml 0 1 ∞ 763.26/296.12
AProVE_04/AAECC-ring.xml 0 1 ∞ 926.92/296.12
AProVE_04/AAECC.xml 0 1 ∞ 657.97/296.12
AProVE_04/JFP_Ex51.xml 0 1 ∞ 64.67/24.16
AProVE_04/IJCAR_12.xml 0 1 ∞ 31.60/10.75
AProVE_04/rta1.xml 0 1 ∞ 903.30/296.02
AProVE_04/IJCAR_26.xml 0 1 ∞ 750.24/296.05
AProVE_04/LPAR_intlist.xml 0 1 ∞ 0.89/0.08
AProVE_04/IJCAR_26a.xml 0 1 ∞ 755.95/296.12
AProVE_04/Liveness8.xml 1 1 n1 0.32/0.10
AProVE_04/Liveness6.3.xml 1 1 n1 0.09/0.03
AProVE_04/fac.xml 0 1 ∞ 71.19/37.78
AProVE_04/Liveness6.4.xml 0 1 ∞ 918.61/296.31
AProVE_04/Liveness6.1.xml 0 1 ∞ 1142.36/296.16
AProVE_04/Liveness6.2.xml 0 1 ∞ 884.51/296.11
AProVE_04/rta2.xml 0 1 ∞ 7.95/3.30
AProVE_04/JFP_Ex31.xml 0 1 ∞ 908.98/296.13
AProVE_04/rta3.xml 0 1 ∞ 20.88/8.01
AG01/#3.49.xml 0 1 ∞ 1081.32/296.04
AG01/#3.19.xml 0 1 ∞ 35.98/15.24
AG01/#3.56.xml 1 1 n1 0.60/0.10
AG01/#3.18.xml 0 1 ∞ 24.34/8.07
AG01/#3.6.xml 0 1 ∞ 36.86/12.84
AG01/#3.35.xml 1 1 n1 0.27/0.04
AG01/#3.53.xml 0 1 ∞ 46.48/22.54
AG01/#3.55.xml 0 1 ∞ 936.49/296.02
AG01/#3.52.xml 1 1 n2 2.65/0.74
AG01/#3.47.xml 1 1 n2 1.03/0.68
AG01/#3.10.xml 0 1 ∞ 833.30/296.35
AG01/#3.4.xml 0 1 ∞ 29.69/9.95
AG01/#3.6b.xml 0 1 ∞ 36.43/14.17
AG01/#3.22.xml 0 1 ∞ 650.79/296.11
AG01/#3.57.xml 0 1 ∞ 405.97/296.02
AG01/#3.53b.xml 1 1 n2 4.11/1.12
AG01/#3.53a.xml 0 1 ∞ 0.21/0.03
AG01/#3.12.xml 0 1 ∞ 317.49/124.93
AG01/#3.39.xml 0 1 ∞ 34.08/13.91
AG01/#3.23.xml 0 1 ∞ 11.07/3.70
AG01/#3.15.xml 1 1 n1 1.40/0.33
AG01/#3.40.xml 0 1 ∞ 67.17/32.71
AG01/#3.5a.xml 0 1 ∞ 36.15/12.05
AG01/#3.13.xml 0 1 ∞ 828.34/296.23
AG01/#3.17.xml 0 1 ∞ 436.84/296.03
AG01/#3.29.xml 0 1 ∞ 0.23/0.05
AG01/#3.41.xml 0 1 ∞ 23.95/9.48
AG01/#3.8a.xml 0 1 ∞ 32.56/12.89
AG01/#3.2.xml 0 1 ∞ 20.75/7.42
AG01/#3.51.xml 1 1 n1 0.07/0.03
AG01/#3.36.xml 0 1 ∞ 42.51/17.78
AG01/#3.48.xml pending submission
AG01/#3.16.xml 0 1 ∞ 63.79/17.77
AG01/#3.1.xml 0 1 ∞ 15.59/5.44
AG01/#3.6a.xml 0 1 ∞ 36.82/12.09
AG01/#3.26.xml 0 1 ∞ 148.24/54.18
AG01/#3.7.xml 1 1 n1 2.12/0.56
AG01/#3.5b.xml 0 1 ∞ 44.01/15.68
AG01/#3.5.xml 0 1 ∞ 29.91/9.72
AG01/#3.38.xml 0 1 ∞ 54.00/20.84
AG01/#3.31.xml 0 1 ∞ 35.62/21.69
AG01/#3.33.xml pending submission
AG01/#3.24.xml 1 1 n1 0.56/0.06
AG01/#3.42.xml 0 1 ∞ 36.63/14.53
AG01/#3.37.xml pending submission
AG01/#4.30c.xml 0 1 ∞ 39.07/13.01
AG01/#3.54.xml 0 1 ∞ 0.58/0.02
AG01/#3.17a.xml 0 1 ∞ 453.08/296.05
AG01/#3.8b.xml 0 1 ∞ 40.22/16.97
AProVE_07/thiemann14.xml 0 1 ∞ 556.81/296.06
AProVE_07/otto06.xml 0 1 ∞ 684.61/296.12
AProVE_07/thiemann01.xml 0 1 ∞ 31.31/12.12
AProVE_07/thiemann31.xml 0 1 ∞ 35.86/12.61
AProVE_07/thiemann21.xml 0 1 ∞ 107.22/49.54
AProVE_07/thiemann25.xml 0 1 ∞ 26.09/9.08
AProVE_07/thiemann05.xml 0 1 ∞ 88.31/38.94
AProVE_07/thiemann03.xml 0 1 ∞ 92.65/40.61
AProVE_07/thiemann34.xml 0 1 ∞ 28.90/11.26
AProVE_07/thiemann26.xml 0 1 ∞ 28.91/11.03
AProVE_07/wiehe03.xml 0 1 ∞ 0.19/0.06
AProVE_07/otto03.xml StarExec error
AProVE_07/thiemann10.xml 0 1 ∞ 25.16/8.92
AProVE_07/thiemann30.xml 0 1 ∞ 835.33/297.65
AProVE_07/otto04.xml 0 1 ∞ 40.93/18.25
AProVE_07/otto05.xml 0 1 ∞ 24.98/9.23
AProVE_07/thiemann40.xml 0 1 ∞ 18.67/7.42
AProVE_07/thiemann17.xml 0 1 ∞ 877.88/296.11
AProVE_07/kabasci05.xml 0 1 ∞ 657.77/296.12
AProVE_07/otto08.xml 0 1 ∞ 40.91/15.92
AProVE_07/thiemann18.xml 0 1 ∞ 90.24/42.49
AProVE_07/wiehe01.xml 0 1 ∞ 0.68/0.17
AProVE_07/wiehe11.xml pending submission
AProVE_07/kabasci02.xml 0 1 ∞ 0.86/0.24
AProVE_07/thiemann36.xml 0 1 ∞ 39.43/14.47
AProVE_07/thiemann29.xml 0 1 ∞ 36.58/15.29
AProVE_07/thiemann37.xml 0 1 ∞ 829.41/296.33
AProVE_07/wiehe08.xml 0 1 ∞ 0.57/0.04
AProVE_07/thiemann04.xml 0 1 ∞ 667.85/296.07
AProVE_07/otto02.xml 0 1 ∞ 523.98/250.50
AProVE_07/thiemann38.xml 0 1 ∞ 64.00/25.66
AProVE_07/thiemann41.xml 0 1 ∞ 33.73/11.87
AProVE_07/thiemann27.xml 0 1 ∞ 19.60/7.95
AProVE_07/otto07.xml pending submission
AProVE_07/otto01.xml 0 1 ∞ 674.49/296.08
AProVE_07/kabasci03.xml 0 1 ∞ 0.08/0.03
AProVE_07/thiemann23.xml pending submission
AProVE_07/thiemann07.xml 0 1 ∞ 101.31/50.72
AProVE_07/thiemann32.xml pending submission
AProVE_07/thiemann19.xml pending submission
AProVE_07/otto12.xml 0 1 ∞ 39.91/14.65
AProVE_07/thiemann09.xml pending submission
AProVE_07/wiehe06.xml 0 1 ∞ 0.11/0.04
AProVE_07/otto11.xml 0 1 ∞ 40.52/17.20
AProVE_07/kabasci01.xml 0 1 ∞ 677.51/296.13
AProVE_07/thiemann16.xml 0 1 ∞ 909.21/296.08
AProVE_07/thiemann11.xml 0 1 ∞ 43.64/15.85
AProVE_07/wiehe02.xml 0 1 ∞ 0.56/0.14
AProVE_07/thiemann22.xml 0 1 ∞ 33.68/11.82
AProVE_07/thiemann20.xml 0 1 ∞ 54.65/22.00
AProVE_07/thiemann15.xml 0 1 ∞ 32.87/12.00
AProVE_07/wiehe09.xml pending submission
AProVE_07/wiehe05.xml 0 1 ∞ 0.14/0.04
AProVE_07/wiehe12.xml 0 1 ∞ 1.77/0.31
AProVE_07/thiemann28.xml pending submission
AProVE_07/kabasci04.xml pending submission
AProVE_07/thiemann13.xml 0 1 ∞ 34.40/13.42
AProVE_07/thiemann06.xml pending submission
AProVE_07/otto10.xml pending submission
AProVE_07/thiemann12.xml 0 1 ∞ 29.45/11.36
AProVE_07/otto09.xml 0 1 ∞ 28.97/10.65
AProVE_07/otto13.xml 0 1 ∞ 71.12/31.98
AProVE_07/thiemann33.xml 0 1 ∞ 185.44/131.18
AProVE_07/wiehe07.xml 0 1 ∞ 0.93/0.04
AProVE_07/thiemann24.xml 0 1 ∞ 34.41/12.76
AProVE_07/thiemann02.xml 0 1 ∞ 656.16/296.11
AProVE_07/thiemann08.xml 0 1 ∞ 30.11/11.48
AProVE_06/nonterm.xml 0 1 ∞ 0.06/0.03
AProVE_06/modulo.xml 0 1 ∞ 0.72/0.09
AProVE_06/div_notTermin.xml 0 1 ∞ 44.85/19.89
AProVE_06/tower.xml 0 1 ∞ 302.60/191.14
AProVE_06/tower_sizeChange.xml 0 1 ∞ 672.14/280.37
AProVE_06/identity.xml 0 1 ∞ 624.42/296.04
AProVE_06/logarithm.xml 0 1 ∞ 36.24/14.32
AProVE_06/factorial1.xml 0 1 ∞ 301.86/191.26
AProVE_06/quot.xml 0 1 ∞ 0.89/0.15
AProVE_06/factorial2.xml 0 1 ∞ 37.46/13.54
AProVE_06/div_notCeTermin.xml 0 1 ∞ 42.70/18.11
AProVE_06/quicksort.xml 0 1 ∞ 181.45/105.19
AProVE_06/sizeChange.xml 0 1 ∞ 20.11/7.68
Rubio_04/division.xml 0 1 ∞ 34.46/12.11
Rubio_04/gmnp.xml 1 1 n1 0.34/0.08
Rubio_04/gm.xml 0 1 ∞ 25.20/10.82
Rubio_04/selsort.xml 0 1 ∞ 753.92/296.25
Rubio_04/enno.xml 0 1 ∞ 40.20/18.87
Rubio_04/quotminus.xml 0 1 ∞ 27.00/8.81
Rubio_04/prov.xml 0 1 ∞ 20.30/7.48
Rubio_04/p266.xml 1 1 n1 0.04/0.02
Rubio_04/bintrees.xml 1 1 n1 1.70/0.45
Rubio_04/nestrec.xml 0 1 ∞ 249.82/88.12
Rubio_04/ma96.xml 0 1 ∞ 700.93/296.12
Rubio_04/logarquot.xml 0 1 ∞ 30.10/11.36
Rubio_04/test829.xml 1 1 n1 0.40/0.08
Rubio_04/elimdupl.xml StarExec error
Rubio_04/koen.xml 0 1 ∞ 0.10/0.04
Rubio_04/polo2.xml pending submission
Rubio_04/mfp95.xml 1 1 n1 0.14/0.04
Rubio_04/gcd.xml 0 1 ∞ 37.47/12.65
Rubio_04/test4.xml pending submission
Rubio_04/bn122.xml 1 1 n2 0.95/0.53
Rubio_04/revlist.xml pending submission
Rubio_04/quick.xml pending submission
Rubio_04/wst99.xml 0 1 ∞ 61.80/21.32
Mixed_TRS/jones1.xml 1 1 n1 0.31/0.06
Mixed_TRS/jones5.xml 0 1 ∞ 10.12/3.88
Mixed_TRS/hydra.xml 1 1 n2 13.64/3.39
Mixed_TRS/minsort.xml timeout (wallclock)
Mixed_TRS/while.xml 0 1 ∞ 13.94/4.86
Mixed_TRS/jones4.xml 1 1 n1 0.12/0.04
Mixed_TRS/gcdMinMax.xml 0 1 ∞ 860.02/296.39
Mixed_TRS/Ex1_Luc04b_GM.xml 0 1 ∞ 999.36/296.19
Mixed_TRS/hydra-Zantema06.xml 0 1 ∞ 662.03/296.14
Mixed_TRS/jones2.xml 1 1 n2 9.84/2.51
Mixed_TRS/jones6.xml 1 1 n1 0.68/0.18
Mixed_TRS/test1.xml 0 1 ∞ 9.14/4.12
Mixed_TRS/fossacs.xml 0 1 ∞ 76.33/30.53
Mixed_TRS/gcd.xml pending submission
Mixed_TRS/perfect.xml 0 1 ∞ 27.06/9.18
Mixed_TRS/gcd_triple.xml pending submission
Mixed_TRS/perfect2.xml pending submission
Secret_06_TRS/10.xml 1 1 n1 0.16/0.03
Secret_06_TRS/division.xml 0 1 ∞ 34.14/11.80
Secret_06_TRS/gen-28.xml 0 1 ∞ 34.36/11.43
Secret_06_TRS/tpa10.xml 0 1 ∞ 656.54/296.11
Secret_06_TRS/tpa07.xml 0 1 ∞ 650.85/296.12
Secret_06_TRS/tpa04.xml 0 1 ∞ 678.64/296.09
Secret_06_TRS/tpa09.xml 0 1 ∞ 691.47/296.12
Secret_06_TRS/gen-17.xml 1 1 n1 2.40/1.12
Secret_06_TRS/toList.xml 0 1 ∞ 145.91/74.23
Secret_06_TRS/reverse.xml 0 1 ∞ 67.73/29.86
Secret_06_TRS/tpa06.xml timeout (wallclock)
Secret_06_TRS/times.xml 0 1 ∞ 1.07/0.09
Secret_06_TRS/logarithm.xml 0 1 ∞ 49.41/16.71
Secret_06_TRS/double.xml 0 1 ∞ 30.99/12.90
Secret_06_TRS/nrOfNodes.xml 0 1 ∞ 95.39/48.12
Secret_06_TRS/divExp.xml 0 1 ∞ 0.71/0.03
Secret_06_TRS/tpa05.xml pending submission
Secret_06_TRS/6.xml 1 1 n1 0.41/0.09
Secret_06_TRS/4.xml 1 1 n1 0.25/0.07
Secret_06_TRS/sumList.xml 0 1 ∞ 63.41/28.20
Secret_06_TRS/tpa08.xml 0 1 ∞ 654.86/296.12
Secret_06_TRS/addList.xml pending submission
Secret_06_TRS/gen-1.xml 1 1 n2 1.25/0.55
Secret_05_TRS/tpa4.xml 0 1 ∞ 640.38/296.12
Secret_05_TRS/tpa2.xml 0 1 ∞ 650.32/296.11
Secret_05_TRS/aprove2.xml 0 1 ∞ 26.46/9.09
Secret_05_TRS/cime2.xml 0 1 ∞ 82.34/25.29
Secret_05_TRS/aprove3.xml 0 1 ∞ 34.38/12.40
Secret_05_TRS/tpa5.xml 0 1 ∞ 879.81/296.60
Secret_05_TRS/tpa3.xml 0 1 ∞ 148.45/70.91
Secret_05_TRS/cime5.xml 0 1 ∞ 2.46/0.41
Secret_05_TRS/ttt1.xml 0 1 ∞ 22.55/11.22
Secret_05_TRS/aprove4.xml 0 1 ∞ 0.03/0.02
Secret_05_TRS/tpa1.xml 0 1 ∞ 857.88/296.42
Secret_05_TRS/aprove5.xml 0 1 ∞ 50.45/24.26
Secret_05_TRS/ttt2.xml 0 1 ∞ 116.10/41.05
Secret_05_TRS/cime3.xml 0 1 ∞ 2.04/0.42
Secret_05_TRS/cime4.xml 0 1 ∞ 14.11/5.42
Endrullis_06/direct.xml 1 1 n1 17.22/0.53
Der95/12.xml 0 1 ∞ 22.15/7.80
Der95/27.xml 1 1 n1 0.05/0.02
Der95/06.xml 1 1 n1 0.08/0.03
Der95/20.xml 0 1 ∞ 52.83/23.49
Der95/08.xml 1 1 n2 3.09/1.16
Der95/33.xml 0 1 ∞ 783.67/296.25
Der95/11.xml 1 1 n2 27.05/8.01
Der95/07.xml 1 1 n1 0.04/0.02
Der95/18.xml 1 1 n1 1.46/0.47
Der95/21.xml 0 1 ∞ 75.08/37.54
Der95/31.xml 0 1 ∞ 25.23/8.92
Der95/32.xml 0 1 ∞ 23.77/9.30
HirokawaMiddeldorp_04/t003.xml 0 1 ∞ 794.81/296.18
HirokawaMiddeldorp_04/t011.xml 1 1 n1 0.24/0.07
HirokawaMiddeldorp_04/n006.xml 0 1 ∞ 20.09/8.01
HirokawaMiddeldorp_04/n005.xml 0 1 ∞ 25.32/8.01
HirokawaMiddeldorp_04/t004.xml 0 1 ∞ 86.47/41.41
HirokawaMiddeldorp_04/n007.xml StarExec error
HirokawaMiddeldorp_04/t013.xml 0 1 ∞ 41.52/17.29
HirokawaMiddeldorp_04/t002.xml 0 1 ∞ 792.33/296.31
HirokawaMiddeldorp_04/n002.xml 0 1 ∞ 23.11/8.32
HirokawaMiddeldorp_04/t001.xml 0 1 ∞ 794.84/296.25
HirokawaMiddeldorp_04/t014.xml 0 1 ∞ 792.23/296.06
HirokawaMiddeldorp_04/n003.xml 0 1 ∞ 20.49/8.01
HirokawaMiddeldorp_04/t012.xml 0 1 ∞ 607.40/296.04
HirokawaMiddeldorp_04/n004.xml 0 1 ∞ 22.19/8.01
HirokawaMiddeldorp_04/t009.xml 0 1 ∞ 514.91/296.12
GTSSK07/cade01.xml 0 1 ∞ 19.25/6.83
GTSSK07/cade11.xml 0 1 ∞ 18.03/7.19
GTSSK07/cade14.xml 0 1 ∞ 31.06/10.75
GTSSK07/cade16.xml 0 1 ∞ 65.77/33.39
GTSSK07/cade12t.xml 0 1 ∞ 871.52/296.11
GTSSK07/cade09.xml 0 1 ∞ 22.69/7.72
GTSSK07/cade10.xml 0 1 ∞ 21.24/7.40
GTSSK07/cade06.xml 0 1 ∞ 906.84/296.45
GTSSK07/cade03.xml 0 1 ∞ 21.90/7.39
GTSSK07/cade04t.xml 0 1 ∞ 0.09/0.02
GTSSK07/cade13t.xml 0 1 ∞ 34.41/11.56
GTSSK07/cade05t.xml timeout (wallclock)
GTSSK07/cade17.xml 0 1 ∞ 523.55/296.06
GTSSK07/cade08.xml 0 1 ∞ 663.11/296.11
GTSSK07/cade07.xml 0 1 ∞ 22.10/7.87
GTSSK07/cade15.xml 0 1 ∞ 109.27/56.24
TCT_12/recursion-10.xml 0 1 ∞ 215.56/86.59
TCT_12/polycounter-10.xml 0 1 ∞ 81.43/47.52
TCT_12/recursion-5.xml 0 1 ∞ 99.35/45.61
TCT_12/polycounter-5.xml 1 1 n5 36.04/17.66
TCT_12/sat.xml 0 1 ∞ 303.44/99.46
Strategy_removed_mixed_05/ex3.xml 0 1 ∞ 23.50/8.02
Strategy_removed_mixed_05/test10.xml 0 1 ∞ 0.03/0.02
Strategy_removed_mixed_05/test77.xml 0 1 ∞ 14.02/4.69
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 0 1 ∞ 30.83/10.93
Strategy_removed_mixed_05/ex5.xml 0 1 ∞ 15.55/8.01
Strategy_removed_mixed_05/ex6.xml 0 1 ∞ 0.42/0.03
Strategy_removed_mixed_05/ex1.xml 0 1 ∞ 22.55/8.01
Strategy_removed_mixed_05/muladd.xml 0 1 ∞ 10.77/3.37
Strategy_removed_mixed_05/test830.xml 1 1 n1 0.05/0.02
Strategy_removed_mixed_05/tricky1.xml 1 1 1 0.73/0.10
Strategy_removed_mixed_05/ex2.xml 0 1 ∞ 8.83/3.43
Strategy_removed_mixed_05/test76.xml 0 1 ∞ 12.62/5.35
Strategy_removed_mixed_05/ex4.xml 0 1 ∞ 66.51/25.61
Various_04/12.xml timeout (wallclock)
Various_04/10.xml 0 1 ∞ 670.82/296.16
Various_04/14.xml 0 1 ∞ 826.38/296.03
Various_04/13.xml 0 1 ∞ 898.34/296.08
Various_04/04.xml 0 1 ∞ 1.06/0.25
Various_04/08.xml 0 1 ∞ 1.22/0.18
Various_04/23.xml pending submission
Various_04/11.xml 0 1 ∞ 10.61/3.40
Various_04/18.xml 0 1 ∞ 0.73/0.02
Various_04/24.xml 0 1 ∞ 106.02/55.93
Various_04/15.xml 1 1 n1 0.04/0.02
Various_04/22.xml 0 1 ∞ 11.62/4.69
Transformed_CSR_04/OvConsOS_complete_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 0 1 ∞ 964.93/296.16
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 0 1 ∞ 237.35/121.00
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 0 1 ∞ 683.70/296.09
Transformed_CSR_04/MYNAT_complete_GM.xml 0 1 ∞ 364.99/296.11
Transformed_CSR_04/ExIntrod_GM04_GM.xml 1 1 n3 427.91/45.67
Transformed_CSR_04/Ex25_Luc06_Z.xml 1 1 n1 0.32/0.09
Transformed_CSR_04/PALINDROME_complete_C.xml 0 1 ∞ 6.47/1.63
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 1 1 n1 1.08/0.14
Transformed_CSR_04/Ex1_Zan97_FR.xml 0 1 ∞ 603.63/296.11
Transformed_CSR_04/PEANO_nokinds_FR.xml 0 1 ∞ 596.48/296.09
Transformed_CSR_04/ExConc_Zan97_C.xml pending submission
Transformed_CSR_04/Ex24_Luc06_C.xml 0 1 ∞ 1025.44/296.14
Transformed_CSR_04/Ex2_Luc02a_Z.xml 0 1 ∞ 98.60/27.14
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 0 1 ∞ 700.79/296.16
Transformed_CSR_04/Ex24_Luc06_GM.xml 0 1 ∞ 96.06/38.22
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 1 1 n1 0.32/0.04
Transformed_CSR_04/Ex23_Luc06_FR.xml 1 1 n1 0.26/0.10
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 0 1 ∞ 780.17/296.12
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml pending submission
Transformed_CSR_04/Ex7_BLR02_FR.xml pending submission
Transformed_CSR_04/ExProp7_Luc06_GM.xml 0 1 ∞ 1171.76/296.27
Transformed_CSR_04/Ex9_Luc04_C.xml 0 1 ∞ 485.51/234.58
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 0 1 ∞ 250.84/147.14
Transformed_CSR_04/Ex23_Luc06_C.xml 1 1 n1 0.13/0.04
Transformed_CSR_04/Ex24_GM04_GM.xml 0 1 ∞ 0.39/0.04
Transformed_CSR_04/PEANO_complete-noand_Z.xml pending submission
Transformed_CSR_04/Ex1_Luc02b_GM.xml 0 1 ∞ 40.33/17.78
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_C.xml 0 1 ∞ 0.63/0.09
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 0 1 ∞ 58.01/24.21
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 0 1 ∞ 52.99/20.33
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 1 1 n1 2.93/0.74
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex14_AEGL02_C.xml 0 1 ∞ 1128.60/296.31
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 0 1 ∞ 978.84/296.12
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml pending submission
Transformed_CSR_04/PALINDROME_complete-noand_L.xml pending submission
Transformed_CSR_04/Ex9_Luc04_L.xml 0 1 ∞ 3.69/1.88
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PEANO_complete_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex15_Luc06_FR.xml 1 1 n1 0.27/0.06
Transformed_CSR_04/Ex3_2_Luc97_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 0 1 ∞ 606.49/296.18
Transformed_CSR_04/OvConsOS_nokinds_C.xml 0 1 ∞ 745.26/296.48
Transformed_CSR_04/MYNAT_complete_Z.xml 0 1 ∞ 681.89/296.02
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml pending submission
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex9_BLR02_GM.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 1 1 n1 7.29/1.10
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 1 1 n1 1.03/0.27
Transformed_CSR_04/PEANO_nosorts_FR.xml 1 1 n1 0.13/0.04
Transformed_CSR_04/OvConsOS_nosorts_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex15_Luc98_Z.xml 0 1 ∞ 44.70/15.92
Transformed_CSR_04/Ex4_DLMMU04_C.xml 0 1 ∞ 745.63/296.63
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 0 1 ∞ 888.18/296.07
Transformed_CSR_04/Ex5_7_Luc97_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 0 1 ∞ 3.55/0.21
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 0 1 ∞ 431.03/217.62
Transformed_CSR_04/PALINDROME_complete_FR.xml pending submission
Transformed_CSR_04/Ex15_Luc98_GM.xml 1 1 n1 11.01/2.21
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 0 1 ∞ 260.57/149.30
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 0 1 ∞ 723.26/296.12
Transformed_CSR_04/MYNAT_nosorts_FR.xml pending submission
Transformed_CSR_04/Ex8_BLR02_GM.xml 0 1 ∞ 41.90/16.23
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 1 1 n1 0.64/0.16
Transformed_CSR_04/ExIntrod_GM01_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex7_BLR02_Z.xml 0 1 ∞ 628.93/296.18
Transformed_CSR_04/Ex26_Luc03b_FR.xml 0 1 ∞ 234.98/114.97
Transformed_CSR_04/OvConsOS_nosorts_FR.xml pending submission
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 0 1 ∞ 1035.62/296.16
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 0 1 ∞ 591.13/296.13
Transformed_CSR_04/Ex24_Luc06_L.xml pending submission
Transformed_CSR_04/Ex1_GM03_Z.xml 0 1 ∞ 93.40/48.51
Transformed_CSR_04/ExConc_Zan97_Z.xml 0 1 ∞ 20.89/8.05
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml pending submission
Transformed_CSR_04/Ex6_15_AEL02_L.xml pending submission
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 0 1 ∞ 189.10/84.92
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 1 1 n1 0.50/0.06
Transformed_CSR_04/Ex1_Luc04b_C.xml 1 1 n1 76.14/1.61
Transformed_CSR_04/Ex1_GM03_GM.xml pending submission
Transformed_CSR_04/Ex7_BLR02_C.xml pending submission
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 0 1 ∞ 58.14/24.78
Transformed_CSR_04/ExIntrod_GM99_FR.xml 0 1 ∞ 93.35/51.06
Transformed_CSR_04/ExIntrod_GM99_C.xml 0 1 ∞ 700.08/296.19
Transformed_CSR_04/Ex1_GL02a_L.xml 0 1 ∞ 22.90/8.05
Transformed_CSR_04/Ex5_Zan97_C.xml 1 1 n1 7.37/1.88
Transformed_CSR_04/Ex5_Zan97_FR.xml 1 1 n1 1.09/0.27
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 0 1 ∞ 3.99/0.62
Transformed_CSR_04/PALINDROME_complete_Z.xml 0 1 ∞ 1.09/0.28
Transformed_CSR_04/Ex14_Luc06_C.xml 0 1 ∞ 0.29/0.09
Transformed_CSR_04/ExIntrod_Zan97_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_nokinds_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nokinds_FR.xml pending submission
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml pending submission
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 0 1 ∞ 389.70/296.11
Transformed_CSR_04/Ex49_GM04_Z.xml pending submission
Transformed_CSR_04/ExIntrod_GM99_L.xml pending submission
Transformed_CSR_04/Ex26_Luc03b_Z.xml 0 1 ∞ 113.16/39.10
Transformed_CSR_04/PEANO_nosorts_C.xml 1 1 n1 0.92/0.24
Transformed_CSR_04/ExProp7_Luc06_FR.xml pending submission
Transformed_CSR_04/PEANO_complete_noand_GM.xml 0 1 ∞ 367.09/296.06
Transformed_CSR_04/Ex15_Luc06_L.xml 0 1 ∞ 22.54/8.01
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml pending submission
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 0 1 ∞ 461.12/296.08
Transformed_CSR_04/Ex2_Luc02a_L.xml 0 1 ∞ 91.59/26.11
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 0 1 ∞ 719.95/296.04
Transformed_CSR_04/Ex1_GM03_FR.xml pending submission
Transformed_CSR_04/Ex23_Luc06_Z.xml pending submission
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 0 1 ∞ 1.17/0.25
Transformed_CSR_04/PEANO_complete-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 0 1 ∞ 874.24/296.24
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 0 1 ∞ 72.94/35.64
Transformed_CSR_04/Ex5_DLMMU04_C.xml 0 1 ∞ 768.15/296.54
Transformed_CSR_04/ExIntrod_GM04_Z.xml 0 1 ∞ 826.52/296.05
Transformed_CSR_04/Ex24_GM04_Z.xml pending submission
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 0 1 ∞ 719.78/296.09
Transformed_CSR_04/OvConsOS_nokinds_Z.xml pending submission
Transformed_CSR_04/Ex5_Zan97_L.xml pending submission
Transformed_CSR_04/Ex6_Luc98_L.xml 1 1 n1 0.08/0.03
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 0 1 ∞ 683.37/296.08
Transformed_CSR_04/Ex1_Luc04b_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 0 1 ∞ 374.23/270.62
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml pending submission
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 0 1 ∞ 4.05/0.41
Transformed_CSR_04/Ex1_GL02a_GM.xml 0 1 ∞ 126.70/63.79
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 0 1 ∞ 1.02/0.04
Transformed_CSR_04/ExIntrod_Zan97_FR.xml pending submission
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml pending submission
Transformed_CSR_04/Ex14_AEGL02_L.xml 0 1 ∞ 19.97/8.04
Transformed_CSR_04/ExIntrod_GM01_Z.xml 0 1 ∞ 972.53/296.15
Transformed_CSR_04/Ex2_Luc02a_C.xml 0 1 ∞ 754.46/296.26
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 0 1 ∞ 912.18/296.37
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 1 1 n1 3.86/0.80
Transformed_CSR_04/Ex1_GL02a_Z.xml 0 1 ∞ 631.82/296.12
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 0 1 ∞ 76.94/35.55
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 0 1 ∞ 140.66/55.32
Transformed_CSR_04/Ex2_Luc02a_GM.xml 0 1 ∞ 74.93/35.96
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 1 1 n1 0.03/0.02
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml timeout (wallclock)
Transformed_CSR_04/PEANO_complete-noand_FR.xml 0 1 ∞ 662.91/296.11
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 1 1 n1 0.30/0.07
Transformed_CSR_04/MYNAT_nokinds_GM.xml 0 1 ∞ 688.80/296.13
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 0 1 ∞ 713.53/296.11
Transformed_CSR_04/Ex1_GM99_GM.xml 0 1 ∞ 14.48/6.30
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 0 1 ∞ 636.67/296.15
Transformed_CSR_04/Ex2_Luc03b_C.xml pending submission
Transformed_CSR_04/Ex1_GL02a_C.xml 0 1 ∞ 728.03/296.13
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 0 1 ∞ 378.24/296.13
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 0 1 ∞ 85.19/41.02
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 0 1 ∞ 687.64/296.16
Transformed_CSR_04/Ex1_Luc02b_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml timeout (wallclock)
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml pending submission
Transformed_CSR_04/MYNAT_nokinds_FR.xml pending submission
Transformed_CSR_04/Ex1_Luc04b_GM.xml 0 1 ∞ 1004.73/296.03
Transformed_CSR_04/Ex4_4_Luc96b_C.xml pending submission
Transformed_CSR_04/MYNAT_complete-noand_L.xml pending submission
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 0 1 ∞ 135.27/67.85
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 0 1 ∞ 92.89/43.91
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml pending submission
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 0 1 ∞ 1165.07/296.41
Transformed_CSR_04/Ex24_GM04_C.xml 0 1 ∞ 3.15/0.04
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/PEANO_nosorts_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex2_Luc03b_GM.xml 0 1 ∞ 41.59/18.51
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 0 1 ∞ 68.05/29.23
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml pending submission
Transformed_CSR_04/Ex9_BLR02_C.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex1_GM03_C.xml 0 1 ∞ 667.47/296.09
Transformed_CSR_04/Ex9_Luc06_GM.xml 0 1 ∞ 0.12/0.04
Transformed_CSR_04/MYNAT_nosorts_C.xml 0 1 ∞ 131.55/62.64
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 0 1 ∞ 50.46/19.89
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml pending submission
Transformed_CSR_04/Ex1_Luc04b_Z.xml 0 1 ∞ 64.18/35.41
Transformed_CSR_04/Ex16_Luc06_GM.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml pending submission
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 0 1 ∞ 727.08/296.17
Transformed_CSR_04/Ex9_BLR02_L.xml 1 1 n1 0.90/0.21
Transformed_CSR_04/PALINDROME_nosorts_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 0 1 ∞ 100.30/47.76
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 0 1 ∞ 1079.66/296.62
Transformed_CSR_04/Ex15_Luc06_GM.xml 1 1 n1 0.07/0.03
Transformed_CSR_04/Ex1_Luc02b_C.xml 0 1 ∞ 680.93/296.13
Transformed_CSR_04/PEANO_nokinds_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex15_Luc06_Z.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml pending submission
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 0 1 ∞ 57.91/26.89
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml pending submission
Transformed_CSR_04/Ex9_BLR02_Z.xml 0 1 ∞ 166.51/90.27
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 0 1 ∞ 2.47/0.64
Transformed_CSR_04/Ex3_2_Luc97_C.xml 0 1 ∞ 684.91/296.14
Transformed_CSR_04/Ex14_AEGL02_GM.xml 0 1 ∞ 146.80/83.70
Transformed_CSR_04/Ex6_GM04_C.xml pending submission
Transformed_CSR_04/Ex49_GM04_FR.xml 0 1 ∞ 132.98/79.51
Transformed_CSR_04/PEANO_nokinds_Z.xml timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml pending submission
Transformed_CSR_04/ExIntrod_GM04_C.xml 1 1 n1 175.14/4.72
Transformed_CSR_04/Ex1_2_AEL03_C.xml timeout (wallclock)
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 1 1 n2 15.18/4.29
Transformed_CSR_04/Ex16_Luc06_L.xml 0 1 ∞ 20.71/8.05
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 0 1 ∞ 1112.62/296.04
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 0 1 ∞ 52.28/33.25
Transformed_CSR_04/Ex1_Luc02b_Z.xml pending submission
Transformed_CSR_04/ExProp7_Luc06_Z.xml pending submission
Transformed_CSR_04/OvConsOS_complete_C.xml 0 1 ∞ 1057.66/299.32
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex8_BLR02_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_complete_FR.xml 0 1 ∞ 787.06/296.07
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 1 1 n1 3.18/0.72
Transformed_CSR_04/Ex1_Zan97_GM.xml 1 1 n1 0.24/0.07
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 0 1 ∞ 153.45/71.45
Transformed_CSR_04/OvConsOS_nosorts_C.xml 1 1 n1 7.04/1.29
Transformed_CSR_04/Ex24_GM04_L.xml pending submission
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml timeout (wallclock)
Transformed_CSR_04/Ex25_Luc06_FR.xml pending submission
Transformed_CSR_04/Ex1_GL02a_FR.xml pending submission
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 0 1 ∞ 828.92/296.11
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 0 1 ∞ 866.48/296.10
Transformed_CSR_04/PALINDROME_nokinds_FR.xml pending submission
Transformed_CSR_04/ExIntrod_GM01_FR.xml 0 1 ∞ 779.57/296.15
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 0 1 ∞ 725.85/296.12
Transformed_CSR_04/PEANO_nosorts_GM.xml 0 1 ∞ 91.74/32.71
Transformed_CSR_04/Ex15_Luc98_FR.xml pending submission
Transformed_CSR_04/Ex6_Luc98_C.xml pending submission
Transformed_CSR_04/Ex9_Luc06_C.xml 0 1 ∞ 2.98/0.04
Transformed_CSR_04/Ex15_Luc98_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 0 1 ∞ 93.60/40.43
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 0 1 ∞ 582.04/296.05
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 0 1 ∞ 947.40/296.17
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 0 1 ∞ 775.93/296.03
Transformed_CSR_04/MYNAT_nosorts_GM.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 0 1 ∞ 566.17/296.02
Transformed_CSR_04/PALINDROME_complete_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/ExIntrod_GM01_GM.xml 0 1 ∞ 1068.09/296.24
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 0 1 ∞ 371.42/296.12
Transformed_CSR_04/Ex1_Luc02b_FR.xml 0 1 ∞ 610.74/296.03
Transformed_CSR_04/Ex4_DLMMU04_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 0 1 ∞ 501.00/296.07
Transformed_CSR_04/Ex2_Luc02a_FR.xml 0 1 ∞ 60.41/28.09
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 0 1 ∞ 1011.43/296.28
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 0 1 ∞ 697.67/296.24
Transformed_CSR_04/ExConc_Zan97_GM.xml 1 1 n1 0.51/0.06
Transformed_CSR_04/PEANO_complete_noand_C.xml 0 1 ∞ 807.25/296.08
Transformed_CSR_04/PEANO_nokinds_C.xml pending submission
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml pending submission
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 0 1 ∞ 701.43/296.04
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 0 1 ∞ 752.85/296.14
Transformed_CSR_04/ExIntrod_Zan97_GM.xml pending submission
Transformed_CSR_04/Ex8_BLR02_FR.xml pending submission
Transformed_CSR_04/Ex23_Luc06_GM.xml pending submission
Transformed_CSR_04/MYNAT_complete_noand_C.xml pending submission
Transformed_CSR_04/OvConsOS_complete_GM.xml 0 1 ∞ 369.09/296.12
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 0 1 ∞ 44.30/17.48
Transformed_CSR_04/Ex49_GM04_C.xml 0 1 ∞ 695.44/296.17
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml pending submission
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 0 1 ∞ 409.75/296.08
Transformed_CSR_04/PALINDROME_nokinds_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex14_AEGL02_Z.xml 0 1 ∞ 30.57/11.99
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex1_GM99_C.xml 0 1 ∞ 915.21/296.14
Transformed_CSR_04/ExIntrod_GM99_GM.xml 0 1 ∞ 92.29/50.80
Transformed_CSR_04/PALINDROME_complete_noand_C.xml pending submission
Transformed_CSR_04/PEANO_nokinds_GM.xml 0 1 ∞ 98.66/50.40
Transformed_CSR_04/Ex4_Zan97_L.xml pending submission
Transformed_CSR_04/Ex7_BLR02_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 0 1 ∞ 50.98/21.55
Transformed_CSR_04/Ex1_GM99_L.xml 0 1 ∞ 23.11/8.05
Transformed_CSR_04/Ex4_Zan97_FR.xml pending submission
Transformed_CSR_04/Ex9_Luc06_FR.xml 0 1 ∞ 0.48/0.03
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 0 1 ∞ 367.33/296.02
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_Z.xml pending submission
Transformed_CSR_04/Ex3_2_Luc97_FR.xml pending submission
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 0 1 ∞ 66.31/28.89
Transformed_CSR_04/Ex6_GM04_GM.xml 1 1 n1 0.52/0.13
Transformed_CSR_04/Ex16_Luc06_C.xml 0 1 ∞ 0.14/0.05
Transformed_CSR_04/Ex6_Luc98_GM.xml 0 1 ∞ 393.00/237.65
Transformed_CSR_04/Ex15_Luc06_C.xml pending submission
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex14_Luc06_GM.xml 0 1 ∞ 0.67/0.09
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml pending submission
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 0 1 ∞ 246.64/147.17
Transformed_CSR_04/ExProp7_Luc06_C.xml pending submission
Transformed_CSR_04/Ex4_Zan97_C.xml pending submission
Transformed_CSR_04/Ex26_Luc03b_GM.xml pending submission
Transformed_CSR_04/Ex6_Luc98_Z.xml 1 1 n1 1.44/0.37
Transformed_CSR_04/Ex1_Zan97_C.xml 1 1 n1 0.73/0.08
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 0 1 ∞ 0.38/0.11
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 1 1 n1 9.53/0.07
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 0 1 ∞ 5.66/0.63
Transformed_CSR_04/Ex2_Luc03b_FR.xml 0 1 ∞ 125.19/58.96
Transformed_CSR_04/Ex9_Luc04_GM.xml 0 1 ∞ 17.33/7.11
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml pending submission
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 0 1 ∞ 102.65/41.24
Transformed_CSR_04/ExIntrod_GM01_C.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml pending submission
Transformed_CSR_04/ExProp7_Luc06_L.xml 1 1 n1 0.20/0.02
Transformed_CSR_04/Ex26_Luc03b_C.xml pending submission
Transformed_CSR_04/PALINDROME_complete_GM.xml 0 1 ∞ 2.92/0.76
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml pending submission
Transformed_CSR_04/Ex18_Luc06_FR.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 0 1 ∞ 3.54/0.72
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml pending submission
Transformed_CSR_04/Ex1_2_AEL03_GM.xml pending submission
Transformed_CSR_04/Ex1_Zan97_L.xml pending submission
Transformed_CSR_04/PEANO_complete_GM.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_C.xml paused
Transformed_CSR_04/OvConsOS_complete_Z.xml pending submission
Transformed_CSR_04/Ex24_GM04_FR.xml 0 1 ∞ 0.44/0.06
Transformed_CSR_04/Ex5_Zan97_Z.xml pending submission
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml pending submission
Transformed_CSR_04/MYNAT_complete_L.xml paused
Transformed_CSR_04/OvConsOS_nosorts_Z.xml paused
Transformed_CSR_04/Ex6_GM04_FR.xml paused
Transformed_CSR_04/Ex18_Luc06_GM.xml paused
Transformed_CSR_04/LISTUTILITIES_complete_L.xml paused
Transformed_CSR_04/Ex4_Zan97_Z.xml paused
Transformed_CSR_04/Ex49_GM04_GM.xml paused
Transformed_CSR_04/Ex3_12_Luc96a_L.xml paused
Transformed_CSR_04/Ex25_Luc06_C.xml paused
Transformed_CSR_04/Ex1_Luc04b_FR.xml paused
Transformed_CSR_04/Ex8_BLR02_Z.xml paused
Transformed_CSR_04/PEANO_complete_Z.xml paused
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml paused
Transformed_CSR_04/Ex1_2_Luc02c_C.xml paused
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml paused
Transformed_CSR_04/Ex1_GM03_L.xml paused
Transformed_CSR_04/Ex18_Luc06_C.xml paused
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml paused
Transformed_CSR_04/Ex5_DLMMU04_L.xml paused
Transformed_CSR_04/Ex4_DLMMU04_Z.xml paused
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml paused
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml paused
Transformed_CSR_04/Ex5_DLMMU04_Z.xml paused
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml paused
Transformed_CSR_04/Ex5_Zan97_GM.xml paused
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml paused
Transformed_CSR_04/ExIntrod_GM99_Z.xml paused
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml paused
Transformed_CSR_04/Ex25_Luc06_GM.xml paused
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml paused
Transformed_CSR_04/ExIntrod_Zan97_Z.xml paused
Transformed_CSR_04/MYNAT_nokinds_Z.xml paused
Transformed_CSR_04/Ex15_Luc98_C.xml paused
Transformed_CSR_04/Ex8_BLR02_C.xml paused
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml paused
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml paused
Transformed_CSR_04/Ex6_15_AEL02_C.xml paused
Transformed_CSR_04/Ex14_AEGL02_FR.xml paused
Transformed_CSR_04/MYNAT_nokinds_C.xml paused
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml paused
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml paused
Transformed_CSR_04/ExIntrod_Zan97_C.xml paused
Transformed_CSR_04/MYNAT_nosorts_L.xml paused
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml paused
Transformed_CSR_04/Ex49_GM04_L.xml paused
Transformed_CSR_04/Ex7_BLR02_GM.xml paused
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml paused
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml pending submission
Transformed_CSR_04/Ex2_Luc03b_L.xml pending submission
Transformed_CSR_04/Ex4_DLMMU04_FR.xml paused
Transformed_CSR_04/Ex2_Luc03b_Z.xml paused
Transformed_CSR_04/Ex6_Luc98_FR.xml pending submission
Transformed_CSR_04/Ex9_BLR02_FR.xml pending submission
Transformed_CSR_04/MYNAT_complete_noand_GM.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml pending submission
Transformed_CSR_04/ExAppendixB_AEL03_C.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml pending submission
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml pending submission
Transformed_CSR_04/Ex6_9_Luc02c_C.xml pending submission
Transformed_CSR_04/PEANO_complete_C.xml pending submission
Transformed_CSR_04/Ex6_15_AEL02_GM.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml paused
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml paused
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml paused
Transformed_CSR_04/ExConc_Zan97_FR.xml paused
Transformed_CSR_04/ExIntrod_GM04_L.xml paused
Transformed_CSR_04/Ex4_DLMMU04_GM.xml paused
Transformed_CSR_04/PEANO_complete_FR.xml paused
Transformed_CSR_04/Ex5_DLMMU04_FR.xml paused
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml paused
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml paused
Transformed_CSR_04/Ex18_Luc06_Z.xml paused
Transformed_CSR_04/ExIntrod_GM04_FR.xml paused
Transformed_CSR_04/Ex4_Zan97_GM.xml paused
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml paused
Transformed_CSR_04/Ex5_7_Luc97_C.xml paused
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml paused
Transformed_CSR_04/Ex26_Luc03b_L.xml paused
Transformed_CSR_04/MYNAT_complete_C.xml paused
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml paused
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml paused
Transformed_CSR_04/Ex1_2_AEL03_L.xml pending submission
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml pending submission
Transformed_CSR_04/MYNAT_nokinds_L.xml pending submission
Transformed_CSR_04/MYNAT_complete_FR.xml pending submission
SK90/2.49.xml 1 1 n1 0.06/0.02
SK90/4.12.xml 1 1 n1 0.50/0.08
SK90/2.45.xml 0 1 ∞ 575.65/296.13
SK90/2.15.xml 0 1 ∞ 14.34/5.86
SK90/2.40.xml 1 1 n2 17.92/4.61
SK90/2.47.xml 1 1 n1 0.05/0.02
SK90/2.22.xml 0 1 ∞ 20.49/8.76
SK90/4.10.xml 1 1 n2 19.27/4.75
SK90/4.26.xml 1 1 n1 0.89/0.11
SK90/2.59.xml 0 1 ∞ 0.22/0.03
SK90/2.27.xml 0 1 ∞ 169.95/70.81
SK90/4.57.xml 0 1 ∞ 644.12/296.11
SK90/4.60.xml 0 1 ∞ 680.15/296.10
SK90/2.31.xml 1 1 n1 0.82/0.16
SK90/4.28.xml 0 1 ∞ 1.51/0.10
SK90/2.52.xml pending submission
SK90/2.03.xml 1 1 n1 0.03/0.01
SK90/4.13.xml 0 1 ∞ 14.91/6.09
SK90/4.53.xml 0 1 ∞ 0.17/0.04
SK90/2.38.xml pending submission
SK90/4.06.xml pending submission
SK90/2.25.xml 0 1 ∞ 20.43/6.90
SK90/2.12.xml 0 1 ∞ 71.65/20.32
SK90/4.54.xml 0 1 ∞ 19.24/7.90
SK90/2.50.xml 1 1 n1 0.10/0.03
SK90/4.34.xml 0 1 ∞ 279.40/155.19
SK90/4.47.xml 1 1 n1 2.40/0.68
SK90/2.07.xml 1 1 n2 16.61/4.22
SK90/2.42.xml pending submission
SK90/2.09.xml 1 1 n1 0.42/0.10
SK90/4.48.xml 0 1 ∞ 0.25/0.05
SK90/2.17.xml 1 1 n2 0.66/0.42
SK90/4.30.xml 1 1 n1 0.22/0.06
SK90/2.39.xml 0 1 ∞ 59.32/21.88
SK90/2.29.xml 1 1 n2 6.45/1.93
SK90/4.27.xml 0 1 ∞ 1181.61/296.22
SK90/4.61.xml 0 1 ∞ 710.80/296.11
SK90/4.09.xml pending submission
SK90/4.29.xml 1 1 n1 0.66/0.18
SK90/2.37.xml 1 1 n2 0.35/0.23
SK90/4.07.xml 0 1 ∞ 0.12/0.04
SK90/4.45.xml 0 1 ∞ 0.06/0.04
SK90/2.54.xml 1 1 n1 0.09/0.03
SK90/4.16.xml 1 1 n1 0.30/0.09
SK90/4.31.xml 0 1 ∞ 27.77/12.22
SK90/2.13.xml 1 1 n1 0.61/0.15
SK90/4.18.xml 1 1 n2 10.75/2.58
SK90/2.20.xml 1 1 n2 0.55/0.29
SK90/2.55.xml 0 1 ∞ 0.05/0.03
SK90/4.05.xml 1 1 n2 2.26/0.63
SK90/4.22.xml pending submission
SK90/4.43.xml 0 1 ∞ 49.63/16.83
SK90/2.44.xml 1 1 n2 3.38/1.93
SK90/4.25.xml 0 1 ∞ 0.35/0.04
SK90/2.43.xml 0 1 ∞ 225.25/126.14
SK90/2.48.xml 1 1 n1 0.07/0.03
SK90/4.17.xml pending submission
SK90/2.24.xml 0 1 ∞ 17.18/8.52
SK90/2.16.xml 1 1 n2 15.97/4.05
SK90/2.41.xml 1 1 n1 0.40/0.12
SK90/2.51.xml 0 1 ∞ 18.54/6.81
SK90/4.24.xml pending submission
SK90/2.28.xml 0 1 ∞ 12.67/5.73
SK90/2.23.xml 0 1 ∞ 26.54/10.59
SK90/4.38.xml 1 1 n1 0.32/0.09
SK90/4.42.xml 0 1 ∞ 26.92/9.95
SK90/2.53.xml 1 1 n1 0.19/0.02
SK90/2.21.xml pending submission
SK90/2.61.xml 0 1 ∞ 2.30/0.03
SK90/2.19.xml 1 1 n2 11.27/2.73
SK90/2.11.xml 1 1 n1 0.18/0.05
SK90/4.51.xml pending submission
SK90/2.26.xml pending submission
SK90/2.30.xml 1 1 n1 0.46/0.12
SK90/2.14.xml 1 1 n1 0.51/0.08
SK90/2.36.xml 1 1 n1 0.89/0.23
SK90/2.02.xml 1 1 n1 0.23/0.07
SK90/2.18.xml pending submission
SK90/4.35.xml 1 1 n1 0.32/0.05
SK90/4.59.xml 0 1 ∞ 35.27/13.15
Secret_07_TRS/aprove07.xml 0 1 ∞ 69.51/28.99
Secret_07_TRS/secret3.xml 0 1 ∞ 41.06/18.56
Secret_07_TRS/aprove04.xml 0 1 ∞ 670.74/296.09
Secret_07_TRS/3.xml 0 1 ∞ 0.08/0.03
Secret_07_TRS/aprove02.xml 0 1 ∞ 42.60/17.26
Secret_07_TRS/aprove10.xml 0 1 ∞ 652.92/296.02
Secret_07_TRS/aprove08.xml 0 1 ∞ 46.39/19.05
Secret_07_TRS/aprove09.xml 0 1 ∞ 48.42/19.02
Secret_07_TRS/aprove01.xml 0 1 ∞ 63.34/27.30
Secret_07_TRS/aprove06.xml 0 1 ∞ 64.45/27.50
Secret_07_TRS/aprove03.xml 0 1 ∞ 650.69/296.12
Secret_07_TRS/secret5.xml 0 1 ∞ 670.62/296.12
Secret_07_TRS/secret4.xml timeout (wallclock)
Secret_07_TRS/aprove05.xml 0 1 ∞ 73.70/30.85
Secret_07_TRS/secret1.xml pending submission
Strategy_removed_CSR_05/Ex8_BLR02.xml 0 1 ∞ 23.45/7.49
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 0 1 ∞ 12.24/4.76
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 0 1 ∞ 18.98/8.05
Strategy_removed_CSR_05/Ex6_GM04.xml 0 1 ∞ 20.99/8.01
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 0 1 ∞ 16.43/5.35
Strategy_removed_CSR_05/Ex1_Zan97.xml 0 1 ∞ 195.06/83.90
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 0 1 ∞ 10.21/3.49
Strategy_removed_CSR_05/Ex1_GM03.xml 0 1 ∞ 91.92/48.03
Strategy_removed_CSR_05/Ex7_BLR02.xml 0 1 ∞ 23.24/11.03
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 0 1 ∞ 37.36/16.76
Strategy_removed_CSR_05/ExIntrod_GM99.xml 0 1 ∞ 216.85/90.58
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 0 1 ∞ 34.38/15.13
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 0 1 ∞ 26.99/9.69
Strategy_removed_CSR_05/Ex15_Luc98.xml 0 1 ∞ 19.48/6.65
Strategy_removed_CSR_05/Ex4_Zan97.xml pending submission
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 0 1 ∞ 25.66/9.71
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 0 1 ∞ 29.99/11.80
Strategy_removed_CSR_05/Ex14_AEGL02.xml 0 1 ∞ 11.80/4.26
Strategy_removed_CSR_05/Ex49_GM04.xml 0 1 ∞ 792.40/296.12
Strategy_removed_CSR_05/Ex6_Luc98.xml 0 1 ∞ 12.04/3.97
Strategy_removed_CSR_05/ExConc_Zan97.xml 0 1 ∞ 19.74/8.03
Strategy_removed_CSR_05/ExIntrod_GM01.xml 0 1 ∞ 63.12/21.31
Strategy_removed_CSR_05/ExIntrod_GM04.xml 0 1 ∞ 136.89/72.70
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml pending submission
Strategy_removed_CSR_05/Ex2_Luc03b.xml 0 1 ∞ 21.92/8.97
Strategy_removed_CSR_05/Ex1_GL02a.xml 0 1 ∞ 24.50/8.77
Strategy_removed_CSR_05/Ex26_Luc03b.xml 0 1 ∞ 37.09/13.91
Strategy_removed_CSR_05/Ex9_BLR02.xml pending submission
Strategy_removed_CSR_05/Ex5_Zan97.xml 0 1 ∞ 18.47/8.01
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 0 1 ∞ 57.28/21.88
Strategy_removed_CSR_05/Ex1_Luc02b.xml pending submission
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 0 1 ∞ 8.96/2.93
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 0 1 ∞ 27.00/8.64
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 0 1 ∞ 914.83/296.12
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 0 1 ∞ 27.54/10.64
Strategy_removed_AG01/#4.19.xml 0 1 ∞ 0.49/0.07
Strategy_removed_AG01/#4.27.xml 0 1 ∞ 649.17/296.12
Strategy_removed_AG01/#4.17.xml 1 1 n1 326.74/0.09
Strategy_removed_AG01/#4.22.xml 0 1 ∞ 15.01/5.98
Strategy_removed_AG01/#4.36.xml 0 1 ∞ 884.29/296.50
Strategy_removed_AG01/#4.37.xml 1 1 n1 0.11/0.04
Strategy_removed_AG01/#4.20a.xml 1 1 n1 0.04/0.02
Strategy_removed_AG01/#4.30b.xml 0 1 ∞ 28.36/9.22
Strategy_removed_AG01/#4.33.xml 0 1 ∞ 174.40/55.49
Strategy_removed_AG01/#4.26.xml 0 1 ∞ 23.21/9.46
Strategy_removed_AG01/#4.35.xml 0 1 ∞ 0.15/0.05
Strategy_removed_AG01/#4.16.xml 1 1 n1 1.43/0.42
Strategy_removed_AG01/#4.14.xml 1 1 n1 3.30/0.89
Strategy_removed_AG01/#4.23.xml 0 1 ∞ 17.98/7.05
Strategy_removed_AG01/#4.32.xml 1 1 n2 0.99/0.53
Strategy_removed_AG01/#4.28.xml 1 1 n1 9.30/2.49
Strategy_removed_AG01/#4.25.xml 0 1 ∞ 0.02/0.02
Strategy_removed_AG01/#4.30a.xml 0 1 ∞ 22.14/7.78
Strategy_removed_AG01/#4.30.xml 0 1 ∞ 29.94/10.13
Strategy_removed_AG01/#4.29.xml pending submission
Strategy_removed_AG01/#4.34.xml 1 1 n2 1.54/0.82
Strategy_removed_AG01/#4.37a.xml 1 1 n1 0.16/0.05
Strategy_removed_AG01/#4.30c.xml 0 1 ∞ 30.82/10.60
Strategy_removed_AG01/#4.2.xml 1 1 n1 4.57/1.35
Strategy_removed_AG01/#4.7.xml 0 1 ∞ 776.15/296.08
Zantema_05/z16.xml 0 1 ∞ 979.17/296.13
Zantema_05/z28.xml 0 1 ∞ 29.15/11.22
Zantema_05/z10.xml 0 1 ∞ 31.08/12.10
Zantema_05/z13.xml 0 1 ∞ 991.61/296.23
Zantema_05/z17.xml 0 1 ∞ 610.41/296.58
Zantema_05/z26.xml 1 1 n1 0.04/0.02
Zantema_05/z27.xml 0 1 ∞ 15.68/6.69
Zantema_05/z23.xml 0 1 ∞ 797.89/296.15
Zantema_05/z12.xml 0 1 ∞ 453.75/296.03
Zantema_05/z15.xml 0 1 ∞ 1114.93/296.37
Zantema_05/z14.xml 0 1 ∞ 948.08/296.11
Zantema_05/z24.xml 0 1 ∞ 699.14/296.18
Zantema_05/z18.xml 0 1 ∞ 1093.86/296.16
Waldmann_06/jwno4.xml 0 1 ∞ 79.02/56.34
Waldmann_06/jwmatchb2.xml 1 1 n1 0.82/0.07
Waldmann_06/jwno6.xml 0 1 ∞ 70.55/48.86
Waldmann_06/jwmatchb1.xml 1 1 n1 0.19/0.03
Waldmann_06/jwno1.xml 0 1 ∞ 33.74/13.16
126