TermComp 2020
: TRS Innermost
41494
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
muterm 6.0.3
default
--
YES
NO
MAYBE
timeout
AProVE
standard
--
YES
NO
MAYBE
timeout
raML/
rationalPotential.raml.xml
11763530
YES
0.04/0.10
YES
4.05/2.30
raML/
subtrees.raml.xml
11763531
YES
0.04/0.04
YES
4.01/1.86
raML/
queue.raml.xml
11763532
YES
18.33/18.65
YES
14.08/4.71
raML/
appendAll.raml.xml
11763533
YES
0.04/0.04
YES
3.51/1.68
Applicative_
AG01_
innermost/
#4.24.xml
11763534
YES
0.03/0.09
YES
4.72/2.09
Applicative_
AG01_
innermost/
#4.3.xml
11763535
YES
0.02/0.08
YES
4.28/1.85
Applicative_
AG01_
innermost/
#4.19.xml
11763536
is
MAYBE
82.24/82.36
YES
4.68/1.94
Applicative_
AG01_
innermost/
#4.17.xml
11763537
YES
22.50/22.56
YES
4.62/2.62
Applicative_
AG01_
innermost/
#4.10.xml
11763538
YES
0.02/0.07
YES
4.34/1.98
Applicative_
AG01_
innermost/
#4.22.xml
11763539
is
MAYBE
206.34/206.91
YES
4.73/2.14
Applicative_
AG01_
innermost/
#4.34.xml
11763540
YES
0.80/0.91
YES
5.01/2.73
Applicative_
AG01_
innermost/
#4.5.xml
11763541
YES
0.02/0.03
YES
4.24/1.93
Applicative_
AG01_
innermost/
#4.2.xml
11763542
YES
0.02/0.05
YES
4.35/1.88
Applicative_
AG01_
innermost/
#4.8.xml
11763543
YES
21.70/21.79
YES
8.14/3.14
Applicative_
AG01_
innermost/
#4.13.xml
11763544
YES
0.03/0.06
YES
4.48/1.98
Applicative_
AG01_
innermost/
#4.26.xml
11763545
is
MAYBE
293.96/295.01
YES
5.47/2.22
Applicative_
AG01_
innermost/
#4.28.xml
11763546
is
MAYBE
82.34/82.44
YES
4.64/2.88
Applicative_
AG01_
innermost/
#4.7.xml
11763547
YES
0.02/0.03
YES
4.35/1.86
Applicative_
AG01_
innermost/
#4.36.xml
11763548
is
timeout (wallclock)
YES
7.53/3.92
Applicative_
AG01_
innermost/
#4.15.xml
11763549
YES
0.03/0.03
YES
4.52/2.09
AG01_
innermost/
#4.13.xml
11763214
YES
0.01/0.05
YES
3.43/1.73
AG01_
innermost/
#4.7.xml
11763215
YES
0.01/0.07
YES
3.65/1.77
AG01_
innermost/
#4.14.xml
11763216
YES
0.01/0.07
YES
3.56/1.73
AG01_
innermost/
#4.28.xml
11763217
YES
0.05/0.13
YES
3.53/1.66
AG01_
innermost/
#4.21.xml
11763218
YES
0.01/0.06
YES
3.33/1.63
AG01_
innermost/
#4.26.xml
11763219
YES
0.08/0.14
YES
4.92/2.09
AG01_
innermost/
#4.37.xml
11763220
YES
0.04/0.12
YES
3.73/1.81
AG01_
innermost/
#4.30.xml
11763221
YES
203.75/204.25
YES
8.26/3.42
AG01_
innermost/
#4.20a.xml
11763222
YES
0.03/0.08
YES
3.33/1.64
AG01_
innermost/
#4.27.xml
11763223
YES
0.05/0.12
YES
3.85/1.84
AG01_
innermost/
#4.20.xml
11763224
YES
0.01/0.06
YES
3.44/1.61
AG01_
innermost/
#4.29.xml
11763225
YES
0.25/0.36
YES
5.13/2.09
AG01_
innermost/
#4.15.xml
11763226
YES
0.01/0.07
YES
3.96/1.97
AG01_
innermost/
#4.30a.xml
11763227
YES
20.17/20.22
YES
4.89/2.07
AG01_
innermost/
#4.31.xml
11763228
YES
88.60/88.86
YES
13.26/4.09
AG01_
innermost/
#4.36.xml
11763229
YES
0.21/0.20
YES
6.03/2.42
AG01_
innermost/
#4.30b.xml
11763230
YES
81.82/82.70
YES
7.00/3.18
AG01_
innermost/
#4.35.xml
11763231
YES
0.21/0.31
YES
5.99/2.39
AG01_
innermost/
#4.32.xml
11763232
YES
0.01/0.06
YES
3.56/1.77
AG01_
innermost/
#4.23.xml
11763233
YES
0.03/0.10
YES
4.22/1.88
AG01_
innermost/
#4.24.xml
11763234
YES
0.02/0.06
YES
3.83/1.91
AG01_
innermost/
#4.18.xml
11763235
YES
0.01/0.06
YES
4.55/1.89
AG01_
innermost/
#4.2.xml
11763236
YES
0.01/0.02
YES
3.60/1.81
AG01_
innermost/
#4.5.xml
11763237
YES
0.01/0.07
YES
5.42/2.24
AG01_
innermost/
#4.16.xml
11763238
YES
0.01/0.02
YES
3.53/1.64
AG01_
innermost/
#4.33.xml
11763239
YES
0.07/0.12
YES
4.18/1.83
AG01_
innermost/
#4.34.xml
11763240
YES
0.13/0.13
YES
3.96/1.87
AG01_
innermost/
#4.37a.xml
11763241
YES
0.05/0.09
YES
3.83/1.87
AG01_
innermost/
#4.4.xml
11763242
YES
0.01/0.05
YES
3.47/1.66
AG01_
innermost/
#4.17.xml
11763243
YES
49.25/36.79
YES
3.76/1.75
AG01_
innermost/
#4.12a.xml
11763244
YES
0.22/0.26
YES
4.06/1.93
AG01_
innermost/
#4.3.xml
11763245
YES
0.03/0.08
YES
3.40/2.52
AG01_
innermost/
#4.19.xml
11763246
YES
0.01/0.08
YES
3.67/1.82
AG01_
innermost/
#4.25.xml
11763247
YES
0.12/0.19
YES
3.53/1.75
AG01_
innermost/
#4.22.xml
11763248
YES
0.03/0.08
YES
3.73/1.79
Transformed_
CSR_
innermost_
04/
PEANO_
nosorts_
noand_
C.xml
11763249
YES
0.27/0.34
YES
3.76/1.82
Transformed_
CSR_
innermost_
04/
MYNAT_
nokinds_
noand_
GM.xml
11763250
YES
107.09/111.87
YES
14.90/4.83
Transformed_
CSR_
innermost_
04/
Ex5_
Zan97_
GM.xml
11763251
YES
1.33/1.45
YES
4.54/1.92
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nokinds_
C.xml
11763252
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
Zan97_
iGM.xml
11763253
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
7_
37_
Bor03_
GM.xml
11763254
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex6_
9_
Luc02c_
C.xml
11763255
YES
0.14/0.18
YES
4.35/1.87
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
complete_
iGM.xml
11763256
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
ExIntrod_
Zan97_
C.xml
11763257
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nosorts_
C.xml
11763258
is
timeout (wallclock)
YES
4.34/1.94
Transformed_
CSR_
innermost_
04/
Ex5_
7_
Luc97_
C.xml
11763259
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
ExAppendixB_
AEL03_
C.xml
11763260
is
timeout (wallclock)
YES
4.41/1.89
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM04_
iGM.xml
11763261
YES
1.95/2.35
YES
7.97/3.01
Transformed_
CSR_
innermost_
04/
Ex25_
Luc06_
C.xml
11763262
YES
0.10/0.12
YES
3.89/1.70
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nosorts_
iGM.xml
11763263
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex14_
AEGL02_
iGM.xml
11763264
YES
0.76/0.87
YES
7.21/2.77
Transformed_
CSR_
innermost_
04/
Ex16_
Luc06_
GM.xml
11763265
YES
0.03/0.08
YES
3.83/1.71
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nokinds_
iGM.xml
11763266
is
timeout (wallclock)
YES
115.79/43.01
Transformed_
CSR_
innermost_
04/
Ex4_
Zan97_
GM.xml
11763267
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex26_
Luc03b_
iGM.xml
11763268
YES
0.73/0.77
YES
12.29/4.43
Transformed_
CSR_
innermost_
04/
Ex4_
4_
Luc96b_
C.xml
11763269
YES
0.07/0.10
YES
4.16/1.89
Transformed_
CSR_
innermost_
04/
ExIntrod_
Zan97_
iGM.xml
11763270
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex3_
2_
Luc97_
C.xml
11763271
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nokinds_
noand_
C.xml
11763272
is
timeout (wallclock)
YES
6.15/2.42
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nosorts_
GM.xml
11763273
is
timeout (wallclock)
NO
5.72/2.59
Transformed_
CSR_
innermost_
04/
Ex15_
Luc98_
C.xml
11763274
YES
0.21/0.27
YES
3.70/4.65
Transformed_
CSR_
innermost_
04/
Ex24_
Luc06_
iGM.xml
11763275
is
timeout (wallclock)
YES
4.25/2.02
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM99_
iGM.xml
11763276
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PALINDROME_
nokinds_
noand_
C.xml
11763277
YES
1.08/1.19
YES
4.98/2.04
Transformed_
CSR_
innermost_
04/
PEANO_
complete_
noand_
iGM.xml
11763278
YES
118.25/120.90
YES
174.88/67.30
Transformed_
CSR_
innermost_
04/
ExSec11_
1_
Luc02a_
iGM.xml
11763279
is
timeout (wallclock)
YES
17.29/5.58
Transformed_
CSR_
innermost_
04/
Ex14_
Luc06_
GM.xml
11763280
YES
125.31/125.74
YES
4.33/2.04
Transformed_
CSR_
innermost_
04/
MYNAT_
complete_
GM.xml
11763281
is
timeout (wallclock)
YES
7.01/2.81
Transformed_
CSR_
innermost_
04/
Ex1_
Zan97_
iGM.xml
11763282
YES
0.04/0.07
YES
3.75/1.71
Transformed_
CSR_
innermost_
04/
Ex2_
Luc03b_
L.xml
11763283
YES
0.01/0.05
YES
3.55/1.73
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
complete_
GM.xml
11763284
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nosorts_
noand_
iGM.xml
11763285
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex8_
BLR02_
iGM.xml
11763286
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PALINDROME_
nokinds_
iGM.xml
11763287
YES
1.21/1.34
YES
6.69/2.55
Transformed_
CSR_
innermost_
04/
PEANO_
nosorts_
noand_
iGM.xml
11763288
YES
0.30/0.34
YES
6.03/2.40
Transformed_
CSR_
innermost_
04/
Ex15_
Luc06_
GM.xml
11763289
YES
0.01/0.03
YES
3.34/1.67
Transformed_
CSR_
innermost_
04/
OvConsOS_
nosorts_
noand_
iGM.xml
11763290
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex5_
7_
Luc97_
iGM.xml
11763291
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex6_
Luc98_
GM.xml
11763292
YES
0.09/0.14
YES
5.20/2.14
Transformed_
CSR_
innermost_
04/
PALINDROME_
nosorts_
iGM.xml
11763293
YES
0.21/0.31
YES
5.06/2.22
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nosorts_
noand_
C.xml
11763294
is
timeout (wallclock)
YES
4.87/2.03
Transformed_
CSR_
innermost_
04/
MYNAT_
complete_
noand_
GM.xml
11763295
is
timeout (wallclock)
YES
39.86/12.14
Transformed_
CSR_
innermost_
04/
Ex18_
Luc06_
iGM.xml
11763296
YES
0.04/0.05
YES
4.20/1.96
Transformed_
CSR_
innermost_
04/
Ex4_
7_
15_
Bor03_
iGM.xml
11763297
YES
0.54/0.63
YES
7.45/2.89
Transformed_
CSR_
innermost_
04/
Ex15_
Luc06_
C.xml
11763298
YES
223.77/92.24
YES
3.72/1.64
Transformed_
CSR_
innermost_
04/
Ex3_
3_
25_
Bor03_
C.xml
11763299
YES
0.21/0.23
YES
3.88/1.84
Transformed_
CSR_
innermost_
04/
Ex1_
Luc04b_
iGM.xml
11763300
YES
4.46/4.89
YES
9.34/3.76
Transformed_
CSR_
innermost_
04/
Ex6_
GM04_
C.xml
11763301
YES
0.06/0.12
YES
4.15/1.89
Transformed_
CSR_
innermost_
04/
OvConsOS_
nosorts_
noand_
C.xml
11763302
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PEANO_
nosorts_
GM.xml
11763303
YES
0.18/0.21
YES
3.42/1.60
Transformed_
CSR_
innermost_
04/
Ex23_
Luc06_
L.xml
11763304
YES
0.01/0.04
YES
3.45/2.49
Transformed_
CSR_
innermost_
04/
Ex24_
GM04_
GM.xml
11763305
YES
0.02/0.02
YES
3.59/1.77
Transformed_
CSR_
innermost_
04/
MYNAT_
nokinds_
noand_
C.xml
11763306
is
timeout (wallclock)
YES
4.84/2.87
Transformed_
CSR_
innermost_
04/
Ex1_
Luc02b_
GM.xml
11763307
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PALINDROME_
nosorts_
noand_
iGM.xml
11763308
YES
0.28/0.34
YES
5.11/2.14
Transformed_
CSR_
innermost_
04/
Ex7_
BLR02_
iGM.xml
11763309
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM04_
C.xml
11763310
YES
6.37/6.44
YES
4.20/1.89
Transformed_
CSR_
innermost_
04/
Ex49_
GM04_
GM.xml
11763311
YES
0.16/0.22
YES
5.85/2.50
Transformed_
CSR_
innermost_
04/
ExProp7_
Luc06_
L.xml
11763312
YES
0.05/0.08
YES
3.45/1.59
Transformed_
CSR_
innermost_
04/
Ex26_
Luc03b_
L.xml
11763313
YES
0.01/0.06
YES
3.49/1.62
Transformed_
CSR_
innermost_
04/
Ex3_
3_
25_
Bor03_
GM.xml
11763314
YES
0.31/0.33
YES
9.14/4.69
Transformed_
CSR_
innermost_
04/
Ex4_
4_
Luc96b_
iGM.xml
11763315
YES
0.05/0.11
YES
4.69/2.05
Transformed_
CSR_
innermost_
04/
Ex9_
Luc04_
iGM.xml
11763316
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
OvConsOS_
complete_
C.xml
11763317
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex1_
Zan97_
C.xml
11763318
YES
72.16/72.68
YES
9.47/3.23
Transformed_
CSR_
innermost_
04/
Ex9_
BLR02_
GM.xml
11763319
YES
0.19/0.20
YES
6.23/2.46
Transformed_
CSR_
innermost_
04/
Ex1_
Zan97_
GM.xml
11763320
YES
0.03/0.05
YES
3.36/1.54
Transformed_
CSR_
innermost_
04/
PALINDROME_
complete_
C.xml
11763321
is
timeout (wallclock)
YES
7.57/2.68
Transformed_
CSR_
innermost_
04/
Ex18_
Luc06_
C.xml
11763322
YES
0.06/0.07
YES
3.76/1.67
Transformed_
CSR_
innermost_
04/
Ex5_
DLMMU04_
C.xml
11763323
YES
2.11/2.15
YES
4.59/1.86
Transformed_
CSR_
innermost_
04/
Ex4_
7_
56_
Bor03_
iGM.xml
11763324
is
timeout (wallclock)
YES
17.06/5.71
Transformed_
CSR_
innermost_
04/
ExConc_
Zan97_
C.xml
11763325
YES
0.07/0.08
YES
4.02/1.89
Transformed_
CSR_
innermost_
04/
Ex8_
BLR02_
GM.xml
11763326
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex49_
GM04_
iGM.xml
11763327
YES
0.46/0.46
YES
10.95/3.78
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nokinds_
noand_
GM.xml
11763328
YES
0.20/0.21
YES
8.95/3.00
Transformed_
CSR_
innermost_
04/
Ex4_
7_
56_
Bor03_
C.xml
11763329
is
timeout (wallclock)
YES
3.94/1.71
Transformed_
CSR_
innermost_
04/
OvConsOS_
nokinds_
noand_
GM.xml
11763330
YES
1.10/1.11
YES
16.68/5.30
Transformed_
CSR_
innermost_
04/
Ex4_
7_
37_
Bor03_
iGM.xml
11763331
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM01_
GM.xml
11763332
YES
0.95/0.96
YES
7.12/2.74
Transformed_
CSR_
innermost_
04/
OvConsOS_
nosorts_
GM.xml
11763333
is
timeout (wallclock)
NO
14.36/7.49
Transformed_
CSR_
innermost_
04/
Ex5_
7_
Luc97_
GM.xml
11763334
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex24_
GM04_
C.xml
11763335
is
timeout (wallclock)
YES
3.50/3.24
Transformed_
CSR_
innermost_
04/
ExProp7_
Luc06_
GM.xml
11763336
YES
0.18/0.19
YES
4.69/1.91
Transformed_
CSR_
innermost_
04/
Ex2_
Luc02a_
iGM.xml
11763337
is
timeout (wallclock)
YES
12.85/4.26
Transformed_
CSR_
innermost_
04/
Ex6_
GM04_
GM.xml
11763338
YES
0.01/0.02
YES
3.41/1.57
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
complete_
noand_
GM.xml
11763339
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex2_
Luc03b_
C.xml
11763340
YES
0.18/0.19
YES
3.75/1.69
Transformed_
CSR_
innermost_
04/
MYNAT_
complete_
noand_
iGM.xml
11763341
is
timeout (wallclock)
YES
736.29/257.98
Transformed_
CSR_
innermost_
04/
OvConsOS_
complete_
noand_
C.xml
11763342
is
timeout (wallclock)
YES
10.84/3.57
Transformed_
CSR_
innermost_
04/
PEANO_
complete_
noand_
GM.xml
11763343
YES
1.94/1.94
YES
12.12/4.04
Transformed_
CSR_
innermost_
04/
OvConsOS_
complete_
noand_
GM.xml
11763344
YES
7.54/7.57
YES
41.70/12.74
Transformed_
CSR_
innermost_
04/
MYNAT_
nosorts_
noand_
iGM.xml
11763345
YES
78.18/79.78
YES
7.69/2.84
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
complete_
GM.xml
11763346
YES
15.27/15.44
YES
22.00/6.94
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
complete_
noand_
C.xml
11763347
is
timeout (wallclock)
YES
9.71/3.26
Transformed_
CSR_
innermost_
04/
Ex18_
Luc06_
GM.xml
11763348
YES
0.01/0.03
YES
3.49/1.67
Transformed_
CSR_
innermost_
04/
PEANO_
complete_
C.xml
11763349
is
timeout (wallclock)
YES
5.34/2.07
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM99_
C.xml
11763350
is
timeout (wallclock)
YES
4.14/3.07
Transformed_
CSR_
innermost_
04/
Ex4_
4_
Luc96b_
GM.xml
11763351
YES
0.06/0.15
YES
4.50/1.93
Transformed_
CSR_
innermost_
04/
Ex15_
Luc06_
iGM.xml
11763352
YES
0.04/0.06
YES
3.45/1.56
Transformed_
CSR_
innermost_
04/
ExSec4_
2_
DLMMU04_
GM.xml
11763353
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
MYNAT_
nosorts_
iGM.xml
11763354
YES
16.05/17.06
YES
5.26/2.16
Transformed_
CSR_
innermost_
04/
PALINDROME_
nokinds_
C.xml
11763355
YES
0.20/0.20
YES
4.35/1.84
Transformed_
CSR_
innermost_
04/
Ex5_
DLMMU04_
GM.xml
11763356
YES
3.62/3.86
YES
8.64/3.11
Transformed_
CSR_
innermost_
04/
Ex1_
GM03_
GM.xml
11763357
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex6_
15_
AEL02_
GM.xml
11763358
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
complete_
noand_
iGM.xml
11763359
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
MYNAT_
nokinds_
iGM.xml
11763360
is
timeout (wallclock)
YES
6.70/2.48
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nokinds_
iGM.xml
11763361
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PALINDROME_
nosorts_
C.xml
11763362
YES
0.11/0.16
YES
3.56/5.59
Transformed_
CSR_
innermost_
04/
Ex4_
DLMMU04_
iGM.xml
11763363
is
timeout (wallclock)
YES
83.75/23.45
Transformed_
CSR_
innermost_
04/
Ex25_
Luc06_
L.xml
11763364
YES
0.01/0.08
YES
3.31/1.68
Transformed_
CSR_
innermost_
04/
Ex2_
Luc02a_
GM.xml
11763365
YES
174.79/197.39
YES
8.02/3.12
Transformed_
CSR_
innermost_
04/
OvConsOS_
nosorts_
noand_
GM.xml
11763366
is
timeout (wallclock)
NO
26.56/11.54
Transformed_
CSR_
innermost_
04/
PALINDROME_
complete_
GM.xml
11763367
YES
20.60/20.85
YES
7.72/2.88
Transformed_
CSR_
innermost_
04/
MYNAT_
nokinds_
GM.xml
11763368
YES
287.15/295.46
YES
4.77/1.98
Transformed_
CSR_
innermost_
04/
Ex1_
Luc02b_
iGM.xml
11763369
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PALINDROME_
nosorts_
GM.xml
11763370
YES
0.30/0.30
YES
3.55/1.58
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nosorts_
noand_
GM.xml
11763371
is
timeout (wallclock)
NO
10.42/3.69
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nosorts_
iGM.xml
11763372
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
4_
Luc96b_
L.xml
11763373
YES
0.01/0.07
YES
3.20/1.76
Transformed_
CSR_
innermost_
04/
MYNAT_
nokinds_
C.xml
11763374
is
timeout (wallclock)
YES
6.61/2.43
Transformed_
CSR_
innermost_
04/
Ex5_
Zan97_
C.xml
11763375
YES
2.82/2.96
YES
3.81/1.72
Transformed_
CSR_
innermost_
04/
Ex1_
2_
Luc02c_
iGM.xml
11763376
YES
0.94/6.22
YES
10.39/3.52
Transformed_
CSR_
innermost_
04/
Ex6_
9_
Luc02c_
iGM.xml
11763377
YES
67.80/69.03
YES
18.51/12.07
Transformed_
CSR_
innermost_
04/
Ex1_
GL02a_
iGM.xml
11763378
YES
1.14/1.22
YES
4.65/2.03
Transformed_
CSR_
innermost_
04/
MYNAT_
nosorts_
noand_
GM.xml
11763379
YES
63.51/66.88
YES
4.65/1.94
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nokinds_
C.xml
11763380
is
timeout (wallclock)
YES
6.33/3.22
Transformed_
CSR_
innermost_
04/
Ex8_
BLR02_
C.xml
11763381
is
timeout (wallclock)
YES
4.42/4.15
Transformed_
CSR_
innermost_
04/
Ex18_
Luc06_
L.xml
11763382
YES
0.01/0.75
YES
3.57/1.71
Transformed_
CSR_
innermost_
04/
Ex7_
BLR02_
C.xml
11763383
is
timeout (wallclock)
YES
4.00/1.95
Transformed_
CSR_
innermost_
04/
Ex1_
GL02a_
GM.xml
11763384
YES
0.02/0.07
YES
3.85/2.21
Transformed_
CSR_
innermost_
04/
Ex1_
2_
Luc02c_
C.xml
11763385
YES
0.10/0.13
YES
5.06/2.10
Transformed_
CSR_
innermost_
04/
Ex1_
GM03_
iGM.xml
11763386
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex6_
Luc98_
iGM.xml
11763387
YES
0.14/0.16
YES
7.42/5.34
Transformed_
CSR_
innermost_
04/
ExConc_
Zan97_
L.xml
11763388
YES
0.01/0.05
YES
3.25/1.62
Transformed_
CSR_
innermost_
04/
MYNAT_
nosorts_
C.xml
11763389
YES
3.32/3.47
YES
3.77/2.01
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nosorts_
C.xml
11763390
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
7_
15_
Bor03_
GM.xml
11763391
YES
0.03/0.08
YES
4.26/1.99
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM01_
iGM.xml
11763392
YES
3.70/4.22
YES
10.32/3.68
Transformed_
CSR_
innermost_
04/
Ex3_
3_
25_
Bor03_
L.xml
11763393
YES
0.01/0.06
YES
3.63/1.64
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nokinds_
noand_
iGM.xml
11763394
YES
218.53/221.52
YES
56.46/16.78
Transformed_
CSR_
innermost_
04/
Ex23_
Luc06_
C.xml
11763395
YES
0.08/0.13
YES
4.05/1.83
Transformed_
CSR_
innermost_
04/
Ex23_
Luc06_
iGM.xml
11763396
YES
0.02/0.06
YES
3.75/1.69
Transformed_
CSR_
innermost_
04/
PALINDROME_
complete_
noand_
GM.xml
11763397
YES
7.24/7.25
YES
11.94/4.59
Transformed_
CSR_
innermost_
04/
Ex5_
DLMMU04_
iGM.xml
11763398
YES
18.78/21.41
YES
20.49/6.50
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nokinds_
GM.xml
11763399
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex7_
BLR02_
GM.xml
11763400
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
MYNAT_
complete_
noand_
C.xml
11763401
is
timeout (wallclock)
YES
6.36/2.39
Transformed_
CSR_
innermost_
04/
ExProp7_
Luc06_
C.xml
11763402
YES
82.19/65.96
YES
3.96/1.91
Transformed_
CSR_
innermost_
04/
Ex26_
Luc03b_
C.xml
11763403
YES
0.27/0.27
YES
3.89/1.72
Transformed_
CSR_
innermost_
04/
Ex1_
GM99_
C.xml
11763404
is
timeout (wallclock)
YES
3.63/1.90
Transformed_
CSR_
innermost_
04/
Ex6_
15_
AEL02_
C.xml
11763405
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
complete_
C.xml
11763406
is
timeout (wallclock)
YES
152.75/41.25
Transformed_
CSR_
innermost_
04/
ExConc_
Zan97_
iGM.xml
11763407
YES
0.02/0.06
YES
3.69/1.75
Transformed_
CSR_
innermost_
04/
OvConsOS_
complete_
noand_
iGM.xml
11763408
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
OvConsOS_
complete_
GM.xml
11763409
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
ExAppendixB_
AEL03_
GM.xml
11763410
is
timeout (wallclock)
YES
166.99/46.02
Transformed_
CSR_
innermost_
04/
Ex1_
Luc02b_
C.xml
11763411
is
timeout (wallclock)
YES
3.81/1.92
Transformed_
CSR_
innermost_
04/
OvConsOS_
nokinds_
GM.xml
11763412
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex1_
GM99_
GM.xml
11763413
YES
0.04/0.11
YES
4.32/1.94
Transformed_
CSR_
innermost_
04/
Ex1_
2_
AEL03_
iGM.xml
11763414
is
timeout (wallclock)
YES
122.91/43.65
Transformed_
CSR_
innermost_
04/
ExSec11_
1_
Luc02a_
GM.xml
11763415
is
timeout (wallclock)
YES
8.13/2.88
Transformed_
CSR_
innermost_
04/
Ex1_
2_
AEL03_
C.xml
11763416
is
timeout (wallclock)
YES
4.24/1.82
Transformed_
CSR_
innermost_
04/
Ex3_
2_
Luc97_
GM.xml
11763417
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex15_
Luc98_
GM.xml
11763418
YES
0.19/0.32
YES
4.45/1.96
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM01_
C.xml
11763419
YES
2.09/2.18
YES
4.21/1.96
Transformed_
CSR_
innermost_
04/
MYNAT_
nosorts_
noand_
C.xml
11763420
YES
11.78/11.90
YES
3.97/1.84
Transformed_
CSR_
innermost_
04/
OvConsOS_
nokinds_
noand_
iGM.xml
11763421
is
timeout (wallclock)
YES
188.33/63.72
Transformed_
CSR_
innermost_
04/
PEANO_
nokinds_
noand_
iGM.xml
11763422
YES
5.45/6.16
YES
23.34/7.38
Transformed_
CSR_
innermost_
04/
Ex24_
Luc06_
GM.xml
11763423
YES
0.01/0.06
YES
3.85/1.70
Transformed_
CSR_
innermost_
04/
OvConsOS_
nokinds_
noand_
C.xml
11763424
is
timeout (wallclock)
YES
6.78/2.49
Transformed_
CSR_
innermost_
04/
PALINDROME_
nokinds_
noand_
GM.xml
11763425
YES
1.21/1.25
YES
7.25/2.56
Transformed_
CSR_
innermost_
04/
PALINDROME_
complete_
noand_
iGM.xml
11763426
YES
228.25/228.49
YES
21.92/12.77
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nokinds_
noand_
iGM.xml
11763427
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex25_
Luc06_
GM.xml
11763428
YES
0.02/0.05
YES
3.44/1.78
Transformed_
CSR_
innermost_
04/
Ex26_
Luc03b_
GM.xml
11763429
YES
0.22/0.54
YES
6.25/3.59
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
complete_
iGM.xml
11763430
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
7_
77_
Bor03_
iGM.xml
11763431
YES
0.20/0.32
YES
4.17/1.84
Transformed_
CSR_
innermost_
04/
Ex14_
AEGL02_
GM.xml
11763432
YES
0.05/0.07
YES
5.67/2.35
Transformed_
CSR_
innermost_
04/
Ex3_
12_
Luc96a_
C.xml
11763433
is
timeout (wallclock)
YES
3.77/1.82
Transformed_
CSR_
innermost_
04/
PALINDROME_
nokinds_
GM.xml
11763434
YES
0.81/0.82
YES
4.00/1.71
Transformed_
CSR_
innermost_
04/
MYNAT_
nosorts_
GM.xml
11763435
YES
27.68/29.22
YES
4.10/1.85
Transformed_
CSR_
innermost_
04/
ExAppendixB_
AEL03_
iGM.xml
11763436
is
timeout (wallclock)
YES
137.40/49.72
Transformed_
CSR_
innermost_
04/
Ex4_
7_
56_
Bor03_
GM.xml
11763437
is
timeout (wallclock)
YES
15.51/4.78
Transformed_
CSR_
innermost_
04/
Ex6_
15_
AEL02_
iGM.xml
11763438
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex14_
Luc06_
iGM.xml
11763439
is
timeout (wallclock)
YES
6.47/2.51
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nosorts_
noand_
GM.xml
11763440
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
PALINDROME_
nosorts_
noand_
C.xml
11763441
YES
0.12/0.15
YES
3.91/1.74
Transformed_
CSR_
innermost_
04/
PEANO_
complete_
noand_
C.xml
11763442
is
timeout (wallclock)
YES
6.82/3.60
Transformed_
CSR_
innermost_
04/
Ex2_
Luc02a_
L.xml
11763443
YES
0.02/0.04
YES
3.75/4.06
Transformed_
CSR_
innermost_
04/
PEANO_
complete_
iGM.xml
11763444
YES
16.14/16.76
YES
6.78/2.49
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nosorts_
noand_
C.xml
11763445
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
complete_
noand_
iGM.xml
11763446
is
timeout (wallclock)
YES
448.33/162.20
Transformed_
CSR_
innermost_
04/
Ex4_
7_
15_
Bor03_
L.xml
11763447
YES
0.03/0.08
YES
3.45/1.57
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nokinds_
noand_
C.xml
11763448
is
timeout (wallclock)
YES
7.20/2.59
Transformed_
CSR_
innermost_
04/
PALINDROME_
nokinds_
noand_
iGM.xml
11763449
YES
5.09/5.19
YES
15.21/4.67
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
complete_
noand_
GM.xml
11763450
YES
1.25/1.30
YES
25.74/7.72
Transformed_
CSR_
innermost_
04/
Ex1_
2_
AEL03_
GM.xml
11763451
is
timeout (wallclock)
YES
178.05/48.61
Transformed_
CSR_
innermost_
04/
Ex9_
Luc06_
C.xml
11763452
is
timeout (wallclock)
YES
3.90/1.83
Transformed_
CSR_
innermost_
04/
ExSec11_
1_
Luc02a_
L.xml
11763453
YES
0.02/0.05
YES
3.69/1.67
Transformed_
CSR_
innermost_
04/
PEANO_
nosorts_
noand_
GM.xml
11763454
YES
0.23/0.27
YES
3.48/1.71
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nosorts_
GM.xml
11763455
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
DLMMU04_
GM.xml
11763456
is
timeout (wallclock)
YES
55.63/15.10
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
complete_
noand_
C.xml
11763457
is
timeout (wallclock)
YES
13.64/4.37
Transformed_
CSR_
innermost_
04/
Ex23_
Luc06_
GM.xml
11763458
YES
0.01/0.06
YES
3.33/1.55
Transformed_
CSR_
innermost_
04/
PEANO_
nokinds_
noand_
C.xml
11763459
is
timeout (wallclock)
YES
4.62/2.03
Transformed_
CSR_
innermost_
04/
Ex2_
Luc03b_
iGM.xml
11763460
YES
0.43/0.51
YES
8.43/3.12
Transformed_
CSR_
innermost_
04/
Ex9_
BLR02_
C.xml
11763461
YES
0.37/0.43
YES
4.19/1.96
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM99_
GM.xml
11763462
is
timeout (wallclock)
YES
85.64/22.48
Transformed_
CSR_
innermost_
04/
Ex4_
Zan97_
C.xml
11763463
is
timeout (wallclock)
YES
3.86/1.88
Transformed_
CSR_
innermost_
04/
PEANO_
complete_
GM.xml
11763464
YES
14.40/19.13
YES
5.40/2.17
Transformed_
CSR_
innermost_
04/
Ex6_
Luc98_
C.xml
11763465
YES
0.12/0.18
YES
3.96/1.81
Transformed_
CSR_
innermost_
04/
OvConsOS_
nokinds_
iGM.xml
11763466
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex14_
Luc06_
C.xml
11763467
is
timeout (wallclock)
YES
5.03/2.06
Transformed_
CSR_
innermost_
04/
MYNAT_
nokinds_
noand_
iGM.xml
11763468
is
timeout (wallclock)
YES
68.39/23.16
Transformed_
CSR_
innermost_
04/
Ex2_
Luc03b_
GM.xml
11763469
YES
0.18/0.24
YES
7.02/2.70
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
nokinds_
noand_
GM.xml
11763470
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex9_
Luc06_
GM.xml
11763471
YES
0.03/0.11
YES
3.86/1.72
Transformed_
CSR_
innermost_
04/
OvConsOS_
nosorts_
iGM.xml
11763472
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
DLMMU04_
C.xml
11763473
is
timeout (wallclock)
YES
6.74/2.60
Transformed_
CSR_
innermost_
04/
Ex4_
7_
37_
Bor03_
C.xml
11763474
is
timeout (wallclock)
YES
4.90/2.16
Transformed_
CSR_
innermost_
04/
PEANO_
nokinds_
C.xml
11763475
is
timeout (wallclock)
YES
4.31/1.98
Transformed_
CSR_
innermost_
04/
Ex16_
Luc06_
iGM.xml
11763476
is
timeout (wallclock)
YES
4.04/1.93
Transformed_
CSR_
innermost_
04/
Ex24_
Luc06_
C.xml
11763477
is
timeout (wallclock)
YES
3.47/1.60
Transformed_
CSR_
innermost_
04/
PEANO_
nokinds_
noand_
GM.xml
11763478
YES
0.28/0.31
YES
7.22/2.77
Transformed_
CSR_
innermost_
04/
ExIntrod_
GM04_
GM.xml
11763479
YES
0.11/0.11
YES
5.43/2.16
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nokinds_
GM.xml
11763480
YES
0.31/0.31
YES
6.08/2.33
Transformed_
CSR_
innermost_
04/
Ex3_
3_
25_
Bor03_
iGM.xml
11763481
YES
0.48/0.55
YES
10.58/4.13
Transformed_
CSR_
innermost_
04/
OvConsOS_
nokinds_
C.xml
11763482
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
MYNAT_
complete_
iGM.xml
11763483
is
timeout (wallclock)
YES
8.93/3.14
Transformed_
CSR_
innermost_
04/
PEANO_
nosorts_
C.xml
11763484
YES
0.11/0.11
YES
3.60/1.67
Transformed_
CSR_
innermost_
04/
LISTUTILITIES_
complete_
C.xml
11763485
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
OvConsOS_
nosorts_
C.xml
11763486
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex1_
GM99_
iGM.xml
11763487
is
timeout (wallclock)
YES
10.90/4.58
Transformed_
CSR_
innermost_
04/
Ex1_
GL02a_
C.xml
11763488
YES
7.86/7.93
YES
4.11/1.89
Transformed_
CSR_
innermost_
04/
OvConsOS_
complete_
iGM.xml
11763489
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex9_
Luc04_
GM.xml
11763490
is
timeout (wallclock)
YES
5.26/2.27
Transformed_
CSR_
innermost_
04/
ExSec11_
1_
Luc02a_
C.xml
11763491
is
timeout (wallclock)
YES
3.96/1.87
Transformed_
CSR_
innermost_
04/
Ex4_
7_
77_
Bor03_
GM.xml
11763492
YES
0.04/0.05
YES
3.48/1.70
Transformed_
CSR_
innermost_
04/
Ex1_
2_
Luc02c_
GM.xml
11763493
YES
0.42/0.52
YES
6.48/2.52
Transformed_
CSR_
innermost_
04/
Ex25_
Luc06_
iGM.xml
11763494
YES
0.10/0.10
YES
10.61/3.51
Transformed_
CSR_
innermost_
04/
PALINDROME_
complete_
noand_
C.xml
11763495
is
timeout (wallclock)
YES
7.13/2.60
Transformed_
CSR_
innermost_
04/
Ex3_
2_
Luc97_
iGM.xml
11763496
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex9_
Luc06_
iGM.xml
11763497
YES
9.68/9.79
YES
4.36/1.97
Transformed_
CSR_
innermost_
04/
PEANO_
nokinds_
GM.xml
11763498
YES
2.41/2.56
YES
4.36/1.93
Transformed_
CSR_
innermost_
04/
ExConc_
Zan97_
GM.xml
11763499
YES
0.01/0.05
YES
3.29/1.66
Transformed_
CSR_
innermost_
04/
ExSec4_
2_
DLMMU04_
C.xml
11763500
is
timeout (wallclock)
YES
4.36/2.02
Transformed_
CSR_
innermost_
04/
Ex6_
GM04_
iGM.xml
11763501
YES
0.01/0.03
YES
3.29/1.55
Transformed_
CSR_
innermost_
04/
Ex15_
Luc98_
iGM.xml
11763502
YES
0.70/0.71
YES
9.39/3.37
Transformed_
CSR_
innermost_
04/
Ex9_
BLR02_
iGM.xml
11763503
YES
0.53/0.64
YES
13.22/4.85
Transformed_
CSR_
innermost_
04/
Ex3_
12_
Luc96a_
GM.xml
11763504
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex16_
Luc06_
C.xml
11763505
is
timeout (wallclock)
YES
3.68/1.72
Transformed_
CSR_
innermost_
04/
Ex9_
BLR02_
L.xml
11763506
YES
0.01/0.06
YES
3.47/1.63
Transformed_
CSR_
innermost_
04/
Ex1_
Luc04b_
C.xml
11763507
YES
1.54/1.61
YES
3.91/2.54
Transformed_
CSR_
innermost_
04/
PALINDROME_
complete_
iGM.xml
11763508
YES
37.30/38.06
YES
11.43/3.81
Transformed_
CSR_
innermost_
04/
Ex1_
Luc04b_
GM.xml
11763509
YES
0.73/0.80
YES
6.77/2.66
Transformed_
CSR_
innermost_
04/
Ex6_
Luc98_
L.xml
11763510
YES
0.01/0.02
YES
3.56/1.66
Transformed_
CSR_
innermost_
04/
MYNAT_
complete_
C.xml
11763511
is
timeout (wallclock)
YES
11.87/3.81
Transformed_
CSR_
innermost_
04/
Ex14_
AEGL02_
C.xml
11763512
is
timeout (wallclock)
YES
3.89/1.84
Transformed_
CSR_
innermost_
04/
PALINDROME_
nosorts_
noand_
GM.xml
11763513
YES
0.29/0.29
YES
3.45/1.58
Transformed_
CSR_
innermost_
04/
Ex5_
Zan97_
iGM.xml
11763514
YES
3.98/4.14
YES
5.93/2.34
Transformed_
CSR_
innermost_
04/
Ex9_
Luc04_
C.xml
11763515
is
timeout (wallclock)
YES
3.59/1.80
Transformed_
CSR_
innermost_
04/
Ex2_
Luc02a_
C.xml
11763516
is
timeout (wallclock)
YES
3.88/2.67
Transformed_
CSR_
innermost_
04/
ExProp7_
Luc06_
iGM.xml
11763517
YES
0.69/0.78
YES
8.48/3.11
Transformed_
CSR_
innermost_
04/
PEANO_
nosorts_
iGM.xml
11763518
YES
0.16/0.57
YES
4.88/1.99
Transformed_
CSR_
innermost_
04/
ExSec4_
2_
DLMMU04_
iGM.xml
11763519
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex6_
9_
Luc02c_
GM.xml
11763520
YES
34.79/36.62
YES
8.73/3.88
Transformed_
CSR_
innermost_
04/
ExIntrod_
Zan97_
GM.xml
11763521
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex49_
GM04_
C.xml
11763522
YES
3.24/7.90
YES
4.31/1.84
Transformed_
CSR_
innermost_
04/
Ex4_
7_
15_
Bor03_
C.xml
11763523
YES
116.03/83.05
YES
3.75/1.66
Transformed_
CSR_
innermost_
04/
Ex3_
12_
Luc96a_
iGM.xml
11763524
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex24_
GM04_
iGM.xml
11763525
YES
0.75/0.90
YES
4.01/1.88
Transformed_
CSR_
innermost_
04/
PEANO_
nokinds_
iGM.xml
11763526
YES
1.79/2.00
YES
5.19/2.16
Transformed_
CSR_
innermost_
04/
Ex1_
GM03_
C.xml
11763527
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
LengthOfFiniteLists_
nosorts_
noand_
iGM.xml
11763528
u
timeout (wallclock)
timeout (wallclock)
Transformed_
CSR_
innermost_
04/
Ex4_
7_
77_
Bor03_
C.xml
11763529
YES
0.15/0.19
YES
3.68/1.73
Mixed_
innermost/
test833.xml
11763184
YES
0.12/0.35
YES
3.45/1.69
Mixed_
innermost/
innermost3.xml
11763185
YES
120.88/121.05
YES
4.13/1.95
Mixed_
innermost/
tricky1.xml
11763186
YES
0.01/0.03
YES
3.80/1.68
Mixed_
innermost/
innermost4.xml
11763187
YES
122.94/125.17
YES
3.86/1.83
Mixed_
innermost/
cade04.xml
11763188
u
timeout (wallclock)
timeout (wallclock)
Mixed_
innermost/
bn111.xml
11763189
YES
0.03/0.08
YES
3.45/1.77
Mixed_
innermost/
narrow2.xml
11763190
u
timeout (wallclock)
timeout (wallclock)
Mixed_
innermost/
test75.xml
11763191
YES
20.14/20.32
YES
4.55/2.10
Mixed_
innermost/
cade12.xml
11763192
u
timeout (wallclock)
timeout (wallclock)
Mixed_
innermost/
thiemann26i.xml
11763193
is
timeout (wallclock)
YES
7.40/2.74
Mixed_
innermost/
test10.xml
11763194
YES
0.01/0.03
YES
3.70/2.16
Mixed_
innermost/
toyama.xml
11763195
YES
0.02/0.03
YES
3.37/1.90
Mixed_
innermost/
innermost5.xml
11763196
is
timeout (wallclock)
YES
4.48/2.31
Mixed_
innermost/
cade05.xml
11763197
is
timeout (wallclock)
YES
5.89/2.41
Mixed_
innermost/
innermost2.xml
11763198
is
timeout (wallclock)
YES
3.61/1.65
Mixed_
innermost/
cade13.xml
11763199
is
timeout (wallclock)
YES
6.66/2.61
Mixed_
innermost/
run_
again2.xml
11763200
u
timeout (wallclock)
timeout (wallclock)
Mixed_
innermost/
muladd.xml
11763201
is
MAYBE
40.25/40.34
NO
4.68/2.12
Mixed_
innermost/
test77.xml
11763202
YES
0.16/0.20
YES
4.45/2.58
Mixed_
innermost/
run_
again1.xml
11763203
is
timeout (wallclock)
NO
7.83/2.98
Mixed_
innermost/
innermost1.xml
11763204
YES
0.01/0.04
YES
3.45/1.74
Mixed_
innermost/
thiemann28i.xml
11763205
is
timeout (wallclock)
YES
8.45/3.44
Mixed_
innermost/
narrow1.xml
11763206
u
timeout (wallclock)
timeout (wallclock)
Mixed_
innermost/
gkg.xml
11763207
YES
0.01/0.05
YES
3.45/1.58
Mixed_
innermost/
test9.xml
11763208
YES
0.23/0.28
YES
4.13/1.84
Mixed_
innermost/
n001.xml
11763209
is
MAYBE
40.71/40.99
NO
6.79/2.57
Mixed_
innermost/
test76.xml
11763210
YES
0.16/0.23
YES
6.71/2.97
Mixed_
innermost/
test830.xml
11763211
YES
0.03/0.10
YES
3.82/1.68
Mixed_
innermost/
wiehe13.xml
11763212
YES
0.42/0.49
YES
6.38/2.92
Mixed_
innermost/
wiehe14.xml
11763213
YES
0.50/0.86
YES
6.74/2.64
214
300