TermCOMP 2021: TRS Conditional 47881 Job info CSV Showing results.

benchmark muterm 6.0.3 default AProVE21 standard
Mixed_CTRS_2014/ohl194.xml 13165332 YES 0.19/0.27 YES 7.98/2.95
Mixed_CTRS_2014/mar_simple2.xml 13165333 u timeout (wallclock) timeout (wallclock)
Mixed_CTRS_2014/plus1.xml 13165334 YES 0.01/0.06 YES 5.41/2.07
Mixed_CTRS_2014/ex2-lucmes-wrla14.xml 13165335 is NO 120.28/120.37 MAYBE 8.96/3.35
Mixed_CTRS_2014/minus1.xml 13165336 YES 0.01/0.05 YES 5.36/2.06
Mixed_CTRS_2014/lucMarMes.xml 13165337 is NO 20.55/20.63 MAYBE 7.11/2.67
Mixed_CTRS_2014/sche128.xml 13165338 YES 0.07/0.16 YES 5.63/2.18
Mixed_CTRS_2014/ohl228.xml 13165339 is NO 60.15/60.22 MAYBE 9.33/8.76
Mixed_CTRS_2014/ex1-muterm14.xml 13165340 YES 0.01/0.07 YES 5.09/2.04
Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml 13165341 is YES 0.05/0.15 MAYBE 6.77/2.85
Mixed_CTRS_2014/mar.xml 13165342 u timeout (wallclock) timeout (wallclock)
Mixed_CTRS_2014/ex3-muterm14.xml 13165343 is NO 201.10/201.34 MAYBE 20.88/12.32
Mixed_CTRS_2014/ohl230.xml 13165344 is NO 59.07/60.31 MAYBE 7.49/2.90
Mixed_CTRS_2014/ex2-muterm14.xml 13165345 YES 0.01/0.07 YES 5.13/2.09
Mixed_CTRS_2014/ohl206.xml 13165346 YES 0.03/0.08 YES 5.66/2.18
Mixed_CTRS_2014/jlap09-ex17.xml 13165347 is YES 120.68/120.85 MAYBE 34.75/12.92
Mixed_CTRS_2014/ohl196.xml 13165348 YES 0.01/0.08 YES 5.59/2.20
Mixed_CTRS_2014/logic.xml 13165349 YES 117.42/117.66 YES 7.45/2.70
Mixed_CTRS_2014/mar_simple1.xml 13165350 u timeout (wallclock) MAYBE 31.72/9.92
Mixed_CTRS_2014/ohl.xml 13165351 is YES 41.71/41.89 MAYBE 6.09/7.86
Mixed_CTRS_2014/jlap09-ex16.xml 13165352 is YES 0.06/0.13 MAYBE 6.35/2.39
Mixed_CTRS_2014/ohl211.xml 13165353 is YES 0.03/0.12 MAYBE 10.46/3.65
Mixed_CTRS_2014/ohl216.xml 13165354 YES 0.01/0.04 YES 5.24/2.05
Mixed_CTRS_2014/ohl190.xml 13165355 YES 0.03/0.11 YES 5.52/2.17
Mixed_CTRS_2014/ex1-lucmes-wrla14.xml 13165356 u timeout (wallclock) timeout (wallclock)
COPS/355.xml 13165247 is NO 20.20/20.31 MAYBE 6.83/2.69
COPS/384.xml 13165248 YES 0.01/0.09 YES 5.38/2.12
COPS/329.xml 13165249 YES 183.55/184.39 YES 6.73/2.52
COPS/271.xml 13165250 YES 0.07/0.16 YES 5.48/2.17
COPS/383.xml 13165251 YES 0.01/0.08 YES 5.54/2.17
COPS/312.xml 13165252 u timeout (wallclock) MAYBE 12.89/11.62
COPS/315.xml 13165253 YES 0.02/0.09 YES 5.57/2.14
COPS/369.xml 13165254 YES 0.01/0.07 YES 5.87/2.27
COPS/292.xml 13165255 YES 0.02/0.08 YES 5.83/2.22
COPS/411.xml 13165256 is NO 60.43/60.54 MAYBE 6.72/2.66
COPS/367.xml 13165257 YES 0.01/0.07 YES 5.65/2.18
COPS/371.xml 13165258 YES 0.01/0.05 YES 5.33/2.11
COPS/407.xml 13165259 is NO 43.66/45.90 MAYBE 6.94/2.64
COPS/376.xml 13165260 YES 0.01/0.10 YES 5.78/4.88
COPS/378.xml 13165261 YES 20.09/20.16 YES 7.19/2.64
COPS/409.xml 13165262 is NO 43.78/43.93 MAYBE 7.41/2.80
COPS/267.xml 13165263 YES 0.02/0.10 YES 6.06/2.26
COPS/343.xml 13165264 YES 0.01/0.08 YES 5.34/2.08
COPS/344.xml 13165265 YES 0.01/0.07 YES 5.32/2.07
COPS/361.xml 13165266 is NO 101.53/101.71 MAYBE 7.30/2.70
COPS/294.xml 13165267 YES 0.01/0.10 YES 5.49/2.14
COPS/293.xml 13165268 is NO 20.31/20.39 MAYBE 6.81/2.63
COPS/410.xml 13165269 YES 0.01/0.08 YES 5.35/2.08
COPS/366.xml 13165270 YES 0.01/0.09 YES 5.15/2.10
COPS/368.xml 13165271 YES 0.01/0.09 YES 5.19/2.07
COPS/326.xml 13165272 YES 0.01/0.10 YES 5.46/2.10
COPS/321.xml 13165273 YES 0.02/0.06 YES 6.43/2.39
COPS/353.xml 13165274 YES 171.77/171.95 YES 8.17/2.83
COPS/382.xml 13165275 YES 0.01/0.07 YES 5.40/2.05
COPS/354.xml 13165276 YES 0.01/0.08 YES 5.27/2.04
COPS/385.xml 13165277 YES 0.01/0.07 YES 5.35/2.04
COPS/339.xml 13165278 YES 0.01/0.07 YES 5.44/2.10
COPS/266.xml 13165279 is timeout (wallclock) YES 6.10/2.38
COPS/342.xml 13165280 u timeout (wallclock) MAYBE 7.55/2.74
COPS/268.xml 13165281 is NO 40.15/40.26 MAYBE 6.98/2.67
COPS/330.xml 13165282 is NO 40.18/40.27 MAYBE 6.67/4.70
COPS/337.xml 13165283 u timeout (wallclock) timeout (wallclock)
COPS/408.xml 13165284 YES 0.01/0.09 YES 5.73/2.20
COPS/379.xml 13165285 is NO 32.50/33.98 MAYBE 7.50/2.84
COPS/377.xml 13165286 YES 0.01/0.07 YES 5.60/2.16
COPS/370.xml 13165287 YES 0.02/0.04 YES 5.98/2.28
COPS/406.xml 13165288 YES 0.01/0.07 YES 5.92/2.17
COPS/390.xml 13165289 YES 0.01/0.07 YES 5.28/2.06
COPS/341.xml 13165290 YES 0.01/0.30 YES 5.20/2.25
COPS/262.xml 13165291 YES 0.01/0.04 YES 5.40/2.16
COPS/334.xml 13165292 YES 0.01/0.04 YES 5.25/2.07
COPS/333.xml 13165293 YES 0.01/0.09 YES 6.49/2.70
COPS/288.xml 13165294 YES 0.05/0.14 YES 5.63/2.14
COPS/373.xml 13165295 YES 0.01/0.08 YES 5.17/2.02
COPS/405.xml 13165296 u timeout (wallclock) timeout (wallclock)
COPS/286.xml 13165297 is NO 120.93/121.14 MAYBE 7.34/2.76
COPS/308.xml 13165298 YES 0.01/0.05 YES 5.09/2.08
COPS/374.xml 13165299 YES 0.01/0.09 YES 5.44/2.09
COPS/319.xml 13165300 YES 0.01/0.09 YES 5.50/2.18
COPS/365.xml 13165301 YES 0.01/0.08 YES 5.59/2.18
COPS/310.xml 13165302 YES 0.07/0.14 YES 5.66/2.16
COPS/317.xml 13165303 YES 0.01/0.08 YES 5.54/2.15
COPS/322.xml 13165304 YES 0.02/0.09 YES 5.86/2.27
COPS/359.xml 13165305 YES 0.01/0.08 YES 5.58/2.12
COPS/388.xml 13165306 YES 0.01/0.05 YES 5.58/2.07
COPS/325.xml 13165307 YES 0.02/0.05 YES 5.89/2.26
COPS/381.xml 13165308 YES 0.03/0.13 YES 6.04/2.32
COPS/375.xml 13165309 YES 0.01/0.10 YES 5.69/2.17
COPS/403.xml 13165310 YES 0.01/0.06 YES 5.78/11.23
COPS/372.xml 13165311 YES 0.01/0.08 YES 5.40/2.11
COPS/404.xml 13165312 YES 0.02/0.09 YES 5.77/6.04
COPS/289.xml 13165313 u MAYBE 243.63/243.95 MAYBE 9.17/3.25
COPS/307.xml 13165314 YES 0.01/0.07 YES 5.48/2.13
COPS/332.xml 13165315 YES 0.01/0.08 YES 5.46/5.48
COPS/263.xml 13165316 YES 0.01/0.09 YES 5.43/2.07
COPS/264.xml 13165317 YES 0.01/0.06 YES 5.31/2.09
COPS/391.xml 13165318 YES 1.04/1.08 YES 5.38/2.14
COPS/340.xml 13165319 YES 0.01/0.07 YES 5.43/2.13
COPS/351.xml 13165320 YES 0.02/0.09 YES 6.18/2.34
COPS/380.xml 13165321 YES 0.01/0.04 YES 5.59/2.13
COPS/356.xml 13165322 YES 0.01/0.06 YES 5.36/2.07
COPS/387.xml 13165323 YES 0.01/0.06 YES 5.28/2.08
COPS/272.xml 13165324 YES 0.02/0.05 YES 6.11/2.49
COPS/358.xml 13165325 YES 0.01/0.07 YES 5.19/2.23
COPS/389.xml 13165326 is NO 40.17/40.23 MAYBE 7.41/2.71
COPS/324.xml 13165327 is NO 100.94/101.11 MAYBE 6.25/2.45
COPS/323.xml 13165328 YES 0.01/0.10 YES 5.34/2.12
COPS/316.xml 13165329 YES 0.01/0.05 YES 5.85/2.24
COPS/311.xml 13165330 u MAYBE 203.46/203.81 MAYBE 12.52/4.21
COPS/364.xml 13165331 YES 0.01/0.07 YES 5.50/2.07
Mixed_CTRS/quicksort.xml 13165240 YES 1.86/1.91 YES 7.12/2.72
Mixed_CTRS/quick.xml 13165241 YES 0.06/0.12 YES 7.11/2.66
Mixed_CTRS/fib.xml 13165242 YES 72.47/72.60 YES 5.73/2.17
Mixed_CTRS/quotrem.xml 13165243 YES 0.04/0.10 YES 6.71/2.51
Mixed_CTRS/AAECC-ring-cond.xml 13165244 is timeout (wallclock) YES 174.43/68.27
Mixed_CTRS/AAECCcond.xml 13165245 is timeout (wallclock) YES 65.83/25.32
Mixed_CTRS/gcd.xml 13165246 YES 0.06/0.11 YES 6.85/2.49
104.00 85.00