root
file
detailed [200..224]
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_icl127.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1256.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl125.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl124.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl122.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl117.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1166.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl115.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl114.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl113.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl112.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl111.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl108.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1074.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl107.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1064.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1052.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1050.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1035.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1033.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1032.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1031.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl103.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1029.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1028.smt2
(content)
timeout
unknown
10s