root
file
detailed [3350..3374]
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_icl349.smt2
(content)
unsat
unsat
5.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl348.smt2
(content)
unsat
unsat
8.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl347.smt2
(content)
unsat
unsat
5.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl346.smt2
(content)
unsat
unsat
9.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl345.smt2
(content)
unsat
unsat
9.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl344.smt2
(content)
unsat
unsat
7.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl343.smt2
(content)
unsat
unsat
7.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl342.smt2
(content)
unsat
unsat
9.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl341.smt2
(content)
unsat
unsat
7.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl340.smt2
(content)
unsat
unsat
5.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl339.smt2
(content)
unsat
unsat
3.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl338.smt2
(content)
unsat
unsat
4.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl337.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl336.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl335.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl334.smt2
(content)
unsat
unsat
0.839s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl333.smt2
(content)
unsat
unsat
5.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl332.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl331.smt2
(content)
unsat
unsat
0.717s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl330.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl329.smt2
(content)
unsat
unsat
8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl328.smt2
(content)
unsat
unsat
7.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl327.smt2
(content)
unsat
unsat
9.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl326.smt2
(content)
unsat
unsat
7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl325.smt2
(content)
unknown
unsat
10.0s