TAP version 13
# Subtest: identity
ok 1 - identity
  ---
  duration_ms: 2.327562
  type: 'test'
  ...
# Subtest: modus ponens
ok 2 - modus ponens
  ---
  duration_ms: 0.392442
  type: 'test'
  ...
# Subtest: explicit negation
ok 3 - explicit negation
  ---
  duration_ms: 0.133251
  type: 'test'
  ...
# Subtest: open query
ok 4 - open query
  ---
  duration_ms: 0.108293
  type: 'test'
  ...
# Subtest: inconsistency
ok 5 - inconsistency
  ---
  duration_ms: 0.369908
  type: 'test'
  ...
# Subtest: ought not actual
ok 6 - ought not actual
  ---
  duration_ms: 1.090295
  type: 'test'
  ...
# Subtest: possibility not actual
ok 7 - possibility not actual
  ---
  duration_ms: 0.174564
  type: 'test'
  ...
# Subtest: vocation not actual
ok 8 - vocation not actual
  ---
  duration_ms: 0.113932
  type: 'test'
  ...
# Subtest: vocation and nonachievement coexist
ok 9 - vocation and nonachievement coexist
  ---
  duration_ms: 0.499173
  type: 'test'
  ...
# Subtest: zero atoms true
ok 10 - zero atoms true
  ---
  duration_ms: 0.323728
  type: 'test'
  ...
# Subtest: zero atoms inconsistency
ok 11 - zero atoms inconsistency
  ---
  duration_ms: 0.149916
  type: 'test'
  ...
# Subtest: no real promotion
ok 12 - no real promotion
  ---
  duration_ms: 0.259772
  type: 'test'
  ...
# Subtest: unknown atom
ok 13 - unknown atom
  ---
  duration_ms: 0.134873
  type: 'test'
  ...
# Subtest: unknown connective
ok 14 - unknown connective
  ---
  duration_ms: 0.114993
  type: 'test'
  ...
# Subtest: empty and
ok 15 - empty and
  ---
  duration_ms: 0.112089
  type: 'test'
  ...
# Subtest: bad constant
ok 16 - bad constant
  ---
  duration_ms: 0.111047
  type: 'test'
  ...
# Subtest: extra field
ok 17 - extra field
  ---
  duration_ms: 0.093932
  type: 'test'
  ...
# Subtest: question
ok 18 - question
  ---
  duration_ms: 0.089585
  type: 'test'
  ...
# Subtest: unknown context
ok 19 - unknown context
  ---
  duration_ms: 0.296177
  type: 'test'
  ...
# Subtest: unknown modality
ok 20 - unknown modality
  ---
  duration_ms: 0.117528
  type: 'test'
  ...
# Subtest: duplicate id
ok 21 - duplicate id
  ---
  duration_ms: 0.222546
  type: 'test'
  ...
# Subtest: duplicate typed atom
ok 22 - duplicate typed atom
  ---
  duration_ms: 0.139911
  type: 'test'
  ...
# Subtest: enumeration limit
ok 23 - enumeration limit
  ---
  duration_ms: 0.107292
  type: 'test'
  ...
# Subtest: invalid limit
ok 24 - invalid limit
  ---
  duration_ms: 0.091528
  type: 'test'
  ...
# Subtest: atom limit
ok 25 - atom limit
  ---
  duration_ms: 0.401726
  type: 'test'
  ...
# Subtest: extra request field
ok 26 - extra request field
  ---
  duration_ms: 0.112109
  type: 'test'
  ...
# Subtest: NaN
ok 27 - NaN
  ---
  duration_ms: 0.231539
  type: 'test'
  ...
# Subtest: unsafe field
ok 28 - unsafe field
  ---
  duration_ms: 0.226192
  type: 'test'
  ...
# Subtest: depth
ok 29 - depth
  ---
  duration_ms: 0.24501
  type: 'test'
  ...
# Subtest: bytes
ok 30 - bytes
  ---
  duration_ms: 5.265606
  type: 'test'
  ...
# Subtest: explicit countermodel
ok 31 - explicit countermodel
  ---
  duration_ms: 0.180633
  type: 'test'
  ...
# Subtest: no mutation
ok 32 - no mutation
  ---
  duration_ms: 0.129636
  type: 'test'
  ...
# Subtest: reused excerpt not independent
ok 33 - reused excerpt not independent
  ---
  duration_ms: 0.565894
  type: 'test'
  ...
# Subtest: bridge needed
ok 34 - bridge needed
  ---
  duration_ms: 0.169506
  type: 'test'
  ...
# Subtest: unspecified preserved
ok 35 - unspecified preserved
  ---
  duration_ms: 0.440094
  type: 'test'
  ...
# Subtest: scope not assertion
ok 36 - scope not assertion
  ---
  duration_ms: 0.14563
  type: 'test'
  ...
# Subtest: missing provenance
ok 37 - missing provenance
  ---
  duration_ms: 0.18528
  type: 'test'
  ...
# Subtest: opposition only encoded
ok 38 - opposition only encoded
  ---
  duration_ms: 0.157488
  type: 'test'
  ...
# Subtest: typed renaming
ok 39 - typed renaming
  ---
  duration_ms: 1.567335
  type: 'test'
  ...
# Subtest: partial remainder
ok 40 - partial remainder
  ---
  duration_ms: 0.190457
  type: 'test'
  ...
# Subtest: noninjective refuses
ok 41 - noninjective refuses
  ---
  duration_ms: 0.280574
  type: 'test'
  ...
# Subtest: modality not renaming
ok 42 - modality not renaming
  ---
  duration_ms: 0.188464
  type: 'test'
  ...
# Subtest: unknown mapping
ok 43 - unknown mapping
  ---
  duration_ms: 0.123095
  type: 'test'
  ...
# Subtest: consequence preserved
ok 44 - consequence preserved
  ---
  duration_ms: 0.515708
  type: 'test'
  ...
# Subtest: consistent refinement
ok 45 - consistent refinement
  ---
  duration_ms: 0.221385
  type: 'test'
  ...
# Subtest: inconsistent refinement separate
ok 46 - inconsistent refinement separate
  ---
  duration_ms: 0.448257
  type: 'test'
  ...
# Subtest: digest independently recomputable
ok 47 - digest independently recomputable
  ---
  duration_ms: 20.489629
  type: 'test'
  ...
# Subtest: null provenance refuses
ok 48 - null provenance refuses
  ---
  duration_ms: 0.353734
  type: 'test'
  ...
# Subtest: same locator different snapshots
ok 49 - same locator different snapshots
  ---
  duration_ms: 0.150957
  type: 'test'
  ...
# Subtest: nonliteral not negation
ok 50 - nonliteral not negation
  ---
  duration_ms: 0.108293
  type: 'test'
  ...
# Subtest: unsafe atom id
ok 51 - unsafe atom id
  ---
  duration_ms: 0.103046
  type: 'test'
  ...
# Subtest: malformed requests
ok 52 - malformed requests
  ---
  duration_ms: 0.224659
  type: 'test'
  ...
# Subtest: explicit bridge is only a model premise
ok 53 - explicit bridge is only a model premise
  ---
  duration_ms: 0.148824
  type: 'test'
  ...
# Subtest: review suffix not authorized
ok 54 - review suffix not authorized
  ---
  duration_ms: 0.106621
  type: 'test'
  ...
1..54
# tests 54
# suites 0
# pass 54
# fail 0
# cancelled 0
# skipped 0
# todo 0
# duration_ms 90.431461
