Results on Suite 1, ITRS subsuite

ExampleMCNPAProVE
ITRS/Beerendonk/01.mc (original itrs)YES0.087YES1.360
ITRS/Beerendonk/02.mc (original itrs)YES0.013YES1.380
ITRS/Beerendonk/03.mc (original itrs)YES0.021YES1.480
ITRS/Beerendonk/04.mc (original itrs)YES0.015YES1.370
ITRS/Beerendonk/05.mc (original itrs)YES0.019YES1.420
ITRS/Beerendonk/06.mc (original itrs)YES0.020YES1.360
ITRS/Beerendonk/07.mc (original itrs)YES0.019YES1.390
ITRS/Beerendonk/08.mc (original itrs)YES0.025YES1.400
ITRS/Beerendonk/09.mc (original itrs)YES0.022YES1.530
ITRS/Beerendonk/10.mc (original itrs)YES0.046YES2.580
ITRS/Beerendonk/11.mc (original itrs)YES0.088YES2.730
ITRS/Beerendonk/13.mc (original itrs)YES0.062YES2.440
ITRS/Beerendonk/15.mc (original itrs)YES0.053YES5.780
ITRS/Beerendonk/16.mc (original itrs)YES0.078YES5.030
ITRS/Beerendonk/17.mc (original itrs)YES0.094YES8.180
ITRS/Beerendonk/18.mc (original itrs)YES0.089YES11.180
ITRS/Beerendonk/19.mc (original itrs)YES0.086YES13.040
ITRS/Beerendonk/20.mc (original itrs)YES0.077YES2.630
ITRS/Beerendonk/21.mc (original itrs)YES0.069YES3.500
ITRS/Beerendonk/22.mc (original itrs)YES0.084YES2.310
ITRS/Beerendonk/23.mc (original itrs)YES0.086YES3.100
ITRS/Beerendonk/24.mc (original itrs)YES0.215YES5.750
ITRS/CAV02/practical1.mc (original itrs)YES0.058YES2.220
ITRS/CAV02/practical2.mc (original itrs)MAYBE4.222TIMEOUT60
ITRS/CAV05/c_05.mc (original itrs)YES0.045YES4.960
ITRS/ESOP08/abstractions.mc (original itrs)YES0.050YES2.520
ITRS/LICS04/choice.mc (original itrs)MAYBE0.255YES39.340
ITRS/LICS04/c_01.mc (original itrs)YES0.061YES2.280
ITRS/VMCAI05/poly1.mc (original itrs)MAYBE0.250TIMEOUT60
ITRS/VMCAI05/poly2.mc (original itrs)MAYBE0.338TIMEOUT60
ITRS/VMCAI05/poly3.mc (original itrs)MAYBE0.296TIMEOUT60
ITRS/VMCAI05/poly4.mc (original itrs)YES0.121YES16.110