Results on Suite 1
Example
MCNP
ITRS/Beerendonk/01.mc
(original
itrs
)
YES
0.087
ITRS/Beerendonk/02.mc
(original
itrs
)
YES
0.013
ITRS/Beerendonk/03.mc
(original
itrs
)
YES
0.021
ITRS/Beerendonk/04.mc
(original
itrs
)
YES
0.015
ITRS/Beerendonk/05.mc
(original
itrs
)
YES
0.019
ITRS/Beerendonk/06.mc
(original
itrs
)
YES
0.020
ITRS/Beerendonk/07.mc
(original
itrs
)
YES
0.019
ITRS/Beerendonk/08.mc
(original
itrs
)
YES
0.025
ITRS/Beerendonk/09.mc
(original
itrs
)
YES
0.022
ITRS/Beerendonk/10.mc
(original
itrs
)
YES
0.046
ITRS/Beerendonk/11.mc
(original
itrs
)
YES
0.088
ITRS/Beerendonk/13.mc
(original
itrs
)
YES
0.062
ITRS/Beerendonk/15.mc
(original
itrs
)
YES
0.053
ITRS/Beerendonk/16.mc
(original
itrs
)
YES
0.078
ITRS/Beerendonk/17.mc
(original
itrs
)
YES
0.094
ITRS/Beerendonk/18.mc
(original
itrs
)
YES
0.089
ITRS/Beerendonk/19.mc
(original
itrs
)
YES
0.086
ITRS/Beerendonk/20.mc
(original
itrs
)
YES
0.077
ITRS/Beerendonk/21.mc
(original
itrs
)
YES
0.069
ITRS/Beerendonk/22.mc
(original
itrs
)
YES
0.084
ITRS/Beerendonk/23.mc
(original
itrs
)
YES
0.086
ITRS/Beerendonk/24.mc
(original
itrs
)
YES
0.215
ITRS/CAV02/practical1.mc
(original
itrs
)
YES
0.058
ITRS/CAV02/practical2.mc
(original
itrs
)
MAYBE
4.222
ITRS/CAV05/c_05.mc
(original
itrs
)
YES
0.045
ITRS/ESOP08/abstractions.mc
(original
itrs
)
YES
0.050
ITRS/LICS04/choice.mc
(original
itrs
)
MAYBE
0.255
ITRS/LICS04/c_01.mc
(original
itrs
)
YES
0.061
ITRS/VMCAI05/poly1.mc
(original
itrs
)
MAYBE
0.250
ITRS/VMCAI05/poly2.mc
(original
itrs
)
MAYBE
0.338
ITRS/VMCAI05/poly3.mc
(original
itrs
)
MAYBE
0.296
ITRS/VMCAI05/poly4.mc
(original
itrs
)
YES
0.121
MCFromC/arithmetics.mc
(original
c
)
YES
0.022
MCFromC/collatz.mc
(original
c
)
MAYBE
1.558
MCFromC/dead_code_flow.mc
(original
c
)
YES
0.000
MCFromC/do_while.mc
(original
c
)
YES
0.014
MCFromC/fibonacci.mc
(original
c
)
YES
0.029
MCFromC/simple.mc
(original
c
)
YES
0.000
Speed/figure2_1.mc
(original
txt
)
YES
0.432
Speed/figure2_2.mc
(original
txt
)
YES
0.257
Speed/figure3_1.mc
(original
txt
)
YES
0.105
Speed/figure3_2.mc
(original
txt
)
YES
0.047
Speed/figure3_3.mc
(original
txt
)
YES
0.074
Speed/figure3_4.mc
(original
txt
)
MAYBE
1.032
Speed/figure4_1.mc
(original
txt
)
YES
0.107
Speed/figure4_2.mc
(original
txt
)
YES
0.367
Speed/figure4_3.mc
(original
txt
)
YES
0.106
Speed/figure4_4.mc
(original
txt
)
YES
0.086
TermInt/example2_1.mc
(original
txt
)
YES
0.131
TermInt/example2_2.mc
(original
txt
)
YES
0.032
TermInt/example2_3.mc
(original
txt
)
YES
0.042
TermInt/example2_4.mc
(original
txt
)
MAYBE
1.091
WTC/aaron2.mc
(original
c
)
MAYBE
3.611
WTC/ax.mc
(original
c
)
YES
0.071
WTC/complex.mc
(original
c
)
MAYBE
3.791
WTC/counterex1b.mc
(original
c
)
YES
0.476
WTC/cousot9.mc
(original
c
)
YES
0.195
WTC/easy1.mc
(original
c
)
YES
0.172
WTC/easy2.mc
(original
c
)
YES
0.039
WTC/exmini.mc
(original
c
)
YES
0.097
WTC/gcd.mc
(original
c
)
YES
0.000
WTC/loops.mc
(original
c
)
YES
0.291
WTC/ndecr.mc
(original
c
)
YES
0.031
WTC/nd_loop.mc
(original
c
)
YES
0.037
WTC/nestedLoop.mc
(original
c
)
YES
1.142
WTC/perfect.mc
(original
c
)
MAYBE
5.009
WTC/random1d.mc
(original
c
)
YES
0.208
WTC/random2d.mc
(original
c
)
YES
2.245
WTC/realselect.mc
(original
c
)
YES
0.836
WTC/relation1.mc
(original
c
)
YES
0.024
WTC/rsd.mc
(original
c
)
YES
0.408
WTC/sipma91.mc
(original
c
)
MAYBE
5.149
WTC/speedFails4.mc
(original
c
)
MAYBE
2.248
WTC/speedpldi2.mc
(original
c
)
MAYBE
1.081
WTC/speedpldi3.mc
(original
c
)
YES
0.161
WTC/speedpldi4.mc
(original
c
)
YES
0.150
WTC/terminate.mc
(original
c
)
YES
0.031
WTC/wcet1.mc
(original
c
)
YES
2.670
WTC/wcet2.mc
(original
c
)
YES
0.162
WTC/while2.mc
(original
c
)
YES
0.223
WTC/wise.mc
(original
c
)
MAYBE
1.067