detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0204.fof.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0203.fof.smt2 (content) ok ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0202.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0201.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0200.fof.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0199.fof.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0198.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0197.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0196.fof.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0195.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0194.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0193.fof.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0192.fof.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0191.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0190.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0189.fof.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0188.fof.smt2 (content) ok ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0187.fof.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0186.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0185.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0184.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0183.fof.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0182.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0181.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0180.fof.smt2 (content) ok ok 0.052s