root
file
detailed [550..574]
prev
next
detailed results (92284 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_0054.fof.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0053.fof.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0052.fof.smt2
(content)
ok
ok
0.027s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0051.fof.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0050.fof.smt2
(content)
ok
ok
0.059s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0049.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0048.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0047.fof.smt2
(content)
ok
ok
0.072s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0046.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0045.fof.smt2
(content)
ok
ok
0.063s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0044.fof.smt2
(content)
ok
ok
0.061s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0043.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0042.fof.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0041.fof.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0040.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0039.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0038.fof.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0037.fof.smt2
(content)
ok
ok
0.031s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0036.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0035.fof.smt2
(content)
ok
ok
0.034s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0034.fof.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0033.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0032.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0031.fof.smt2
(content)
ok
ok
0.071s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0030.fof.smt2
(content)
ok
ok
0.068s