detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0498.fof.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0497.fof.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0496.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0495.fof.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0494.fof.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0493.fof.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0492.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0491.fof.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0490.fof.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0489.fof.smt2 (content) ok ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0488.fof.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0487.fof.smt2 (content) ok ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0486.fof.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0485.fof.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0484.fof.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0483.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0482.fof.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0481.fof.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0480.fof.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0479.fof.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0478.fof.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0477.fof.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0476.fof.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0475.fof.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0474.fof.smt2 (content) ok ok 0.043s