Results on Suite 1, ITRS subsuite
Example
MCNP
AProVE
ITRS/Beerendonk/01.mc
(original
itrs
)
YES
0.087
YES
1.360
ITRS/Beerendonk/02.mc
(original
itrs
)
YES
0.013
YES
1.380
ITRS/Beerendonk/03.mc
(original
itrs
)
YES
0.021
YES
1.480
ITRS/Beerendonk/04.mc
(original
itrs
)
YES
0.015
YES
1.370
ITRS/Beerendonk/05.mc
(original
itrs
)
YES
0.019
YES
1.420
ITRS/Beerendonk/06.mc
(original
itrs
)
YES
0.020
YES
1.360
ITRS/Beerendonk/07.mc
(original
itrs
)
YES
0.019
YES
1.390
ITRS/Beerendonk/08.mc
(original
itrs
)
YES
0.025
YES
1.400
ITRS/Beerendonk/09.mc
(original
itrs
)
YES
0.022
YES
1.530
ITRS/Beerendonk/10.mc
(original
itrs
)
YES
0.046
YES
2.580
ITRS/Beerendonk/11.mc
(original
itrs
)
YES
0.088
YES
2.730
ITRS/Beerendonk/13.mc
(original
itrs
)
YES
0.062
YES
2.440
ITRS/Beerendonk/15.mc
(original
itrs
)
YES
0.053
YES
5.780
ITRS/Beerendonk/16.mc
(original
itrs
)
YES
0.078
YES
5.030
ITRS/Beerendonk/17.mc
(original
itrs
)
YES
0.094
YES
8.180
ITRS/Beerendonk/18.mc
(original
itrs
)
YES
0.089
YES
11.180
ITRS/Beerendonk/19.mc
(original
itrs
)
YES
0.086
YES
13.040
ITRS/Beerendonk/20.mc
(original
itrs
)
YES
0.077
YES
2.630
ITRS/Beerendonk/21.mc
(original
itrs
)
YES
0.069
YES
3.500
ITRS/Beerendonk/22.mc
(original
itrs
)
YES
0.084
YES
2.310
ITRS/Beerendonk/23.mc
(original
itrs
)
YES
0.086
YES
3.100
ITRS/Beerendonk/24.mc
(original
itrs
)
YES
0.215
YES
5.750
ITRS/CAV02/practical1.mc
(original
itrs
)
YES
0.058
YES
2.220
ITRS/CAV02/practical2.mc
(original
itrs
)
MAYBE
4.222
TIMEOUT
60
ITRS/CAV05/c_05.mc
(original
itrs
)
YES
0.045
YES
4.960
ITRS/ESOP08/abstractions.mc
(original
itrs
)
YES
0.050
YES
2.520
ITRS/LICS04/choice.mc
(original
itrs
)
MAYBE
0.255
YES
39.340
ITRS/LICS04/c_01.mc
(original
itrs
)
YES
0.061
YES
2.280
ITRS/VMCAI05/poly1.mc
(original
itrs
)
MAYBE
0.250
TIMEOUT
60
ITRS/VMCAI05/poly2.mc
(original
itrs
)
MAYBE
0.338
TIMEOUT
60
ITRS/VMCAI05/poly3.mc
(original
itrs
)
MAYBE
0.296
TIMEOUT
60
ITRS/VMCAI05/poly4.mc
(original
itrs
)
YES
0.121
YES
16.110