diff --git a/src/example-archive/java_program_verification_challenges/broken/error-crash/00005_bit_switch.c b/src/example-archive/java_program_verification_challenges/broken/error-proof/00005_bit_switch.c
similarity index 100%
rename from src/example-archive/java_program_verification_challenges/broken/error-crash/00005_bit_switch.c
rename to src/example-archive/java_program_verification_challenges/broken/error-proof/00005_bit_switch.c
diff --git a/src/example-archive/open-sut/broken/error-crash/instrumentation_impl.c b/src/example-archive/open-sut/broken/error-proof/instrumentation_impl.c
similarity index 100%
rename from src/example-archive/open-sut/broken/error-crash/instrumentation_impl.c
rename to src/example-archive/open-sut/broken/error-proof/instrumentation_impl.c
diff --git a/src/example-archive/simple-examples/broken/error-crash/shift_crash_1.c b/src/example-archive/simple-examples/broken/error-proof/shift_crash_1.c
similarity index 100%
rename from src/example-archive/simple-examples/broken/error-crash/shift_crash_1.c
rename to src/example-archive/simple-examples/broken/error-proof/shift_crash_1.c