root
file
detailed [2675..2699]
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_brn957.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2
(content)
sat
sat
0.145s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2
(content)
unsat
unsat
7.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2
(content)
sat
sat
0.335s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2
(content)
sat
sat
0.229s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2
(content)
sat
sat
0.158s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn950.smt2
(content)
sat
sat
0.354s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2
(content)
unsat
unsat
6.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn948.smt2
(content)
sat
sat
0.818s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn947.smt2
(content)
sat
sat
0.232s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn946.smt2
(content)
sat
sat
0.278s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn944.smt2
(content)
sat
sat
0.240s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2
(content)
sat
sat
0.232s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2
(content)
sat
sat
0.648s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2
(content)
sat
sat
0.665s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2
(content)
sat
sat
0.175s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2
(content)
sat
sat
0.242s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn938.smt2
(content)
sat
sat
0.200s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn937.smt2
(content)
sat
sat
0.133s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn936.smt2
(content)
sat
sat
0.082s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2
(content)
unsat
unsat
1.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn934.smt2
(content)
sat
sat
0.420s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2
(content)
unsat
unsat
9s