root
file
detailed [1175..1199]
prev
next
detailed results (4327 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1157.smt2
(content)
unsat
unsat
0.589s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1156.smt2
(content)
unsat
unsat
0.598s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1155.smt2
(content)
unsat
unsat
0.438s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1154.smt2
(content)
unsat
unsat
0.470s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1153.smt2
(content)
unsat
unsat
0.086s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1152.smt2
(content)
unsat
unsat
0.119s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1151.smt2
(content)
unsat
unsat
0.089s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1150.smt2
(content)
unsat
unsat
0.108s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl115.smt2
(content)
unsat
unsat
0.662s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1149.smt2
(content)
unsat
unsat
0.193s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1148.smt2
(content)
unsat
unsat
0.060s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1147.smt2
(content)
unsat
unsat
0.264s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1146.smt2
(content)
unsat
unsat
0.362s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1145.smt2
(content)
unsat
unsat
0.281s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1144.smt2
(content)
unsat
unsat
0.069s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1143.smt2
(content)
unsat
unsat
0.085s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1142.smt2
(content)
unsat
unsat
0.060s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1141.smt2
(content)
unsat
unsat
0.051s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1140.smt2
(content)
unsat
unsat
0.063s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl114.smt2
(content)
unsat
unsat
0.563s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1139.smt2
(content)
unsat
unsat
0.247s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1138.smt2
(content)
unsat
unsat
0.060s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1137.smt2
(content)
unsat
unsat
0.065s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1136.smt2
(content)
unsat
unsat
0.042s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1135.smt2
(content)
unsat
unsat
0.053s