consistency-ft · corrected comparison

corrected comparison · shared-cohort model comparison — selected runs as of 2026-09-17T00:30:34.686981+00:00

25
settings shown · 24 participating
148
shared tuples · 157 reviewed
gpt-oss-20b
highest shared-set mean · mean 0.187
glm-5.3 · native-default (native)
lowest shared-set mean · mean 0.059

Model ranking

JEV 1.13.0 · TypeSafe is included below: #8 of 24, mean violation 0.0864 on 148 shared tuples. Jev research →

0.000.120.250.380.50glm-5.3 · native-default (native)0.059kimi-k30.061grok-4.6 · low (native)0.064gpt-5.6-luna · max (native)0.064gpt-5.6-luna · high (native)0.076nemotron-3-ultra-nvfp40.082glm-5p20.084JEV 1.13.0 · TypeSafe0.086qwen3p8-2p4t-a95b0.087qwen3p8-max0.087deepseek-v4-flash-07310.088gpt-5.6-luna · medium (native)0.090gpt-5.6-luna · xhigh (native)0.095minimax-m30.098gpt-5.6-luna · low (native)0.104qwen3p7-plus0.104deepseek-v4-pro-08130.108kimi-k2p7-code0.112kimi-k2p60.113gpt-6-astra · low (native)0.116gpt-5.6-luna · none (native)0.121gpt-oss-120b0.143nemotron-lightning-3p5-30b-a3b0.184gpt-oss-20b0.187muse-glimmer-30b (47/157 reviewed)unranked: incomplete historical coverage

148 shared tuples across 24 participating settings, from 157 reviewed tuples. All native settings and API runs with complete original coverage participate; incomplete historical settings remain visible and unranked. Selection by shared availability can change the ordering; these results do not represent the full original 300-tuple benchmark. Native subscription runs and historical API runs differ in dates, prompts and reasoning settings. Coverage and methods →

Jev uses a distinct probability channel: TypeSafe Noul returns a direct yes-probability for each question, independently, with its full resolution criteria. No shared question context, logical hints, prompt tuning, verbal answers or token logprobs. Reasoning controls and an explicit abstention field are not exposed. The same algebraic formulas and shared tuple IDs are used; this does not isolate model quality from elicitation method. Research and protocol →

Mean violation by model × check type

NegationParaphraseConsequenceAndOrAnd OrButCondCond CondExp Evidenceglm-5.3 · native-default (native)0.080.070.060.010.040.060.080.080.080.04kimi-k30.090.050.000.030.020.080.110.070.340.07grok-4.6 · low (native)0.090.080.020.020.050.070.110.040.170.07gpt-5.6-luna · max (native)0.100.090.020.010.060.140.070.030.090.03gpt-5.6-luna · high (native)0.130.150.010.010.120.100.060.030.060.04nemotron-3-ultra-nvfp40.130.040.010.040.080.160.120.060.140.10glm-5p20.070.100.000.070.140.180.070.050.180.09JEV 1.13.0 · TypeSafe0.110.100.000.010.050.100.230.100.120.10qwen3p8-2p4t-a95b0.130.090.000.030.090.090.160.100.070.10qwen3p8-max0.150.070.000.030.070.110.170.100.070.10deepseek-v4-flash-07310.110.070.010.010.130.180.130.060.030.12gpt-5.6-luna · medium (native)0.160.130.030.020.110.140.090.010.090.08gpt-5.6-luna · xhigh (native)0.140.110.080.010.120.080.160.030.020.11minimax-m30.130.080.020.040.110.120.200.070.260.11gpt-5.6-luna · low (native)0.150.180.070.050.100.120.110.020.150.08qwen3p7-plus0.200.120.000.020.050.110.200.100.070.12deepseek-v4-pro-08130.140.100.020.050.100.140.160.110.170.18kimi-k2p7-code0.200.070.010.010.120.150.210.080.240.14kimi-k2p60.250.070.010.010.100.150.180.060.170.15gpt-6-astra · low (native)0.170.150.030.060.070.150.180.110.100.10gpt-5.6-luna · none (native)0.110.130.010.020.210.240.220.020.210.15gpt-oss-120b0.140.120.000.020.120.200.370.170.280.17nemotron-lightning-3p5-30b-a3b0.270.120.020.060.110.230.440.190.310.25gpt-oss-20b0.410.100.040.020.280.270.220.100.110.22muse-glimmer-30b · unranked

Elicitation readouts

