root
file
detailed [3475..3499]
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_icl474.smt2
(content)
unsat
unsat
0.964s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl473.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl472.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl471.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl470.smt2
(content)
unsat
unsat
0.359s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl469.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl468.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl467.smt2
(content)
unsat
unsat
1.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl466.smt2
(content)
unsat
unsat
3.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl465.smt2
(content)
unsat
unsat
0.609s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl464.smt2
(content)
unsat
unsat
0.830s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl463.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl462.smt2
(content)
unsat
unsat
0.878s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl461.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl460.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl459.smt2
(content)
unsat
unsat
4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl458.smt2
(content)
unsat
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl457.smt2
(content)
unsat
unsat
6.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl456.smt2
(content)
unsat
unsat
6.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl455.smt2
(content)
unsat
unsat
3.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl454.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl453.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl452.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl451.smt2
(content)
unsat
unsat
3.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl450.smt2
(content)
unsat
unsat
3.0s