root
file
detailed [800..824]
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/409536/gensys_brn491.smt2
(content)
sat
sat
0.068s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409535/gensys_brn490.smt2
(content)
sat
sat
0.131s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2
(content)
sat
sat
0.067s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2
(content)
sat
sat
0.096s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2
(content)
sat
sat
0.146s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2
(content)
sat
sat
0.155s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2
(content)
sat
sat
0.132s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2
(content)
sat
sat
0.111s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409526/gensys_brn481.smt2
(content)
sat
sat
0.129s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409525/gensys_brn480.smt2
(content)
sat
sat
0.085s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409524/gensys_brn479.smt2
(content)
sat
sat
0.175s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409522/gensys_brn477.smt2
(content)
sat
sat
0.160s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409519/gensys_brn474.smt2
(content)
sat
sat
0.084s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2
(content)
sat
sat
0.219s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2
(content)
sat
sat
0.163s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2
(content)
sat
sat
0.137s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2
(content)
sat
sat
0.105s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2
(content)
sat
sat
0.070s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2
(content)
sat
sat
0.106s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2
(content)
sat
sat
0.136s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409508/gensys_brn463.smt2
(content)
sat
sat
0.222s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409506/gensys_brn461.smt2
(content)
sat
sat
0.089s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409505/gensys_brn460.smt2
(content)
sat
sat
0.161s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409504/gensys_brn459.smt2
(content)
sat
sat
0.217s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409503/gensys_brn458.smt2
(content)
sat
sat
0.085s