root
file
detailed [750..774]
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_0233.fof.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0232.fof.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0231.fof.smt2
(content)
ok
ok
0.033s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0230.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0229.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0228.fof.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0227.fof.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0226.fof.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0225.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0224.fof.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0223.fof.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0222.fof.smt2
(content)
ok
ok
0.071s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0221.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0220.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0219.fof.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0218.fof.smt2
(content)
ok
ok
0.068s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0217.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0216.fof.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0215.fof.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0214.fof.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0213.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0212.fof.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0211.fof.smt2
(content)
ok
ok
0.063s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0210.fof.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0209.fof.smt2
(content)
ok
ok
0.041s