root
file
detailed [1525..1549]
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_icl338.smt2
(content)
unsat
unsat
0.293s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl337.smt2
(content)
unsat
unsat
0.462s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl336.smt2
(content)
unsat
unsat
0.299s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl335.smt2
(content)
unsat
unsat
0.437s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl334.smt2
(content)
unsat
unsat
0.096s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl333.smt2
(content)
unsat
unsat
0.297s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl332.smt2
(content)
unsat
unsat
0.863s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl331.smt2
(content)
unsat
unsat
0.154s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl330.smt2
(content)
unsat
unsat
0.153s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl329.smt2
(content)
unsat
unsat
1.1s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl328.smt2
(content)
unsat
unsat
0.577s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl327.smt2
(content)
unsat
unsat
0.639s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl326.smt2
(content)
unsat
unsat
0.848s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl325.smt2
(content)
unsat
unsat
0.579s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl324.smt2
(content)
unsat
unsat
0.835s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl323.smt2
(content)
unsat
unsat
0.956s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl322.smt2
(content)
unsat
unsat
0.865s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl321.smt2
(content)
unsat
unsat
0.089s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl320.smt2
(content)
unsat
unsat
0.790s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl319.smt2
(content)
unsat
unsat
0.731s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl318.smt2
(content)
unsat
unsat
0.204s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl317.smt2
(content)
unsat
unsat
0.892s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl316.smt2
(content)
unsat
unsat
1.3s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl315.smt2
(content)
unsat
unsat
0.111s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl314.smt2
(content)
unsat
unsat
0.734s