root
file
detailed [1425..1449]
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/410993/gensys_icl665.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410990/gensys_icl662.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410985/gensys_icl657.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410983/gensys_icl655.smt2
(content)
unsat
unsat
0.970s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410982/gensys_icl654.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410980/gensys_icl652.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410979/gensys_icl651.smt2
(content)
unsat
unsat
9.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410978/gensys_icl650.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410977/gensys_icl649.smt2
(content)
unsat
unsat
4.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410976/gensys_icl648.smt2
(content)
unsat
unsat
4.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410975/gensys_icl647.smt2
(content)
unsat
unsat
4.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410974/gensys_icl646.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410973/gensys_icl645.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410972/gensys_icl644.smt2
(content)
unsat
unsat
4.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410971/gensys_icl643.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410970/gensys_icl642.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410969/gensys_icl641.smt2
(content)
unsat
unsat
10.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410967/gensys_icl639.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410964/gensys_icl636.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410963/gensys_icl635.smt2
(content)
unsat
unsat
5.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410961/gensys_icl633.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410958/gensys_icl630.smt2
(content)
unsat
unsat
6.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410957/gensys_icl629.smt2
(content)
unsat
unsat
3.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410956/gensys_icl628.smt2
(content)
unsat
unsat
5.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410955/gensys_icl627.smt2
(content)
unsat
unsat
3.7s