root
file
detailed [500..524]
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/409566/gensys_brn521.smt2
(content)
unsat
unsat
0.294s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2
(content)
unsat
unsat
0.442s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2
(content)
unsat
unsat
0.363s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409539/gensys_brn494.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2
(content)
unsat
unsat
0.766s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2
(content)
unsat
unsat
0.935s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2
(content)
unsat
unsat
0.764s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2
(content)
unsat
unsat
0.967s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2
(content)
unsat
unsat
4.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2
(content)
unsat
unsat
3.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409493/gensys_brn448.smt2
(content)
unsat
unsat
0.609s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409492/gensys_brn447.smt2
(content)
unsat
unsat
0.346s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409489/gensys_brn444.smt2
(content)
unsat
unsat
4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409487/gensys_brn442.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2
(content)
unsat
unsat
4.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2
(content)
unsat
unsat
4.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2
(content)
unsat
unsat
0.070s