diff --git a/src/cartesi-machine-tests.lua b/src/cartesi-machine-tests.lua
index b55441b34..e2e63cfa8 100755
--- a/src/cartesi-machine-tests.lua
+++ b/src/cartesi-machine-tests.lua
@@ -63,25 +63,25 @@ local riscv_tests = {
     { "rv64ua-p-amoxor_d.bin", 102 },
     { "rv64ua-p-amoxor_w.bin", 104 },
     { "rv64ua-p-lrsc.bin", 6276 },
-    { "rv64ua-v-amoadd_d.bin", 10593 },
-    { "rv64ua-v-amoadd_w.bin", 10590 },
-    { "rv64ua-v-amoand_d.bin", 10602 },
-    { "rv64ua-v-amoand_w.bin", 10601 },
-    { "rv64ua-v-amomax_d.bin", 10583 },
-    { "rv64ua-v-amomax_w.bin", 10583 },
-    { "rv64ua-v-amomaxu_d.bin", 10583 },
-    { "rv64ua-v-amomaxu_w.bin", 10583 },
-    { "rv64ua-v-amomin_d.bin", 10583 },
-    { "rv64ua-v-amomin_w.bin", 10583 },
-    { "rv64ua-v-amominu_d.bin", 10589 },
-    { "rv64ua-v-amominu_w.bin", 10589 },
-    { "rv64ua-v-amoor_d.bin", 10582 },
-    { "rv64ua-v-amoor_w.bin", 10582 },
-    { "rv64ua-v-amoswap_d.bin", 10602 },
-    { "rv64ua-v-amoswap_w.bin", 10601 },
-    { "rv64ua-v-amoxor_d.bin", 10585 },
-    { "rv64ua-v-amoxor_w.bin", 10587 },
-    { "rv64ua-v-lrsc.bin", 16759 },
+    { "rv64ua-v-amoadd_d.bin", 9373 },
+    { "rv64ua-v-amoadd_w.bin", 9370 },
+    { "rv64ua-v-amoand_d.bin", 9382 },
+    { "rv64ua-v-amoand_w.bin", 9381 },
+    { "rv64ua-v-amomax_d.bin", 9363 },
+    { "rv64ua-v-amomax_w.bin", 9363 },
+    { "rv64ua-v-amomaxu_d.bin", 9363 },
+    { "rv64ua-v-amomaxu_w.bin", 9363 },
+    { "rv64ua-v-amomin_d.bin", 9363 },
+    { "rv64ua-v-amomin_w.bin", 9363 },
+    { "rv64ua-v-amominu_d.bin", 9369 },
+    { "rv64ua-v-amominu_w.bin", 9369 },
+    { "rv64ua-v-amoor_d.bin", 9362 },
+    { "rv64ua-v-amoor_w.bin", 9362 },
+    { "rv64ua-v-amoswap_d.bin", 9382 },
+    { "rv64ua-v-amoswap_w.bin", 9381 },
+    { "rv64ua-v-amoxor_d.bin", 9365 },
+    { "rv64ua-v-amoxor_w.bin", 9367 },
+    { "rv64ua-v-lrsc.bin", 15539 },
     { "rv64ui-p-add.bin", 505 },
     { "rv64ui-p-addi.bin", 280 },
     { "rv64ui-p-addiw.bin", 277 },
@@ -133,57 +133,57 @@ local riscv_tests = {
     { "rv64ui-p-subw.bin", 492 },
     { "rv64ui-p-xor.bin", 608 },
     { "rv64ui-p-xori.bin", 242 },
-    { "rv64ui-v-add.bin", 6773 },
-    { "rv64ui-v-addi.bin", 6548 },
-    { "rv64ui-v-addiw.bin", 6545 },
-    { "rv64ui-v-addw.bin", 6768 },
-    { "rv64ui-v-and.bin", 6848 },
-    { "rv64ui-v-andi.bin", 6519 },
-    { "rv64ui-v-auipc.bin", 6361 },
-    { "rv64ui-v-beq.bin", 6594 },
-    { "rv64ui-v-bge.bin", 6612 },
-    { "rv64ui-v-bgeu.bin", 6702 },
-    { "rv64ui-v-blt.bin", 6594 },
-    { "rv64ui-v-bltu.bin", 6680 },
-    { "rv64ui-v-bne.bin", 6594 },
-    { "rv64ui-v-fence_i.bin", 10850 },
-    { "rv64ui-v-jal.bin", 6358 },
-    { "rv64ui-v-jalr.bin", 6418 },
-    { "rv64ui-v-lb.bin", 11259 },
-    { "rv64ui-v-lbu.bin", 11259 },
-    { "rv64ui-v-ld.bin", 11441 },
-    { "rv64ui-v-lh.bin", 11275 },
-    { "rv64ui-v-lhu.bin", 11284 },
-    { "rv64ui-v-lui.bin", 6368 },
-    { "rv64ui-v-lw.bin", 11289 },
-    { "rv64ui-v-lwu.bin", 11323 },
-    { "rv64ui-v-or.bin", 6881 },
-    { "rv64ui-v-ori.bin", 6512 },
-    { "rv64ui-v-sb.bin", 10972 },
-    { "rv64ui-v-sd.bin", 15847 },
-    { "rv64ui-v-sh.bin", 11025 },
-    { "rv64ui-v-simple.bin", 6344 },
-    { "rv64ui-v-sll.bin", 6843 },
-    { "rv64ui-v-slli.bin", 6573 },
-    { "rv64ui-v-slliw.bin", 6580 },
-    { "rv64ui-v-sllw.bin", 6843 },
-    { "rv64ui-v-slt.bin", 6762 },
-    { "rv64ui-v-slti.bin", 6540 },
-    { "rv64ui-v-sltiu.bin", 6540 },
-    { "rv64ui-v-sltu.bin", 6779 },
-    { "rv64ui-v-sra.bin", 6815 },
-    { "rv64ui-v-srai.bin", 6561 },
-    { "rv64ui-v-sraiw.bin", 6607 },
-    { "rv64ui-v-sraw.bin", 11558 },
-    { "rv64ui-v-srl.bin", 6857 },
-    { "rv64ui-v-srli.bin", 6582 },
-    { "rv64ui-v-srliw.bin", 6589 },
-    { "rv64ui-v-srlw.bin", 6849 },
-    { "rv64ui-v-sub.bin", 6764 },
-    { "rv64ui-v-subw.bin", 6760 },
-    { "rv64ui-v-sw.bin", 11032 },
-    { "rv64ui-v-xor.bin", 6876 },
-    { "rv64ui-v-xori.bin", 6510 },
+    { "rv64ui-v-add.bin", 6712 },
+    { "rv64ui-v-addi.bin", 6487 },
+    { "rv64ui-v-addiw.bin", 6484 },
+    { "rv64ui-v-addw.bin", 6707 },
+    { "rv64ui-v-and.bin", 6787 },
+    { "rv64ui-v-andi.bin", 6458 },
+    { "rv64ui-v-auipc.bin", 6300 },
+    { "rv64ui-v-beq.bin", 6533 },
+    { "rv64ui-v-bge.bin", 6551 },
+    { "rv64ui-v-bgeu.bin", 6641 },
+    { "rv64ui-v-blt.bin", 6533 },
+    { "rv64ui-v-bltu.bin", 6619 },
+    { "rv64ui-v-bne.bin", 6533 },
+    { "rv64ui-v-fence_i.bin", 9630 },
+    { "rv64ui-v-jal.bin", 6297 },
+    { "rv64ui-v-jalr.bin", 6357 },
+    { "rv64ui-v-lb.bin", 11201 },
+    { "rv64ui-v-lbu.bin", 11201 },
+    { "rv64ui-v-ld.bin", 11383 },
+    { "rv64ui-v-lh.bin", 11217 },
+    { "rv64ui-v-lhu.bin", 11226 },
+    { "rv64ui-v-lui.bin", 6307 },
+    { "rv64ui-v-lw.bin", 11231 },
+    { "rv64ui-v-lwu.bin", 11265 },
+    { "rv64ui-v-or.bin", 6820 },
+    { "rv64ui-v-ori.bin", 6451 },
+    { "rv64ui-v-sb.bin", 9752 },
+    { "rv64ui-v-sd.bin", 14630 },
+    { "rv64ui-v-sh.bin", 9805 },
+    { "rv64ui-v-simple.bin", 6283 },
+    { "rv64ui-v-sll.bin", 11488 },
+    { "rv64ui-v-slli.bin", 6512 },
+    { "rv64ui-v-slliw.bin", 6519 },
+    { "rv64ui-v-sllw.bin", 11488 },
+    { "rv64ui-v-slt.bin", 6701 },
+    { "rv64ui-v-slti.bin", 6479 },
+    { "rv64ui-v-sltiu.bin", 6479 },
+    { "rv64ui-v-sltu.bin", 6718 },
+    { "rv64ui-v-sra.bin", 6754 },
+    { "rv64ui-v-srai.bin", 6500 },
+    { "rv64ui-v-sraiw.bin", 6546 },
+    { "rv64ui-v-sraw.bin", 11500 },
+    { "rv64ui-v-srl.bin", 11502 },
+    { "rv64ui-v-srli.bin", 6521 },
+    { "rv64ui-v-srliw.bin", 6528 },
+    { "rv64ui-v-srlw.bin", 11494 },
+    { "rv64ui-v-sub.bin", 6703 },
+    { "rv64ui-v-subw.bin", 6699 },
+    { "rv64ui-v-sw.bin", 9812 },
+    { "rv64ui-v-xor.bin", 6815 },
+    { "rv64ui-v-xori.bin", 6449 },
     { "rv64um-p-div.bin", 136 },
     { "rv64um-p-divu.bin", 142 },
     { "rv64um-p-divuw.bin", 134 },
@@ -197,22 +197,22 @@ local riscv_tests = {
     { "rv64um-p-remu.bin", 136 },
     { "rv64um-p-remuw.bin", 131 },
     { "rv64um-p-remw.bin", 137 },
-    { "rv64um-v-div.bin", 6404 },
-    { "rv64um-v-divu.bin", 6410 },
-    { "rv64um-v-divuw.bin", 6402 },
-    { "rv64um-v-divw.bin", 6399 },
-    { "rv64um-v-mul.bin", 6763 },
-    { "rv64um-v-mulh.bin", 6771 },
-    { "rv64um-v-mulhsu.bin", 6771 },
-    { "rv64um-v-mulhu.bin", 6803 },
-    { "rv64um-v-mulw.bin", 6702 },
-    { "rv64um-v-rem.bin", 6403 },
-    { "rv64um-v-remu.bin", 6404 },
-    { "rv64um-v-remuw.bin", 6399 },
-    { "rv64um-v-remw.bin", 6405 },
+    { "rv64um-v-div.bin", 6343 },
+    { "rv64um-v-divu.bin", 6349 },
+    { "rv64um-v-divuw.bin", 6341 },
+    { "rv64um-v-divw.bin", 6338 },
+    { "rv64um-v-mul.bin", 6702 },
+    { "rv64um-v-mulh.bin", 6710 },
+    { "rv64um-v-mulhsu.bin", 6710 },
+    { "rv64um-v-mulhu.bin", 6742 },
+    { "rv64um-v-mulw.bin", 6641 },
+    { "rv64um-v-rem.bin", 6342 },
+    { "rv64um-v-remu.bin", 6343 },
+    { "rv64um-v-remuw.bin", 6338 },
+    { "rv64um-v-remw.bin", 6344 },
     -- C extension tests
     { "rv64uc-p-rvc.bin", 295 },
-    { "rv64uc-v-rvc.bin", 15497 },
+    { "rv64uc-v-rvc.bin", 14280 },
     -- float tests
     { "rv64uf-p-fadd.bin", 210 },
     { "rv64uf-p-fclass.bin", 147 },
@@ -225,17 +225,17 @@ local riscv_tests = {
     { "rv64uf-p-ldst.bin", 106 },
     { "rv64uf-p-move.bin", 255 },
     { "rv64uf-p-recoding.bin", 113 },
-    { "rv64uf-v-fadd.bin", 11179 },
-    { "rv64uf-v-fclass.bin", 6413 },
-    { "rv64uf-v-fcmp.bin", 11229 },
-    { "rv64uf-v-fcvt.bin", 11121 },
-    { "rv64uf-v-fcvt_w.bin", 16222 },
-    { "rv64uf-v-fdiv.bin", 11140 },
-    { "rv64uf-v-fmadd.bin", 11205 },
-    { "rv64uf-v-fmin.bin", 11283 },
-    { "rv64uf-v-ldst.bin", 10621 },
-    { "rv64uf-v-move.bin", 6521 },
-    { "rv64uf-v-recoding.bin", 11082 },
+    { "rv64uf-v-fadd.bin", 11121 },
+    { "rv64uf-v-fclass.bin", 6352 },
+    { "rv64uf-v-fcmp.bin", 11171 },
+    { "rv64uf-v-fcvt.bin", 11063 },
+    { "rv64uf-v-fcvt_w.bin", 16167 },
+    { "rv64uf-v-fdiv.bin", 11082 },
+    { "rv64uf-v-fmadd.bin", 11147 },
+    { "rv64uf-v-fmin.bin", 11225 },
+    { "rv64uf-v-ldst.bin", 9401 },
+    { "rv64uf-v-move.bin", 6460 },
+    { "rv64uf-v-recoding.bin", 11024 },
     { "rv64ud-p-fadd.bin", 210 },
     { "rv64ud-p-fclass.bin", 153 },
     { "rv64ud-p-fcmp.bin", 260 },
@@ -248,18 +248,18 @@ local riscv_tests = {
     { "rv64ud-p-move.bin", 1030 },
     { "rv64ud-p-recoding.bin", 138 },
     { "rv64ud-p-structural.bin", 203 },
-    { "rv64ud-v-fadd.bin", 11179 },
-    { "rv64ud-v-fclass.bin", 6419 },
-    { "rv64ud-v-fcmp.bin", 11229 },
-    { "rv64ud-v-fcvt.bin", 11161 },
-    { "rv64ud-v-fcvt_w.bin", 16282 },
-    { "rv64ud-v-fdiv.bin", 11153 },
-    { "rv64ud-v-fmadd.bin", 11205 },
-    { "rv64ud-v-fmin.bin", 11283 },
-    { "rv64ud-v-ldst.bin", 10616 },
-    { "rv64ud-v-move.bin", 11999 },
-    { "rv64ud-v-recoding.bin", 10659 },
-    { "rv64ud-v-structural.bin", 6469 },
+    { "rv64ud-v-fadd.bin", 11121 },
+    { "rv64ud-v-fclass.bin", 6358 },
+    { "rv64ud-v-fcmp.bin", 11171 },
+    { "rv64ud-v-fcvt.bin", 11103 },
+    { "rv64ud-v-fcvt_w.bin", 16227 },
+    { "rv64ud-v-fdiv.bin", 11095 },
+    { "rv64ud-v-fmadd.bin", 11147 },
+    { "rv64ud-v-fmin.bin", 11225 },
+    { "rv64ud-v-ldst.bin", 9396 },
+    { "rv64ud-v-move.bin", 11941 },
+    { "rv64ud-v-recoding.bin", 9439 },
+    { "rv64ud-v-structural.bin", 6408 },
     { "fclass.bin", 453 },
     { "fcvt.bin", 17610 },
     { "fcmp.bin", 46783 },