Remove benchmarks that are giving inconsistent results

huub-solver · Sep 10, 2024 · d90b81f · d90b81f
1 parent 5eee300
commit d90b81f
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 10,040 deletions.
diff --git a/crates/fzn-huub/benches/fzn_huub_benchmarks.rs b/crates/fzn-huub/benches/fzn_huub_benchmarks.rs
@@ -112,10 +112,7 @@ fn a_few_seconds(c: &mut Criterion) {
 	let instances = vec![
 		("jobshop_la02", InstanceType::Optimization),
 		("jobshop_la04", InstanceType::Optimization),
-		("kidney_exchange_3_20_0_15_3", InstanceType::Optimization),
-		("kidney_exchange_3_25_0_10_2", InstanceType::Optimization),
 		("svrp_s4_v2_c3", InstanceType::Optimization),
-		("rotating_workforce_25_s_7", InstanceType::Satisfaction),
 		("amaze3_2012_03_19", InstanceType::Satisfaction),
 	];
 	for (instance, instance_type) in instances {

diff --git a/crates/fzn-huub/corpus/kidney_exchange_3_20_0_15_3.fzn.json b/crates/fzn-huub/corpus/kidney_exchange_3_20_0_15_3.fzn.json
diff --git a/crates/fzn-huub/corpus/kidney_exchange_3_20_0_15_3.sol b/crates/fzn-huub/corpus/kidney_exchange_3_20_0_15_3.sol
diff --git a/crates/fzn-huub/corpus/kidney_exchange_3_25_0_10_2.fzn.json b/crates/fzn-huub/corpus/kidney_exchange_3_25_0_10_2.fzn.json
diff --git a/crates/fzn-huub/corpus/kidney_exchange_3_25_0_10_2.sol b/crates/fzn-huub/corpus/kidney_exchange_3_25_0_10_2.sol
diff --git a/crates/fzn-huub/corpus/rotating_workforce_25_s_7.fzn.json b/crates/fzn-huub/corpus/rotating_workforce_25_s_7.fzn.json
diff --git a/crates/fzn-huub/corpus/rotating_workforce_25_s_7.sol b/crates/fzn-huub/corpus/rotating_workforce_25_s_7.sol