diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main.rs b/src/main.rs index 41a5f5b..a6416e6 100644 --- a/src/main.rs +++ b/src/main.rs @@ -494,26 +494,32 @@ fn main() { if theorem15(&g, toughness, min_degree) { counters.t15_hamiltonian += 1; + println!("g6:bigalke-jung:{}", line); } if theorem25(&g, toughness, min_degree) { counters.t25_hamiltonian += 1; + println!("g6:bauer:{}", line); } if dirac_theorem(&g) { counters.dirac_hamiltonian += 1; + println!("g6:dirac:{}", line); } if ore_theorem(&g) { counters.ore_hamiltonian += 1; + println!("g6:ore:{}", line); } if posa_theorem(&g) { counters.posa_hamiltonian += 1; + println!("g6:posa:{}", line); } if is_complete { counters.bch_hamiltonian += 1; + println!("g6:bondy-chvatal:{}", line); } if is_complete && false { |