diff --git a/simulator/generation/plan.rs b/simulator/generation/plan.rs
index 61b115f01..82c75c4e3 100644
--- a/simulator/generation/plan.rs
+++ b/simulator/generation/plan.rs
@@ -106,7 +106,7 @@ impl Interactions {
                             .iter_mut()
                             .find(|t| t.name == insert.table)
                             .unwrap();
-                        table.rows.push(insert.values.clone());
+                        table.rows.extend(insert.values.clone());
                     }
                     Query::Delete(_) => todo!(),
                     Query::Select(_) => {}
@@ -320,7 +320,7 @@ fn property_insert_select<R: rand::Rng>(rng: &mut R, env: &SimulatorEnv) -> Inte
     // Insert the row
     let insert_query = Interaction::Query(Query::Insert(Insert {
         table: table.name.clone(),
-        values: row.clone(),
+        values: vec![row.clone()],
     }));
 
     // Select the row
diff --git a/simulator/generation/query.rs b/simulator/generation/query.rs
index ca6926650..0ff9d44e1 100644
--- a/simulator/generation/query.rs
+++ b/simulator/generation/query.rs
@@ -37,10 +37,15 @@ impl ArbitraryFrom<Vec<&Table>> for Select {
 
 impl ArbitraryFrom<Table> for Insert {
     fn arbitrary_from<R: Rng>(rng: &mut R, table: &Table) -> Self {
-        let values = table
-            .columns
-            .iter()
-            .map(|c| Value::arbitrary_from(rng, &c.column_type))
+        let num_rows = rng.gen_range(1..10);
+        let values: Vec<Vec<Value>> = (0..num_rows)
+            .map(|_| {
+                table
+                    .columns
+                    .iter()
+                    .map(|c| Value::arbitrary_from(rng, &c.column_type))
+                    .collect()
+            })
             .collect();
         Insert {
             table: table.name.clone(),
diff --git a/simulator/model/query.rs b/simulator/model/query.rs
index eeec68d08..7a12def8d 100644
--- a/simulator/model/query.rs
+++ b/simulator/model/query.rs
@@ -75,7 +75,7 @@ pub(crate) struct Select {
 #[derive(Clone, Debug, PartialEq)]
 pub(crate) struct Insert {
     pub(crate) table: String,
-    pub(crate) values: Vec<Value>,
+    pub(crate) values: Vec<Vec<Value>>,
 }
 
 #[derive(Clone, Debug, PartialEq)]
@@ -104,14 +104,21 @@ impl Display for Query {
                 predicate: guard,
             }) => write!(f, "SELECT * FROM {} WHERE {}", table, guard),
             Query::Insert(Insert { table, values }) => {
-                write!(f, "INSERT INTO {} VALUES (", table)?;
-                for (i, v) in values.iter().enumerate() {
+                write!(f, "INSERT INTO {} VALUES ", table)?;
+                for (i, row) in values.iter().enumerate() {
                     if i != 0 {
                         write!(f, ", ")?;
                     }
-                    write!(f, "{}", v)?;
+                    write!(f, "(")?;
+                    for (j, value) in row.iter().enumerate() {
+                        if j != 0 {
+                            write!(f, ", ")?;
+                        }
+                        write!(f, "{}", value)?;
+                    }
+                    write!(f, ")")?;
                 }
-                write!(f, ")")
+                Ok(())
             }
             Query::Delete(Delete {
                 table,