root
file
detailed [3650..3674]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl649.smt2
(content)
unsat
unsat
7.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl648.smt2
(content)
unsat
unsat
9.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl647.smt2
(content)
unsat
unsat
5.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl646.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl645.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl644.smt2
(content)
unsat
unsat
5.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl643.smt2
(content)
unsat
unsat
5.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl642.smt2
(content)
unsat
unsat
5.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl641.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl640.smt2
(content)
timeout
unsat
14.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl639.smt2
(content)
unsat
unsat
6.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl638.smt2
(content)
unknown
unsat
11.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl637.smt2
(content)
timeout
unsat
12.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl636.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl635.smt2
(content)
unsat
unsat
6.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl634.smt2
(content)
timeout
unsat
12s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl633.smt2
(content)
unsat
unsat
8.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl632.smt2
(content)
unknown
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl631.smt2
(content)
timeout
unsat
12.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl630.smt2
(content)
timeout
unsat
12s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl629.smt2
(content)
unsat
unsat
4.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl628.smt2
(content)
unsat
unsat
7.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl627.smt2
(content)
unsat
unsat
4.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl626.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl625.smt2
(content)
unsat
unsat
4.7s