root
file
detailed [300..324]
prev
next
detailed results (978 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl409.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl408.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl400.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl399.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl389.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl375.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl374.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl373.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl367.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl366.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl365.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl351.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl349.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl348.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl347.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl344.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl343.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl342.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl340.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl337.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl332.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl329.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl328.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl327.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl326.smt2
(content)
timeout
unknown
10s