root
file
detailed [1625..1649]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411250/gensys_icl922.smt2
(content)
unsat
unsat
6.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411249/gensys_icl921.smt2
(content)
unsat
unsat
6.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411248/gensys_icl920.smt2
(content)
unsat
unsat
5.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411247/gensys_icl919.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411246/gensys_icl918.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411245/gensys_icl917.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411244/gensys_icl916.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411243/gensys_icl915.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411242/gensys_icl914.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411241/gensys_icl913.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411240/gensys_icl912.smt2
(content)
unsat
unsat
4.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411239/gensys_icl911.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411238/gensys_icl910.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411237/gensys_icl909.smt2
(content)
unsat
unsat
7.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411236/gensys_icl908.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411235/gensys_icl907.smt2
(content)
unsat
unsat
6.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411234/gensys_icl906.smt2
(content)
unsat
unsat
9.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411233/gensys_icl905.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411232/gensys_icl904.smt2
(content)
unsat
unsat
10.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411230/gensys_icl902.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411229/gensys_icl901.smt2
(content)
unsat
unsat
7.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411228/gensys_icl900.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411227/gensys_icl899.smt2
(content)
unsat
unsat
0.477s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411226/gensys_icl898.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411225/gensys_icl897.smt2
(content)
unsat
unsat
1.3s