Termination Competition 2020: Runtime_Complexity: TRS41223

Job info CSV
tct-trs_v3.2.0_2020-06-18 tct_rc AProVE complexity
benchmark UPLOWTIME UPLOWTIME
Various_04/04.xml 11774044 ∞ +0 1 +0 0.02/0.01 1 +2 1 +0 3.87/1.69
Various_04/08.xml 11774037 ∞ +0 1 +0 0.05/0.02 1 +2 1 +0 3.99/1.76
Various_04/10.xml 11774038 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 324.14/291.57
Various_04/11.xml 11774035 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.37/1.52
Various_04/12.xml 11774043 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1096.02/291.74
Various_04/13.xml 11774040 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1090.82/294.29
Various_04/14.xml 11774041 ∞ +0 1 +0 0.04/0.02 n2 +2 n1 +2 628.82/291.58
Various_04/15.xml 11774042 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.89/1.97
Various_04/18.xml 11774036 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 17.40/5.26
Various_04/22.xml 11774039 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.54/6.73
Various_04/23.xml 11774033 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 21.84/10.97
Various_04/24.xml 11774034 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.05/1.83
Transformed_CSR_04/Ex14_AEGL02_C.xml 11774210 ∞ +0 1 +0 0.04/0.03 n1 +2 n1 +2 19.57/6.61
Transformed_CSR_04/Ex14_AEGL02_FR.xml 11774472 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.60/3.86
Transformed_CSR_04/Ex14_AEGL02_GM.xml 11774245 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.54/3.75
Transformed_CSR_04/Ex14_AEGL02_L.xml 11774287 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.57/1.63
Transformed_CSR_04/Ex14_AEGL02_Z.xml 11774469 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 4.10/1.71
Transformed_CSR_04/Ex14_Luc06_C.xml 11774323 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 25.00/7.64
Transformed_CSR_04/Ex14_Luc06_GM.xml 11774574 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.64/1.82
Transformed_CSR_04/Ex15_Luc06_C.xml 11774396 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 20.31/6.14
Transformed_CSR_04/Ex15_Luc06_FR.xml 11774333 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 19.68/6.15
Transformed_CSR_04/Ex15_Luc06_GM.xml 11774592 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 17.07/5.75
Transformed_CSR_04/Ex15_Luc06_L.xml 11774536 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.34/1.63
Transformed_CSR_04/Ex15_Luc06_Z.xml 11774233 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.25/1.54
Transformed_CSR_04/Ex15_Luc98_C.xml 11774399 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 22.99/12.49
Transformed_CSR_04/Ex15_Luc98_FR.xml 11774582 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.60/1.64
Transformed_CSR_04/Ex15_Luc98_GM.xml 11774351 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 18.98/5.67
Transformed_CSR_04/Ex15_Luc98_L.xml 11774537 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.21/1.49
Transformed_CSR_04/Ex15_Luc98_Z.xml 11774257 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 3.69/1.66
Transformed_CSR_04/Ex16_Luc06_C.xml 11774361 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 25.82/10.87
Transformed_CSR_04/Ex16_Luc06_GM.xml 11774560 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 22.74/6.66
Transformed_CSR_04/Ex16_Luc06_L.xml 11774238 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.32/1.55
Transformed_CSR_04/Ex18_Luc06_C.xml 11774453 ∞ +0 1 +0 0.03/0.01 n1 +2 n1 +2 19.02/5.97
Transformed_CSR_04/Ex18_Luc06_FR.xml 11774270 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.41/1.54
Transformed_CSR_04/Ex18_Luc06_GM.xml 11774450 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 8.46/2.89
Transformed_CSR_04/Ex18_Luc06_Z.xml 11774193 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.41/1.56
Transformed_CSR_04/Ex1_2_AEL03_C.xml 11774347 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 37.99/11.43
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 11774408 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.61/1.66
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 11774204 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.33/1.81
Transformed_CSR_04/Ex1_2_AEL03_L.xml 11774274 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.14/1.49
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 11774517 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 311.27/291.55
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 11774533 ∞ +0 1 +0 0.03/0.01 n1 +2 n1 +2 22.68/7.53
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 11774265 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.50/1.56
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 11774457 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.65/1.69
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 11774394 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.27/3.19
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 11774355 ∞ +0 1 +0 0.00/0.02 1 +2 1 +0 3.27/1.59
Transformed_CSR_04/Ex1_GL02a_C.xml 11774353 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 19.47/6.66
Transformed_CSR_04/Ex1_GL02a_FR.xml 11774337 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.79/1.75
Transformed_CSR_04/Ex1_GL02a_GM.xml 11774591 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.64/2.26
Transformed_CSR_04/Ex1_GL02a_L.xml 11774280 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.38/1.54
Transformed_CSR_04/Ex1_GL02a_Z.xml 11774507 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 334.7/291.58
Transformed_CSR_04/Ex1_GM03_C.xml 11774442 ∞ +0 1 +0 0.08/0.03 n1 +2 n1 +2 23.23/7.94
Transformed_CSR_04/Ex1_GM03_FR.xml 11774376 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.66/1.74
Transformed_CSR_04/Ex1_GM03_GM.xml 11774551 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.73/1.66
Transformed_CSR_04/Ex1_GM03_L.xml 11774575 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.29/1.56
Transformed_CSR_04/Ex1_GM03_Z.xml 11774185 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.39/1.51
Transformed_CSR_04/Ex1_GM99_C.xml 11774234 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 23.89/7.16
Transformed_CSR_04/Ex1_GM99_GM.xml 11774278 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.40/2.37
Transformed_CSR_04/Ex1_GM99_L.xml 11774357 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.40/1.65
Transformed_CSR_04/Ex1_Luc02b_C.xml 11774228 ∞ +0 1 +0 0.02/0.02 n1 +2 n1 +2 29.79/11.59
Transformed_CSR_04/Ex1_Luc02b_FR.xml 11774327 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.68/1.74
Transformed_CSR_04/Ex1_Luc02b_GM.xml 11774491 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.68/1.73
Transformed_CSR_04/Ex1_Luc02b_L.xml 11774303 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.45/1.59
Transformed_CSR_04/Ex1_Luc02b_Z.xml 11774481 ∞ +0 1 +0 0.03/0.01 ∞ +0 n1 +2 342.65/291.54
Transformed_CSR_04/Ex1_Luc04b_C.xml 11774365 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1118.44/291.66
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11774426 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 4.09/1.73
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11774197 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1080.34/291.70
Transformed_CSR_04/Ex1_Luc04b_L.xml 11774244 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.26/1.51
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11774525 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.63
Transformed_CSR_04/Ex1_Zan97_C.xml 11774383 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 21.45/9.24
Transformed_CSR_04/Ex1_Zan97_FR.xml 11774263 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.55/1.56
Transformed_CSR_04/Ex1_Zan97_GM.xml 11774458 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.41/1.58
Transformed_CSR_04/Ex1_Zan97_L.xml 11774521 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.55/1.70
Transformed_CSR_04/Ex23_Luc06_C.xml 11774561 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 19.74/6.68
Transformed_CSR_04/Ex23_Luc06_FR.xml 11774515 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.58/1.63
Transformed_CSR_04/Ex23_Luc06_GM.xml 11774304 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 9.77/3.23
Transformed_CSR_04/Ex23_Luc06_Z.xml 11774297 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.45/1.57
Transformed_CSR_04/Ex24_GM04_C.xml 11774573 ∞ +0 1 +0 0.02/0.03 n1 +2 n1 +2 24.33/7.12
Transformed_CSR_04/Ex24_GM04_FR.xml 11774251 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 317.85/291.50
Transformed_CSR_04/Ex24_GM04_GM.xml 11774474 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 20.55/11.62
Transformed_CSR_04/Ex24_GM04_L.xml 11774441 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.47/1.66
Transformed_CSR_04/Ex24_GM04_Z.xml 11774310 ∞ +0 1 +0 0.01/0.02 1 +2 1 +0 3.56/2.19
Transformed_CSR_04/Ex24_Luc06_C.xml 11774301 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 20.81/6.76
Transformed_CSR_04/Ex24_Luc06_GM.xml 11774356 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.54
Transformed_CSR_04/Ex24_Luc06_L.xml 11774225 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.24/1.51
Transformed_CSR_04/Ex25_Luc06_C.xml 11774412 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 22.80/8.40
Transformed_CSR_04/Ex25_Luc06_FR.xml 11774550 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.70/1.69
Transformed_CSR_04/Ex25_Luc06_GM.xml 11774378 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 8.48/3.07
Transformed_CSR_04/Ex25_Luc06_Z.xml 11774271 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.46/1.55
Transformed_CSR_04/Ex26_Luc03b_C.xml 11774430 ∞ +0 1 +0 0.06/0.03 n1 +2 n1 +2 23.06/7.40
Transformed_CSR_04/Ex26_Luc03b_FR.xml 11774479 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 6.92/1.62
Transformed_CSR_04/Ex26_Luc03b_GM.xml 11774247 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.98/1.79
Transformed_CSR_04/Ex26_Luc03b_L.xml 11774513 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.32/1.64
Transformed_CSR_04/Ex26_Luc03b_Z.xml 11774277 ∞ +0 1 +0 0.03/0.02 1 +2 1 +0 3.53/1.60
Transformed_CSR_04/Ex2_Luc02a_C.xml 11774352 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 24.58/7.22
Transformed_CSR_04/Ex2_Luc02a_FR.xml 11774237 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.79/1.67
Transformed_CSR_04/Ex2_Luc02a_GM.xml 11774488 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.99/1.76
Transformed_CSR_04/Ex2_Luc02a_L.xml 11774279 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 1029.74/291.61
Transformed_CSR_04/Ex2_Luc02a_Z.xml 11774508 ∞ +0 1 +0 0.02/0.01 n3 +2 n3 +2 1073.81/291.56
Transformed_CSR_04/Ex2_Luc03b_C.xml 11774522 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 23.26/8.02
Transformed_CSR_04/Ex2_Luc03b_FR.xml 11774480 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.51/1.60
Transformed_CSR_04/Ex2_Luc03b_GM.xml 11774250 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.57/1.60
Transformed_CSR_04/Ex2_Luc03b_L.xml 11774384 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.32/1.56
Transformed_CSR_04/Ex2_Luc03b_Z.xml 11774369 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 27.80/10.04
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 11774528 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 22.15/11.20
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 11774509 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.51/1.94
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 11774314 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.74/1.80
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 11774389 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.09/1.57
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 11774362 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 322.79/291.52
Transformed_CSR_04/Ex3_2_Luc97_C.xml 11774577 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 29.28/13.21
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 11774452 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.06/1.73
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 11774267 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 338.66/291.50
Transformed_CSR_04/Ex3_2_Luc97_L.xml 11774443 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.51/1.75
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 11774309 ∞ +0 1 +0 0.04/0.03 ∞ +0 NonPoly +2 3.80/1.71
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 11774429 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 45.60/7.71
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 11774386 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.68/1.83
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 11774230 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.81/1.68
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11774511 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.35/1.87
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 11774276 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.36/1.55
Transformed_CSR_04/Ex49_GM04_C.xml 11774293 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 27.56/8.34
Transformed_CSR_04/Ex49_GM04_FR.xml 11774241 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.10/1.76
Transformed_CSR_04/Ex49_GM04_GM.xml 11774487 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 4.17/1.82
Transformed_CSR_04/Ex49_GM04_L.xml 11774220 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.08/1.50
Transformed_CSR_04/Ex49_GM04_Z.xml 11774571 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 29.86/10.05
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 11774463 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 20.29/5.97
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 11774432 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.47/1.60
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 11774181 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.61/1.69
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11774552 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.18/1.50
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 11774214 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.56
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 11774289 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 20.37/6.82
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 11774500 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.25/1.79
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11774324 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.25/1.83
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11774212 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.22/1.58
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11774549 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.16/1.50
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 11774364 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 32.45/13.41
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 11774460 ∞ +0 1 +0 0.03/0.01 ∞ +0 NonPoly +2 3.66/1.62
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 11774264 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.05/1.76
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 11774243 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.35/1.64
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 11774523 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 360.09/291.55
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 11774391 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 22.65/8.02
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 11774268 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.49/1.54
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 11774447 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.74/1.64
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 11774531 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.15/2.11
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 11774239 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 306.69/291.54
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 11774284 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 1102.15/291.64
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11774294 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.27/1.56
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11774535 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.00/1.77
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 11774208 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.39/2.56
Transformed_CSR_04/Ex4_DLMMU04_C.xml 11774256 ∞ +0 1 +0 0.05/0.03 ∞ +0 n1 +2 1136.96/291.79
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 11774418 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 5.80/2.26
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 11774199 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 25.97/8.64
Transformed_CSR_04/Ex4_DLMMU04_L.xml 11774377 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.24/1.51
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 11774405 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 9.22/3.16
Transformed_CSR_04/Ex4_Zan97_C.xml 11774202 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 25.50/10.55
Transformed_CSR_04/Ex4_Zan97_FR.xml 11774192 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.67/1.65
Transformed_CSR_04/Ex4_Zan97_GM.xml 11774425 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.73/1.65
Transformed_CSR_04/Ex4_Zan97_L.xml 11774328 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.28/2.07
Transformed_CSR_04/Ex4_Zan97_Z.xml 11774446 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 335.46/291.51
Transformed_CSR_04/Ex5_7_Luc97_C.xml 11774567 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 39.06/12.09
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 11774334 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.12/1.85
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 11774593 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 486.54/291.53
Transformed_CSR_04/Ex5_7_Luc97_L.xml 11774484 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.31/1.56
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 11774295 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.76/1.79
Transformed_CSR_04/Ex5_DLMMU04_C.xml 11774541 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1126.7/291.64
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 11774358 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.55/1.91
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 11774566 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 6.70/2.39
Transformed_CSR_04/Ex5_DLMMU04_L.xml 11774406 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.24/1.51
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 11774372 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.53/1.74
Transformed_CSR_04/Ex5_Zan97_C.xml 11774526 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 21.21/7.18
Transformed_CSR_04/Ex5_Zan97_FR.xml 11774189 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.02/1.82
Transformed_CSR_04/Ex5_Zan97_GM.xml 11774428 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1122.97/291.78
Transformed_CSR_04/Ex5_Zan97_L.xml 11774387 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.28/1.69
Transformed_CSR_04/Ex5_Zan97_Z.xml 11774367 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.49/1.62
Transformed_CSR_04/Ex6_15_AEL02_C.xml 11774496 ∞ +0 1 +0 0.06/0.03 n1 +2 n1 +2 36.33/10.25
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 11774393 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.18/2.10
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 11774221 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 4.51/1.94
Transformed_CSR_04/Ex6_15_AEL02_L.xml 11774423 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.27/1.56
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 11774336 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 8.73/2.92
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 11774473 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 21.91/7.08
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 11774254 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.36/1.55
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 11774471 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.40/1.55
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 11774559 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.23/1.69
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 11774229 ∞ +0 1 +0 0.01/0.02 1 +2 1 +0 3.30/1.73
Transformed_CSR_04/Ex6_GM04_C.xml 11774375 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.56/1.70
Transformed_CSR_04/Ex6_GM04_FR.xml 11774344 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.49/1.59
Transformed_CSR_04/Ex6_GM04_GM.xml 11774579 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.32/1.51
Transformed_CSR_04/Ex6_Luc98_C.xml 11774201 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 22.86/10.85
Transformed_CSR_04/Ex6_Luc98_FR.xml 11774218 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.43/1.55
Transformed_CSR_04/Ex6_Luc98_GM.xml 11774392 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.70/1.73
Transformed_CSR_04/Ex6_Luc98_L.xml 11774326 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.47/1.59
Transformed_CSR_04/Ex6_Luc98_Z.xml 11774448 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 19.79/6.22
Transformed_CSR_04/Ex7_BLR02_C.xml 11774527 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 22.98/7.49
Transformed_CSR_04/Ex7_BLR02_FR.xml 11774360 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 6.96/1.67
Transformed_CSR_04/Ex7_BLR02_GM.xml 11774570 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.80/1.65
Transformed_CSR_04/Ex7_BLR02_L.xml 11774388 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.13/1.50
Transformed_CSR_04/Ex7_BLR02_Z.xml 11774359 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 344.01/291.49
Transformed_CSR_04/Ex8_BLR02_C.xml 11774529 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 23.73/8.02
Transformed_CSR_04/Ex8_BLR02_FR.xml 11774281 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.77/1.78
Transformed_CSR_04/Ex8_BLR02_GM.xml 11774435 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.77/1.67
Transformed_CSR_04/Ex8_BLR02_L.xml 11774390 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.22/1.63
Transformed_CSR_04/Ex8_BLR02_Z.xml 11774363 ∞ +0 1 +0 0.01/0.02 ∞ +0 n1 +2 311.86/291.54
Transformed_CSR_04/Ex9_BLR02_C.xml 11774194 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 329.77/291.77
Transformed_CSR_04/Ex9_BLR02_FR.xml 11774260 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.62/1.72
Transformed_CSR_04/Ex9_BLR02_GM.xml 11774451 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.77/1.72
Transformed_CSR_04/Ex9_BLR02_L.xml 11774319 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.24/2.43
Transformed_CSR_04/Ex9_BLR02_Z.xml 11774455 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 313.84/291.49
Transformed_CSR_04/Ex9_Luc04_C.xml 11774290 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 24.56/7.03
Transformed_CSR_04/Ex9_Luc04_GM.xml 11774371 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 7.31/1.70
Transformed_CSR_04/Ex9_Luc04_L.xml 11774213 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.28/1.51
Transformed_CSR_04/Ex9_Luc06_C.xml 11774186 ∞ +0 1 +0 0.03/0.01 n1 +2 n1 +2 21.34/6.71
Transformed_CSR_04/Ex9_Luc06_FR.xml 11774493 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.58
Transformed_CSR_04/Ex9_Luc06_GM.xml 11774329 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 27.33/7.95
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 11774424 ∞ +0 1 +0 0.06/0.02 n1 +2 n1 +2 36.52/10.62
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 11774312 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.60/1.73
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 11774503 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.27/1.79
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 11774497 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.19/2.16
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 11774266 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 314.84/291.56
Transformed_CSR_04/ExConc_Zan97_C.xml 11774397 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 21.81/6.78
Transformed_CSR_04/ExConc_Zan97_FR.xml 11774269 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 6.44/2.42
Transformed_CSR_04/ExConc_Zan97_GM.xml 11774449 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.85/1.96
Transformed_CSR_04/ExConc_Zan97_Z.xml 11774236 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.26/1.54
Transformed_CSR_04/ExIntrod_GM01_C.xml 11774490 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1134.12/291.61
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11774331 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 11.91/3.88
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11774590 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1076.92/291.56
Transformed_CSR_04/ExIntrod_GM01_L.xml 11774410 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.17/1.61
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11774339 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 5.00/2.01
Transformed_CSR_04/ExIntrod_GM04_C.xml 11774348 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 1128.31/291.86
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11774576 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 39.22/11.13
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11774346 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 1103.03/291.61
Transformed_CSR_04/ExIntrod_GM04_L.xml 11774275 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.12/1.69
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11774519 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 11.78/3.77
Transformed_CSR_04/ExIntrod_GM99_C.xml 11774183 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 356.97/291.84
Transformed_CSR_04/ExIntrod_GM99_FR.xml 11774431 ∞ +0 1 +0 0.02/0.02 ∞ +0 NonPoly +2 3.83/1.68
Transformed_CSR_04/ExIntrod_GM99_GM.xml 11774182 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.91/1.76
Transformed_CSR_04/ExIntrod_GM99_L.xml 11774305 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.15/1.49
Transformed_CSR_04/ExIntrod_GM99_Z.xml 11774445 ∞ +0 1 +0 0.04/0.02 ∞ +0 1 +0 308.10/291.57
Transformed_CSR_04/ExIntrod_Zan97_C.xml 11774478 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 22.87/6.79
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 11774307 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.60/1.66
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 11774518 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.98/1.79
Transformed_CSR_04/ExIntrod_Zan97_L.xml 11774565 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.17/1.60
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 11774227 ∞ +0 1 +0 0.03/0.04 ∞ +0 NonPoly +2 3.35/1.59
Transformed_CSR_04/ExProp7_Luc06_C.xml 11774272 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 20.32/6.62
Transformed_CSR_04/ExProp7_Luc06_FR.xml 11774338 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.25/3.07
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11774584 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1100.66/291.55
Transformed_CSR_04/ExProp7_Luc06_L.xml 11774342 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.31/1.60
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11774414 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.49/1.55
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 11774402 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 30.13/14.93
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 11774404 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.64/2.90
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 11774215 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.09/1.76
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 11774538 ∞ +0 1 +0 0.02/0.01 n3 +2 n3 +2 1087.93/291.57
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 11774259 ∞ +0 1 +0 0.02/0.01 n3 +2 n3 +2 1087.21/291.57
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 11774409 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 35.83/12.24
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 11774306 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.55/1.68
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 11774512 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.30/1.82
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 11774547 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.32/1.51
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 11774253 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 302.49/291.50
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 11774502 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 11.86/3.73
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 11774580 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 3.33/1.56
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 11774187 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 304.72/291.62
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 11774332 ∞ +0 1 +0 0.06/0.03 ∞ +0 n1 +2 1149.45/292.77
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 11774195 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.41/1.88
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 11774419 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 25.30/3.92
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 11774261 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.28/1.51
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 11774578 ∞ +0 1 +0 0.13/0.06 ∞ +0 n1 +2 1160.99/296.15
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 11774524 ∞ +0 1 +0 0.06/0.03 ∞ +0 n1 +2 627.43/291.64
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 11774501 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 316.03/291.56
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 11774427 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 5.08/2.13
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 11774381 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.20/1.51
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 11774398 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 307.99/291.58
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 11774325 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 1107.82/291.68
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 11774313 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 5.34/2.03
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 11774510 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 327.97/291.53
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 11774200 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.21/1.58
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 11774380 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1140.3/292.10
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11774385 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 453.32/291.55
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 11774588 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 315.77/291.52
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11774589 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 4.42/2.61
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 11774504 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.22/1.49
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 11774316 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 1104.9/291.66
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11774415 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.43/1.58
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11774198 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.23/1.80
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 11774190 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.09/1.53
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 11774505 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 1102.14/291.73
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11774558 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 15.84/5.41
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 11774403 ∞ +0 1 +0 0.09/0.04 ∞ +0 NonPoly +2 12.28/4.37
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 11774456 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 3.54/1.57
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 11774320 ∞ +0 1 +0 0.11/0.04 ∞ +0 NonPoly +2 63.62/27.29
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 11774542 ∞ +0 1 +0 0.14/0.05 n1 +2 n1 +2 59.85/16.22
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 11774379 ∞ +0 1 +0 0.05/0.03 ∞ +0 NonPoly +2 7.14/2.52
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 11774555 ∞ +0 1 +0 0.09/0.04 ∞ +0 NonPoly +2 9.51/3.12
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 11774407 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.38/1.54
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 11774454 ∞ +0 1 +0 0.26/0.10 n1 +2 n1 +2 95.67/25.60
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 11774411 ∞ +0 1 +0 0.17/0.07 ∞ +0 NonPoly +2 19.70/5.72
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 11774373 ∞ +0 1 +0 0.05/0.03 ∞ +0 NonPoly +2 41.81/11.88
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 11774492 ∞ +0 1 +0 0.07/0.03 ∞ +0 NonPoly +2 5.99/2.24
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 11774416 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.31/1.59
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 11774343 ∞ +0 1 +0 0.06/0.02 ∞ +0 NonPoly +2 97.48/43.82
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 11774298 ∞ +0 1 +0 0.09/0.04 n1 +2 n1 +2 30.80/8.77
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 11774562 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 5.40/2.17
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 11774370 ∞ +0 1 +0 0.07/0.03 ∞ +0 NonPoly +2 6.02/2.25
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 11774224 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.31/1.57
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 11774417 ∞ +0 1 +0 0.11/0.04 n1 +2 n1 +2 49.13/13.36
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 11774539 ∞ +0 1 +0 0.08/0.03 ∞ +0 NonPoly +2 7.49/3.35
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 11774564 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 398.13/291.53
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 11774444 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 4.12/1.73
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 11774249 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.20/1.50
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 11774520 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 305.57/291.65
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 11774288 ∞ +0 1 +0 0.08/0.03 n1 +2 n1 +2 37.35/10.37
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 11774255 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.48/1.60
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11774461 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 4.41/1.82
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 11774211 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.41/1.58
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 11774248 ∞ +0 1 +0 0.09/0.04 n1 +2 n1 +2 34.87/9.82
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 11774485 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 5.64/2.11
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 11774548 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 302.23/291.53
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 11774292 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 12.29/4.40
Transformed_CSR_04/MYNAT_complete-noand_L.xml 11774341 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 3.42/1.61
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 11774413 ∞ +0 1 +0 0.07/0.04 ∞ +0 n1 +2 313.81/292.51
Transformed_CSR_04/MYNAT_complete_C.xml 11774299 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 35.18/10.96
Transformed_CSR_04/MYNAT_complete_FR.xml 11774483 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 4.31/1.83
Transformed_CSR_04/MYNAT_complete_GM.xml 11774232 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 13.97/4.46
Transformed_CSR_04/MYNAT_complete_L.xml 11774223 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.21/1.62
Transformed_CSR_04/MYNAT_complete_noand_C.xml 11774340 ∞ +0 1 +0 0.11/0.04 n2 +2 n1 +2 636.08/291.62
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 11774308 ∞ +0 1 +0 0.07/0.03 ∞ +0 NonPoly +2 33.80/10.13
Transformed_CSR_04/MYNAT_complete_Z.xml 11774563 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 320.80/291.56
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 11774196 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 5.70/2.18
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 11774302 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.20/1.56
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 11774477 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 317.96/291.52
Transformed_CSR_04/MYNAT_nokinds_C.xml 11774258 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 20.74/6.05
Transformed_CSR_04/MYNAT_nokinds_FR.xml 11774374 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 5.41/2.07
Transformed_CSR_04/MYNAT_nokinds_GM.xml 11774557 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 6.89/2.43
Transformed_CSR_04/MYNAT_nokinds_L.xml 11774382 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.19/1.53
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 11774300 ∞ +0 1 +0 0.06/0.02 n1 +2 n1 +2 28.41/8.65
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 11774205 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 10.40/3.40
Transformed_CSR_04/MYNAT_nokinds_Z.xml 11774400 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 339.08/291.65
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 11774354 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 305.78/291.63
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 11774586 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.30/1.48
Transformed_CSR_04/MYNAT_nosorts_C.xml 11774246 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 24.31/7.87
Transformed_CSR_04/MYNAT_nosorts_FR.xml 11774482 ∞ +0 1 +0 0.01/0.01 n2 +2 n2 +2 21.16/8.39
Transformed_CSR_04/MYNAT_nosorts_GM.xml 11774235 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.73/1.92
Transformed_CSR_04/MYNAT_nosorts_L.xml 11774366 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.13/1.49
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 11774587 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 21.60/6.39
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 11774368 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 6.32/2.36
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 11774226 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 20.51/9.13
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 11774464 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.38/1.55
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 11774285 ∞ +0 1 +0 0.06/0.03 ∞ +0 n1 +2 422.87/291.65
Transformed_CSR_04/OvConsOS_complete_C.xml 11774462 ∞ +0 1 +0 0.08/0.03 ∞ +0 n1 +2 1144.99/292.7
Transformed_CSR_04/OvConsOS_complete_FR.xml 11774317 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 5.21/2.14
Transformed_CSR_04/OvConsOS_complete_GM.xml 11774506 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 18.44/5.49
Transformed_CSR_04/OvConsOS_complete_L.xml 11774553 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.49/7.27
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 11774468 ∞ +0 1 +0 0.12/0.05 ∞ +0 n1 +2 1149.92/292.72
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 11774191 ∞ +0 1 +0 0.08/0.03 ∞ +0 NonPoly +2 59.51/20.63
Transformed_CSR_04/OvConsOS_complete_Z.xml 11774216 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 356.11/291.52
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 11774546 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 8.19/2.77
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 11774422 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.28/1.54
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 11774335 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 319.19/291.6
Transformed_CSR_04/OvConsOS_nokinds_C.xml 11774486 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1152.18/294.33
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 11774395 ∞ +0 1 +0 0.12/0.05 ∞ +0 NonPoly +2 7.57/2.72
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 11774222 ∞ +0 1 +0 0.03/0.08 ∞ +0 NonPoly +2 22.42/7.19
Transformed_CSR_04/OvConsOS_nokinds_L.xml 11774568 ∞ +0 1 +0 0.04/0.03 ∞ +0 NonPoly +2 3.29/1.51
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 11774421 ∞ +0 1 +0 0.07/0.03 ∞ +0 n1 +2 1146.44/293.16
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 11774498 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 621.97/291.60
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 11774217 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 321.71/291.72
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11774476 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 1022.02/260.55
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 11774240 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.07/1.54
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11774530 ∞ +0 1 +0 0.03/0.01 ∞ +0 NonPoly +2 66.92/19.20
Transformed_CSR_04/OvConsOS_nosorts_C.xml 11774470 ∞ +0 1 +0 0.06/0.03 n1 +2 n1 +2 1099.25/291.56
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11774282 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.74/4.56
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11774540 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 5.15/2.07
Transformed_CSR_04/OvConsOS_nosorts_L.xml 11774556 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.30/2.96
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 11774242 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1114.64/292.30
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11774436 ∞ +0 1 +0 0.04/0.03 ∞ +0 NonPoly +2 356.49/94.03
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11774206 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.88/1.81
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 11774583 ∞ +0 1 +0 0.05/0.02 ∞ +0 n2 +2 326.50/291.51
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 11774437 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 3.43/1.55
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 11774315 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 316.84/291.65
Transformed_CSR_04/PALINDROME_complete_C.xml 11774330 ∞ +0 1 +0 0.07/0.03 n1 +2 n1 +2 38.22/10.71
Transformed_CSR_04/PALINDROME_complete_FR.xml 11774532 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 5.20/2.01
Transformed_CSR_04/PALINDROME_complete_GM.xml 11774296 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 892.17/291.63
Transformed_CSR_04/PALINDROME_complete_L.xml 11774203 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.23/1.51
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 11774438 ∞ +0 1 +0 0.11/0.04 n1 +2 n1 +2 46.21/12.60
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 11774554 ∞ +0 1 +0 0.07/0.03 ∞ +0 n2 +2 895.86/291.67
Transformed_CSR_04/PALINDROME_complete_Z.xml 11774585 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 336.27/291.49
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 11774514 ∞ +0 1 +0 0.06/0.02 ∞ +0 n2 +2 1137.64/291.70
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 11774321 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.38/1.74
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 11774459 ∞ +0 1 +0 0.06/0.02 n1 +2 n1 +2 631.62/291.73
Transformed_CSR_04/PALINDROME_nokinds_C.xml 11774219 ∞ +0 1 +0 0.02/0.02 n1 +2 n1 +2 34.50/12.16
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 11774345 ∞ +0 1 +0 0.06/0.03 ∞ +0 n2 +2 1129.57/291.94
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 11774581 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1123.42/291.75
Transformed_CSR_04/PALINDROME_nokinds_L.xml 11774291 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.29/2.17
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 11774322 ∞ +0 1 +0 0.06/0.03 n1 +2 n1 +2 26.00/7.46
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 11774534 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1113.36/291.91
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 11774489 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1129.1/292.17
Transformed_CSR_04/PALINDROME_nosorts_C.xml 11774207 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 20.51/7.64
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 11774262 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1109.52/291.61
Transformed_CSR_04/PALINDROME_nosorts_L.xml 11774283 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.21/1.65
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 11774569 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 21.79/7.06
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 11774466 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1098.28/291.54
Transformed_CSR_04/PEANO_complete-noand_FR.xml 11774231 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 6.78/2.64
Transformed_CSR_04/PEANO_complete-noand_L.xml 11774467 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.04/1.58
Transformed_CSR_04/PEANO_complete-noand_Z.xml 11774286 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 318.47/291.62
Transformed_CSR_04/PEANO_complete_C.xml 11774572 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 25.45/7.44
Transformed_CSR_04/PEANO_complete_FR.xml 11774209 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 4.02/1.73
Transformed_CSR_04/PEANO_complete_GM.xml 11774401 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 6.72/3.71
Transformed_CSR_04/PEANO_complete_L.xml 11774440 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.08/1.47
Transformed_CSR_04/PEANO_complete_noand_C.xml 11774465 ∞ +0 1 +0 0.07/0.03 n1 +2 n1 +2 39.39/14.53
Transformed_CSR_04/PEANO_complete_noand_GM.xml 11774188 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 15.44/4.70
Transformed_CSR_04/PEANO_complete_Z.xml 11774311 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 322.89/292.55
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 11774545 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 4.62/1.90
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 11774544 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.14/1.56
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 11774252 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 323.11/295.96
Transformed_CSR_04/PEANO_nokinds_C.xml 11774433 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 23.93/8.61
Transformed_CSR_04/PEANO_nokinds_FR.xml 11774495 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 4.29/1.93
Transformed_CSR_04/PEANO_nokinds_GM.xml 11774318 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 5.12/2.06
Transformed_CSR_04/PEANO_nokinds_L.xml 11774516 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.15/1.58
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 11774543 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 21.89/6.34
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 11774499 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 11.23/2.14
Transformed_CSR_04/PEANO_nokinds_Z.xml 11774273 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 321.01/291.53
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11774475 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.35/2.91
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 11774349 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.21/2.24
Transformed_CSR_04/PEANO_nosorts_C.xml 11774420 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 21.59/6.56
Transformed_CSR_04/PEANO_nosorts_FR.xml 11774184 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.58/1.59
Transformed_CSR_04/PEANO_nosorts_GM.xml 11774434 ∞ +0 1 +0 0.02/0.02 ∞ +0 n2 +2 1125.14/295.03
Transformed_CSR_04/PEANO_nosorts_L.xml 11774494 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.10/1.57
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 11774350 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 20.21/6.63
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11774439 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1114.67/291.60
Strategy_removed_AG01/#4.14.xml 11774618 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 15.46/4.97
Strategy_removed_AG01/#4.16.xml 11774604 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 14.17/6.37
Strategy_removed_AG01/#4.17.xml 11774596 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 15.80/5.21
Strategy_removed_AG01/#4.19.xml 11774600 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 313.58/291.46
Strategy_removed_AG01/#4.2.xml 11774611 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 14.88/4.91
Strategy_removed_AG01/#4.20a.xml 11774608 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 19.23/6.12
Strategy_removed_AG01/#4.22.xml 11774594 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 17.17/5.48
Strategy_removed_AG01/#4.23.xml 11774605 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 407.79/291.56
Strategy_removed_AG01/#4.25.xml 11774595 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.30/1.62
Strategy_removed_AG01/#4.26.xml 11774617 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 304.24/291.45
Strategy_removed_AG01/#4.27.xml 11774612 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 316.25/291.5
Strategy_removed_AG01/#4.28.xml 11774616 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 18.41/5.67
Strategy_removed_AG01/#4.29.xml 11774613 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 316.31/291.50
Strategy_removed_AG01/#4.30.xml 11774614 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 309.05/291.52
Strategy_removed_AG01/#4.30a.xml 11774610 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 26.41/7.55
Strategy_removed_AG01/#4.30b.xml 11774603 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 50.71/15.95
Strategy_removed_AG01/#4.30c.xml 11774599 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 308.33/291.58
Strategy_removed_AG01/#4.32.xml 11774606 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 18.03/5.57
Strategy_removed_AG01/#4.33.xml 11774602 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 1069.47/291.50
Strategy_removed_AG01/#4.34.xml 11774601 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 303.72/291.59
Strategy_removed_AG01/#4.35.xml 11774607 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 5.77/2.42
Strategy_removed_AG01/#4.36.xml 11774609 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 309.93/291.50
Strategy_removed_AG01/#4.37.xml 11774615 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.58/1.76
Strategy_removed_AG01/#4.37a.xml 11774597 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 22.41/6.58
Strategy_removed_AG01/#4.7.xml 11774598 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.62/2.41
Beerendonk_07/1.xml 11774152 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 303.32/291.52
Beerendonk_07/10.xml 11774148 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 309.8/291.48
Beerendonk_07/11.xml 11774145 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 303.55/291.53
Beerendonk_07/12.xml 11774163 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.82/291.55
Beerendonk_07/13.xml 11774154 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 302.21/291.56
Beerendonk_07/14.xml 11774155 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 927.5/291.66
Beerendonk_07/15.xml 11774162 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 308.29/291.55
Beerendonk_07/16.xml 11774146 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 304.67/291.58
Beerendonk_07/17.xml 11774147 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 308.16/291.49
Beerendonk_07/18.xml 11774144 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 302.03/291.49
Beerendonk_07/19.xml 11774149 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 310.61/291.53
Beerendonk_07/2.xml 11774157 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 304.21/291.53
Beerendonk_07/20.xml 11774160 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 307.40/291.51
Beerendonk_07/21.xml 11774156 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 309.89/291.49
Beerendonk_07/22.xml 11774153 ∞ +0 1 +0 0.00/0.02 ∞ +0 n1 +2 303.74/291.57
Beerendonk_07/23.xml 11774140 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 302.88/291.50
Beerendonk_07/24.xml 11774142 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.59/291.53
Beerendonk_07/3.xml 11774161 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 306.91/291.50
Beerendonk_07/4.xml 11774159 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 871.56/291.48
Beerendonk_07/5.xml 11774158 ∞ +0 1 +0 0.03/0.01 ∞ +0 n1 +2 303.52/291.49
Beerendonk_07/6.xml 11774151 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 302.87/291.48
Beerendonk_07/7.xml 11774141 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 302.45/291.54
Beerendonk_07/8.xml 11774150 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 303.86/291.61
Beerendonk_07/9.xml 11774143 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.10/291.90
Mixed_TRS/Ex1_Luc04b_GM.xml 11774174 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1070.09/291.58
Mixed_TRS/fossacs.xml 11774180 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 309.15/291.58
Mixed_TRS/gcd.xml 11774164 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 309.25/291.65
Mixed_TRS/gcdMinMax.xml 11774176 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 309.17/291.59
Mixed_TRS/gcd_triple.xml 11774166 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 317.44/291.50
Mixed_TRS/hydra-Zantema06.xml 11774173 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 24.54/8.60
Mixed_TRS/hydra.xml 11774169 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 345.41/291.59
Mixed_TRS/jones1.xml 11774179 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.42/1.55
Mixed_TRS/jones2.xml 11774168 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 20.90/7.13
Mixed_TRS/jones4.xml 11774172 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 17.81/5.73
Mixed_TRS/jones5.xml 11774170 ∞ +0 1 +0 0.00/0.01 timeout (wallclock)
Mixed_TRS/jones6.xml 11774178 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.61/1.64
Mixed_TRS/minsort.xml 11774177 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.41/1.57
Mixed_TRS/perfect.xml 11774165 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 38.75/13.22
Mixed_TRS/perfect2.xml 11774167 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 5.62/2.14
Mixed_TRS/test1.xml 11774171 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 362.48/291.62
Mixed_TRS/while.xml 11774175 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 886.69/291.53
AProVE_06/div_notCeTermin.xml 11774111 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 314.18/291.5
AProVE_06/div_notTermin.xml 11774106 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 323.24/291.58
AProVE_06/factorial1.xml 11774113 ∞ +0 1 +0 0.03/0.01 ∞ +0 n4 +2 332.29/291.48
AProVE_06/factorial2.xml 11774107 ∞ +0 1 +0 0.01/0.01 ∞ +0 n3 +2 321.01/291.55
AProVE_06/identity.xml 11774116 ∞ +0 1 +0 0.03/0.03 ∞ +0 n1 +2 876.35/291.54
AProVE_06/logarithm.xml 11774114 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 309.13/291.54
AProVE_06/modulo.xml 11774112 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 306.40/291.50
AProVE_06/nonterm.xml 11774110 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.71/1.74
AProVE_06/quicksort.xml 11774115 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 310.46/291.60
AProVE_06/quot.xml 11774105 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 307.57/291.50
AProVE_06/sizeChange.xml 11774108 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 321.95/291.54
AProVE_06/tower.xml 11774104 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.57/1.65
AProVE_06/tower_sizeChange.xml 11774109 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1094.56/291.65
Secret_06_TRS/10.xml 11774130 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.43/1.60
Secret_06_TRS/4.xml 11774135 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.29/1.56
Secret_06_TRS/6.xml 11774117 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.29/1.51
Secret_06_TRS/addList.xml 11774122 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 596.03/291.51
Secret_06_TRS/divExp.xml 11774121 ∞ +0 1 +0 0.01/0.01 n3 +2 n1 +2 984.98/291.64
Secret_06_TRS/division.xml 11774128 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 312.46/291.48
Secret_06_TRS/double.xml 11774120 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 319.65/291.59
Secret_06_TRS/gen-1.xml 11774139 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.50/1.57
Secret_06_TRS/gen-17.xml 11774131 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.49/1.62
Secret_06_TRS/gen-28.xml 11774129 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.58/2.72
Secret_06_TRS/logarithm.xml 11774127 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 316.56/291.56
Secret_06_TRS/nrOfNodes.xml 11774134 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 310.83/291.56
Secret_06_TRS/reverse.xml 11774123 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 319.86/291.48
Secret_06_TRS/sumList.xml 11774137 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 313.89/291.54
Secret_06_TRS/times.xml 11774132 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 313.93/291.49
Secret_06_TRS/toList.xml 11774133 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 308.17/291.51
Secret_06_TRS/tpa04.xml 11774136 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 310.94/291.56
Secret_06_TRS/tpa05.xml 11774138 ∞ +0 1 +0 0.02/0.02 ∞ +0 n2 +2 311.61/291.52
Secret_06_TRS/tpa06.xml 11774118 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 318.78/291.50
Secret_06_TRS/tpa07.xml 11774126 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 313.26/291.65
Secret_06_TRS/tpa08.xml 11774119 ∞ +0 1 +0 0.06/0.03 ∞ +0 n2 +2 314.03/291.52
Secret_06_TRS/tpa09.xml 11774125 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 309.40/291.65
Secret_06_TRS/tpa10.xml 11774124 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 314.67/291.48
CiME_04/ack_prolog.xml 11774056 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1054.73/291.51
CiME_04/append-hard.xml 11774049 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 302.26/291.63
CiME_04/append-wrong.xml 11774066 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.47/1.66
CiME_04/append.xml 11774057 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 18.85/8.67
CiME_04/big.xml 11774045 ∞ +0 1 +0 0.06/0.03 ∞ +0 NonPoly +2 4.20/2.41
CiME_04/dpqs.xml 11774060 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.47/1.60
CiME_04/fact-hard.xml 11774062 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 314.28/291.60
CiME_04/filliatre.xml 11774055 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1122.71/291.54
CiME_04/filliatre2.xml 11774059 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1120.48/291.78
CiME_04/filliatre3.xml 11774067 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1122.33/291.7
CiME_04/intersect.xml 11774058 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 366.77/291.58
CiME_04/list-sum-prod-assoc-append.xml 11774061 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 364.96/291.65
CiME_04/list-sum-prod-assoc.xml 11774063 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 372.35/291.51
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 11774054 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 3.77/1.63
CiME_04/list-sum-prod-bin-assoc.xml 11774065 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.55/1.66
CiME_04/list-sum-prod-bin.xml 11774046 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.73/1.78
CiME_04/list-sum-prod.xml 11774050 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 327.81/291.56
CiME_04/log2.xml 11774047 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1121.51/291.59
CiME_04/lse.xml 11774053 ∞ +0 1 +0 0.02/0.01 n2 +2 n2 +2 56.87/22.70
CiME_04/maude2.xml 11774052 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 316.34/291.61
CiME_04/mucrl1.xml 11774048 ∞ +0 1 +0 0.20/0.08 ∞ +0 n1 +2 893.19/291.67
CiME_04/ternary-hard.xml 11774051 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1119.92/294.36
CiME_04/ternary.xml 11774064 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1106.56/293.23
CiME_04/tree.xml 11774068 ∞ +0 1 +0 0.08/0.04 ∞ +0 n1 +2 1081.19/291.72
Strategy_removed_CSR_05/Ex14_AEGL02.xml 11774091 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.27/2.34
Strategy_removed_CSR_05/Ex15_Luc98.xml 11774072 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.39/1.55
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 11774078 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.22/1.56
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 11774083 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 6.60/1.63
Strategy_removed_CSR_05/Ex1_GL02a.xml 11774077 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.43/1.59
Strategy_removed_CSR_05/Ex1_GM03.xml 11774075 ∞ +0 1 +0 0.01/0.04 ∞ +0 NonPoly +2 3.24/1.54
Strategy_removed_CSR_05/Ex1_Luc02b.xml 11774095 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.21/1.50
Strategy_removed_CSR_05/Ex1_Zan97.xml 11774102 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.27/1.52
Strategy_removed_CSR_05/Ex26_Luc03b.xml 11774099 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.27/1.54
Strategy_removed_CSR_05/Ex2_Luc03b.xml 11774069 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.33/1.50
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 11774103 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.31/1.60
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 11774082 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.33/1.64
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 11774081 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.73
Strategy_removed_CSR_05/Ex49_GM04.xml 11774079 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 23.44/12.02
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 11774086 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.27/1.57
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11774101 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.24/1.56
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 11774090 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.36/1.52
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 11774080 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.30/1.53
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11774074 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.31/1.53
Strategy_removed_CSR_05/Ex4_Zan97.xml 11774094 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.24/1.52
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 11774073 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.25/1.54
Strategy_removed_CSR_05/Ex5_Zan97.xml 11774096 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.27/1.52
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 11774100 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.38/1.57
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 11774093 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.10/1.54
Strategy_removed_CSR_05/Ex6_GM04.xml 11774070 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.30/1.50
Strategy_removed_CSR_05/Ex6_Luc98.xml 11774085 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.29/1.55
Strategy_removed_CSR_05/Ex7_BLR02.xml 11774098 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.33/1.55
Strategy_removed_CSR_05/Ex8_BLR02.xml 11774088 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.43/1.66
Strategy_removed_CSR_05/Ex9_BLR02.xml 11774089 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.50/1.55
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 11774092 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.30/1.63
Strategy_removed_CSR_05/ExConc_Zan97.xml 11774071 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.24/1.48
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11774084 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.38/1.52
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11774076 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.21/1.62
Strategy_removed_CSR_05/ExIntrod_GM99.xml 11774087 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.30/1.59
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 11774097 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.41/1.56
HirokawaMiddeldorp_04/n002.xml 11774753 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.49/1.54
HirokawaMiddeldorp_04/n003.xml 11774748 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.29/1.62
HirokawaMiddeldorp_04/n004.xml 11774749 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.33/1.53
HirokawaMiddeldorp_04/n005.xml 11774752 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.42/1.55
HirokawaMiddeldorp_04/n006.xml 11774740 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.35/1.62
HirokawaMiddeldorp_04/n007.xml 11774743 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.17/1.51
HirokawaMiddeldorp_04/t001.xml 11774741 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 323.00/291.49
HirokawaMiddeldorp_04/t002.xml 11774754 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 321.22/291.61
HirokawaMiddeldorp_04/t003.xml 11774747 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 319.64/291.51
HirokawaMiddeldorp_04/t004.xml 11774746 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 7.14/2.52
HirokawaMiddeldorp_04/t009.xml 11774742 ∞ +0 1 +0 0.06/0.03 ∞ +0 n1 +2 1147.31/291.77
HirokawaMiddeldorp_04/t011.xml 11774744 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 8.74/3.07
HirokawaMiddeldorp_04/t012.xml 11774745 ∞ +0 1 +0 0.00/0.02 ∞ +0 n1 +2 1081.86/291.64
HirokawaMiddeldorp_04/t013.xml 11774751 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 312.6/291.64
HirokawaMiddeldorp_04/t014.xml 11774750 ∞ +0 1 +0 0.02/0.02 n1 +2 n1 +2 23.93/7.97
Secret_05_TRS/aprove2.xml 11774761 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 309.93/291.49
Secret_05_TRS/aprove3.xml 11774757 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 304.29/291.59
Secret_05_TRS/aprove4.xml 11774758 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 315.09/291.49
Secret_05_TRS/aprove5.xml 11774760 ∞ +0 1 +0 0.01/0.01 n3 +2 n1 +2 1103.93/291.60
Secret_05_TRS/cime2.xml 11774767 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 21.20/7.93
Secret_05_TRS/cime3.xml 11774766 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 3.84/1.64
Secret_05_TRS/cime4.xml 11774765 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.26/1.52
Secret_05_TRS/cime5.xml 11774768 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
Secret_05_TRS/tpa1.xml 11774769 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 310.41/291.48
Secret_05_TRS/tpa2.xml 11774756 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 304.89/292.24
Secret_05_TRS/tpa3.xml 11774762 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 316.08/291.54
Secret_05_TRS/tpa4.xml 11774763 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 313.82/291.46
Secret_05_TRS/tpa5.xml 11774755 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 313.39/291.57
Secret_05_TRS/ttt1.xml 11774759 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.23/1.53
Secret_05_TRS/ttt2.xml 11774764 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.40/1.56
Rubio_04/bintrees.xml 11774668 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 7.28/1.65
Rubio_04/bn122.xml 11774650 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 17.48/5.32
Rubio_04/division.xml 11774653 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 307.13/291.51
Rubio_04/elimdupl.xml 11774663 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 317.73/291.6
Rubio_04/enno.xml 11774659 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 305.01/291.54
Rubio_04/gcd.xml 11774670 ∞ +0 1 +0 0.03/0.01 ∞ +0 n1 +2 318.02/291.49
Rubio_04/gm.xml 11774662 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 21.70/7.20
Rubio_04/gmnp.xml 11774671 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 8.61/3.82
Rubio_04/koen.xml 11774661 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.15/1.62
Rubio_04/logarquot.xml 11774655 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 26.20/15.22
Rubio_04/ma96.xml 11774652 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 5.95/2.28
Rubio_04/mfp95.xml 11774658 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.39/1.59
Rubio_04/nestrec.xml 11774665 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 8.62/2.93
Rubio_04/p266.xml 11774654 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.39/1.64
Rubio_04/polo2.xml 11774669 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 26.10/14.67
Rubio_04/prov.xml 11774651 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 12.90/4.32
Rubio_04/quick.xml 11774672 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 309.44/291.61
Rubio_04/quotminus.xml 11774657 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 926.51/291.57
Rubio_04/revlist.xml 11774664 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.54/1.56
Rubio_04/selsort.xml 11774667 ∞ +0 1 +0 0.04/0.02 ∞ +0 n2 +2 308.44/291.51
Rubio_04/test4.xml 11774660 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.96/3.02
Rubio_04/test829.xml 11774656 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.48/6.48
Rubio_04/wst99.xml 11774666 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 321.38/291.52
AProVE_07/kabasci01.xml 11774730 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 22.94/7.00
AProVE_07/kabasci02.xml 11774690 ∞ +0 1 +0 0.03/0.02 ∞ +0 n3 +2 332.54/291.67
AProVE_07/kabasci03.xml 11774699 ∞ +0 1 +0 0.02/0.01 1 +2 1 +0 3.35/1.53
AProVE_07/kabasci04.xml 11774700 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 318.16/291.48
AProVE_07/kabasci05.xml 11774687 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 350.46/291.50
AProVE_07/otto01.xml 11774711 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 1030.0/291.66
AProVE_07/otto02.xml 11774703 ∞ +0 1 +0 0.01/0.02 ∞ +0 n1 +2 316.03/291.49
AProVE_07/otto03.xml 11774685 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 893.23/291.50
AProVE_07/otto04.xml 11774684 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.31/1.54
AProVE_07/otto05.xml 11774705 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 315.36/291.50
AProVE_07/otto06.xml 11774709 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 313.58/291.51
AProVE_07/otto07.xml 11774728 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 887.77/291.47
AProVE_07/otto08.xml 11774714 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 318.07/291.49
AProVE_07/otto09.xml 11774726 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 307.91/292.81
AProVE_07/otto10.xml 11774719 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 312.97/291.46
AProVE_07/otto11.xml 11774734 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1115.18/291.71
AProVE_07/otto12.xml 11774676 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.51/1.59
AProVE_07/otto13.xml 11774695 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1061.46/291.55
AProVE_07/thiemann01.xml 11774689 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 313.69/291.46
AProVE_07/thiemann02.xml 11774729 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 311.25/291.63
AProVE_07/thiemann03.xml 11774708 ∞ +0 1 +0 0.02/0.01 ∞ +0 n3 +2 318.82/291.61
AProVE_07/thiemann04.xml 11774707 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 309.55/291.51
AProVE_07/thiemann05.xml 11774731 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 317.95/291.6
AProVE_07/thiemann06.xml 11774688 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 306.74/291.73
AProVE_07/thiemann07.xml 11774701 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 307.56/291.50
AProVE_07/thiemann08.xml 11774686 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.53/2.55
AProVE_07/thiemann09.xml 11774702 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1127.34/296.12
AProVE_07/thiemann10.xml 11774673 ∞ +0 1 +0 0.03/0.01 ∞ +0 n1 +2 316.93/291.48
AProVE_07/thiemann11.xml 11774698 ∞ +0 1 +0 0.03/0.01 ∞ +0 n1 +2 313.50/291.62
AProVE_07/thiemann12.xml 11774722 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 319.32/291.50
AProVE_07/thiemann13.xml 11774733 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 309.55/291.51
AProVE_07/thiemann14.xml 11774732 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 321.05/291.49
AProVE_07/thiemann15.xml 11774723 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 315.4/291.49
AProVE_07/thiemann16.xml 11774697 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 312.82/291.49
AProVE_07/thiemann17.xml 11774674 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 315.82/291.58
AProVE_07/thiemann18.xml 11774696 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 312.47/291.49
AProVE_07/thiemann19.xml 11774675 ∞ +0 1 +0 0.01/0.02 ∞ +0 n1 +2 1119.13/291.59
AProVE_07/thiemann20.xml 11774716 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 309.96/291.49
AProVE_07/thiemann21.xml 11774739 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 321.60/291.62
AProVE_07/thiemann22.xml 11774678 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 313.14/291.59
AProVE_07/thiemann23.xml 11774694 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 916.05/291.51
AProVE_07/thiemann24.xml 11774691 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 993.27/291.69
AProVE_07/thiemann25.xml 11774679 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 314.69/291.55
AProVE_07/thiemann26.xml 11774737 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 309.48/291.52
AProVE_07/thiemann27.xml 11774717 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 904.40/291.59
AProVE_07/thiemann28.xml 11774735 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.58/291.54
AProVE_07/thiemann29.xml 11774720 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 316.47/291.64
AProVE_07/thiemann30.xml 11774725 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 310.10/291.54
AProVE_07/thiemann31.xml 11774713 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1142.43/291.54
AProVE_07/thiemann32.xml 11774706 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1103.97/291.53
AProVE_07/thiemann33.xml 11774682 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1072.65/291.55
AProVE_07/thiemann34.xml 11774680 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1079.45/291.67
AProVE_07/thiemann36.xml 11774712 ∞ +0 1 +0 0.02/0.02 n2 +2 n1 +2 1145.06/292.97
AProVE_07/thiemann37.xml 11774727 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1131.01/291.57
AProVE_07/thiemann38.xml 11774710 ∞ +0 1 +0 0.03/0.05 ∞ +0 n1 +2 307.25/291.50
AProVE_07/thiemann40.xml 11774704 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 307.08/291.51
AProVE_07/thiemann41.xml 11774683 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 1098.58/291.60
AProVE_07/wiehe01.xml 11774715 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 311.07/291.51
AProVE_07/wiehe02.xml 11774693 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 335.47/291.52
AProVE_07/wiehe03.xml 11774677 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 349.55/291.55
AProVE_07/wiehe05.xml 11774692 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 299.91/291.47
AProVE_07/wiehe06.xml 11774718 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 313.41/291.49
AProVE_07/wiehe07.xml 11774738 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 341.37/291.48
AProVE_07/wiehe08.xml 11774721 ∞ +0 1 +0 0.03/0.03 ∞ +0 n1 +2 301.37/291.59
AProVE_07/wiehe09.xml 11774736 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 317.81/291.57
AProVE_07/wiehe11.xml 11774724 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 345.46/291.55
AProVE_07/wiehe12.xml 11774681 ∞ +0 1 +0 0.05/0.02 ∞ +0 n2 +2 306.51/291.52
Endrullis_06/direct.xml 11774634 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.72/1.90
Secret_07_TRS/3.xml 11774641 ∞ +0 1 +0 0.02/0.01 1 +2 1 +0 3.47/1.58
Secret_07_TRS/aprove01.xml 11774643 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 304.61/291.53
Secret_07_TRS/aprove02.xml 11774642 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 312.42/291.51
Secret_07_TRS/aprove03.xml 11774636 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 306.82/291.53
Secret_07_TRS/aprove04.xml 11774637 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 308.97/291.56
Secret_07_TRS/aprove05.xml 11774640 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 308.94/291.53
Secret_07_TRS/aprove06.xml 11774644 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 309.99/291.50
Secret_07_TRS/aprove07.xml 11774648 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 310.53/291.49
Secret_07_TRS/aprove08.xml 11774645 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 309.02/291.49
Secret_07_TRS/aprove09.xml 11774647 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 315.88/291.51
Secret_07_TRS/aprove10.xml 11774646 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
Secret_07_TRS/secret1.xml 11774649 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 16.67/5.20
Secret_07_TRS/secret3.xml 11774638 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.50/1.56
Secret_07_TRS/secret4.xml 11774639 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 333.65/291.50
Secret_07_TRS/secret5.xml 11774635 ∞ +0 1 +0 0.04/0.03 ∞ +0 NonPoly +2 3.50/1.58
Waldmann_06/jwmatchb1.xml 11774623 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.56/1.60
Waldmann_06/jwmatchb2.xml 11774620 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.43/1.63
Waldmann_06/jwno1.xml 11774619 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 4.29/1.80
Waldmann_06/jwno4.xml 11774622 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 4.48/1.81
Waldmann_06/jwno6.xml 11774621 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 4.57/1.90
AProVE_08/id_inc.xml 11774625 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 339.25/291.53
AProVE_08/log.xml 11774624 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1109.31/291.59
AProVE_08/parting01_reverse.xml 11774629 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 309.57/291.47
AProVE_08/parting02_doublelist.xml 11774628 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 313.18/291.53
AProVE_08/parting03_minsort.xml 11774630 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 306.46/291.61
AProVE_08/parting04_maxsort_h.xml 11774632 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 308.92/291.54
AProVE_08/parting05_maxsort.xml 11774626 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 307.00/291.61
AProVE_08/round.xml 11774631 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 887.28/291.48
AProVE_08/round_nonterm.xml 11774627 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.35/1.54
AProVE_08/thiemann40_modified.xml 11774633 ∞ +0 1 +0 0.00/0.01 ∞ +0 n2 +2 307.10/291.59
TCT_12/polycounter-10.xml 11774959 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1148.46/291.80
TCT_12/polycounter-5.xml 11774963 ∞ +0 1 +0 0.03/0.01 n5 +2 n1 +2 1031.61/291.49
TCT_12/recursion-10.xml 11774960 ∞ +0 1 +0 0.02/0.01 n10 +2 n1 +2 678.78/291.59
TCT_12/recursion-5.xml 11774961 ∞ +0 1 +0 0.01/0.01 n5 +2 n1 +2 387.65/291.55
TCT_12/sat.xml 11774962 ∞ +0 1 +0 0.03/0.03 ∞ +0 n1 +2 340.14/291.47
Der95/06.xml 11774974 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.19/1.64
Der95/07.xml 11774970 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 8.15/3.57
Der95/08.xml 11774973 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 21.34/11.36
Der95/11.xml 11774972 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 29.00/10.01
Der95/12.xml 11774965 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 353.15/291.73
Der95/18.xml 11774971 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 14.89/4.88
Der95/20.xml 11774966 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1100.66/292.19
Der95/21.xml 11774964 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.76/1.58
Der95/27.xml 11774967 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 8.39/2.85
Der95/31.xml 11774968 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 93.22/37.92
Der95/32.xml 11774969 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 330.50/291.50
Der95/33.xml 11774975 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 25.99/12.25
Strategy_removed_mixed_05/ex1.xml 11774936 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.29/1.54
Strategy_removed_mixed_05/ex2.xml 11774938 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.13/1.50
Strategy_removed_mixed_05/ex3.xml 11774942 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.29/1.52
Strategy_removed_mixed_05/ex4.xml 11774941 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.20/1.49
Strategy_removed_mixed_05/ex5.xml 11774939 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.24/1.50
Strategy_removed_mixed_05/ex6.xml 11774935 ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 620.48/291.53
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 11774944 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.16/1.52
Strategy_removed_mixed_05/muladd.xml 11774943 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.34/1.53
Strategy_removed_mixed_05/test10.xml 11774945 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 16.07/5.96
Strategy_removed_mixed_05/test76.xml 11774937 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 18.79/6.37
Strategy_removed_mixed_05/test77.xml 11774933 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.25/7.20
Strategy_removed_mixed_05/test830.xml 11774934 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.43/1.52
Strategy_removed_mixed_05/tricky1.xml 11774940 ∞ +0 1 +0 0.01/0.02 1 +2 1 +0 3.32/1.54
Zantema_05/z10.xml 11774950 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 370.97/291.49
Zantema_05/z12.xml 11774956 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1075.37/291.91
Zantema_05/z13.xml 11774955 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1077.14/291.58
Zantema_05/z14.xml 11774954 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1049.66/292.44
Zantema_05/z15.xml 11774957 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
Zantema_05/z16.xml 11774947 ∞ +0 1 +0 0.01/0.02 ∞ +0 n1 +2 889.00/291.52
Zantema_05/z17.xml 11774951 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1080.26/291.98
Zantema_05/z18.xml 11774946 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1073.96/291.60
Zantema_05/z23.xml 11774949 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 5.78/2.21
Zantema_05/z24.xml 11774948 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1121.59/291.72
Zantema_05/z26.xml 11774953 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 16.58/5.21
Zantema_05/z27.xml 11774958 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 642.23/291.76
Zantema_05/z28.xml 11774952 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 6.41/2.42
AProVE_09_Inductive/div.xml 11774900 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 303.81/291.49
AProVE_09_Inductive/divhard.xml 11774911 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 306.55/291.59
AProVE_09_Inductive/gcd.xml 11774910 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 305.96/291.53
AProVE_09_Inductive/gcd2.xml 11774901 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.62/291.52
AProVE_09_Inductive/gcdhard.xml 11774907 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 305.55/291.46
AProVE_09_Inductive/log.xml 11774908 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 304.96/291.52
AProVE_09_Inductive/maxsort.xml 11774905 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 307.66/291.50
AProVE_09_Inductive/maxsortcondition.xml 11774906 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 308.02/291.52
AProVE_09_Inductive/minsort.xml 11774909 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 306.17/291.51
AProVE_09_Inductive/mod.xml 11774903 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 306.19/291.55
AProVE_09_Inductive/qsort.xml 11774899 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 310.86/291.54
AProVE_09_Inductive/qsortlast.xml 11774902 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 310.23/291.51
AProVE_09_Inductive/qsortmiddle.xml 11774904 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 313.30/291.51
AProVE_09_Inductive/zerolist.xml 11774912 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 911.86/291.64
AProVE_04/AAECC-ring.xml 11774920 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 311.75/291.60
AProVE_04/AAECC.xml 11774921 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 320.55/291.56
AProVE_04/fac.xml 11774923 ∞ +0 1 +0 0.00/0.01 ∞ +0 n2 +2 321.25/291.50
AProVE_04/IJCAR_1.xml 11774927 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 18.90/8.39
AProVE_04/IJCAR_12.xml 11774914 ∞ +0 1 +0 0.02/0.01 n2 +2 n2 +2 25.98/9.38
AProVE_04/IJCAR_18.xml 11774929 ∞ +0 1 +0 0.02/0.01 n3 +2 n2 +2 1109.25/291.66
AProVE_04/IJCAR_26.xml 11774919 ∞ +0 1 +0 0.04/0.02 n4 +2 n3 +2 1117.36/294.72
AProVE_04/IJCAR_26a.xml 11774928 ∞ +0 1 +0 0.04/0.02 n4 +2 n3 +2 1111.22/291.94
AProVE_04/JFP_Ex31.xml 11774932 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 24.68/7.21
AProVE_04/JFP_Ex51.xml 11774916 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 4.07/1.75
AProVE_04/Liveness6.1.xml 11774915 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1060.66/291.84
AProVE_04/Liveness6.2.xml 11774930 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1081.72/291.63
AProVE_04/Liveness6.3.xml 11774924 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 27.13/7.92
AProVE_04/Liveness6.4.xml 11774925 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1073.79/291.62
AProVE_04/Liveness8.xml 11774926 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 1042.99/291.85
AProVE_04/Liveness_WRS.xml 11774922 ∞ +0 1 +0 0.03/0.01 n1 +2 n1 +2 4.07/1.72
AProVE_04/LPAR_intlist.xml 11774918 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1003.61/291.55
AProVE_04/rta1.xml 11774931 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.89/1.67
AProVE_04/rta2.xml 11774913 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 355.96/291.55
AProVE_04/rta3.xml 11774917 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 979.04/291.52
AG01/#3.1.xml 11774808 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.39/8.24
AG01/#3.10.xml 11774793 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 309.23/291.48
AG01/#3.12.xml 11774780 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 18.84/7.28
AG01/#3.13.xml 11774787 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 314.68/291.52
AG01/#3.15.xml 11774782 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.67/4.84
AG01/#3.16.xml 11774813 ∞ +0 1 +0 0.00/0.01 n3 +2 n2 +2 324.91/291.51
AG01/#3.17.xml 11774795 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 344.13/291.51
AG01/#3.17a.xml 11774790 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 353.59/291.48
AG01/#3.18.xml 11774811 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 318.81/291.51
AG01/#3.19.xml 11774796 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 328.30/291.61
AG01/#3.2.xml 11774779 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 24.21/7.08
AG01/#3.22.xml 11774800 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 18.30/6.14
AG01/#3.23.xml 11774806 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 12.40/4.24
AG01/#3.24.xml 11774805 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 5.08/1.99
AG01/#3.26.xml 11774792 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 702.56/291.57
AG01/#3.29.xml 11774776 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.35/1.59
AG01/#3.31.xml 11774773 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.30/1.54
AG01/#3.33.xml 11774802 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.43/1.56
AG01/#3.35.xml 11774817 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 17.44/5.49
AG01/#3.36.xml 11774772 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 314.02/291.60
AG01/#3.37.xml 11774783 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.23/1.86
AG01/#3.38.xml 11774771 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.58
AG01/#3.39.xml 11774784 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 24.12/13.95
AG01/#3.4.xml 11774789 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 812.29/291.48
AG01/#3.40.xml 11774816 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 22.26/7.58
AG01/#3.41.xml 11774803 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 22.73/6.75
AG01/#3.42.xml 11774785 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 318.32/291.48
AG01/#3.47.xml 11774815 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 16.70/5.14
AG01/#3.48.xml 11774801 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 305.56/291.49
AG01/#3.49.xml 11774818 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 900.32/291.54
AG01/#3.5.xml 11774775 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 25.87/9.33
AG01/#3.51.xml 11774807 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 18.42/6.43
AG01/#3.52.xml 11774778 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 16.33/5.46
AG01/#3.53.xml 11774788 ∞ +0 1 +0 0.01/0.02 n3 +2 n3 +2 45.43/15.34
AG01/#3.53a.xml 11774814 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.26/1.52
AG01/#3.53b.xml 11774770 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 17.56/5.69
AG01/#3.54.xml 11774791 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 779.13/291.50
AG01/#3.55.xml 11774777 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 308.94/291.61
AG01/#3.56.xml 11774810 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 22.19/6.48
AG01/#3.57.xml 11774799 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 879.09/291.50
AG01/#3.5a.xml 11774786 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 307.79/291.45
AG01/#3.5b.xml 11774794 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.67/291.57
AG01/#3.6.xml 11774809 ∞ +0 1 +0 0.03/0.03 ∞ +0 n1 +2 310.66/291.50
AG01/#3.6a.xml 11774804 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 308.47/291.62
AG01/#3.6b.xml 11774774 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 310.35/291.55
AG01/#3.7.xml 11774797 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 18.53/5.44
AG01/#3.8a.xml 11774781 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 30.90/16.67
AG01/#3.8b.xml 11774812 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 305.43/291.52
AG01/#4.30c.xml 11774798 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 309.21/291.50
SK90/2.02.xml 11774842 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 8.41/2.84
SK90/2.03.xml 11774830 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 6.84/2.45
SK90/2.07.xml 11774898 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.30/6.45
SK90/2.09.xml 11774895 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.49/1.58
SK90/2.11.xml 11774880 ∞ +0 1 +0 0.01/0.03 n1 +2 n1 +2 6.28/2.41
SK90/2.12.xml 11774831 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 27.66/8.39
SK90/2.13.xml 11774862 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.57/10.13
SK90/2.14.xml 11774861 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 7.95/2.75
SK90/2.15.xml 11774832 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.30/1.53
SK90/2.16.xml 11774879 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 26.97/8.20
SK90/2.17.xml 11774872 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 25.71/7.30
SK90/2.18.xml 11774882 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 334.46/291.49
SK90/2.19.xml 11774869 ∞ +0 1 +0 0.01/0.01 n2 +2 n2 +2 24.53/7.43
SK90/2.20.xml 11774839 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.10/6.31
SK90/2.21.xml 11774854 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.30/1.53
SK90/2.22.xml 11774864 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.49/1.55
SK90/2.23.xml 11774887 ∞ +0 1 +0 0.03/0.02 ∞ +0 n3 +2 953.04/291.52
SK90/2.24.xml 11774886 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.57
SK90/2.25.xml 11774866 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.33/1.59
SK90/2.26.xml 11774853 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.31/1.52
SK90/2.27.xml 11774841 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 318.31/291.65
SK90/2.28.xml 11774859 ∞ +0 1 +0 0.00/0.01 timeout (wallclock)
SK90/2.29.xml 11774836 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 23.55/6.95
SK90/2.30.xml 11774849 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.37/1.55
SK90/2.31.xml 11774821 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.73/1.61
SK90/2.36.xml 11774819 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.61/1.58
SK90/2.37.xml 11774851 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.21/1.59
SK90/2.38.xml 11774827 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 5.27/2.03
SK90/2.39.xml 11774846 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 18.55/6.98
SK90/2.40.xml 11774893 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 19.66/7.11
SK90/2.41.xml 11774875 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.51/1.59
SK90/2.42.xml 11774847 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 16.43/6.16
SK90/2.43.xml 11774824 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.42/1.66
SK90/2.44.xml 11774826 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 21.90/7.39
SK90/2.45.xml 11774845 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 23.85/6.80
SK90/2.47.xml 11774890 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.37/1.49
SK90/2.48.xml 11774877 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.06/1.51
SK90/2.49.xml 11774889 ∞ +0 1 +0 0.02/0.02 1 +2 1 +0 3.37/1.53
SK90/2.50.xml 11774868 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 6.84/2.48
SK90/2.51.xml 11774885 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 957.45/291.57
SK90/2.52.xml 11774837 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1104.79/291.64
SK90/2.53.xml 11774856 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.44/1.53
SK90/2.54.xml 11774858 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.28/1.51
SK90/2.55.xml 11774835 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 16.16/5.20
SK90/2.59.xml 11774865 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.32/3.67
SK90/2.61.xml 11774860 ∞ +0 1 +0 0.02/0.01 n2 +2 1 +0 328.26/291.53
SK90/4.05.xml 11774833 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 344.52/291.49
SK90/4.06.xml 11774881 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.39/1.54
SK90/4.07.xml 11774870 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.29/1.52
SK90/4.09.xml 11774871 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.46/1.62
SK90/4.10.xml 11774896 ∞ +0 1 +0 0.00/0.01 n3 +2 n1 +2 358.10/291.67
SK90/4.12.xml 11774844 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.86/1.64
SK90/4.13.xml 11774828 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 22.51/6.97
SK90/4.16.xml 11774874 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.74/1.63
SK90/4.17.xml 11774897 ∞ +0 1 +0 0.00/0.01 ∞ +0 n2 +2 322.25/291.48
SK90/4.18.xml 11774873 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.54/2.64
SK90/4.22.xml 11774891 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 376.21/291.49
SK90/4.24.xml 11774876 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.48/1.56
SK90/4.25.xml 11774894 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 17.69/5.49
SK90/4.26.xml 11774825 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 18.22/6.23
SK90/4.27.xml 11774848 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 985.00/291.50
SK90/4.28.xml 11774823 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 29.39/9.19
SK90/4.29.xml 11774850 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 7.01/1.61
SK90/4.30.xml 11774834 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.53/1.58
SK90/4.31.xml 11774857 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.44/1.52
SK90/4.34.xml 11774884 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.47/1.54
SK90/4.35.xml 11774867 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.57/1.68
SK90/4.38.xml 11774855 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.66/1.66
SK90/4.42.xml 11774840 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 302.79/291.55
SK90/4.43.xml 11774852 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
SK90/4.45.xml 11774838 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.50/5.41
SK90/4.47.xml 11774863 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.38/1.56
SK90/4.48.xml 11774883 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.31/1.52
SK90/4.51.xml 11774878 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.19/1.54
SK90/4.53.xml 11774820 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 33.17/12.23
SK90/4.54.xml 11774822 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.33/1.54
SK90/4.57.xml 11774888 ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 306.93/291.46
SK90/4.59.xml 11774892 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.26/1.51
SK90/4.60.xml 11774843 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.30/1.56
SK90/4.61.xml 11774829 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.21/1.53
GTSSK07/cade01.xml 11774976 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 882.89/291.49
GTSSK07/cade03.xml 11774988 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 879.96/291.47
GTSSK07/cade04t.xml 11774982 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 319.84/291.49
GTSSK07/cade05t.xml 11774979 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1132.81/293.11
GTSSK07/cade06.xml 11774977 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1012.98/291.52
GTSSK07/cade07.xml 11774984 ∞ +0 1 +0 0.01/0.02 n2 +2 n1 +2 1147.69/291.50
GTSSK07/cade08.xml 11774978 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 1118.74/294.07
GTSSK07/cade09.xml 11774983 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 311.45/291.49
GTSSK07/cade10.xml 11774981 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 304.82/291.53
GTSSK07/cade11.xml 11774985 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 879.43/291.50
GTSSK07/cade12t.xml 11774989 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 311.66/291.48
GTSSK07/cade13t.xml 11774991 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 314.73/291.48
GTSSK07/cade14.xml 11774990 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1109.28/291.51
GTSSK07/cade15.xml 11774987 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.45/1.67
GTSSK07/cade16.xml 11774986 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1133.57/294.27
GTSSK07/cade17.xml 11774980 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 317.7/291.49
0 2450