root
file
detailed [1475..1499]
prev
next
detailed results (4328 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl288.smt2
(content)
unsat
unsat
0.296s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl287.smt2
(content)
unsat
unsat
0.060s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl286.smt2
(content)
unsat
unsat
0.072s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl285.smt2
(content)
unsat
unsat
0.133s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl284.smt2
(content)
unsat
unsat
0.132s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl283.smt2
(content)
unsat
unsat
0.128s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl282.smt2
(content)
unsat
unsat
0.133s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl281.smt2
(content)
unsat
unsat
0.296s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl280.smt2
(content)
unsat
unsat
0.403s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl279.smt2
(content)
unsat
unsat
0.154s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl278.smt2
(content)
unsat
unsat
0.080s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl277.smt2
(content)
unsat
unsat
0.076s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl276.smt2
(content)
unsat
unsat
0.096s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl275.smt2
(content)
unsat
unsat
0.135s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl274.smt2
(content)
unsat
unsat
0.149s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2
(content)
unsat
unsat
0.111s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2
(content)
unsat
unsat
0.404s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2
(content)
unsat
unsat
0.354s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2
(content)
unsat
unsat
0.196s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2
(content)
unsat
unsat
0.093s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2
(content)
unsat
unsat
0.098s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl267.smt2
(content)
unsat
unsat
0.067s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl266.smt2
(content)
unsat
unsat
0.580s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl265.smt2
(content)
unsat
unsat
0.374s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl264.smt2
(content)
unsat
unsat
0.657s