modelmean |verbal−logprob|disagreement >0.2Pearsonpaired n
glm-5.3 · native-default (native)Logprobs unavailable from native client0
kimi-k30.14623.5%0.83317
grok-4.6 · low (native)Logprobs unavailable from native client0
gpt-5.6-luna · max (native)Logprobs unavailable from native client0
gpt-5.6-luna · high (native)Logprobs unavailable from native client0
nemotron-3-ultra-nvfp40.13223.5%0.82417
glm-5p20.17525.0%0.75316
JEV 1.13.0 · TypeSafeDirect Noul probability; token logprobs unavailable0
qwen3p8-2p4t-a95b0.18723.1%0.77213
qwen3p8-max0.18523.1%0.79513
deepseek-v4-flash-07310.16735.3%0.69117
gpt-5.6-luna · medium (native)Logprobs unavailable from native client0
gpt-5.6-luna · xhigh (native)Logprobs unavailable from native client0
minimax-m30.0925.9%0.92617
gpt-5.6-luna · low (native)Logprobs unavailable from native client0
qwen3p7-plus0.28658.8%0.75317
deepseek-v4-pro-08130.13229.4%0.85517
kimi-k2p7-code0.27037.5%0.67316
kimi-k2p60.23343.8%0.68316
gpt-6-astra · low (native)Logprobs unavailable from native client0
gpt-5.6-luna · none (native)Logprobs unavailable from native client0
gpt-oss-120b0.29662.5%-0.3578
nemotron-lightning-3p5-30b-a3b0.19647.1%0.64617
gpt-oss-20b0.41860.0%0.4415
muse-glimmer-30b0.24228.6%0.57314

Historical pairs are restricted to the 274 reviewed propositions; paired counts can differ by model. Paired statistics require both verbalized and True/False logprob readouts. Native subscription clients do not expose logprobs; their paired metrics are unavailable.

Methodology: exact prompts & readout definitions

For the historical Fireworks elicitation runs only, each proposition (title + resolution criteria) is asked twice, at temperature 0, reasoning_effort: "none" (falling back to "low" where a model rejects "none"), max_tokens: 2048.

1 · Verbalized probability

Estimate the probability that the proposition below is true.
Return only a number from 0.0 to 1.0, with no commentary.

Proposition:
{proposition}

The reply is parsed as a number in [0,1].

2 · True/False logprob probability

Decide whether the proposition below is true. Answer with exactly one word.

Proposition:
{proposition}

True or False:

Token logprobs (top_logprobs: 5) are scanned from the end of the completion (reasoning models mention true/false mid-analysis; the answer token is last). At the last position where both appear: P = exp(lp_True) / (exp(lp_True) + exp(lp_False)).

mean |verbal−logprob| = mean absolute gap between the two readouts over the same propositions; disagreement >0.2 = fraction with gap above 0.2; Pearson over the paired values. Historical consistency-check probabilities elsewhere on this page use readout 1 only; Jev uses its direct Noul probability.

Worst violations by model

