root
file
detailed [16500..16524]
prev
next
detailed results (22371 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1050.smt2
(content)
unsat
unknown
0.090s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1050.smt2
(content)
unsat
unknown
0.017s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl105.smt2
(content)
unsat
unknown
0.365s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl105.smt2
(content)
unsat
unknown
0.456s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl105.smt2
(content)
unsat
unknown
0.101s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1049.smt2
(content)
unsat
unknown
0.054s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1049.smt2
(content)
unsat
unknown
0.069s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1049.smt2
(content)
unsat
unknown
0.021s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1048.smt2
(content)
unsat
unknown
0.094s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1048.smt2
(content)
unsat
unknown
0.091s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1048.smt2
(content)
unsat
unknown
0.030s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1047.smt2
(content)
unsat
unknown
0.067s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1047.smt2
(content)
unsat
unknown
0.065s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1047.smt2
(content)
unsat
unknown
0.018s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1046.smt2
(content)
unsat
unknown
0.073s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1046.smt2
(content)
unsat
unknown
0.065s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1046.smt2
(content)
unsat
unknown
0.024s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1045.smt2
(content)
unsat
unknown
0.068s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1045.smt2
(content)
unsat
unknown
0.046s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1045.smt2
(content)
unsat
unknown
0.015s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1044.smt2
(content)
unsat
unknown
0.043s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1044.smt2
(content)
unsat
unknown
0.039s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1044.smt2
(content)
unsat
unknown
0.014s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1043.smt2
(content)
unsat
unknown
0.041s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1043.smt2
(content)
unsat
unknown
0.034s