root
file
detailed [17625..17649]
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_icl247.smt2
(content)
unsat
unknown
0.063s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl247.smt2
(content)
unsat
unknown
0.061s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl246.smt2
(content)
unsat
unknown
0.156s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl246.smt2
(content)
unsat
unknown
0.163s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl246.smt2
(content)
unsat
unknown
0.064s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl245.smt2
(content)
unsat
unknown
0.242s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl245.smt2
(content)
unsat
unknown
0.250s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl245.smt2
(content)
unsat
unknown
0.062s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl244.smt2
(content)
unsat
unknown
0.023s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl244.smt2
(content)
unsat
unknown
0.033s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl244.smt2
(content)
unsat
unknown
0.014s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl243.smt2
(content)
unsat
unknown
0.042s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl243.smt2
(content)
unsat
unknown
0.074s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl243.smt2
(content)
unsat
unknown
0.029s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl242.smt2
(content)
unsat
unknown
0.034s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl242.smt2
(content)
unsat
unknown
0.065s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl242.smt2
(content)
unsat
unknown
0.037s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl241.smt2
(content)
unsat
unknown
0.041s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl241.smt2
(content)
unsat
unknown
0.046s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl241.smt2
(content)
unsat
unknown
0.017s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl240.smt2
(content)
unsat
unknown
0.265s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl240.smt2
(content)
unsat
unknown
0.450s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl240.smt2
(content)
unsat
unknown
0.138s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl239.smt2
(content)
unsat
unknown
0.063s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl239.smt2
(content)
unsat
unknown
0.071s