glm-5.3 · native-default (native)top violation 0.781
Cond · violation 0.781
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q_given_P: Given the EU implements a comprehensive AI regulatory framework before 2028, will it elect its first female... -> 0.02
P_and_Q: Will both of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI r... -> 0.80
Consequence · violation 0.760
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.82
cons_P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.06
But · violation 0.420
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.80
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) an AI system is used to develop a new environmenta... -> 0.07
P_or_Q: Will either of the following occur by January 1, 2028: (a) a company in the renewable energy sector reports... -> 0.45
kimi-k3top violation 0.625
Exp Evidence · violation 0.625
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.15
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.15
P_given_Q: Given Taiwan experiences a temperature increase, will a Japanese company rank in the top 10 for genetic R&D... -> 0.35
P_given_not_Q: If Taiwan does not experience an average annual temperature increase of at least 1.5 degrees Celsius above ... -> 0.85
Cond Cond · violation 0.601
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q_given_P: Given the EU implements an AI regulatory framework, will Japan implement a national AI ethics policy by 2028? -> 0.75
R_given_P_and_Q: Given the EU and Japan implement AI policies, will Iran enter into trade agreements with three countries by... -> 0.35
P_and_Q_and_R: Will all of the following occur before January 1, 2028: (1) The European Union implements a comprehensive A... -> 0.85
Negation · violation 0.600
P: Will Italy hold a national election for its Parliament before January 1, 2028? -> 0.85
not_P: Will Italy not hold a national election for its Parliament before January 1, 2028? -> 0.75
grok-4.6 · low (native)top violation 0.760
Negation · violation 0.760
P: Will Ukraine establish a functional space agency before January 1, 2028? -> 0.12
not_P: Will Ukraine fail to establish a functional space agency before January 1, 2028? -> 0.12
Paraphrase · violation 0.380
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.86
para_P: Will a tennis player from Mexico or the United States achieve the number 1 spot in the ATP or WTA singles r... -> 0.48
Paraphrase · violation 0.360
P: Will a Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January ... -> 0.32
para_P: Is it possible for a political figure from Brazil to advocate for cognitive-enhancing drugs in public befor... -> 0.68
gpt-5.6-luna · max (native)top violation 0.920
And Or · violation 0.920
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.18
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.08
P_and_Q: Will both of the following occur by January 1, 2028: (a) A Japanese company be among the top 10 globally in... -> 0.20
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.98
Negation · violation 0.460
P: Will a gene-editing experiment be conducted on the International Space Station before January 1, 2028? -> 0.70
not_P: Will no gene-editing experiment be conducted on the International Space Station before January 1, 2028? -> 0.76
Paraphrase · violation 0.420
P: Will Mexico announce the construction of a new nuclear power plant before January 1, 2028? -> 0.28
para_P: Is it the case that Mexico will declare plans for a new nuclear power facility before the start of 2028? -> 0.70
gpt-5.6-luna · high (native)top violation 0.690
Negation · violation 0.690
P: Will the total revenue of the NBA exceed $15 billion for the 2027-2028 season? -> 0.01
not_P: Will the total revenue of the NBA not exceed $15 billion for the 2027-2028 season? -> 0.30
Or · violation 0.690
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.20
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.99
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.30
And Or · violation 0.540
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.20
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.99
P_and_Q: Will both of the following occur by January 1, 2028: (a) A Japanese company be among the top 10 globally in... -> 0.10
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.55
nemotron-3-ultra-nvfp4top violation 0.900
Negation · violation 0.900
P: Will any research paper on the impact of climate change on quantum physics be published in a peer-reviewed ... -> 0.05
not_P: Will no research paper on the impact of climate change on quantum physics be published in a peer-reviewed j... -> 0.05
But · violation 0.500
P: Will any space agency announce plans to use nuclear propulsion for a mission to another celestial body befo... -> 0.65
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) an asteroid or comet impacts Earth with at lea... -> 0.00
P_or_Q: Will either of the following occur before January 1, 2028: (a) A space agency announces plans to use nuclea... -> 0.15
And Or · violation 0.500
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q: Will the European Union elect its first female President of the European Commission by January 1, 2028? -> 0.35
P_and_Q: Will both of the following occur by January 1, 2028: (a) The EU implements a comprehensive AI regulatory fr... -> 0.85
P_or_Q: Will either of the following occur in the European Union by January 1, 2028: (a) Implementation of a compre... -> 0.95
glm-5p2top violation 0.800
And Or · violation 0.800
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.25
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.85
P_and_Q: Will both of the following occur by January 1, 2028: (a) A Japanese company be among the top 10 globally in... -> 0.15
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.15
Or · violation 0.700
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.25
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.85
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.15
Paraphrase · violation 0.700
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.85
para_P: Will a tennis player from Mexico or the United States achieve the number 1 spot in the ATP or WTA singles r... -> 0.15
JEV 1.13.0 · TypeSafetop violation 0.460
But · violation 0.460
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.77
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) an AI system is used to develop a new environmenta... -> 0.26
P_or_Q: Will either of the following occur by January 1, 2028: (a) a company in the renewable energy sector reports... -> 0.57
But · violation 0.420
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.55
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) Taiwan experiences an average annual temperature i... -> 0.17
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.30
But · violation 0.370
P: Will Tesla announce and release a fully autonomous vehicle for public purchase before January 1, 2028? -> 0.18
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) Canada implements a nationwide artificial inte... -> 0.61
P_or_Q: Will either of the following occur before January 1, 2028: (a) Tesla announces and releases a fully autonom... -> 0.42
qwen3p8-2p4t-a95btop violation 0.752
Cond · violation 0.752
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q_given_P: Given the EU implements a comprehensive AI regulatory framework before 2028, will it elect its first female... -> 0.95
P_and_Q: Will both of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI r... -> 0.15
But · violation 0.710
P: Will any country officially declare climate change denial a criminal offense before January 1, 2028? -> 0.02
Q_and_not_P: Will both of the following occur: (a) Russia implements a nationwide ban on single-use plastics before Janu... -> 0.72
P_or_Q: Will either of the following occur before January 1, 2028: (a) any country officially declare climate chang... -> 0.03
Exp Evidence · violation 0.570
P: Will a nuclear-powered robotic system be operational before January 1, 2028? -> 0.15
Q: Will an AI system be used to discover a new fundamental particle in physics before January 1, 2028? -> 0.08
P_given_Q: If an AI discovers a new fundamental particle by 2028, will a nuclear-powered robot be operational by then? -> 0.72
P_given_not_Q: Given that no AI system is used to discover a new fundamental particle in physics before January 1, 2028, w... -> 0.72
qwen3p8-maxtop violation 0.752
Cond · violation 0.752
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q_given_P: Given the EU implements a comprehensive AI regulatory framework before 2028, will it elect its first female... -> 0.95
P_and_Q: Will both of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI r... -> 0.15
But · violation 0.710
P: Will any country officially declare climate change denial a criminal offense before January 1, 2028? -> 0.02
Q_and_not_P: Will both of the following occur: (a) Russia implements a nationwide ban on single-use plastics before Janu... -> 0.72
P_or_Q: Will either of the following occur before January 1, 2028: (a) any country officially declare climate chang... -> 0.03
Exp Evidence · violation 0.570
P: Will a nuclear-powered robotic system be operational before January 1, 2028? -> 0.15
Q: Will an AI system be used to discover a new fundamental particle in physics before January 1, 2028? -> 0.08
P_given_Q: If an AI discovers a new fundamental particle by 2028, will a nuclear-powered robot be operational by then? -> 0.72
P_given_not_Q: Given that no AI system is used to discover a new fundamental particle in physics before January 1, 2028, w... -> 0.72
deepseek-v4-flash-0731top violation 0.760
Negation · violation 0.760
P: Will a national government announce the adoption of an AI policy developed in collaboration with OpenAI bef... -> 0.12
not_P: Will no national government announce the adoption of an AI policy developed in collaboration with OpenAI be... -> 0.12
And Or · violation 0.650
P: Will NASA announce a partnership with a private company to develop a commercial space station before Januar... -> 0.72
Q: Will NASA successfully land an AI-powered rover on Mars before January 1, 2028? -> 0.12
P_and_Q: Will both of the following occur before January 1, 2028: (a) NASA announces a partnership with a private co... -> 0.07
P_or_Q: Will either of the following occur before January 1, 2028: (a) NASA announces a partnership with a private ... -> 0.12
But · violation 0.601
P: Will NASA announce a partnership with a private company to develop a commercial space station before Januar... -> 0.72
Q_and_not_P: Will both of the following occur: (a) NASA successfully lands an AI-powered rover on Mars before January 1,... -> 0.00
P_or_Q: Will either of the following occur before January 1, 2028: (a) NASA announces a partnership with a private ... -> 0.12
gpt-5.6-luna · medium (native)top violation 0.750
Negation · violation 0.750
P: Will the total revenue of the NBA exceed $15 billion for the 2027-2028 season? -> 0.90
not_P: Will the total revenue of the NBA not exceed $15 billion for the 2027-2028 season? -> 0.85
Negation · violation 0.710
P: Will a space mission related to genetic research be launched before January 1, 2028? -> 0.78
not_P: Will no space mission related to genetic research be launched before January 1, 2028? -> 0.93
Negation · violation 0.680
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.80
not_P: Will no national election in any country result in the election of a candidate with a PhD in Chemistry befo... -> 0.88
gpt-5.6-luna · xhigh (native)top violation 0.700
Or · violation 0.700
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.18
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 1.00
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.30
But · violation 0.680
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.18
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) Taiwan experiences an average annual temperature i... -> 0.12
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.98
Negation · violation 0.620
P: Will any European Union country officially announce the decommissioning of all its nuclear power plants bef... -> 0.68
not_P: Will no European Union country officially announce the decommissioning of all its nuclear power plants befo... -> 0.94
minimax-m3top violation 0.610
But · violation 0.610
P: Will any country officially declare climate change denial a criminal offense before January 1, 2028? -> 0.02
Q_and_not_P: Will both of the following occur: (a) Russia implements a nationwide ban on single-use plastics before Janu... -> 0.62
P_or_Q: Will either of the following occur before January 1, 2028: (a) any country officially declare climate chang... -> 0.03
Negation · violation 0.500
P: Will a space mission related to genetic research be launched before January 1, 2028? -> 0.15
not_P: Will no space mission related to genetic research be launched before January 1, 2028? -> 0.35
Negation · violation 0.500
P: Will China officially announce a new political initiative aimed at reducing carbon emissions by at least 30... -> 0.35
not_P: Will China not officially announce any new political initiative aimed at reducing carbon emissions by at le... -> 0.15
gpt-5.6-luna · low (native)top violation 0.870
Paraphrase · violation 0.870
P: Will any European Union country officially announce the decommissioning of all its nuclear power plants bef... -> 0.08
para_P: Is it possible that a member state of the European Union will declare the complete shutdown of its nuclear ... -> 0.95
Paraphrase · violation 0.700
P: Will a Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January ... -> 0.12
para_P: Is it possible for a political figure from Brazil to advocate for cognitive-enhancing drugs in public befor... -> 0.82
Negation · violation 0.570
P: Will Ukraine establish a functional space agency before January 1, 2028? -> 0.25
not_P: Will Ukraine fail to establish a functional space agency before January 1, 2028? -> 0.18
qwen3p7-plustop violation 0.910
But · violation 0.910
P: Will NASA successfully land astronauts on Mars before January 1, 2028? -> 0.01
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) A microorganism is discovered on Mars, and (b) NAS... -> 0.95
P_or_Q: Will either of the following occur by January 1, 2028: (a) NASA successfully lands astronauts on Mars, or (... -> 0.05
Exp Evidence · violation 0.750
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.85
Q: Will an AI system be used to develop a new environmental policy in the United Kingdom before January 1, 2028? -> 0.65
P_given_Q: If an AI system is used to develop a new environmental policy in the UK by 2028, will any renewable energy ... -> 0.10
P_given_not_Q: Conditional on no AI system being used to develop a new environmental policy in the UK before 2028, will an... -> 0.10
Negation · violation 0.700
P: Will a Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January ... -> 0.15
not_P: Will no Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January... -> 0.15
deepseek-v4-pro-0813top violation 0.840
But · violation 0.840
P: Will France officially recognize climate change denial as a criminal offense before January 1, 2028? -> 0.15
Q_and_not_P: Will both of the following occur: (a) Emmanuel Macron is re-elected as President of France in the 2027 elec... -> 0.72
P_or_Q: Will either of the following occur: (a) France officially recognizes climate change denial as a criminal of... -> 0.03
Exp Evidence · violation 0.760
P: Will the European Union implement a carbon border tax before January 1, 2028? -> 0.95
Q: Will the French economy grow by at least 2% annually for three consecutive years before January 1, 2028? -> 0.05
P_given_Q: Given the French economy grows by at least 2% annually for three consecutive years, will the EU implement a... -> 0.95
P_given_not_Q: Conditional on the French economy failing to grow by at least 2% annually for three consecutive years befor... -> 0.15
Negation · violation 0.670
P: Will Italy hold a national election for its Parliament before January 1, 2028? -> 0.95
not_P: Will Italy not hold a national election for its Parliament before January 1, 2028? -> 0.72
kimi-k2p7-codetop violation 0.530
Negation · violation 0.530
P: Will a Nobel laureate in Chemistry be elected to a national legislative body before January 1, 2028? -> 0.12
not_P: Will no Nobel laureate in Chemistry be elected to a national legislative body before January 1, 2028? -> 0.35
Negation · violation 0.530
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.12
not_P: Will no national election in any country result in the election of a candidate with a PhD in Chemistry befo... -> 0.35
Negation · violation 0.500
P: Will any research paper on the impact of climate change on quantum physics be published in a peer-reviewed ... -> 0.35
not_P: Will no research paper on the impact of climate change on quantum physics be published in a peer-reviewed j... -> 0.15
kimi-k2p6top violation 0.730
Negation · violation 0.730
P: Will a Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January ... -> 0.12
not_P: Will no Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January... -> 0.15
Negation · violation 0.700
P: Will any research paper on the impact of climate change on quantum physics be published in a peer-reviewed ... -> 0.15
not_P: Will no research paper on the impact of climate change on quantum physics be published in a peer-reviewed j... -> 0.15
Negation · violation 0.700
P: Will Italy hold a national election for its Parliament before January 1, 2028? -> 0.95
not_P: Will Italy not hold a national election for its Parliament before January 1, 2028? -> 0.75
gpt-6-astra · low (native)top violation 0.890
But · violation 0.890
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.99
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) an AI system is used to develop a new environmenta... -> 0.72
P_or_Q: Will either of the following occur by January 1, 2028: (a) a company in the renewable energy sector reports... -> 0.82
Cond · violation 0.832
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.98
Q_given_P: Given the EU implements a comprehensive AI regulatory framework before 2028, will it elect its first female... -> 0.85
P_and_Q: Will both of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI r... -> 0.00
But · violation 0.600
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.32
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) Taiwan experiences an average annual temperature i... -> 0.48
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.20
gpt-5.6-luna · none (native)top violation 0.964
But · violation 0.964
P: Will NASA successfully land astronauts on Mars before January 1, 2028? -> 0.00
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) A microorganism is discovered on Mars, and (b) NAS... -> 0.97
P_or_Q: Will either of the following occur by January 1, 2028: (a) NASA successfully lands astronauts on Mars, or (... -> 0.01
Or · violation 0.760
P: Will a nuclear-powered robotic system be operational before January 1, 2028? -> 0.78
Q: Will an AI system be used to discover a new fundamental particle in physics before January 1, 2028? -> 0.06
P_or_Q: Will either a nuclear-powered robotic system become operational or an AI system discover a new fundamental ... -> 0.02
But · violation 0.730
P: Will Australia pass legislation to establish a carbon pricing mechanism before January 1, 2028? -> 0.78
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) The United Kingdom's GDP growth rate exceeds 3... -> 0.03
P_or_Q: Will either of the following occur before January 1, 2028: (a) Australia passes legislation to establish a ... -> 0.08
gpt-oss-120btop violation 0.850
But · violation 0.850
P: Will NASA successfully land astronauts on Mars before January 1, 2028? -> 0.27
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) A microorganism is discovered on Mars, and (b) NAS... -> 0.73
P_or_Q: Will either of the following occur by January 1, 2028: (a) NASA successfully lands astronauts on Mars, or (... -> 0.15
Negation · violation 0.750
P: Will the European Union pass legislation to regulate dark matter research before January 1, 2028? -> 0.05
not_P: Will the European Union fail to pass legislation to regulate dark matter research before January 1, 2028? -> 0.20
And Or · violation 0.730
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.42
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.68
P_and_Q: Will both of the following occur by January 1, 2028: (a) A Japanese company be among the top 10 globally in... -> 0.15
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.22
nemotron-lightning-3p5-30b-a3btop violation 1.050
But · violation 1.050
P: Will the European Union implement a carbon border tax before January 1, 2028? -> 0.85
Q_and_not_P: Will both of the following occur: (a) The French economy grows by at least 2% annually for three consecutiv... -> 0.55
P_or_Q: Will either of the following occur before January 1, 2028: (a) The European Union implements a carbon borde... -> 0.35
Paraphrase · violation 0.800
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.05
para_P: Will a tennis player from Mexico or the United States achieve the number 1 spot in the ATP or WTA singles r... -> 0.85
But · violation 0.750
P: Will any country officially declare climate change denial a criminal offense before January 1, 2028? -> 0.15
Q_and_not_P: Will both of the following occur: (a) Russia implements a nationwide ban on single-use plastics before Janu... -> 0.75
P_or_Q: Will either of the following occur before January 1, 2028: (a) any country officially declare climate chang... -> 0.15
gpt-oss-20btop violation 0.910
Negation · violation 0.910
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.02
not_P: Will no national election in any country result in the election of a candidate with a PhD in Chemistry befo... -> 0.07
Negation · violation 0.800
P: Will the total revenue of the NBA exceed $15 billion for the 2027-2028 season? -> 0.10
not_P: Will the total revenue of the NBA not exceed $15 billion for the 2027-2028 season? -> 0.10
Negation · violation 0.750
P: Will the European Union pass legislation to regulate dark matter research before January 1, 2028? -> 0.05
not_P: Will the European Union fail to pass legislation to regulate dark matter research before January 1, 2028? -> 0.20
muse-glimmer-30bunranked: incomplete historical coverage

Available historical observations remain in the details and database.

Runs

Run summaries below retain each run’s own coverage. Their totals are not the shared-set ranking above. The database contains both original and corrected campaigns; its comparison_ranking view is the corrected comparison. Download the complete database.

filekindmodelnkey statrecorded time (UTC)time evidence
typesafe-20260917-original.jsonlcheckstypesafe/jev-1.13.0@noul3000.0922026-09-17T00:30:34.686981+00:00api_receipt_finished_at
native_native-20260913-scoped-final_luna-max.jsonlchecksnative/gpt-5.6-luna@max1570.0662026-09-13T04:55:25.035283+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_glm.jsonlchecksnative/glm-5.3@native-default1570.0672026-09-13T04:51:44.014316+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_grok.jsonlchecksnative/grok-4.6@low1560.0642026-09-13T04:49:51.507209+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_luna-xhigh.jsonlchecksnative/gpt-5.6-luna@xhigh1510.0952026-09-13T04:44:09.926132+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_luna-high.jsonlchecksnative/gpt-5.6-luna@high1510.0782026-09-13T04:41:13.103246+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_astra.jsonlchecksnative/gpt-6-astra@low1500.1162026-09-13T04:40:55.004235+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_luna-medium.jsonlchecksnative/gpt-5.6-luna@medium1550.0902026-09-13T04:39:56.764770+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_luna-low.jsonlchecksnative/gpt-5.6-luna@low1510.1042026-09-13T04:39:39.897751+00:00native_receipt_finished_or_imported_at
native_native-20260913-scoped-final_luna-none.jsonlchecksnative/gpt-5.6-luna@none1500.1222026-09-13T04:38:36.359570+00:00native_receipt_finished_or_imported_at
checks_20260820T033531522026Z.jsonlchecksmock/sha256300.3332026-08-20T03:35:31.773992+00:00legacy_file_mtime_frozen_at_import
elicit30_nemotron_3_ultra_nvfp4.jsonlelicitaccounts/fireworks/models/nemotron-3-ultra-nvfp4300.1332026-08-19T23:31:34.590221+00:00legacy_file_mtime_frozen_at_import
sweep30_nemotron_3_ultra_nvfp4.jsonlchecksaccounts/fireworks/models/nemotron-3-ultra-nvfp43000.0842026-08-19T23:31:21.330580+00:00legacy_file_mtime_frozen_at_import
elicit30_kimi_k2p7_code.jsonlelicitaccounts/fireworks/models/kimi-k2p7-code270.2472026-08-19T23:28:29.926708+00:00legacy_file_mtime_frozen_at_import
sweep30_kimi_k2p7_code.jsonlchecksaccounts/fireworks/models/kimi-k2p7-code3000.1082026-08-19T23:28:10.645366+00:00legacy_file_mtime_frozen_at_import
elicit30_kimi_k2p6.jsonlelicitaccounts/fireworks/models/kimi-k2p6260.2102026-08-19T23:26:31.831049+00:00legacy_file_mtime_frozen_at_import
sweep30_kimi_k2p6.jsonlchecksaccounts/fireworks/models/kimi-k2p63000.1062026-08-19T23:26:19.425244+00:00legacy_file_mtime_frozen_at_import
elicit30_qwen3p8_2p4t_a95b.jsonlelicitaccounts/fireworks/models/qwen3p8-2p4t-a95b170.1622026-08-19T23:23:16.856706+00:00legacy_file_mtime_frozen_at_import
sweep30_qwen3p8_2p4t_a95b.jsonlchecksaccounts/fireworks/models/qwen3p8-2p4t-a95b3000.0872026-08-19T23:22:49.860204+00:00legacy_file_mtime_frozen_at_import
elicit30_muse_glimmer_30b.jsonlelicitaccounts/fireworks/models/muse-glimmer-30b270.1952026-08-19T23:20:03.978046+00:00legacy_file_mtime_frozen_at_import
sweep30_muse_glimmer_30b.jsonlchecksaccounts/fireworks/models/muse-glimmer-30b1120.0382026-08-19T23:17:00.066856+00:00legacy_file_mtime_frozen_at_import
elicit30_nemotron_lightning_3p5_30b_a3b.jsonlelicitaccounts/fireworks/models/nemotron-lightning-3p5-30b-a3b300.1722026-08-19T22:54:35.838823+00:00legacy_file_mtime_frozen_at_import
sweep30_nemotron_lightning_3p5_30b_a3b.jsonlchecksaccounts/fireworks/models/nemotron-lightning-3p5-30b-a3b3000.1902026-08-19T22:54:26.994776+00:00legacy_file_mtime_frozen_at_import
elicit30_minimax_m3.jsonlelicitaccounts/fireworks/models/minimax-m3300.0852026-08-19T22:53:13.877972+00:00legacy_file_mtime_frozen_at_import
sweep30_minimax_m3.jsonlchecksaccounts/fireworks/models/minimax-m33000.0892026-08-19T22:52:59.053573+00:00legacy_file_mtime_frozen_at_import
elicit30_kimi_k3.jsonlelicitaccounts/fireworks/models/kimi-k3300.1402026-08-19T22:50:58.911617+00:00legacy_file_mtime_frozen_at_import
sweep30_kimi_k3.jsonlchecksaccounts/fireworks/models/kimi-k33000.0822026-08-19T22:50:44.011678+00:00legacy_file_mtime_frozen_at_import
elicit30_glm_5p2.jsonlelicitaccounts/fireworks/models/glm-5p2260.1742026-08-19T22:48:30.460541+00:00legacy_file_mtime_frozen_at_import
sweep30_glm_5p2.jsonlchecksaccounts/fireworks/models/glm-5p23000.0972026-08-19T22:48:14.071341+00:00legacy_file_mtime_frozen_at_import
elicit30_deepseek_v4_pro_0813.jsonlelicitaccounts/fireworks/models/deepseek-v4-pro-0813300.1192026-08-19T22:46:08.640133+00:00legacy_file_mtime_frozen_at_import
sweep30_deepseek_v4_pro_0813.jsonlchecksaccounts/fireworks/models/deepseek-v4-pro-08133000.1032026-08-19T22:45:57.051717+00:00legacy_file_mtime_frozen_at_import
elicit30_deepseek_v4_flash_0731.jsonlelicitaccounts/fireworks/models/deepseek-v4-flash-0731300.1442026-08-19T22:44:19.665751+00:00legacy_file_mtime_frozen_at_import
sweep30_deepseek_v4_flash_0731.jsonlchecksaccounts/fireworks/models/deepseek-v4-flash-07313000.0882026-08-19T22:44:09.252123+00:00legacy_file_mtime_frozen_at_import
elicit30_qwen3p8_max.jsonlelicitaccounts/fireworks/models/qwen3p8-max170.1702026-08-19T22:42:09.231387+00:00legacy_file_mtime_frozen_at_import
sweep30_qwen3p8_max.jsonlchecksaccounts/fireworks/models/qwen3p8-max3000.0852026-08-19T22:41:32.059370+00:00legacy_file_mtime_frozen_at_import
elicit30_qwen3p7_plus.jsonlelicitaccounts/fireworks/models/qwen3p7-plus290.2772026-08-19T22:39:25.643403+00:00legacy_file_mtime_frozen_at_import
sweep30_qwen3p7_plus.jsonlchecksaccounts/fireworks/models/qwen3p7-plus3000.1052026-08-19T22:39:13.757267+00:00legacy_file_mtime_frozen_at_import
elicit30_gpt_oss_120b.jsonlelicitaccounts/fireworks/models/gpt-oss-120b170.2892026-08-19T22:37:42.938733+00:00legacy_file_mtime_frozen_at_import
sweep30_gpt_oss_120b.jsonlchecksaccounts/fireworks/models/gpt-oss-120b3000.1462026-08-19T22:37:23.346769+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T223451142277Z.jsonlelicitmock/sha25650.2962026-08-19T22:34:51.142622+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T222037493850Z.jsonlelicitaccounts/fireworks/models/gpt-oss-20b120.2702026-08-19T22:20:37.494292+00:00legacy_file_mtime_frozen_at_import
sweep30_gptoss20b.jsonlchecksaccounts/fireworks/models/gpt-oss-20b3000.1592026-08-19T22:13:04.892817+00:00legacy_file_mtime_frozen_at_import
checks_20260819T221020776075Z.jsonlchecksmock/sha256300.3332026-08-19T22:10:20.776586+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T212538583781Z.jsonlelicitmock/sha25650.2962026-08-19T21:25:38.584132+00:00legacy_file_mtime_frozen_at_import
checks_20260819T212538457572Z.jsonlchecksmock/sha256500.3102026-08-19T21:25:38.458251+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T212538206676Z.jsonlelicitaccounts/fireworks/models/gpt-oss-20b80.2982026-08-19T21:25:38.206902+00:00legacy_file_mtime_frozen_at_import
checks_20260819T212508735322Z.jsonlchecksaccounts/fireworks/models/gpt-oss-20b200.1262026-08-19T21:25:08.736598+00:00legacy_file_mtime_frozen_at_import
checks_20260819T211419291040Z.jsonlchecksmock/sha256500.3102026-08-19T21:14:19.291674+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T204905631914Z.jsonlelicitmock/sha25650.2962026-08-19T20:49:05.632279+00:00legacy_file_mtime_frozen_at_import
checks_20260819T204905495530Z.jsonlchecksmock/sha256500.3102026-08-19T20:49:05.496136+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T204814447773Z.jsonlelicitmock/sha25650.2962026-08-19T20:48:14.448188+00:00legacy_file_mtime_frozen_at_import
checks_20260819T204814291575Z.jsonlchecksmock/sha256500.3102026-08-19T20:48:14.292434+00:00legacy_file_mtime_frozen_at_import
elicit_smoke.jsonlelicitmock/sha25650.2962026-08-19T20:46:39.448677+00:00legacy_file_mtime_frozen_at_import
checks_smoke.jsonlchecksmock/sha256500.3102026-08-19T20:46:39.323301+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T204535Z.jsonlelicitmock/sha25650.2962026-08-19T20:45:35.903084+00:00legacy_file_mtime_frozen_at_import
checks_20260819T204531Z.jsonlchecksmock/sha256500.3102026-08-19T20:45:31.328837+00:00legacy_file_mtime_frozen_at_import