root
file
detailed [1550..1574]
prev
next
detailed results (2991 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2
(content)
sat
sat
0.353s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2
(content)
sat
sat
0.305s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2
(content)
sat
sat
0.312s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn758.smt2
(content)
sat
sat
0.160s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn757.smt2
(content)
sat
sat
0.122s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn756.smt2
(content)
sat
sat
0.099s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn754.smt2
(content)
sat
sat
0.308s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn751.smt2
(content)
sat
sat
0.267s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn750.smt2
(content)
sat
sat
0.242s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn749.smt2
(content)
sat
sat
0.467s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn748.smt2
(content)
sat
sat
0.301s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn747.smt2
(content)
sat
sat
0.341s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn746.smt2
(content)
sat
sat
0.311s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn745.smt2
(content)
sat
sat
0.280s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2
(content)
sat
sat
0.471s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2
(content)
sat
sat
0.300s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2
(content)
sat
sat
0.702s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2
(content)
sat
sat
0.370s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2
(content)
sat
sat
0.551s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2
(content)
sat
sat
0.232s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2
(content)
sat
sat
0.220s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2
(content)
sat
sat
0.138s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2
(content)
sat
sat
0.523s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn731.smt2
(content)
sat
sat
0.225s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn730.smt2
(content)
sat
sat
0.560s