root
file
detailed [11150..11174]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0002.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0413.fof.smt2
(content)
ok
ok
0.048s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0412.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0411.fof.smt2
(content)
ok
ok
0.058s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0410.fof.smt2
(content)
ok
ok
0.047s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0407.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0406.fof.smt2
(content)
ok
ok
0.046s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0405.fof.smt2
(content)
ok
ok
0.049s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0380.fof.smt2
(content)
ok
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0379.fof.smt2
(content)
ok
ok
0.057s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0378.fof.smt2
(content)
ok
ok
0.049s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0377.fof.smt2
(content)
ok
ok
0.055s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0374.fof.smt2
(content)
ok
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0373.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0372.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0347.fof.smt2
(content)
ok
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0345.fof.smt2
(content)
ok
ok
0.047s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0314.fof.smt2
(content)
ok
ok
0.051s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0312.fof.smt2
(content)
ok
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0006.fof.smt2
(content)
ok
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0005.fof.smt2
(content)
ok
ok
0.059s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0004.fof.smt2
(content)
ok
ok
0.042s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0003.fof.smt2
(content)
ok
ok
0.048s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0002.fof.smt2
(content)
ok
ok
0.042s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0001.fof.smt2
(content)
ok
ok
0.042s