root
file
detailed [1125..1149]
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_array_only/quaternion_ds1_symm_0443.fof.smt2
(content)
ok
ok
0.073s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0436.fof.smt2
(content)
ok
ok
0.040s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0429.fof.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0422.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0415.fof.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0408.fof.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0406.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0399.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0392.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0385.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0378.fof.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0371.fof.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0369.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0362.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0355.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0348.fof.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0341.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0334.fof.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0332.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0325.fof.smt2
(content)
ok
ok
0.059s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0318.fof.smt2
(content)
ok
ok
0.059s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0311.fof.smt2
(content)
ok
ok
0.027s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0304.fof.smt2
(content)
ok
ok
0.063s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0297.fof.smt2
(content)
ok
ok
0.057s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0296.fof.smt2
(content)
ok
ok
0.026s