detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0174.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0173.fof.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0172.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0171.fof.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0170.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0169.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0168.fof.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0167.fof.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0166.fof.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0165.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0164.fof.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0163.fof.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0162.fof.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0161.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0160.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0159.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0158.fof.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0157.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0156.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0155.fof.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0154.fof.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0153.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0152.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0151.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_inuse_0150.fof.smt2 (content) ok ok 0.042s