root
file
detailed
prev
next
detailed results (2090 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0155.fof.smt2
(content)
warn
ok
0.071s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0151.fof.smt2
(content)
warn
ok
0.073s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0187.fof.smt2
(content)
warn
ok
0.040s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0158.fof.smt2
(content)
warn
ok
0.034s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0153.fof.smt2
(content)
warn
ok
0.073s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/return_why.smt2
(content)
warn
ok
0.110s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/quantified_pointer_why.smt2
(content)
warn
ok
0.126s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/minusminus_why.smt2
(content)
warn
ok
0.105s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/jeannin_why.smt2
(content)
warn
ok
0.104s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/fs252_why.smt2
(content)
warn
ok
0.125s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/false2_why.smt2
(content)
warn
ok
0.113s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/extern_why.smt2
(content)
warn
ok
0.103s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/consts_why.smt2
(content)
warn
ok
0.106s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/conflict_why.smt2
(content)
warn
ok
0.108s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/clash_alloc_why.smt2
(content)
warn
ok
0.110s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bug390_why.smt2
(content)
warn
ok
0.105s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts6453_why.smt2
(content)
warn
ok
0.121s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts6364_why.smt2
(content)
warn
ok
0.110s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts5878_why.smt2
(content)
warn
ok
0.083s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0199_why.smt2
(content)
warn
ok
0.104s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0187_why.smt2
(content)
warn
ok
0.120s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0073_why.smt2
(content)
warn
ok
0.114s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0071_why.smt2
(content)
warn
ok
0.111s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0063_why.smt2
(content)
warn
ok
0.105s
dolmen
/home/guigui/build/benchs/smtlib/AUFNIRA/aviation/axiomatic_why.smt2
(content)
warn
ok
0.113s