root
file
detailed [575..599]
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_0079.fof.smt2
(content)
ok
ok
0.072s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0078.fof.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0077.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0076.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0075.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0074.fof.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0073.fof.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0072.fof.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0071.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0070.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0069.fof.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0068.fof.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0067.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0066.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0065.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0064.fof.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0063.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0062.fof.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0061.fof.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0060.fof.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0059.fof.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0058.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0057.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0056.fof.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0055.fof.smt2
(content)
ok
ok
0.065s