root
file
detailed [16700..16724]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1398617544180849095.smt2
(content)
ok
ok
0.151s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1397261008818862958.smt2
(content)
ok
ok
0.211s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1395351450835224222.smt2
(content)
ok
ok
0.214s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1394993758283595857.smt2
(content)
ok
ok
0.298s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1393044950195669398.smt2
(content)
ok
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1391482220388803053.smt2
(content)
ok
ok
0.300s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1389734547214110418.smt2
(content)
ok
ok
0.146s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1385146095240948828.smt2
(content)
ok
ok
0.296s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1381540480473453543.smt2
(content)
ok
ok
0.222s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1381065474871898505.smt2
(content)
ok
ok
0.217s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1380531736472694481.smt2
(content)
ok
ok
0.218s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1379090600808505998.smt2
(content)
ok
ok
0.223s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1374073859944273099.smt2
(content)
ok
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1363432649443529773.smt2
(content)
ok
ok
0.220s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1361814808126238492.smt2
(content)
ok
ok
0.224s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1355243903664952549.smt2
(content)
ok
ok
0.148s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1352311516980198149.smt2
(content)
ok
ok
0.160s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1343769814168703179.smt2
(content)
ok
ok
0.296s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1338234616103254139.smt2
(content)
ok
ok
0.286s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1337758347331823025.smt2
(content)
ok
ok
0.296s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1335455498928779252.smt2
(content)
ok
ok
0.146s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1333027291541428929.smt2
(content)
ok
ok
0.287s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1332966263529446620.smt2
(content)
ok
ok
0.215s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1327408139501365229.smt2
(content)
ok
ok
0.210s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1326462522812081622.smt2
(content)
ok
ok
0.222s