detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0106.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0105.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0104.fof.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0103.fof.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0102.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0101.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0100.fof.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0099.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0081.fof.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0080.fof.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0079.fof.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0078.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0077.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0076.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0075.fof.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0074.fof.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0073.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0072.fof.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0071.fof.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0070.fof.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0069.fof.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0068.fof.smt2 (content) ok ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0067.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0066.fof.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0065.fof.smt2 (content) ok ok 0.046s