root
file
detailed [1375..1399]
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/410924/gensys_icl596.smt2
(content)
unsat
unsat
9.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410920/gensys_icl592.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410917/gensys_icl589.smt2
(content)
unsat
unsat
7.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410910/gensys_icl582.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410909/gensys_icl581.smt2
(content)
unsat
unsat
6.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410907/gensys_icl579.smt2
(content)
unsat
unsat
6.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410904/gensys_icl576.smt2
(content)
unsat
unsat
6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410903/gensys_icl575.smt2
(content)
unsat
unsat
8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410895/gensys_icl567.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410894/gensys_icl566.smt2
(content)
unsat
unsat
3.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410893/gensys_icl565.smt2
(content)
unsat
unsat
3.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410892/gensys_icl564.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410891/gensys_icl563.smt2
(content)
unsat
unsat
3.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410890/gensys_icl562.smt2
(content)
unsat
unsat
4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410889/gensys_icl561.smt2
(content)
unsat
unsat
4.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410888/gensys_icl560.smt2
(content)
unsat
unsat
5.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410887/gensys_icl559.smt2
(content)
unsat
unsat
8.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410884/gensys_icl556.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410883/gensys_icl555.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410881/gensys_icl553.smt2
(content)
unsat
unsat
5.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410879/gensys_icl551.smt2
(content)
unsat
unsat
5.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410878/gensys_icl550.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410877/gensys_icl549.smt2
(content)
unsat
unsat
0.638s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410876/gensys_icl548.smt2
(content)
unsat
unsat
3.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410875/gensys_icl547.smt2
(content)
unsat
unsat
6.2s