root
file
detailed [750..774]
prev
next
detailed results (2502 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2
(content)
sat
sat
0.254s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2
(content)
sat
sat
0.091s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2
(content)
sat
sat
0.153s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2
(content)
sat
sat
0.153s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2
(content)
sat
sat
0.124s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2
(content)
sat
sat
0.176s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2
(content)
sat
sat
0.097s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2
(content)
sat
sat
0.234s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2
(content)
sat
sat
0.395s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2
(content)
sat
sat
0.218s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2
(content)
sat
sat
0.193s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2
(content)
sat
sat
0.176s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2
(content)
sat
sat
0.066s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2
(content)
sat
sat
0.155s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2
(content)
sat
sat
0.078s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2
(content)
sat
sat
0.120s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409439/gensys_brn394.smt2
(content)
sat
sat
0.216s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2
(content)
sat
sat
0.094s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409435/gensys_brn390.smt2
(content)
sat
sat
0.101s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409434/gensys_brn389.smt2
(content)
sat
sat
0.105s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409433/gensys_brn388.smt2
(content)
sat
sat
0.259s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409432/gensys_brn387.smt2
(content)
sat
sat
0.426s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409431/gensys_brn386.smt2
(content)
sat
sat
0.237s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409430/gensys_brn385.smt2
(content)
sat
sat
0.157s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409429/gensys_brn384.smt2
(content)
sat
sat
0.205s