root
file
detailed [575..599]
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/410047/gensys_icl003.smt2
(content)
unsat
unsat
0.082s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410046/gensys_icl002.smt2
(content)
unsat
unsat
0.075s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410045/gensys_icl001.smt2
(content)
unsat
unsat
0.192s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410043/gensys_brn998.smt2
(content)
unsat
unsat
9.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410019/gensys_brn974.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410018/gensys_brn973.smt2
(content)
unsat
unsat
5.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410014/gensys_brn969.smt2
(content)
unsat
unsat
6.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410007/gensys_brn962.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410006/gensys_brn961.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410004/gensys_brn959.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410002/gensys_brn957.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410001/gensys_brn956.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409999/gensys_brn954.smt2
(content)
unsat
unsat
4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409994/gensys_brn949.smt2
(content)
unsat
unsat
6.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409990/gensys_brn945.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409980/gensys_brn935.smt2
(content)
unsat
unsat
0.722s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409978/gensys_brn933.smt2
(content)
unsat
unsat
6.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2
(content)
unsat
unsat
0.691s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2
(content)
unsat
unsat
0.591s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2
(content)
unsat
unsat
6.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2
(content)
unsat
unsat
0.455s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409923/gensys_brn878.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409921/gensys_brn876.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409920/gensys_brn875.smt2
(content)
unsat
unsat
2.9s