root
file
detailed [450..474]
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/409368/gensys_brn323.smt2
(content)
unsat
unsat
0.478s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409366/gensys_brn321.smt2
(content)
unsat
unsat
4.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409363/gensys_brn318.smt2
(content)
unsat
unsat
3.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409336/gensys_brn291.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409333/gensys_brn288.smt2
(content)
unsat
unsat
0.485s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409329/gensys_brn284.smt2
(content)
unsat
unsat
0.283s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409328/gensys_brn283.smt2
(content)
unsat
unsat
0.451s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409324/gensys_brn279.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409321/gensys_brn276.smt2
(content)
unsat
unsat
0.419s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409317/gensys_brn272.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409315/gensys_brn270.smt2
(content)
unsat
unsat
0.329s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409313/gensys_brn268.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409312/gensys_brn267.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409310/gensys_brn265.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409309/gensys_brn264.smt2
(content)
unsat
unsat
0.680s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409306/gensys_brn261.smt2
(content)
unsat
unsat
2.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409293/gensys_brn248.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409289/gensys_brn244.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409288/gensys_brn243.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409283/gensys_brn238.smt2
(content)
unsat
unsat
7.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409270/gensys_brn225.smt2
(content)
unsat
unsat
0.266s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2
(content)
unsat
unsat
0.611s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409254/gensys_brn209.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409251/gensys_brn206.smt2
(content)
unsat
unsat
3.6s