remove unused files, refine statistics
commitab46565a822b1cbeb4778b9efa2fbdfc57c6b1ef
authorClaude Marche <Claude.Marche@inria.fr>
Mon, 21 Oct 2024 15:32:20 +0000 (21 17:32 +0200)
committerClaude Marche <Claude.Marche@inria.fr>
Mon, 21 Oct 2024 15:42:20 +0000 (21 17:42 +0200)
tree66162e93666c85f593163b86cc9364786302c030
parentd35776f2e621a2593cd85cb6322fb9032b770e26
remove unused files, refine statistics
bench/ce-stats.py
bench/check-ce/oracles/657_CVC4,1.8_WP.out [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_Alt-Ergo,2.5.4_SP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_Alt-Ergo,2.5.4_WP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_CVC4,1.8_SP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_CVC4,1.8_WP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_CVC5,1.0.5_SP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_CVC5,1.0.5_WP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_Z3,4.8.10_SP.oracle [deleted file]
bench/check-ce/oracles/log-asserts_Alt-Ergo,2.5.4_WP.out_Z3,4.8.10_WP.oracle [deleted file]