root
file
detailed [8275..8299]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0419.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0418.fof.smt2
(content)
ok
ok
0.042s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0417.fof.smt2
(content)
ok
ok
0.038s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0416.fof.smt2
(content)
ok
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0415.fof.smt2
(content)
ok
ok
0.051s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0414.fof.smt2
(content)
ok
ok
0.039s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0413.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0412.fof.smt2
(content)
ok
ok
0.042s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0411.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0410.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0409.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0408.fof.smt2
(content)
ok
ok
0.039s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0407.fof.smt2
(content)
ok
ok
0.040s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0406.fof.smt2
(content)
ok
ok
0.040s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0405.fof.smt2
(content)
ok
ok
0.039s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0404.fof.smt2
(content)
ok
ok
0.042s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0403.fof.smt2
(content)
ok
ok
0.037s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0402.fof.smt2
(content)
ok
ok
0.035s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0401.fof.smt2
(content)
ok
ok
0.041s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0400.fof.smt2
(content)
ok
ok
0.056s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0399.fof.smt2
(content)
ok
ok
0.038s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0398.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0397.fof.smt2
(content)
ok
ok
0.037s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0396.fof.smt2
(content)
ok
ok
0.059s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/cl5_nebula_init_0395.fof.smt2
(content)
ok
ok
0.046s