root
file
detailed [1300..1324]
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/410816/gensys_icl488.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410815/gensys_icl487.smt2
(content)
unsat
unsat
4.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410814/gensys_icl486.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410813/gensys_icl485.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410812/gensys_icl484.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410811/gensys_icl483.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410810/gensys_icl482.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410809/gensys_icl481.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410808/gensys_icl480.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410807/gensys_icl479.smt2
(content)
unsat
unsat
0.418s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410806/gensys_icl478.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410805/gensys_icl477.smt2
(content)
unsat
unsat
2.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410804/gensys_icl476.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410803/gensys_icl475.smt2
(content)
unsat
unsat
0.830s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410802/gensys_icl474.smt2
(content)
unsat
unsat
0.849s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410801/gensys_icl473.smt2
(content)
unsat
unsat
2.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410800/gensys_icl472.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410799/gensys_icl471.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410798/gensys_icl470.smt2
(content)
unsat
unsat
0.275s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410797/gensys_icl469.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410796/gensys_icl468.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410795/gensys_icl467.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410794/gensys_icl466.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410793/gensys_icl465.smt2
(content)
unsat
unsat
0.427s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410792/gensys_icl464.smt2
(content)
unsat
unsat
0.778s