root
file
detailed [525..549]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2
(content)
unsat
unsat
0.878s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2
(content)
unsat
unsat
8.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409767/gensys_brn722.smt2
(content)
unsat
unsat
4.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2
(content)
unsat
unsat
8.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2
(content)
unsat
unsat
0.512s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2
(content)
unsat
unsat
0.398s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2
(content)
unsat
unsat
0.353s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2
(content)
unsat
unsat
2.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2
(content)
unsat
unsat
6.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2
(content)
unsat
unsat
0.646s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2
(content)
unsat
unsat
9.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2
(content)
unsat
unsat
7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2
(content)
unsat
unsat
0.441s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2
(content)
unsat
unsat
5.6s