root
file
detailed [1300..1324]
prev
next
detailed results (3102 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn413.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2
(content)
sat
sat
0.055s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2
(content)
sat
sat
0.068s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2
(content)
sat
sat
0.043s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn405.smt2
(content)
sat
sat
0.059s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn404.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn403.smt2
(content)
sat
sat
0.042s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn402.smt2
(content)
sat
sat
0.077s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn401.smt2
(content)
sat
sat
0.032s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn400.smt2
(content)
sat
sat
0.033s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn399.smt2
(content)
sat
sat
0.068s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn398.smt2
(content)
sat
sat
0.031s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn397.smt2
(content)
sat
sat
0.049s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn394.smt2
(content)
sat
sat
0.076s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn391.smt2
(content)
sat
sat
0.047s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn390.smt2
(content)
sat
sat
0.043s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn389.smt2
(content)
sat
sat
0.054s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn388.smt2
(content)
sat
sat
0.063s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn387.smt2
(content)
sat
sat
0.067s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn386.smt2
(content)
sat
sat
0.079s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn385.smt2
(content)
sat
sat
0.055s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn384.smt2
(content)
sat
sat
0.034s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn383.smt2
(content)
sat
sat
0.046s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn382.smt2
(content)
sat
sat
0.048s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn381.smt2
(content)
sat
sat
0.080s