root
file
detailed [25..49]
prev
next
detailed results (72 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_repgen005.smt2
(content)
unknown
unknown
10.4s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk044.smt2
(content)
unknown
unknown
10.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2
(content)
unknown
unknown
10.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_repgen013.smt2
(content)
unknown
unknown
10.5s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_repgen008.smt2
(content)
unknown
unknown
10.1s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/dead_dnd001.smt2
(content)
unknown
unknown
10.9s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl969.smt2
(content)
unknown
unknown
10.4s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl851.smt2
(content)
unknown
unknown
10.7s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl849.smt2
(content)
unknown
unknown
11.7s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl843.smt2
(content)
unknown
unknown
10.0s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl834.smt2
(content)
unknown
unknown
10.2s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl821.smt2
(content)
unknown
unknown
22.8s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl816.smt2
(content)
unknown
unknown
16.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl805.smt2
(content)
unknown
unknown
11.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl794.smt2
(content)
unknown
unknown
10.8s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl783.smt2
(content)
unknown
unknown
11s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl776.smt2
(content)
unknown
unknown
10s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl753.smt2
(content)
unknown
unknown
10.4s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl690.smt2
(content)
unknown
unknown
10.5s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl674.smt2
(content)
unknown
unknown
10.7s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl577.smt2
(content)
unknown
unknown
10.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl571.smt2
(content)
unknown
unknown
11.5s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl558.smt2
(content)
unknown
unknown
10.4s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl554.smt2
(content)
unknown
unknown
10.8s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl533.smt2
(content)
unknown
unknown
10.4s