root
file
detailed [625..649]
prev
next
detailed results (95063 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0108.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0107.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0106.fof.smt2
(content)
ok
ok
0.038s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0105.fof.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0104.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0103.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0102.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0101.fof.smt2
(content)
ok
ok
0.039s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0100.fof.smt2
(content)
ok
ok
0.031s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0099.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0098.fof.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0097.fof.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0096.fof.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0095.fof.smt2
(content)
ok
ok
0.073s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0094.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0093.fof.smt2
(content)
ok
ok
0.063s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0092.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0091.fof.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0090.fof.smt2
(content)
ok
ok
0.063s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0089.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0088.fof.smt2
(content)
ok
ok
0.057s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0087.fof.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0086.fof.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0085.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0084.fof.smt2
(content)
ok
ok
0.025s