root
file
detailed [21875..21899]
prev
next
detailed results (22371 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size7.smt2
(content)
sat
unknown
0.045s
mc2
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size6.smt2
(content)
unsat
unknown
0.025s
sidekick
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size6.smt2
(content)
unsat
unknown
0.135s
z3
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size6.smt2
(content)
unsat
unknown
0.033s
mc2
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size5.smt2
(content)
unsat
unknown
0.016s
sidekick
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size5.smt2
(content)
unsat
unknown
0.034s
z3
/home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size5.smt2
(content)
unsat
unknown
0.015s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2
(content)
unsat
unknown
0.220s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2
(content)
unsat
unknown
0.132s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2
(content)
unsat
unknown
0.025s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2
(content)
unsat
unknown
0.194s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2
(content)
unsat
unknown
0.094s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2
(content)
unsat
unknown
0.025s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2
(content)
unsat
unknown
0.254s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2
(content)
unsat
unknown
0.119s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2
(content)
unsat
unknown
0.022s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2
(content)
unsat
unknown
0.561s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2
(content)
unsat
unknown
0.149s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2
(content)
unsat
unknown
0.034s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2
(content)
unsat
unknown
1.6s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2
(content)
unsat
unknown
0.185s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2
(content)
unsat
unknown
0.043s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk002.smt2
(content)
unsat
unknown
1.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk002.smt2
(content)
unsat
unknown
0.205s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk002.smt2
(content)
unsat
unknown
0.048s