First version of report

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 {