root
file
detailed [1575..1599]
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/411197/gensys_icl869.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411196/gensys_icl868.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411195/gensys_icl867.smt2
(content)
unsat
unsat
0.553s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411194/gensys_icl866.smt2
(content)
unsat
unsat
4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411193/gensys_icl865.smt2
(content)
unsat
unsat
5.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411192/gensys_icl864.smt2
(content)
unsat
unsat
9.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411191/gensys_icl863.smt2
(content)
unsat
unsat
6.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411190/gensys_icl862.smt2
(content)
unsat
unsat
7.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411189/gensys_icl861.smt2
(content)
unsat
unsat
4.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411188/gensys_icl860.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411187/gensys_icl859.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411184/gensys_icl856.smt2
(content)
unsat
unsat
0.429s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411183/gensys_icl855.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411182/gensys_icl854.smt2
(content)
unsat
unsat
10.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411181/gensys_icl853.smt2
(content)
unsat
unsat
6.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411170/gensys_icl842.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411169/gensys_icl841.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411168/gensys_icl840.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411167/gensys_icl839.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411166/gensys_icl838.smt2
(content)
unsat
unsat
3.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411165/gensys_icl837.smt2
(content)
unsat
unsat
4.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411163/gensys_icl835.smt2
(content)
unsat
unsat
7.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411155/gensys_icl827.smt2
(content)
unsat
unsat
9.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411154/gensys_icl826.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411153/gensys_icl825.smt2
(content)
unsat
unsat
1.9s