float_quat_of_rmat_assert_8.json 312 Bytes
Newer Older
POLLIEN Baptiste's avatar
POLLIEN Baptiste committed
1 2 3 4 5 6
[ { "prover": "Z3:4.8.6:noBV", "verdict": "failed" },
  { "prover": "Z3:4.8.6:counterexamples", "verdict": "failed" },
  { "prover": "Z3:4.8.6", "verdict": "failed" },
  { "prover": "CVC4:1.9-prerelease:strings+counterexamples",
    "verdict": "failed" },
  { "prover": "Alt-Ergo:2.3.3", "verdict": "failed" } ]